Welcome to the Physics Derivation Graph

Return to navigation page or list derivations

Review Euler equation: trigonometric relations

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)$	0003949052 $-x$ 0002393922 $x$	2394853829 $\exp(-i x)=\cos(-x)+i \sin(-x)$	LHS diff is 2sinh(pdg0001464pdg0004621) RHS diff is 2pdg0004621sin(pdg0001464)
3	111329: function is even number of inputs: 1; feeds: 3; outputs: 1 $#1$ is even with respect to $#2$, so replace $#1$ with $#3$ in Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.	2394853829 $\exp(-i x)=\cos(-x)+i \sin(-x)$	0003413423 $\cos(-x)$ 0001030901 $\cos(x)$ 0004849392 $x$	4938429482 $\exp(-i x)=\cos(x)+i \sin(-x)$	recognized infrule but not yet supported
4	111522: function is odd number of inputs: 1; feeds: 3; outputs: 1 $#1$ is odd with respect to $#2$, so replace $#1$ with $#3$ in Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.	4938429482 $\exp(-i x)=\cos(x)+i \sin(-x)$	0003919391 $x$ 0002919191 $\sin(-x)$ 0003981813 $-\sin(x)$	4938429484 $\exp(-i x)=\cos(x)-i \sin(x)$	recognized infrule but not yet supported
5	111980: add expr 1 to expr 2 number of inputs: 2; feeds: 0; outputs: 1 Add Eq.~\\ref{eq:#1} to Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#2}.	4938429483 $\exp(i x)=\cos(x)+i \sin(x)$ 4938429484 $\exp(-i x)=\cos(x)-i \sin(x)$		4742644828 $\exp(i x)+\exp(-i x)=2 \cos(x)$	valid
6	111975: divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	4742644828 $\exp(i x)+\exp(-i x)=2 \cos(x)$	0004829194 $2$	3829492824 $\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)=\cos(x)$	valid
7	111268: swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.	3829492824 $\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)=\cos(x)$		4585932229 $\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$	valid
8	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	2103023049 $\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)$ 4585932229 $\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$			no validation is available for declarations
9	111182: multiply both sides by number of inputs: 1; feeds: 1; outputs: 1 Multiply both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	4938429484 $\exp(-i x)=\cos(x)-i \sin(x)$	0003747849 $-1$	2123139121 $-\exp(-i x)=-\cos(x)+i \sin(x)$	valid
10	111980: add expr 1 to expr 2 number of inputs: 2; feeds: 0; outputs: 1 Add Eq.~\\ref{eq:#1} to Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#2}.	2123139121 $-\exp(-i x)=-\cos(x)+i \sin(x)$ 4938429483 $\exp(i x)=\cos(x)+i \sin(x)$		3942849294 $\exp(i x)-\exp(-i x)=2 i \sin(x)$	valid
11	111975: divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	3942849294 $\exp(i x)-\exp(-i x)=2 i \sin(x)$	0001921933 $2 i$	4843995999 $\frac{1}{2 i}\left(\exp(i x)-\exp(-i x) \right)=\sin(x)$	valid
12	111268: swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.	4843995999 $\frac{1}{2 i}\left(\exp(i x)-\exp(-i x) \right)=\sin(x)$		2103023049 $\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)$	valid

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.021 seconds for pdg_app/to_review_derivation: node_properties, derivation 1102352
0.009 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation1420829
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6051934
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6051934
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6051934
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6051934
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index1420829
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1850648
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1850648
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1850648
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1850648
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8313775
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8313775
0.017 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8313775
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8313775
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9684397
0.015 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9684397
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9684397
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9684397
0.015 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3283830
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3283830
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3283830
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3283830
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2624015
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2624015
0.018 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2624015
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2624015
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5454728
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5454728
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5454728
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5454728
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1925842
0.017 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1925842
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1925842
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1925842
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2568347
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2568347
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2568347
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2568347
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4063511
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4063511
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4063511
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4063511
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4437921
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4437921
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4437921
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4437921
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9833279
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9833279
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9833279
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9833279
0.011 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation1102352
0.015 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id1102352000003
0.041 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule1102352
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8580914
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8580914
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8580914
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8580914
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1990028
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1990028
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1990028
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1990028
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5353817
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5353817
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5353817
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5353817
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5877176
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5877176
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5877176
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5877176
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6345593
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6345593
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6345593
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6345593
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7094968
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7094968
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7094968
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7094968
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9244962
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9244962
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9244962
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9244962
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1812815
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1812815
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1812815
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1812815
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1594626
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1594626
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1594626
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1594626
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2165404
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2165404
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2165404
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2165404
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4228499
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4228499
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4228499
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4228499
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2981391
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2981391
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2981391
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2981391
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6663754
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6663754
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6663754
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6663754
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5874235
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5874235
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5874235
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5874235
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1328540
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1328540
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1328540
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1328540
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1880521
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1880521
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1880521
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1880521
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4849424
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4849424
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4849424
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4849424
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6207941
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6207941
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6207941
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6207941
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2542080
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2542080
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2542080
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2542080
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5668602
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5668602
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5668602
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5668602
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3159067
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3159067
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3159067
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3159067
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9256106
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9256106
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9256106
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9256106
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5409281
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5409281
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5409281
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5409281
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8316314
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8316314
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8316314
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8316314

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)\)	0003949052 \(-x\) 0002393922 \(x\)	2394853829 \(\exp(-i x)=\cos(-x)+i \sin(-x)\)	LHS diff is 2sinh(pdg0001464pdg0004621) RHS diff is 2pdg0004621sin(pdg0001464)
3	111329: function is even number of inputs: 1; feeds: 3; outputs: 1 $#1$ is even with respect to $#2$, so replace $#1$ with $#3$ in Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.	2394853829 \(\exp(-i x)=\cos(-x)+i \sin(-x)\)	0003413423 \(\cos(-x)\) 0001030901 \(\cos(x)\) 0004849392 \(x\)	4938429482 \(\exp(-i x)=\cos(x)+i \sin(-x)\)	recognized infrule but not yet supported
4	111522: function is odd number of inputs: 1; feeds: 3; outputs: 1 $#1$ is odd with respect to $#2$, so replace $#1$ with $#3$ in Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.	4938429482 \(\exp(-i x)=\cos(x)+i \sin(-x)\)	0003919391 \(x\) 0002919191 \(\sin(-x)\) 0003981813 \(-\sin(x)\)	4938429484 \(\exp(-i x)=\cos(x)-i \sin(x)\)	recognized infrule but not yet supported
5	111980: add expr 1 to expr 2 number of inputs: 2; feeds: 0; outputs: 1 Add Eq.~\\ref{eq:#1} to Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#2}.	4938429483 \(\exp(i x)=\cos(x)+i \sin(x)\) 4938429484 \(\exp(-i x)=\cos(x)-i \sin(x)\)		4742644828 \(\exp(i x)+\exp(-i x)=2 \cos(x)\)	valid
6	111975: divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	4742644828 \(\exp(i x)+\exp(-i x)=2 \cos(x)\)	0004829194 \(2\)	3829492824 \(\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)=\cos(x)\)	valid
7	111268: swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.	3829492824 \(\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)=\cos(x)\)		4585932229 \(\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)	valid
8	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	2103023049 \(\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\) 4585932229 \(\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)			no validation is available for declarations
9	111182: multiply both sides by number of inputs: 1; feeds: 1; outputs: 1 Multiply both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	4938429484 \(\exp(-i x)=\cos(x)-i \sin(x)\)	0003747849 \(-1\)	2123139121 \(-\exp(-i x)=-\cos(x)+i \sin(x)\)	valid
10	111980: add expr 1 to expr 2 number of inputs: 2; feeds: 0; outputs: 1 Add Eq.~\\ref{eq:#1} to Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#2}.	2123139121 \(-\exp(-i x)=-\cos(x)+i \sin(x)\) 4938429483 \(\exp(i x)=\cos(x)+i \sin(x)\)		3942849294 \(\exp(i x)-\exp(-i x)=2 i \sin(x)\)	valid
11	111975: divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	3942849294 \(\exp(i x)-\exp(-i x)=2 i \sin(x)\)	0001921933 \(2 i\)	4843995999 \(\frac{1}{2 i}\left(\exp(i x)-\exp(-i x) \right)=\sin(x)\)	valid
12	111268: swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.	4843995999 \(\frac{1}{2 i}\left(\exp(i x)-\exp(-i x) \right)=\sin(x)\)		2103023049 \(\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)	valid