Return to navigation page or list derivations
| step | inference rule | input | feed | output | validity (as per SymPy) |
|---|---|---|---|---|---|
| 10 |
|
|
|
|
LHS diff is 0 RHS diff is -sqrt((pdg0001939**2 - 4*pdg0004231*pdg0009139)/pdg0009139**2) |
| 10.5 |
|
|
|
|
LHS diff is 0 RHS diff is sqrt((pdg0001939**2 - 4*pdg0004231*pdg0009139)/pdg0009139**2) |
| 11 |
|
|
|
LHS diff is 0 RHS diff is (-pdg0009139*sqrt((pdg0001939**2 - 4*pdg0004231*pdg0009139)/pdg0009139**2) + sqrt(pdg0001939**2 - 4*pdg0004231*pdg0009139))/(2*pdg0009139) | |
| 11.5 |
|
|
|
LHS diff is 0 RHS diff is (pdg0009139*sqrt((pdg0001939**2 - 4*pdg0004231*pdg0009139)/pdg0009139**2) - sqrt(pdg0001939**2 - 4*pdg0004231*pdg0009139))/(2*pdg0009139) | |
| 5 |
|
|
|
|
valid |
| 4 |
|
|
|
|
LHS diff is pdg0001464*(-pdg0001939 + pdg0009139)/pdg0009139 RHS diff is 0 |
| 9 |
|
|
|
recognized infrule but not yet supported | |
| 8 |
|
|
|
valid | |
| 7 |
|
|
|
valid | |
| 6 |
|
|
|
|
valid |
| 14 |
|
|
no validation is available for declarations | ||
| 15 |
|
|
no validation is available for declarations | ||
| 3 |
|
|
|
|
Algebraic error: LHS diff is pdg0001464*(pdg0001939 - pdg0009139)/pdg0009139, RHS diff is 0 |
| 1 |
|
|
no validation is available for declarations | ||
| 7.5 |
|
|
no validation is available for declarations |
timing of Neo4j queries:
pdg_app/to_review_derivation: node_properties, derivation4573338compute/get_dict_of_steps_in_derivation: steps_in_this_derivation8020567compute/get_dict_of_steps_in_derivation: step_has_inference_rule8670154compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8670154compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8670154compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8670154compute/get_dict_of_steps_in_derivation: step_has_sequence_index8020567compute/get_dict_of_steps_in_derivation: step_has_inference_rule2925441compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2925441compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2925441compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2925441compute/get_dict_of_steps_in_derivation: step_has_inference_rule2051542compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2051542compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2051542compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2051542compute/get_dict_of_steps_in_derivation: step_has_inference_rule3456115compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3456115compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3456115compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3456115compute/get_dict_of_steps_in_derivation: step_has_inference_rule4113947compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4113947compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4113947compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4113947compute/get_dict_of_steps_in_derivation: step_has_inference_rule6290862compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6290862compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6290862compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6290862compute/get_dict_of_steps_in_derivation: step_has_inference_rule5096014compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5096014compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5096014compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5096014compute/get_dict_of_steps_in_derivation: step_has_inference_rule5906932compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5906932compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5906932compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5906932compute/get_dict_of_steps_in_derivation: step_has_inference_rule7513961compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7513961compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7513961compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7513961compute/get_dict_of_steps_in_derivation: step_has_inference_rule7794613compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7794613compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7794613compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7794613compute/get_dict_of_steps_in_derivation: step_has_inference_rule3623861compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3623861compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3623861compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3623861compute/get_dict_of_steps_in_derivation: step_has_inference_rule7667165compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7667165compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7667165compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7667165compute/get_dict_of_steps_in_derivation: step_has_inference_rule3145437compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3145437compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3145437compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3145437compute/get_dict_of_steps_in_derivation: step_has_inference_rule8330269compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8330269compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8330269compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8330269compute/get_dict_of_steps_in_derivation: step_has_inference_rule3869946compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3869946compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3869946compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3869946pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation4573338pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id4573338000011pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule4573338compute/get_dict_of_steps_in_derivation: step_has_inference_rule6997092compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6997092compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6997092compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6997092compute/get_dict_of_steps_in_derivation: step_has_inference_rule4460998compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4460998compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4460998compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4460998compute/get_dict_of_steps_in_derivation: step_has_inference_rule2105980compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2105980compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2105980compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2105980compute/get_dict_of_steps_in_derivation: step_has_inference_rule6188476compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6188476compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6188476compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6188476compute/get_dict_of_steps_in_derivation: step_has_inference_rule1562784compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1562784compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1562784compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1562784compute/get_dict_of_steps_in_derivation: step_has_inference_rule7154822compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7154822compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7154822compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7154822compute/get_dict_of_steps_in_derivation: step_has_inference_rule5335707compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5335707compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5335707compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5335707compute/get_dict_of_steps_in_derivation: step_has_inference_rule5284477compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5284477compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5284477compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5284477compute/get_dict_of_steps_in_derivation: step_has_inference_rule7776916compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7776916compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7776916compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7776916compute/get_dict_of_steps_in_derivation: step_has_inference_rule8569557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8569557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8569557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8569557compute/get_dict_of_steps_in_derivation: step_has_inference_rule8637854compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8637854compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8637854compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8637854compute/get_dict_of_steps_in_derivation: step_has_inference_rule1128085compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1128085compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1128085compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1128085compute/get_dict_of_steps_in_derivation: step_has_inference_rule3606091compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3606091compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3606091compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3606091compute/get_dict_of_steps_in_derivation: step_has_inference_rule2566452compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2566452compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2566452compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2566452compute/get_dict_of_steps_in_derivation: step_has_inference_rule5451447compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5451447compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5451447compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5451447compute/get_dict_of_steps_in_derivation: step_has_inference_rule1793398compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1793398compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1793398compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1793398compute/get_dict_of_steps_in_derivation: step_has_inference_rule1159691compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1159691compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1159691compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1159691compute/get_dict_of_steps_in_derivation: step_has_inference_rule1110219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1110219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1110219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1110219compute/get_dict_of_steps_in_derivation: step_has_inference_rule7185820compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7185820compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7185820compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7185820compute/get_dict_of_steps_in_derivation: step_has_inference_rule6839792compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6839792compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6839792compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6839792compute/get_dict_of_steps_in_derivation: step_has_inference_rule4517092compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4517092compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4517092compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4517092compute/get_dict_of_steps_in_derivation: step_has_inference_rule5804531compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5804531compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5804531compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5804531compute/get_dict_of_steps_in_derivation: step_has_inference_rule2077671compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2077671compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2077671compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2077671compute/get_dict_of_steps_in_derivation: step_has_inference_rule9637746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9637746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9637746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9637746compute/get_dict_of_steps_in_derivation: step_has_inference_rule6486753compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6486753compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6486753compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6486753compute/get_dict_of_steps_in_derivation: step_has_inference_rule6314996compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6314996compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6314996compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6314996compute/get_dict_of_steps_in_derivation: step_has_inference_rule7911781compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7911781compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7911781compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7911781compute/get_dict_of_steps_in_derivation: step_has_inference_rule2590541compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2590541compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2590541compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2590541compute/get_dict_of_steps_in_derivation: step_has_inference_rule5205579compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5205579compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5205579compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5205579compute/get_dict_of_steps_in_derivation: step_has_inference_rule6078611compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6078611compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6078611compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6078611