Welcome to the Physics Derivation Graph

Return to navigation page or list derivations

Review identity sin(2 x) = 2 sin(x) cos(x) using Euler's equation

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.			2103023049 $\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)$	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}.	2103023049 $\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)$	9110536742 $2 x$ 4961662865 $x$	8483686863 $\sin(2 x)=\frac{1}{2i}\left(\exp(i 2 x)-\exp(-i 2 x) \right)$	LHS diff is sin(pdg0001464) - sin(2pdg0001464) RHS diff is (-exp(4pdg0001464pdg0004621) + exp(3pdg0001464pdg0004621) - exp(pdg0001464pdg0004621) + 1)exp(-2pdg0001464pdg0004621)/(2pdg0004621)
3	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			4585932229 $\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$	no validation is available for declarations
4	111253: multiply expr 1 by expr 2 number of inputs: 2; feeds: 0; outputs: 1 Multiply Eq.~\\ref{eq:#1} by Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	4585932229 $\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$ 2103023049 $\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)$		3470587782 $\sin(x) \cos(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$	valid
5	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}.	3470587782 $\sin(x) \cos(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$	8642992037 $2$	9894826550 $2 \sin(x) \cos(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \left(\exp(i x)+\exp(-i x) \right)$	valid
6	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9894826550 $2 \sin(x) \cos(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \left(\exp(i x)+\exp(-i x) \right)$		8699789241 $2 \sin(x) \cos(x)=\frac{1}{2 i} \left( \exp(i 2 x) - 1 + 1 - \exp(-i 2 x) \right)$	valid
7	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8699789241 $2 \sin(x) \cos(x)=\frac{1}{2 i} \left( \exp(i 2 x) - 1 + 1 - \exp(-i 2 x) \right)$		9180861128 $2 \sin(x) \cos(x)=\frac{1}{2 i} \left( \exp(i 2 x) - \exp(-i 2 x) \right)$	valid
8	111863: RHS of expr 1 equals RHS of expr 2 number of inputs: 2; feeds: 0; outputs: 1 RHS of Eq.~\\ref{eq:#1} is equal to RHS of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9180861128 $2 \sin(x) \cos(x)=\frac{1}{2 i} \left( \exp(i 2 x) - \exp(-i 2 x) \right)$ 8483686863 $\sin(2 x)=\frac{1}{2i}\left(\exp(i 2 x)-\exp(-i 2 x) \right)$		2405307372 $\sin(2 x)=2 \sin(x) \cos(x)$	valid
9	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	2405307372 $\sin(2 x)=2 \sin(x) \cos(x)$			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.014 seconds for pdg_app/to_review_derivation: node_properties, derivation 5505131
0.004 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation3557105
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4411330
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4411330
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4411330
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4411330
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index3557105
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6425146
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6425146
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6425146
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6425146
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9900883
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9900883
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9900883
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9900883
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2913432
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2913432
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2913432
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2913432
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2500314
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2500314
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2500314
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2500314
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3593229
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3593229
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3593229
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3593229
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7733700
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7733700
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7733700
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7733700
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6334326
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6334326
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6334326
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6334326
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2895150
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2895150
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2895150
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2895150
0.005 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation5505131
0.01 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id5505131000016
0.023 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule5505131
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8468037
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8468037
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8468037
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8468037
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6507870
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6507870
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6507870
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6507870
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5375377
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5375377
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5375377
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5375377
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8536241
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8536241
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8536241
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8536241
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3284729
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3284729
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3284729
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3284729
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8912407
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8912407
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8912407
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8912407
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5395788
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5395788
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5395788
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5395788
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2423739
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2423739
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2423739
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2423739
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2488777
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2488777
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2488777
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2488777
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8229755
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8229755
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8229755
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8229755
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6110347
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6110347
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6110347
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6110347
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4443210
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4443210
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4443210
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4443210
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5522358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5522358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5522358
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5522358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9642545
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9642545
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9642545
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9642545
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6268328
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6268328
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6268328
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6268328
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4283601
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4283601
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4283601
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4283601
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4094583
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4094583
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4094583
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4094583
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2867284
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2867284
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2867284
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2867284

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.			2103023049 \(\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)	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}.	2103023049 \(\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)	9110536742 \(2 x\) 4961662865 \(x\)	8483686863 \(\sin(2 x)=\frac{1}{2i}\left(\exp(i 2 x)-\exp(-i 2 x) \right)\)	LHS diff is sin(pdg0001464) - sin(2pdg0001464) RHS diff is (-exp(4pdg0001464pdg0004621) + exp(3pdg0001464pdg0004621) - exp(pdg0001464pdg0004621) + 1)exp(-2pdg0001464pdg0004621)/(2pdg0004621)
3	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			4585932229 \(\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)	no validation is available for declarations
4	111253: multiply expr 1 by expr 2 number of inputs: 2; feeds: 0; outputs: 1 Multiply Eq.~\\ref{eq:#1} by Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	4585932229 \(\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\) 2103023049 \(\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)		3470587782 \(\sin(x) \cos(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)	valid
5	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}.	3470587782 \(\sin(x) \cos(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)	8642992037 \(2\)	9894826550 \(2 \sin(x) \cos(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \left(\exp(i x)+\exp(-i x) \right)\)	valid
6	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9894826550 \(2 \sin(x) \cos(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \left(\exp(i x)+\exp(-i x) \right)\)		8699789241 \(2 \sin(x) \cos(x)=\frac{1}{2 i} \left( \exp(i 2 x) - 1 + 1 - \exp(-i 2 x) \right)\)	valid
7	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8699789241 \(2 \sin(x) \cos(x)=\frac{1}{2 i} \left( \exp(i 2 x) - 1 + 1 - \exp(-i 2 x) \right)\)		9180861128 \(2 \sin(x) \cos(x)=\frac{1}{2 i} \left( \exp(i 2 x) - \exp(-i 2 x) \right)\)	valid
8	111863: RHS of expr 1 equals RHS of expr 2 number of inputs: 2; feeds: 0; outputs: 1 RHS of Eq.~\\ref{eq:#1} is equal to RHS of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9180861128 \(2 \sin(x) \cos(x)=\frac{1}{2 i} \left( \exp(i 2 x) - \exp(-i 2 x) \right)\) 8483686863 \(\sin(2 x)=\frac{1}{2i}\left(\exp(i 2 x)-\exp(-i 2 x) \right)\)		2405307372 \(\sin(2 x)=2 \sin(x) \cos(x)\)	valid
9	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	2405307372 \(\sin(2 x)=2 \sin(x) \cos(x)\)			no validation is available for declarations