Review Derivation: Physics Derivation Graph

MESSAGES:

pdg_app/to_review_derivation sympy_validate_step.validate_step: TypeErrorType Tuple cannot be instantiated; use tuple() instead
pdg_app/to_review_derivation sympy_validate_step.validate_step: TypeErrorType Tuple cannot be instantiated; use tuple() instead
pdg_app/to_review_derivation sympy_validate_step.validate_step: TypeErrorType Tuple cannot be instantiated; use tuple() instead
pdg_app/to_review_derivation sympy_validate_step.validate_step: TypeErrorType Tuple cannot be instantiated; use tuple() instead

Return to navigation page or list derivations

Review first law of thermodynamics

abstract: https://www.youtube.com/watch?v=QTiqF-HtkS0 and https://www.youtube.com/watch?v=3Yls-t3B49U
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.			1815398659 $U=Q + W$	no validation is available for declarations
2	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9941599459 $dU=\left(\frac{\partial U}{\partial T}\right)_V dT + \left(\frac{\partial U}{\partial V}\right)_T dV$	no validation is available for declarations
3	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3547519267 $S=k_{\rm Boltzmann} \ln \Omega$	no validation is available for declarations
4	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			1085150613 $C_V=\left(\frac{\partial U}{\partial T}\right)_V$	no validation is available for declarations
5	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			5634116660 $\pi_T=\left(\frac{\partial U}{\partial V}\right)_T$	no validation is available for declarations
6	111732: substitute LHS of two expressions into expression number of inputs: 3; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} and LHS of Eq.~\\ref{eq:#2} into Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	5634116660 $\pi_T=\left(\frac{\partial U}{\partial V}\right)_T$ 1085150613 $C_V=\left(\frac{\partial U}{\partial T}\right)_V$ 9941599459 $dU=\left(\frac{\partial U}{\partial T}\right)_V dT + \left(\frac{\partial U}{\partial V}\right)_T dV$		5002539602 $dU=C_V dT + \pi_T dV$	recognized infrule but not yet supported
7	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}.	5002539602 $dU=C_V dT + \pi_T dV$	8854422847 $dT$	6055078815 $\left(\frac{\partial U}{\partial T}\right)_p=C_V \left(\frac{\partial T}{\partial T}\right)_p + \pi_T \left( \frac{\partial V}{\partial T} \right)_p$	Type Tuple cannot be instantiated; use tuple() instead
8	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3464107376 $\alpha=\frac{1}{V} \left( \frac{\partial V}{\partial T} \right)_p$	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}.	3464107376 $\alpha=\frac{1}{V} \left( \frac{\partial V}{\partial T} \right)_p$	5074423401 $V$	6397683463 $V \alpha=\left( \frac{\partial V}{\partial T} \right)_p$	Type Tuple cannot be instantiated; use tuple() instead
10	111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	6055078815 $\left(\frac{\partial U}{\partial T}\right)_p=C_V \left(\frac{\partial T}{\partial T}\right)_p + \pi_T \left( \frac{\partial V}{\partial T} \right)_p$ 6397683463 $V \alpha=\left( \frac{\partial V}{\partial T} \right)_p$		2257410739 $\left(\frac{\partial U}{\partial T}\right)_p=C_V \left(\frac{\partial T}{\partial T}\right)_p + \pi_T V \alpha$	Type Tuple cannot be instantiated; use tuple() instead
11	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	2257410739 $\left(\frac{\partial U}{\partial T}\right)_p=C_V \left(\frac{\partial T}{\partial T}\right)_p + \pi_T V \alpha$		7826132469 $\left(\frac{\partial U}{\partial T}\right)_p=C_V + \pi_T V \alpha$	Type Tuple cannot be instantiated; use tuple() instead
12	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9781951738 $\kappa_T=\frac{-1}{V} \left( \frac{ \partial V}{\partial P} \right)_T$	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.005 seconds for pdg_app/to_review_derivation: node_properties, derivation 1342617
0.007 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation1392608
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4941148
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4941148
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4941148
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4941148
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index1392608
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7409768
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7409768
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7409768
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7409768
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7675721
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7675721
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7675721
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7675721
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4866925
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4866925
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4866925
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4866925
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2022320
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2022320
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2022320
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2022320
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4338848
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4338848
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4338848
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4338848
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7764718
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7764718
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7764718
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7764718
0.015 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5596251
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5596251
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5596251
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5596251
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6822192
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6822192
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6822192
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6822192
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8186203
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8186203
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8186203
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8186203
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9816031
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9816031
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9816031
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9816031
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1331674
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1331674
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1331674
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1331674
0.004 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation1342617
0.008 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id1342617513999
0.018 seconds for pdg_app/to_review_derivation: get_nodes_of_type inference_rule1342617
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6030824
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6030824
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6030824
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6030824
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9203549
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9203549
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9203549
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9203549
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2520783
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2520783
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2520783
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2520783
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5465266
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5465266
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5465266
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5465266
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3262282
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3262282
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3262282
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3262282
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8120460
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8120460
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8120460
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8120460
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6413469
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6413469
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6413469
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6413469
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2604502
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2604502
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2604502
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2604502
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7701792
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7701792
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7701792
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7701792
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4883624
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4883624
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4883624
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4883624
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6437720
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6437720
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6437720
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6437720
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6514177
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6514177
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6514177
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6514177
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5000589
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5000589
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5000589
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5000589
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1020857
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1020857
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1020857
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1020857
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8141860
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8141860
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8141860
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8141860
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6890894
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6890894
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6890894
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6890894
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9219478
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9219478
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9219478
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9219478
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8997558
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8997558
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8997558
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8997558
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5344295
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5344295
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5344295
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5344295
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3028449
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3028449
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3028449
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3028449
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4978495
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4978495
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4978495
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4978495
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6646056
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6646056
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6646056
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6646056
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2966776
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2966776
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2966776
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2966776
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9005105
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9005105
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9005105
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9005105

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.			1815398659 \(U=Q + W\)	no validation is available for declarations
2	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9941599459 \(dU=\left(\frac{\partial U}{\partial T}\right)_V dT + \left(\frac{\partial U}{\partial V}\right)_T dV\)	no validation is available for declarations
3	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3547519267 \(S=k_{\rm Boltzmann} \ln \Omega\)	no validation is available for declarations
4	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			1085150613 \(C_V=\left(\frac{\partial U}{\partial T}\right)_V\)	no validation is available for declarations
5	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			5634116660 \(\pi_T=\left(\frac{\partial U}{\partial V}\right)_T\)	no validation is available for declarations
6	111732: substitute LHS of two expressions into expression number of inputs: 3; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} and LHS of Eq.~\\ref{eq:#2} into Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	5634116660 \(\pi_T=\left(\frac{\partial U}{\partial V}\right)_T\) 1085150613 \(C_V=\left(\frac{\partial U}{\partial T}\right)_V\) 9941599459 \(dU=\left(\frac{\partial U}{\partial T}\right)_V dT + \left(\frac{\partial U}{\partial V}\right)_T dV\)		5002539602 \(dU=C_V dT + \pi_T dV\)	recognized infrule but not yet supported
7	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}.	5002539602 \(dU=C_V dT + \pi_T dV\)	8854422847 \(dT\)	6055078815 \(\left(\frac{\partial U}{\partial T}\right)_p=C_V \left(\frac{\partial T}{\partial T}\right)_p + \pi_T \left( \frac{\partial V}{\partial T} \right)_p\)	Type Tuple cannot be instantiated; use tuple() instead
8	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3464107376 \(\alpha=\frac{1}{V} \left( \frac{\partial V}{\partial T} \right)_p\)	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}.	3464107376 \(\alpha=\frac{1}{V} \left( \frac{\partial V}{\partial T} \right)_p\)	5074423401 \(V\)	6397683463 \(V \alpha=\left( \frac{\partial V}{\partial T} \right)_p\)	Type Tuple cannot be instantiated; use tuple() instead
10	111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	6055078815 \(\left(\frac{\partial U}{\partial T}\right)_p=C_V \left(\frac{\partial T}{\partial T}\right)_p + \pi_T \left( \frac{\partial V}{\partial T} \right)_p\) 6397683463 \(V \alpha=\left( \frac{\partial V}{\partial T} \right)_p\)		2257410739 \(\left(\frac{\partial U}{\partial T}\right)_p=C_V \left(\frac{\partial T}{\partial T}\right)_p + \pi_T V \alpha\)	Type Tuple cannot be instantiated; use tuple() instead
11	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	2257410739 \(\left(\frac{\partial U}{\partial T}\right)_p=C_V \left(\frac{\partial T}{\partial T}\right)_p + \pi_T V \alpha\)		7826132469 \(\left(\frac{\partial U}{\partial T}\right)_p=C_V + \pi_T V \alpha\)	Type Tuple cannot be instantiated; use tuple() instead
12	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9781951738 \(\kappa_T=\frac{-1}{V} \left( \frac{ \partial V}{\partial P} \right)_T\)	no validation is available for declarations