Welcome to the Physics Derivation Graph

Return to navigation page or list derivations

Review Euler equation to e^(i pi) + 1 = 0

abstract:
reference:

step	inference rule	input	feed	output	validity (as per SymPy)
3	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8332931442 $\exp(i \pi)=\cos(\pi)+i \sin(\pi)$		6885625907 $\exp(i \pi)=-1 + i 0$	LHS diff is 0 RHS diff is pdg0004621*sin(pdg0003141) + cos(pdg0003141) + 1
2	ID: 111886; change variable X to Y number of inputs: 1; feeds: 2; outputs: 1 Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	4938429483 $\exp(i x)=\cos(x)+i \sin(x)$	3268645065 $x$ 9350663581 $\pi$	8332931442 $\exp(i \pi)=\cos(\pi)+i \sin(\pi)$	valid
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			4938429483 $\exp(i x)=\cos(x)+i \sin(x)$	no validation is available for declarations
5	ID: 111530; add X to both sides number of inputs: 1; feeds: 1; outputs: 1 Add $#1$ to both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	3331824625 $\exp(i \pi)=-1$	4901237716 $1$	2501591100 $\exp(i \pi) + 1=0$	valid
4	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	6885625907 $\exp(i \pi)=-1 + i 0$		3331824625 $\exp(i \pi)=-1$	valid
6	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	2501591100 $\exp(i \pi) + 1=0$			no validation is available for declarations

Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.

Actions: Edit Derivation

Generate Tex file or PDF file

Delete Derivation and all associated steps

This does not remove expressions, symbols, and operations.

timing of Neo4j queries:

0.012 seconds for pdg_app/to_review_derivation: node_properties, derivation8232721
0.018 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation5041013
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2444469
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2444469
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2444469
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2444469
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index5041013
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1327898
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1327898
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1327898
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1327898
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7097101
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7097101
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7097101
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7097101
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7488169
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7488169
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7488169
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7488169
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9278747
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9278747
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9278747
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9278747
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8344196
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8344196
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8344196
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8344196
0.003 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation8232721
0.005 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id8232721000017
0.025 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule8232721
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5186246
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5186246
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5186246
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5186246
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2651669
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2651669
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2651669
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2651669
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3142957
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3142957
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3142957
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3142957
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2410783
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2410783
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2410783
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2410783
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7405247
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7405247
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7405247
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7405247
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3898889
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3898889
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3898889
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3898889
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7673534
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7673534
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7673534
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7673534
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8899358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8899358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8899358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8899358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6806599
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6806599
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6806599
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6806599
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9875303
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9875303
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9875303
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9875303
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6976981
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6976981
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6976981
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6976981
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8071454
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8071454
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8071454
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8071454

step	inference rule	input	feed	output	validity (as per SymPy)
3	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8332931442 \(\exp(i \pi)=\cos(\pi)+i \sin(\pi)\)		6885625907 \(\exp(i \pi)=-1 + i 0\)	LHS diff is 0 RHS diff is pdg0004621*sin(pdg0003141) + cos(pdg0003141) + 1
2	ID: 111886; change variable X to Y number of inputs: 1; feeds: 2; outputs: 1 Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	4938429483 \(\exp(i x)=\cos(x)+i \sin(x)\)	3268645065 \(x\) 9350663581 \(\pi\)	8332931442 \(\exp(i \pi)=\cos(\pi)+i \sin(\pi)\)	valid
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			4938429483 \(\exp(i x)=\cos(x)+i \sin(x)\)	no validation is available for declarations
5	ID: 111530; add X to both sides number of inputs: 1; feeds: 1; outputs: 1 Add $#1$ to both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	3331824625 \(\exp(i \pi)=-1\)	4901237716 \(1\)	2501591100 \(\exp(i \pi) + 1=0\)	valid
4	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	6885625907 \(\exp(i \pi)=-1 + i 0\)		3331824625 \(\exp(i \pi)=-1\)	valid
6	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	2501591100 \(\exp(i \pi) + 1=0\)			no validation is available for declarations