Welcome to the Physics Derivation Graph

MESSAGES:

Type Tuple cannot be instantiated; use tuple() instead
Type Tuple cannot be instantiated; use tuple() instead
invalid syntax (<string>, line 0)
Type Tuple cannot be instantiated; use tuple() instead

Return to navigation page or list derivations

Review Euler equation proof

abstract:
reference:

step	inference rule	input	feed	output	validity (as per SymPy)
10	ID: 111721; make expr power number of inputs: 1; feeds: 1; outputs: 1 Make Eq.~\\ref{eq:#2} the power of $#1$; yields Eq.~\\ref{eq:#3}.	4923339482 $i x=\log(y)$	0006656532 $e$	9482923849 $\exp(i x)=y$	LHS diff is -pdg0002718*(pdg0001464pdg0004621) + exp(pdg0001464pdg0004621) RHS diff is pdg0001452 - pdg0002718*(log(pdg0001452)/log(10))
7	ID: 111132; indefinite integrate RHS over number of inputs: 1; feeds: 1; outputs: 1 Indefinite integral of RHS of Eq.~\\ref{eq:#2} over $#1$; yields Eq.~\\ref{eq:#3}.	9482113948 $\frac{dy}{y}=i dx$	0004264724 $y$	9482943948 $\log(y)=i dx$	recognized infrule but not yet supported
5	ID: 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}.	9848294829 $\frac{d}{dx} y=y i$	0003954314 $dx$	9848292229 $dy=y i dx$	Type Tuple cannot be instantiated; use tuple() instead
3	ID: 111260; factor out X from RHS number of inputs: 1; feeds: 1; outputs: 1 Factor $#1$ from the RHS of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9429829482 $\frac{d}{dx} y=-\sin(x) + i\cos(x)$	0007563791 $i$	9482984922 $\frac{d}{dx} y=(i\sin(x) + \cos(x)) i$	Type Tuple cannot be instantiated; use tuple() instead
8	ID: 111132; indefinite integrate RHS over number of inputs: 1; feeds: 1; outputs: 1 Indefinite integral of RHS of Eq.~\\ref{eq:#2} over $#1$; yields Eq.~\\ref{eq:#3}.	9482943948 $\log(y)=i dx$	0006563727 $x$	4928239482 $\log(y)=i x$	recognized infrule but not yet supported
2	ID: 111649; differentiate with respect to number of inputs: 1; feeds: 1; outputs: 1 Differentiate Eq.~\\ref{eq:#2} with respect to $#1$; yields Eq.~\\ref{eq:#3}.	9492920340 $y=\cos(x)+i \sin(x)$	0007636749 $x$	9429829482 $\frac{d}{dx} y=-\sin(x) + i\cos(x)$	recognized infrule but not yet supported
6	ID: 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}.	9848292229 $dy=y i dx$	0009877781 $y$	9482113948 $\frac{dy}{y}=i dx$	invalid syntax (<string>, line 0)
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9492920340 $y=\cos(x)+i \sin(x)$	no validation is available for declarations
4	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9492920340 $y=\cos(x)+i \sin(x)$ 9482984922 $\frac{d}{dx} y=(i\sin(x) + \cos(x)) i$		9848294829 $\frac{d}{dx} y=y i$	Type Tuple cannot be instantiated; use tuple() instead
12	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	4938429483 $\exp(i x)=\cos(x)+i \sin(x)$			no validation is available for declarations
9	ID: 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}.	4928239482 $\log(y)=i x$		4923339482 $i x=\log(y)$	valid
11	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9492920340 $y=\cos(x)+i \sin(x)$ 9482923849 $\exp(i x)=y$		4938429483 $\exp(i x)=\cos(x)+i \sin(x)$	LHS diff is 0 RHS diff is pdg0001452 - pdg0004621*sin(pdg0001464) - cos(pdg0001464)

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.011 seconds for pdg_app/to_review_derivation: node_properties, derivation1457828
0.019 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation4873338
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7935066
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7935066
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7935066
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7935066
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index4873338
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9910643
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9910643
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9910643
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9910643
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3501652
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3501652
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3501652
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3501652
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9549354
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9549354
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9549354
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9549354
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6599352
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6599352
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6599352
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6599352
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4498596
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4498596
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4498596
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4498596
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9380561
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9380561
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9380561
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9380561
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7111684
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7111684
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7111684
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7111684
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4803828
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4803828
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4803828
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4803828
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3513257
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3513257
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3513257
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3513257
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7624395
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7624395
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7624395
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7624395
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9146261
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9146261
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9146261
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9146261
0.005 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation1457828
0.007 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id1457828000001
0.018 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule1457828
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7237377
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7237377
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7237377
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7237377
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2138105
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2138105
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2138105
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2138105
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4094223
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4094223
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4094223
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4094223
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1395091
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1395091
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1395091
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1395091
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5561351
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5561351
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5561351
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5561351
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6621070
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6621070
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6621070
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6621070
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2694543
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2694543
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2694543
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2694543
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8770574
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8770574
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8770574
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8770574
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2526141
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2526141
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2526141
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2526141
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7568700
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7568700
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7568700
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7568700
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8079334
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8079334
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8079334
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8079334
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4464172
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4464172
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4464172
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4464172
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3904529
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3904529
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3904529
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3904529
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6923503
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6923503
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6923503
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6923503
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6100920
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6100920
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6100920
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6100920
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6030760
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6030760
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6030760
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6030760
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8655430
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8655430
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8655430
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8655430
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4495478
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4495478
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4495478
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4495478
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7236043
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7236043
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7236043
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7236043
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3617693
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3617693
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3617693
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3617693
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8211775
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8211775
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8211775
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8211775
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5003082
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5003082
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5003082
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5003082
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1569316
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1569316
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1569316
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1569316
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5271613
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5271613
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5271613
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5271613

step	inference rule	input	feed	output	validity (as per SymPy)
10	ID: 111721; make expr power number of inputs: 1; feeds: 1; outputs: 1 Make Eq.~\\ref{eq:#2} the power of $#1$; yields Eq.~\\ref{eq:#3}.	4923339482 \(i x=\log(y)\)	0006656532 \(e\)	9482923849 \(\exp(i x)=y\)	LHS diff is -pdg0002718*(pdg0001464pdg0004621) + exp(pdg0001464pdg0004621) RHS diff is pdg0001452 - pdg0002718*(log(pdg0001452)/log(10))
7	ID: 111132; indefinite integrate RHS over number of inputs: 1; feeds: 1; outputs: 1 Indefinite integral of RHS of Eq.~\\ref{eq:#2} over $#1$; yields Eq.~\\ref{eq:#3}.	9482113948 \(\frac{dy}{y}=i dx\)	0004264724 \(y\)	9482943948 \(\log(y)=i dx\)	recognized infrule but not yet supported
5	ID: 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}.	9848294829 \(\frac{d}{dx} y=y i\)	0003954314 \(dx\)	9848292229 \(dy=y i dx\)	Type Tuple cannot be instantiated; use tuple() instead
3	ID: 111260; factor out X from RHS number of inputs: 1; feeds: 1; outputs: 1 Factor $#1$ from the RHS of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9429829482 \(\frac{d}{dx} y=-\sin(x) + i\cos(x)\)	0007563791 \(i\)	9482984922 \(\frac{d}{dx} y=(i\sin(x) + \cos(x)) i\)	Type Tuple cannot be instantiated; use tuple() instead
8	ID: 111132; indefinite integrate RHS over number of inputs: 1; feeds: 1; outputs: 1 Indefinite integral of RHS of Eq.~\\ref{eq:#2} over $#1$; yields Eq.~\\ref{eq:#3}.	9482943948 \(\log(y)=i dx\)	0006563727 \(x\)	4928239482 \(\log(y)=i x\)	recognized infrule but not yet supported
2	ID: 111649; differentiate with respect to number of inputs: 1; feeds: 1; outputs: 1 Differentiate Eq.~\\ref{eq:#2} with respect to $#1$; yields Eq.~\\ref{eq:#3}.	9492920340 \(y=\cos(x)+i \sin(x)\)	0007636749 \(x\)	9429829482 \(\frac{d}{dx} y=-\sin(x) + i\cos(x)\)	recognized infrule but not yet supported
6	ID: 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}.	9848292229 \(dy=y i dx\)	0009877781 \(y\)	9482113948 \(\frac{dy}{y}=i dx\)	invalid syntax (<string>, line 0)
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9492920340 \(y=\cos(x)+i \sin(x)\)	no validation is available for declarations
4	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9492920340 \(y=\cos(x)+i \sin(x)\) 9482984922 \(\frac{d}{dx} y=(i\sin(x) + \cos(x)) i\)		9848294829 \(\frac{d}{dx} y=y i\)	Type Tuple cannot be instantiated; use tuple() instead
12	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	4938429483 \(\exp(i x)=\cos(x)+i \sin(x)\)			no validation is available for declarations
9	ID: 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}.	4928239482 \(\log(y)=i x\)		4923339482 \(i x=\log(y)\)	valid
11	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9492920340 \(y=\cos(x)+i \sin(x)\) 9482923849 \(\exp(i x)=y\)		4938429483 \(\exp(i x)=\cos(x)+i \sin(x)\)	LHS diff is 0 RHS diff is pdg0001452 - pdg0004621*sin(pdg0001464) - cos(pdg0001464)