Return to navigation page or list derivations
| step | inference rule | input | feed | output | validity (as per SymPy) |
|---|---|---|---|---|---|
| 11 |
|
|
no validation is available for declarations | ||
| 12 |
|
|
|
|
valid |
| 9 |
|
|
no validation is available for declarations | ||
| 7 |
|
|
|
LHS diff is -pdg0002077 + pdg0003935*pdg0005854**3 RHS diff is -sqrt(pdg0006235)*sqrt(pdg0002241/pdg0009863) + pdg0009863 | |
| 19 |
|
|
|
|
recognized infrule but not yet supported |
| 18 |
|
|
|
LHS diff is -pdg0002077 + pdg0009863 RHS diff is -pdg0001370*pdg0004567*sqrt(pdg0002515/(pdg0003285*pdg0005916)) + pdg0003285*pdg0005916 | |
| 20 |
|
|
no validation is available for declarations | ||
| 13 |
|
|
|
LHS diff is -pdg0002241 + pdg0001999**4*pdg0002515/(32*pdg0001054**2*pdg0003141**2*pdg0007940**2) RHS diff is pdg0002241 - pdg0001999**4*pdg0002515/(32*pdg0001054**2*pdg0003141**2*pdg0007940**2) | |
| 10 |
|
|
no validation is available for declarations | ||
| 15 |
|
|
|
LHS diff is 0 RHS diff is sqrt(2)*(pdg0001054*pdg0003141*pdg0007940*sqrt(pdg0001999**4*pdg0002515/(pdg0001054**2*pdg0003141**2*pdg0007940**2*pdg0009863)) - pdg0001999**2*sqrt(pdg0002515/pdg0009863))/(8*pdg0001054*pdg0003141*pdg0007940) | |
| 6 |
|
|
|
|
valid |
| 2 |
|
|
no validation is available for declarations | ||
| 5 |
|
|
no validation is available for declarations | ||
| 4 |
|
|
|
LHS diff is K - pdg0002077 RHS diff is pdg0002241*pdg0006235/pdg0005854**3 - sqrt(pdg0002241*pdg0006235/(pdg0003935*pdg0005854**3)) | |
| 1 |
|
|
no validation is available for declarations | ||
| 14 |
|
|
|
LHS diff is -pdg0002077 + pdg0002241 RHS diff is -sqrt(2)*sqrt(pdg0001999**4*pdg0002515/(pdg0001054**2*pdg0003141**2*pdg0007940**2*pdg0009863))/8 + pdg0001999**4*pdg0002515/(32*pdg0001054**2*pdg0003141**2*pdg0007940**2) | |
| 17 |
|
|
no validation is available for declarations | ||
| 8 |
|
|
|
|
recognized infrule but not yet supported |
| 3 |
|
|
|
|
recognized infrule but not yet supported |
| 16 |
|
|
|
LHS diff is pdg0001370*pdg0004567 - pdg0002077 RHS diff is -sqrt(2)*pdg0001370*pdg0004567*sqrt(pdg0002515/pdg0009863)/2 + pdg0001999**2/(4*pdg0001054*pdg0003141*pdg0007940) |
timing of Neo4j queries:
pdg_app/to_review_derivation: node_properties, derivation2728282compute/get_dict_of_steps_in_derivation: steps_in_this_derivation7436927compute/get_dict_of_steps_in_derivation: step_has_inference_rule4264890compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4264890compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4264890compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4264890compute/get_dict_of_steps_in_derivation: step_has_sequence_index7436927compute/get_dict_of_steps_in_derivation: step_has_inference_rule8940152compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8940152compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8940152compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8940152compute/get_dict_of_steps_in_derivation: step_has_inference_rule4545940compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4545940compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4545940compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4545940compute/get_dict_of_steps_in_derivation: step_has_inference_rule8047734compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8047734compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8047734compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8047734compute/get_dict_of_steps_in_derivation: step_has_inference_rule2207272compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2207272compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2207272compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2207272compute/get_dict_of_steps_in_derivation: step_has_inference_rule6201561compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6201561compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6201561compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6201561compute/get_dict_of_steps_in_derivation: step_has_inference_rule1637531compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1637531compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1637531compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1637531compute/get_dict_of_steps_in_derivation: step_has_inference_rule9827247compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9827247compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9827247compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9827247compute/get_dict_of_steps_in_derivation: step_has_inference_rule8905379compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8905379compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8905379compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8905379compute/get_dict_of_steps_in_derivation: step_has_inference_rule4278315compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4278315compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4278315compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4278315compute/get_dict_of_steps_in_derivation: step_has_inference_rule5542509compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5542509compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5542509compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5542509compute/get_dict_of_steps_in_derivation: step_has_inference_rule9517763compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9517763compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9517763compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9517763compute/get_dict_of_steps_in_derivation: step_has_inference_rule5072759compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5072759compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5072759compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5072759compute/get_dict_of_steps_in_derivation: step_has_inference_rule1787235compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1787235compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1787235compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1787235compute/get_dict_of_steps_in_derivation: step_has_inference_rule8647019compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8647019compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8647019compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8647019compute/get_dict_of_steps_in_derivation: step_has_inference_rule4650770compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4650770compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4650770compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4650770compute/get_dict_of_steps_in_derivation: step_has_inference_rule4638171compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4638171compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4638171compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4638171compute/get_dict_of_steps_in_derivation: step_has_inference_rule3849790compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3849790compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3849790compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3849790compute/get_dict_of_steps_in_derivation: step_has_inference_rule4667248compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4667248compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4667248compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4667248compute/get_dict_of_steps_in_derivation: step_has_inference_rule8190881compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8190881compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8190881compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8190881pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation2728282pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id2728282608598pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule2728282compute/get_dict_of_steps_in_derivation: step_has_inference_rule3118575compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3118575compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3118575compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3118575compute/get_dict_of_steps_in_derivation: step_has_inference_rule3193467compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3193467compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3193467compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3193467compute/get_dict_of_steps_in_derivation: step_has_inference_rule7769776compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7769776compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7769776compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7769776compute/get_dict_of_steps_in_derivation: step_has_inference_rule8143589compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8143589compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8143589compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8143589compute/get_dict_of_steps_in_derivation: step_has_inference_rule7433613compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7433613compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7433613compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7433613compute/get_dict_of_steps_in_derivation: step_has_inference_rule7438563compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7438563compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7438563compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7438563compute/get_dict_of_steps_in_derivation: step_has_inference_rule2452471compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2452471compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2452471compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2452471compute/get_dict_of_steps_in_derivation: step_has_inference_rule5307296compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5307296compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5307296compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5307296compute/get_dict_of_steps_in_derivation: step_has_inference_rule4646462compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4646462compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4646462compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4646462compute/get_dict_of_steps_in_derivation: step_has_inference_rule1606007compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1606007compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1606007compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1606007compute/get_dict_of_steps_in_derivation: step_has_inference_rule2000418compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2000418compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2000418compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2000418compute/get_dict_of_steps_in_derivation: step_has_inference_rule7747433compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7747433compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7747433compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7747433compute/get_dict_of_steps_in_derivation: step_has_inference_rule6311192compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6311192compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6311192compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6311192compute/get_dict_of_steps_in_derivation: step_has_inference_rule3514529compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3514529compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3514529compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3514529compute/get_dict_of_steps_in_derivation: step_has_inference_rule6100760compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6100760compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6100760compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6100760compute/get_dict_of_steps_in_derivation: step_has_inference_rule3441107compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3441107compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3441107compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3441107compute/get_dict_of_steps_in_derivation: step_has_inference_rule2885972compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2885972compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2885972compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2885972compute/get_dict_of_steps_in_derivation: step_has_inference_rule6217764compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6217764compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6217764compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6217764compute/get_dict_of_steps_in_derivation: step_has_inference_rule6808026compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6808026compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6808026compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6808026compute/get_dict_of_steps_in_derivation: step_has_inference_rule4256401compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4256401compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4256401compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4256401compute/get_dict_of_steps_in_derivation: step_has_inference_rule2868122compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2868122compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2868122compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2868122compute/get_dict_of_steps_in_derivation: step_has_inference_rule9156953compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9156953compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9156953compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9156953compute/get_dict_of_steps_in_derivation: step_has_inference_rule8270655compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8270655compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8270655compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8270655compute/get_dict_of_steps_in_derivation: step_has_inference_rule3334383compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3334383compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3334383compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3334383compute/get_dict_of_steps_in_derivation: step_has_inference_rule5038617compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5038617compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5038617compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5038617compute/get_dict_of_steps_in_derivation: step_has_inference_rule3430042compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3430042compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3430042compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3430042compute/get_dict_of_steps_in_derivation: step_has_inference_rule4805569compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4805569compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4805569compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4805569compute/get_dict_of_steps_in_derivation: step_has_inference_rule9843128compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9843128compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9843128compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9843128compute/get_dict_of_steps_in_derivation: step_has_inference_rule6070162compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6070162compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6070162compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6070162compute/get_dict_of_steps_in_derivation: step_has_inference_rule8453584compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8453584compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8453584compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8453584compute/get_dict_of_steps_in_derivation: step_has_inference_rule8621112compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8621112compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8621112compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8621112compute/get_dict_of_steps_in_derivation: step_has_inference_rule3188858compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3188858compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3188858compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3188858compute/get_dict_of_steps_in_derivation: step_has_inference_rule7843180compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7843180compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7843180compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7843180compute/get_dict_of_steps_in_derivation: step_has_inference_rule1971475compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1971475compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1971475compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1971475compute/get_dict_of_steps_in_derivation: step_has_inference_rule8492200compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8492200compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8492200compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8492200compute/get_dict_of_steps_in_derivation: step_has_inference_rule6958603compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6958603compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6958603compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6958603compute/get_dict_of_steps_in_derivation: step_has_inference_rule4397616compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4397616compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4397616compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4397616compute/get_dict_of_steps_in_derivation: step_has_inference_rule2336207compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2336207compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2336207compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2336207compute/get_dict_of_steps_in_derivation: step_has_inference_rule1337274compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1337274compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1337274compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1337274compute/get_dict_of_steps_in_derivation: step_has_inference_rule4336538compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4336538compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4336538compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4336538