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	step validity (as per SymPy)
1	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
2	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
3	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
4	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
5	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
6	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.01 seconds for pdg_app/to_review_derivation: node_properties, derivation 5290225
0.004 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation2355035
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6134672
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6134672
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6134672
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6134672
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index2355035
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1485854
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1485854
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1485854
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1485854
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2333825
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2333825
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2333825
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2333825
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2678478
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2678478
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2678478
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2678478
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3298839
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3298839
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3298839
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3298839
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3124471
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3124471
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3124471
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3124471
0.007 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation5290225
0.009 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id5290225000017
0.017 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule5290225
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1705101
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1705101
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1705101
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1705101
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1729939
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1729939
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1729939
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1729939
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5070198
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5070198
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5070198
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5070198
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8305201
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8305201
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8305201
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8305201
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9240666
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9240666
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9240666
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9240666
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9294433
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9294433
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9294433
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9294433
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1759644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1759644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1759644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1759644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6872821
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6872821
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6872821
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6872821
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9078446
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9078446
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9078446
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9078446
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2977025
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2977025
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2977025
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2977025
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2743115
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2743115
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2743115
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2743115
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1048960
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1048960
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1048960
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1048960

step	inference rule	input	feed	output	step validity (as per SymPy)
1	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
2	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
3	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
4	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
5	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
6	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