Return to navigation page or list derivations
| step | inference rule | input | feed | output | validity (as per SymPy) |
|---|---|---|---|---|---|
| 10 |
|
|
|
|
LHS diff is -pdg0002718**(pdg0001464*pdg0004621) + exp(pdg0001464*pdg0004621) RHS diff is pdg0001452 - pdg0002718**(log(pdg0001452)/log(10)) |
| 7 |
|
|
|
|
recognized infrule but not yet supported |
| 5 |
|
|
|
|
Type Tuple cannot be instantiated; use tuple() instead |
| 3 |
|
|
|
|
Type Tuple cannot be instantiated; use tuple() instead |
| 8 |
|
|
|
|
recognized infrule but not yet supported |
| 2 |
|
|
|
|
recognized infrule but not yet supported |
| 6 |
|
|
|
|
invalid syntax (<string>, line 0) |
| 1 |
|
|
no validation is available for declarations | ||
| 4 |
|
|
|
Type Tuple cannot be instantiated; use tuple() instead | |
| 12 |
|
|
no validation is available for declarations | ||
| 9 |
|
|
|
valid | |
| 11 |
|
|
|
LHS diff is 0 RHS diff is pdg0001452 - pdg0004621*sin(pdg0001464) - cos(pdg0001464) |
timing of Neo4j queries:
pdg_app/to_review_derivation: node_properties, derivation9135194compute/get_dict_of_steps_in_derivation: steps_in_this_derivation6626535compute/get_dict_of_steps_in_derivation: step_has_inference_rule8155557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8155557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8155557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8155557compute/get_dict_of_steps_in_derivation: step_has_sequence_index6626535compute/get_dict_of_steps_in_derivation: step_has_inference_rule3489733compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3489733compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3489733compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3489733compute/get_dict_of_steps_in_derivation: step_has_inference_rule5146058compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5146058compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5146058compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5146058compute/get_dict_of_steps_in_derivation: step_has_inference_rule9421954compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9421954compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9421954compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9421954compute/get_dict_of_steps_in_derivation: step_has_inference_rule9689017compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9689017compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9689017compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9689017compute/get_dict_of_steps_in_derivation: step_has_inference_rule6410683compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6410683compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6410683compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6410683compute/get_dict_of_steps_in_derivation: step_has_inference_rule5904192compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5904192compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5904192compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5904192compute/get_dict_of_steps_in_derivation: step_has_inference_rule1634984compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1634984compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1634984compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1634984compute/get_dict_of_steps_in_derivation: step_has_inference_rule7243026compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7243026compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7243026compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7243026compute/get_dict_of_steps_in_derivation: step_has_inference_rule7872402compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7872402compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7872402compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7872402compute/get_dict_of_steps_in_derivation: step_has_inference_rule7549927compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7549927compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7549927compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7549927compute/get_dict_of_steps_in_derivation: step_has_inference_rule7244435compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7244435compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7244435compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7244435pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation9135194pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id9135194000001pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule9135194compute/get_dict_of_steps_in_derivation: step_has_inference_rule5685016compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5685016compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5685016compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5685016compute/get_dict_of_steps_in_derivation: step_has_inference_rule5323833compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5323833compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5323833compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5323833compute/get_dict_of_steps_in_derivation: step_has_inference_rule3547333compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3547333compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3547333compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3547333compute/get_dict_of_steps_in_derivation: step_has_inference_rule5585177compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5585177compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5585177compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5585177compute/get_dict_of_steps_in_derivation: step_has_inference_rule8271275compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8271275compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8271275compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8271275compute/get_dict_of_steps_in_derivation: step_has_inference_rule7748130compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7748130compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7748130compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7748130compute/get_dict_of_steps_in_derivation: step_has_inference_rule1738844compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1738844compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1738844compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1738844compute/get_dict_of_steps_in_derivation: step_has_inference_rule2890812compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2890812compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2890812compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2890812compute/get_dict_of_steps_in_derivation: step_has_inference_rule8778479compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8778479compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8778479compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8778479compute/get_dict_of_steps_in_derivation: step_has_inference_rule9358684compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9358684compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9358684compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9358684compute/get_dict_of_steps_in_derivation: step_has_inference_rule9792535compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9792535compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9792535compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9792535compute/get_dict_of_steps_in_derivation: step_has_inference_rule3240016compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3240016compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3240016compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3240016compute/get_dict_of_steps_in_derivation: step_has_inference_rule4446017compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4446017compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4446017compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4446017compute/get_dict_of_steps_in_derivation: step_has_inference_rule4676259compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4676259compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4676259compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4676259compute/get_dict_of_steps_in_derivation: step_has_inference_rule9346660compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9346660compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9346660compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9346660compute/get_dict_of_steps_in_derivation: step_has_inference_rule1317631compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1317631compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1317631compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1317631compute/get_dict_of_steps_in_derivation: step_has_inference_rule3755654compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3755654compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3755654compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3755654compute/get_dict_of_steps_in_derivation: step_has_inference_rule2653460compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2653460compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2653460compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2653460compute/get_dict_of_steps_in_derivation: step_has_inference_rule5428627compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5428627compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5428627compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5428627compute/get_dict_of_steps_in_derivation: step_has_inference_rule1901368compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1901368compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1901368compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1901368compute/get_dict_of_steps_in_derivation: step_has_inference_rule9817549compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9817549compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9817549compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9817549compute/get_dict_of_steps_in_derivation: step_has_inference_rule9575171compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9575171compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9575171compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9575171compute/get_dict_of_steps_in_derivation: step_has_inference_rule9888097compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9888097compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9888097compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9888097compute/get_dict_of_steps_in_derivation: step_has_inference_rule1933258compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1933258compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1933258compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1933258