15.726 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.033 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (* c0 (sqrt (/ A (* V l)))) 0.036 * * [simplify]: iteration 0 : 12 enodes (cost 4 ) 0.037 * * [simplify]: iteration 1 : 14 enodes (cost 4 ) 0.038 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 0.039 * [simplify]: Simplified to: (* c0 (sqrt (/ A (* V l)))) 0.039 * * [progress]: iteration 1 / 4 0.039 * * * [progress]: picking best candidate 0.041 * * * * [pick]: Picked # 0.041 * * * [progress]: localizing error 0.047 * * * [progress]: generating rewritten candidates 0.048 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.050 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.053 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.065 * * * [progress]: generating series expansions 0.066 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.066 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0 0.066 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 0.066 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.066 * [taylor]: Taking taylor expansion of A in l 0.066 * [taylor]: Taking taylor expansion of (* V l) in l 0.066 * [taylor]: Taking taylor expansion of V in l 0.066 * [taylor]: Taking taylor expansion of l in l 0.067 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 0.067 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.067 * [taylor]: Taking taylor expansion of A in V 0.067 * [taylor]: Taking taylor expansion of (* V l) in V 0.067 * [taylor]: Taking taylor expansion of V in V 0.067 * [taylor]: Taking taylor expansion of l in V 0.068 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.068 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.068 * [taylor]: Taking taylor expansion of A in A 0.068 * [taylor]: Taking taylor expansion of (* V l) in A 0.068 * [taylor]: Taking taylor expansion of V in A 0.068 * [taylor]: Taking taylor expansion of l in A 0.069 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.069 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.069 * [taylor]: Taking taylor expansion of A in A 0.069 * [taylor]: Taking taylor expansion of (* V l) in A 0.069 * [taylor]: Taking taylor expansion of V in A 0.069 * [taylor]: Taking taylor expansion of l in A 0.070 * [taylor]: Taking taylor expansion of 0 in V 0.070 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V 0.070 * [taylor]: Taking taylor expansion of +nan.0 in V 0.070 * [taylor]: Taking taylor expansion of (* V l) in V 0.070 * [taylor]: Taking taylor expansion of V in V 0.070 * [taylor]: Taking taylor expansion of l in V 0.070 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l 0.070 * [taylor]: Taking taylor expansion of +nan.0 in l 0.070 * [taylor]: Taking taylor expansion of l in l 0.071 * [taylor]: Taking taylor expansion of 0 in l 0.072 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V 0.072 * [taylor]: Taking taylor expansion of +nan.0 in V 0.072 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.072 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.072 * [taylor]: Taking taylor expansion of V in V 0.072 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.072 * [taylor]: Taking taylor expansion of l in V 0.073 * [taylor]: Taking taylor expansion of 0 in l 0.074 * [taylor]: Taking taylor expansion of 0 in l 0.074 * [taylor]: Taking taylor expansion of 0 in l 0.075 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V 0.075 * [taylor]: Taking taylor expansion of +nan.0 in V 0.075 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 0.075 * [taylor]: Taking taylor expansion of (pow V 3) in V 0.075 * [taylor]: Taking taylor expansion of V in V 0.075 * [taylor]: Taking taylor expansion of (pow l 3) in V 0.075 * [taylor]: Taking taylor expansion of l in V 0.080 * [taylor]: Taking taylor expansion of 0 in l 0.081 * [taylor]: Taking taylor expansion of 0 in l 0.082 * [taylor]: Taking taylor expansion of 0 in l 0.082 * [taylor]: Taking taylor expansion of 0 in l 0.083 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0 0.083 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 0.083 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.083 * [taylor]: Taking taylor expansion of (* V l) in l 0.083 * [taylor]: Taking taylor expansion of V in l 0.083 * [taylor]: Taking taylor expansion of l in l 0.083 * [taylor]: Taking taylor expansion of A in l 0.084 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 0.084 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.084 * [taylor]: Taking taylor expansion of (* V l) in V 0.084 * [taylor]: Taking taylor expansion of V in V 0.084 * [taylor]: Taking taylor expansion of l in V 0.084 * [taylor]: Taking taylor expansion of A in V 0.085 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.085 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.085 * [taylor]: Taking taylor expansion of (* V l) in A 0.085 * [taylor]: Taking taylor expansion of V in A 0.085 * [taylor]: Taking taylor expansion of l in A 0.085 * [taylor]: Taking taylor expansion of A in A 0.086 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.086 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.086 * [taylor]: Taking taylor expansion of (* V l) in A 0.086 * [taylor]: Taking taylor expansion of V in A 0.086 * [taylor]: Taking taylor expansion of l in A 0.086 * [taylor]: Taking taylor expansion of A in A 0.087 * [taylor]: Taking taylor expansion of 0 in V 0.087 * [taylor]: Taking taylor expansion of 0 in l 0.087 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.087 * [taylor]: Taking taylor expansion of +nan.0 in V 0.087 * [taylor]: Taking taylor expansion of (* V l) in V 0.087 * [taylor]: Taking taylor expansion of V in V 0.087 * [taylor]: Taking taylor expansion of l in V 0.087 * [taylor]: Taking taylor expansion of 0 in l 0.087 * [taylor]: Taking taylor expansion of 0 in l 0.088 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.089 * [taylor]: Taking taylor expansion of +nan.0 in V 0.089 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.089 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.089 * [taylor]: Taking taylor expansion of V in V 0.089 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.089 * [taylor]: Taking taylor expansion of l in V 0.089 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.089 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.089 * [taylor]: Taking taylor expansion of +nan.0 in l 0.089 * [taylor]: Taking taylor expansion of l in l 0.090 * [taylor]: Taking taylor expansion of 0 in l 0.090 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0 0.090 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 0.090 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.090 * [taylor]: Taking taylor expansion of -1 in l 0.090 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.090 * [taylor]: Taking taylor expansion of (* V l) in l 0.090 * [taylor]: Taking taylor expansion of V in l 0.090 * [taylor]: Taking taylor expansion of l in l 0.090 * [taylor]: Taking taylor expansion of A in l 0.091 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 0.091 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.091 * [taylor]: Taking taylor expansion of -1 in V 0.091 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.091 * [taylor]: Taking taylor expansion of (* V l) in V 0.091 * [taylor]: Taking taylor expansion of V in V 0.091 * [taylor]: Taking taylor expansion of l in V 0.091 * [taylor]: Taking taylor expansion of A in V 0.092 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.092 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.092 * [taylor]: Taking taylor expansion of -1 in A 0.092 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.092 * [taylor]: Taking taylor expansion of (* V l) in A 0.092 * [taylor]: Taking taylor expansion of V in A 0.092 * [taylor]: Taking taylor expansion of l in A 0.092 * [taylor]: Taking taylor expansion of A in A 0.093 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.093 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.093 * [taylor]: Taking taylor expansion of -1 in A 0.093 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.093 * [taylor]: Taking taylor expansion of (* V l) in A 0.093 * [taylor]: Taking taylor expansion of V in A 0.093 * [taylor]: Taking taylor expansion of l in A 0.093 * [taylor]: Taking taylor expansion of A in A 0.098 * [taylor]: Taking taylor expansion of 0 in V 0.098 * [taylor]: Taking taylor expansion of 0 in l 0.099 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.099 * [taylor]: Taking taylor expansion of +nan.0 in V 0.099 * [taylor]: Taking taylor expansion of (* V l) in V 0.099 * [taylor]: Taking taylor expansion of V in V 0.099 * [taylor]: Taking taylor expansion of l in V 0.099 * [taylor]: Taking taylor expansion of 0 in l 0.099 * [taylor]: Taking taylor expansion of 0 in l 0.100 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.101 * [taylor]: Taking taylor expansion of +nan.0 in V 0.101 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.101 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.101 * [taylor]: Taking taylor expansion of V in V 0.101 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.101 * [taylor]: Taking taylor expansion of l in V 0.101 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.101 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.101 * [taylor]: Taking taylor expansion of +nan.0 in l 0.101 * [taylor]: Taking taylor expansion of l in l 0.102 * [taylor]: Taking taylor expansion of 0 in l 0.102 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.102 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0 0.102 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.102 * [taylor]: Taking taylor expansion of A in l 0.102 * [taylor]: Taking taylor expansion of (* V l) in l 0.102 * [taylor]: Taking taylor expansion of V in l 0.102 * [taylor]: Taking taylor expansion of l in l 0.102 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.102 * [taylor]: Taking taylor expansion of A in V 0.102 * [taylor]: Taking taylor expansion of (* V l) in V 0.102 * [taylor]: Taking taylor expansion of V in V 0.102 * [taylor]: Taking taylor expansion of l in V 0.103 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.103 * [taylor]: Taking taylor expansion of A in A 0.103 * [taylor]: Taking taylor expansion of (* V l) in A 0.103 * [taylor]: Taking taylor expansion of V in A 0.103 * [taylor]: Taking taylor expansion of l in A 0.103 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.103 * [taylor]: Taking taylor expansion of A in A 0.103 * [taylor]: Taking taylor expansion of (* V l) in A 0.103 * [taylor]: Taking taylor expansion of V in A 0.103 * [taylor]: Taking taylor expansion of l in A 0.103 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V 0.103 * [taylor]: Taking taylor expansion of (* V l) in V 0.103 * [taylor]: Taking taylor expansion of V in V 0.103 * [taylor]: Taking taylor expansion of l in V 0.103 * [taylor]: Taking taylor expansion of (/ 1 l) in l 0.103 * [taylor]: Taking taylor expansion of l in l 0.104 * [taylor]: Taking taylor expansion of 0 in V 0.104 * [taylor]: Taking taylor expansion of 0 in l 0.105 * [taylor]: Taking taylor expansion of 0 in V 0.105 * [taylor]: Taking taylor expansion of 0 in l 0.106 * [taylor]: Taking taylor expansion of 0 in l 0.107 * [taylor]: Taking taylor expansion of 0 in V 0.108 * [taylor]: Taking taylor expansion of 0 in l 0.108 * [taylor]: Taking taylor expansion of 0 in l 0.109 * [taylor]: Taking taylor expansion of 0 in l 0.109 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0 0.109 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.109 * [taylor]: Taking taylor expansion of (* V l) in l 0.109 * [taylor]: Taking taylor expansion of V in l 0.109 * [taylor]: Taking taylor expansion of l in l 0.109 * [taylor]: Taking taylor expansion of A in l 0.109 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.109 * [taylor]: Taking taylor expansion of (* V l) in V 0.109 * [taylor]: Taking taylor expansion of V in V 0.109 * [taylor]: Taking taylor expansion of l in V 0.109 * [taylor]: Taking taylor expansion of A in V 0.110 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.110 * [taylor]: Taking taylor expansion of (* V l) in A 0.110 * [taylor]: Taking taylor expansion of V in A 0.110 * [taylor]: Taking taylor expansion of l in A 0.110 * [taylor]: Taking taylor expansion of A in A 0.110 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.110 * [taylor]: Taking taylor expansion of (* V l) in A 0.110 * [taylor]: Taking taylor expansion of V in A 0.110 * [taylor]: Taking taylor expansion of l in A 0.110 * [taylor]: Taking taylor expansion of A in A 0.110 * [taylor]: Taking taylor expansion of (* V l) in V 0.110 * [taylor]: Taking taylor expansion of V in V 0.110 * [taylor]: Taking taylor expansion of l in V 0.110 * [taylor]: Taking taylor expansion of l in l 0.111 * [taylor]: Taking taylor expansion of 0 in V 0.111 * [taylor]: Taking taylor expansion of 0 in l 0.112 * [taylor]: Taking taylor expansion of 0 in l 0.113 * [taylor]: Taking taylor expansion of 0 in V 0.113 * [taylor]: Taking taylor expansion of 0 in l 0.113 * [taylor]: Taking taylor expansion of 0 in l 0.114 * [taylor]: Taking taylor expansion of 0 in l 0.114 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0 0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.114 * [taylor]: Taking taylor expansion of -1 in l 0.114 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.114 * [taylor]: Taking taylor expansion of (* V l) in l 0.114 * [taylor]: Taking taylor expansion of V in l 0.114 * [taylor]: Taking taylor expansion of l in l 0.114 * [taylor]: Taking taylor expansion of A in l 0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.114 * [taylor]: Taking taylor expansion of -1 in V 0.114 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.114 * [taylor]: Taking taylor expansion of (* V l) in V 0.114 * [taylor]: Taking taylor expansion of V in V 0.114 * [taylor]: Taking taylor expansion of l in V 0.114 * [taylor]: Taking taylor expansion of A in V 0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.115 * [taylor]: Taking taylor expansion of -1 in A 0.115 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.115 * [taylor]: Taking taylor expansion of (* V l) in A 0.115 * [taylor]: Taking taylor expansion of V in A 0.115 * [taylor]: Taking taylor expansion of l in A 0.115 * [taylor]: Taking taylor expansion of A in A 0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.115 * [taylor]: Taking taylor expansion of -1 in A 0.115 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.115 * [taylor]: Taking taylor expansion of (* V l) in A 0.115 * [taylor]: Taking taylor expansion of V in A 0.115 * [taylor]: Taking taylor expansion of l in A 0.115 * [taylor]: Taking taylor expansion of A in A 0.115 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V 0.115 * [taylor]: Taking taylor expansion of -1 in V 0.115 * [taylor]: Taking taylor expansion of (* V l) in V 0.115 * [taylor]: Taking taylor expansion of V in V 0.115 * [taylor]: Taking taylor expansion of l in V 0.116 * [taylor]: Taking taylor expansion of (- l) in l 0.116 * [taylor]: Taking taylor expansion of l in l 0.117 * [taylor]: Taking taylor expansion of 0 in V 0.117 * [taylor]: Taking taylor expansion of 0 in l 0.118 * [taylor]: Taking taylor expansion of 0 in l 0.120 * [taylor]: Taking taylor expansion of 0 in V 0.120 * [taylor]: Taking taylor expansion of 0 in l 0.120 * [taylor]: Taking taylor expansion of 0 in l 0.122 * [taylor]: Taking taylor expansion of 0 in l 0.122 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.122 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0 0.122 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l 0.122 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 0.122 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.122 * [taylor]: Taking taylor expansion of A in l 0.122 * [taylor]: Taking taylor expansion of (* V l) in l 0.122 * [taylor]: Taking taylor expansion of V in l 0.122 * [taylor]: Taking taylor expansion of l in l 0.123 * [taylor]: Taking taylor expansion of c0 in l 0.123 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V 0.123 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 0.123 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.123 * [taylor]: Taking taylor expansion of A in V 0.123 * [taylor]: Taking taylor expansion of (* V l) in V 0.123 * [taylor]: Taking taylor expansion of V in V 0.123 * [taylor]: Taking taylor expansion of l in V 0.124 * [taylor]: Taking taylor expansion of c0 in V 0.124 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A 0.124 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.124 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.124 * [taylor]: Taking taylor expansion of A in A 0.124 * [taylor]: Taking taylor expansion of (* V l) in A 0.124 * [taylor]: Taking taylor expansion of V in A 0.124 * [taylor]: Taking taylor expansion of l in A 0.125 * [taylor]: Taking taylor expansion of c0 in A 0.125 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0 0.125 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0 0.125 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 0.125 * [taylor]: Taking taylor expansion of A in c0 0.125 * [taylor]: Taking taylor expansion of (* V l) in c0 0.125 * [taylor]: Taking taylor expansion of V in c0 0.125 * [taylor]: Taking taylor expansion of l in c0 0.126 * [taylor]: Taking taylor expansion of c0 in c0 0.126 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0 0.126 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0 0.126 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 0.126 * [taylor]: Taking taylor expansion of A in c0 0.126 * [taylor]: Taking taylor expansion of (* V l) in c0 0.126 * [taylor]: Taking taylor expansion of V in c0 0.126 * [taylor]: Taking taylor expansion of l in c0 0.126 * [taylor]: Taking taylor expansion of c0 in c0 0.126 * [taylor]: Taking taylor expansion of 0 in A 0.126 * [taylor]: Taking taylor expansion of 0 in V 0.127 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.127 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.127 * [taylor]: Taking taylor expansion of A in A 0.127 * [taylor]: Taking taylor expansion of (* V l) in A 0.127 * [taylor]: Taking taylor expansion of V in A 0.127 * [taylor]: Taking taylor expansion of l in A 0.127 * [taylor]: Taking taylor expansion of 0 in V 0.128 * [taylor]: Taking taylor expansion of 0 in V 0.128 * [taylor]: Taking taylor expansion of 0 in l 0.129 * [taylor]: Taking taylor expansion of 0 in A 0.129 * [taylor]: Taking taylor expansion of 0 in V 0.129 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V 0.129 * [taylor]: Taking taylor expansion of +nan.0 in V 0.129 * [taylor]: Taking taylor expansion of (* V l) in V 0.129 * [taylor]: Taking taylor expansion of V in V 0.129 * [taylor]: Taking taylor expansion of l in V 0.129 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l 0.129 * [taylor]: Taking taylor expansion of +nan.0 in l 0.129 * [taylor]: Taking taylor expansion of l in l 0.130 * [taylor]: Taking taylor expansion of 0 in V 0.130 * [taylor]: Taking taylor expansion of 0 in l 0.130 * [taylor]: Taking taylor expansion of 0 in l 0.130 * [taylor]: Taking taylor expansion of 0 in l 0.132 * [taylor]: Taking taylor expansion of 0 in A 0.132 * [taylor]: Taking taylor expansion of 0 in V 0.132 * [taylor]: Taking taylor expansion of 0 in V 0.132 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V 0.133 * [taylor]: Taking taylor expansion of +nan.0 in V 0.133 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.133 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.133 * [taylor]: Taking taylor expansion of V in V 0.133 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.133 * [taylor]: Taking taylor expansion of l in V 0.134 * [taylor]: Taking taylor expansion of 0 in l 0.134 * [taylor]: Taking taylor expansion of 0 in V 0.134 * [taylor]: Taking taylor expansion of 0 in l 0.135 * [taylor]: Taking taylor expansion of 0 in l 0.135 * [taylor]: Taking taylor expansion of 0 in l 0.135 * [taylor]: Taking taylor expansion of 0 in l 0.135 * [taylor]: Taking taylor expansion of 0 in l 0.135 * [taylor]: Taking taylor expansion of 0 in l 0.136 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0 0.136 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l 0.136 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 0.136 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.136 * [taylor]: Taking taylor expansion of (* V l) in l 0.136 * [taylor]: Taking taylor expansion of V in l 0.136 * [taylor]: Taking taylor expansion of l in l 0.136 * [taylor]: Taking taylor expansion of A in l 0.137 * [taylor]: Taking taylor expansion of (/ 1 c0) in l 0.137 * [taylor]: Taking taylor expansion of c0 in l 0.137 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V 0.137 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 0.137 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.137 * [taylor]: Taking taylor expansion of (* V l) in V 0.137 * [taylor]: Taking taylor expansion of V in V 0.137 * [taylor]: Taking taylor expansion of l in V 0.137 * [taylor]: Taking taylor expansion of A in V 0.138 * [taylor]: Taking taylor expansion of (/ 1 c0) in V 0.138 * [taylor]: Taking taylor expansion of c0 in V 0.138 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A 0.138 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.138 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.138 * [taylor]: Taking taylor expansion of (* V l) in A 0.138 * [taylor]: Taking taylor expansion of V in A 0.138 * [taylor]: Taking taylor expansion of l in A 0.138 * [taylor]: Taking taylor expansion of A in A 0.138 * [taylor]: Taking taylor expansion of (/ 1 c0) in A 0.138 * [taylor]: Taking taylor expansion of c0 in A 0.139 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0 0.139 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0 0.139 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.139 * [taylor]: Taking taylor expansion of (* V l) in c0 0.139 * [taylor]: Taking taylor expansion of V in c0 0.139 * [taylor]: Taking taylor expansion of l in c0 0.139 * [taylor]: Taking taylor expansion of A in c0 0.139 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 0.139 * [taylor]: Taking taylor expansion of c0 in c0 0.139 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0 0.139 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0 0.139 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.139 * [taylor]: Taking taylor expansion of (* V l) in c0 0.139 * [taylor]: Taking taylor expansion of V in c0 0.139 * [taylor]: Taking taylor expansion of l in c0 0.139 * [taylor]: Taking taylor expansion of A in c0 0.140 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 0.140 * [taylor]: Taking taylor expansion of c0 in c0 0.140 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.140 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.140 * [taylor]: Taking taylor expansion of (* V l) in A 0.140 * [taylor]: Taking taylor expansion of V in A 0.140 * [taylor]: Taking taylor expansion of l in A 0.140 * [taylor]: Taking taylor expansion of A in A 0.141 * [taylor]: Taking taylor expansion of 0 in V 0.141 * [taylor]: Taking taylor expansion of 0 in l 0.142 * [taylor]: Taking taylor expansion of 0 in A 0.142 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.142 * [taylor]: Taking taylor expansion of +nan.0 in V 0.142 * [taylor]: Taking taylor expansion of (* V l) in V 0.142 * [taylor]: Taking taylor expansion of V in V 0.142 * [taylor]: Taking taylor expansion of l in V 0.142 * [taylor]: Taking taylor expansion of 0 in l 0.142 * [taylor]: Taking taylor expansion of 0 in l 0.144 * [taylor]: Taking taylor expansion of 0 in A 0.144 * [taylor]: Taking taylor expansion of 0 in V 0.144 * [taylor]: Taking taylor expansion of 0 in l 0.145 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.145 * [taylor]: Taking taylor expansion of +nan.0 in V 0.145 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.145 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.145 * [taylor]: Taking taylor expansion of V in V 0.145 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.145 * [taylor]: Taking taylor expansion of l in V 0.146 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.146 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.146 * [taylor]: Taking taylor expansion of +nan.0 in l 0.146 * [taylor]: Taking taylor expansion of l in l 0.147 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0 0.147 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l 0.147 * [taylor]: Taking taylor expansion of -1 in l 0.147 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l 0.147 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 0.147 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.147 * [taylor]: Taking taylor expansion of -1 in l 0.147 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.147 * [taylor]: Taking taylor expansion of (* V l) in l 0.147 * [taylor]: Taking taylor expansion of V in l 0.147 * [taylor]: Taking taylor expansion of l in l 0.147 * [taylor]: Taking taylor expansion of A in l 0.148 * [taylor]: Taking taylor expansion of c0 in l 0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V 0.148 * [taylor]: Taking taylor expansion of -1 in V 0.148 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V 0.148 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.148 * [taylor]: Taking taylor expansion of -1 in V 0.148 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.148 * [taylor]: Taking taylor expansion of (* V l) in V 0.148 * [taylor]: Taking taylor expansion of V in V 0.148 * [taylor]: Taking taylor expansion of l in V 0.148 * [taylor]: Taking taylor expansion of A in V 0.149 * [taylor]: Taking taylor expansion of c0 in V 0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A 0.149 * [taylor]: Taking taylor expansion of -1 in A 0.149 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A 0.149 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.149 * [taylor]: Taking taylor expansion of -1 in A 0.149 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.149 * [taylor]: Taking taylor expansion of (* V l) in A 0.149 * [taylor]: Taking taylor expansion of V in A 0.149 * [taylor]: Taking taylor expansion of l in A 0.149 * [taylor]: Taking taylor expansion of A in A 0.150 * [taylor]: Taking taylor expansion of c0 in A 0.150 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0 0.150 * [taylor]: Taking taylor expansion of -1 in c0 0.150 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0 0.150 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0 0.150 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0 0.150 * [taylor]: Taking taylor expansion of -1 in c0 0.150 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.150 * [taylor]: Taking taylor expansion of (* V l) in c0 0.150 * [taylor]: Taking taylor expansion of V in c0 0.150 * [taylor]: Taking taylor expansion of l in c0 0.150 * [taylor]: Taking taylor expansion of A in c0 0.151 * [taylor]: Taking taylor expansion of c0 in c0 0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0 0.151 * [taylor]: Taking taylor expansion of -1 in c0 0.151 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0 0.151 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0 0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0 0.151 * [taylor]: Taking taylor expansion of -1 in c0 0.151 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.151 * [taylor]: Taking taylor expansion of (* V l) in c0 0.151 * [taylor]: Taking taylor expansion of V in c0 0.151 * [taylor]: Taking taylor expansion of l in c0 0.151 * [taylor]: Taking taylor expansion of A in c0 0.152 * [taylor]: Taking taylor expansion of c0 in c0 0.152 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A 0.152 * [taylor]: Taking taylor expansion of -1 in A 0.152 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.152 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.152 * [taylor]: Taking taylor expansion of -1 in A 0.152 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.152 * [taylor]: Taking taylor expansion of (* V l) in A 0.152 * [taylor]: Taking taylor expansion of V in A 0.152 * [taylor]: Taking taylor expansion of l in A 0.153 * [taylor]: Taking taylor expansion of A in A 0.154 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* V l))) in V 0.154 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.154 * [taylor]: Taking taylor expansion of +nan.0 in V 0.154 * [taylor]: Taking taylor expansion of (* V l) in V 0.154 * [taylor]: Taking taylor expansion of V in V 0.154 * [taylor]: Taking taylor expansion of l in V 0.154 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.154 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.154 * [taylor]: Taking taylor expansion of +nan.0 in l 0.155 * [taylor]: Taking taylor expansion of l in l 0.157 * [taylor]: Taking taylor expansion of 0 in A 0.157 * [taylor]: Taking taylor expansion of 0 in V 0.157 * [taylor]: Taking taylor expansion of 0 in l 0.159 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 2) (pow l 2)))) in V 0.159 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.159 * [taylor]: Taking taylor expansion of +nan.0 in V 0.159 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.159 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.159 * [taylor]: Taking taylor expansion of V in V 0.159 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.159 * [taylor]: Taking taylor expansion of l in V 0.161 * [taylor]: Taking taylor expansion of 0 in l 0.164 * [taylor]: Taking taylor expansion of 0 in A 0.164 * [taylor]: Taking taylor expansion of 0 in V 0.164 * [taylor]: Taking taylor expansion of 0 in l 0.164 * [taylor]: Taking taylor expansion of 0 in V 0.164 * [taylor]: Taking taylor expansion of 0 in l 0.167 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 3) (pow l 3)))) in V 0.167 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V 0.167 * [taylor]: Taking taylor expansion of +nan.0 in V 0.167 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 0.167 * [taylor]: Taking taylor expansion of (pow V 3) in V 0.167 * [taylor]: Taking taylor expansion of V in V 0.167 * [taylor]: Taking taylor expansion of (pow l 3) in V 0.167 * [taylor]: Taking taylor expansion of l in V 0.168 * [taylor]: Taking taylor expansion of 0 in l 0.168 * * * [progress]: simplifying candidates 0.169 * [simplify]: Simplifying using # : (log (sqrt (/ A (* V l)))) (exp (sqrt (/ A (* V l)))) (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l)))) (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l)))) (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))) (sqrt (cbrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)) (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) l)) (sqrt (/ 1 V)) (sqrt (/ A l)) (sqrt 1) (sqrt (/ A (* V l))) (sqrt A) (sqrt (/ 1 (* V l))) (sqrt A) (sqrt (* V l)) (/ 1 2) (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (- (log A) (+ (log V) (log l))) (- (log A) (log (* V l))) (log (/ A (* V l))) (exp (/ A (* V l))) (/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l))) (/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l))) (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))) (cbrt (/ A (* V l))) (* (* (/ A (* V l)) (/ A (* V l))) (/ A (* V l))) (sqrt (/ A (* V l))) (sqrt (/ A (* V l))) (- A) (- (* V l)) (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l) (/ (sqrt A) V) (/ (sqrt A) l) (/ 1 V) (/ A l) (/ 1 (* V l)) (/ (* V l) A) (/ A V) (/ (* V l) (cbrt A)) (/ (* V l) (sqrt A)) (/ (* V l) A) (* c0 (sqrt (/ A (* V l)))) (+ (log c0) (log (sqrt (/ A (* V l))))) (log (* c0 (sqrt (/ A (* V l))))) (exp (* c0 (sqrt (/ A (* V l))))) (* (* (* c0 c0) c0) (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))))) (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l))))) (* (* (* c0 (sqrt (/ A (* V l)))) (* c0 (sqrt (/ A (* V l))))) (* c0 (sqrt (/ A (* V l))))) (sqrt (* c0 (sqrt (/ A (* V l))))) (sqrt (* c0 (sqrt (/ A (* V l))))) (* (sqrt c0) (sqrt (sqrt (/ A (* V l))))) (* (sqrt c0) (sqrt (sqrt (/ A (* V l))))) (* (sqrt c0) (sqrt (sqrt (/ A (* V l))))) (* (sqrt c0) (sqrt (sqrt (/ A (* V l))))) (* c0 (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l)))))) (* c0 (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))) (* c0 (sqrt (sqrt (/ A (* V l))))) (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (* c0 (sqrt (/ (sqrt A) V))) (* c0 (sqrt (/ 1 V))) (* c0 (sqrt 1)) (* c0 (sqrt A)) (* c0 (sqrt (sqrt (/ A (* V l))))) (* c0 1) (* (cbrt c0) (sqrt (/ A (* V l)))) (* (sqrt c0) (sqrt (/ A (* V l)))) (* c0 (sqrt (/ A (* V l)))) (* c0 (sqrt A)) (* +nan.0 (/ A (* V l))) 0 0 (/ A (* V l)) (/ A (* V l)) (/ A (* V l)) (* +nan.0 (/ (* c0 A) (* V l))) 0 (* +nan.0 (/ c0 (* V l))) 0.173 * * [simplify]: iteration 0 : 209 enodes (cost 321 ) 0.177 * * [simplify]: iteration 1 : 813 enodes (cost 296 ) 0.191 * * [simplify]: iteration 2 : 3055 enodes (cost 293 ) 0.229 * * [simplify]: iteration 3 : 5001 enodes (cost 293 ) 0.231 * [simplify]: Simplified to: (log (sqrt (/ A (* V l)))) (exp (sqrt (/ A (* V l)))) (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l)))) (pow (sqrt (/ A (* V l))) 3) (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)) (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) l)) (sqrt (/ 1 V)) (sqrt (/ A l)) 1 (sqrt (/ A (* V l))) (sqrt A) (sqrt (/ 1 (* V l))) (sqrt A) (sqrt (* V l)) 1/2 (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (log (/ A (* V l))) (log (/ A (* V l))) (log (/ A (* V l))) (exp (/ A (* V l))) (pow (/ A (* V l)) 3) (pow (/ A (* V l)) 3) (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))) (cbrt (/ A (* V l))) (pow (/ A (* V l)) 3) (sqrt (/ A (* V l))) (sqrt (/ A (* V l))) (- A) (- (* V l)) (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l) (/ (sqrt A) V) (/ (sqrt A) l) (/ 1 V) (/ A l) (/ 1 (* V l)) (/ (* V l) A) (/ A V) (/ (* V l) (cbrt A)) (/ (* V l) (sqrt A)) (/ (* V l) A) (* c0 (sqrt (/ A (* V l)))) (log (* c0 (sqrt (/ A (* V l))))) (log (* c0 (sqrt (/ A (* V l))))) (exp (* c0 (sqrt (/ A (* V l))))) (pow (* c0 (sqrt (/ A (* V l)))) 3) (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l))))) (pow (* c0 (sqrt (/ A (* V l)))) 3) (sqrt (* c0 (sqrt (/ A (* V l))))) (sqrt (* c0 (sqrt (/ A (* V l))))) (* (sqrt c0) (sqrt (sqrt (/ A (* V l))))) (* (sqrt c0) (sqrt (sqrt (/ A (* V l))))) (* (sqrt c0) (sqrt (sqrt (/ A (* V l))))) (* (sqrt c0) (sqrt (sqrt (/ A (* V l))))) (* c0 (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l)))))) (* (fabs (cbrt (/ A (* V l)))) c0) (* c0 (sqrt (sqrt (/ A (* V l))))) (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (* c0 (sqrt (/ (sqrt A) V))) (* c0 (sqrt (/ 1 V))) c0 (* c0 (sqrt A)) (* c0 (sqrt (sqrt (/ A (* V l))))) c0 (* (cbrt c0) (sqrt (/ A (* V l)))) (* (sqrt c0) (sqrt (/ A (* V l)))) (* c0 (sqrt (/ A (* V l)))) (* c0 (sqrt A)) (* +nan.0 (/ A (* V l))) 0 0 (/ A (* V l)) (/ A (* V l)) (/ A (* V l)) (* +nan.0 (/ (* c0 A) (* V l))) 0 (* +nan.0 (/ c0 (* V l))) 0.231 * * * [progress]: adding candidates to table 0.583 * * [progress]: iteration 2 / 4 0.583 * * * [progress]: picking best candidate 0.625 * * * * [pick]: Picked # 0.626 * * * [progress]: localizing error 0.632 * * * [progress]: generating rewritten candidates 0.633 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.636 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.639 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.652 * * * [progress]: generating series expansions 0.652 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.652 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0 0.652 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 0.652 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.653 * [taylor]: Taking taylor expansion of A in l 0.653 * [taylor]: Taking taylor expansion of (* V l) in l 0.653 * [taylor]: Taking taylor expansion of V in l 0.653 * [taylor]: Taking taylor expansion of l in l 0.654 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 0.654 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.654 * [taylor]: Taking taylor expansion of A in V 0.654 * [taylor]: Taking taylor expansion of (* V l) in V 0.654 * [taylor]: Taking taylor expansion of V in V 0.654 * [taylor]: Taking taylor expansion of l in V 0.655 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.655 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.655 * [taylor]: Taking taylor expansion of A in A 0.655 * [taylor]: Taking taylor expansion of (* V l) in A 0.655 * [taylor]: Taking taylor expansion of V in A 0.655 * [taylor]: Taking taylor expansion of l in A 0.656 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.656 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.656 * [taylor]: Taking taylor expansion of A in A 0.656 * [taylor]: Taking taylor expansion of (* V l) in A 0.656 * [taylor]: Taking taylor expansion of V in A 0.656 * [taylor]: Taking taylor expansion of l in A 0.657 * [taylor]: Taking taylor expansion of 0 in V 0.657 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V 0.657 * [taylor]: Taking taylor expansion of +nan.0 in V 0.657 * [taylor]: Taking taylor expansion of (* V l) in V 0.657 * [taylor]: Taking taylor expansion of V in V 0.657 * [taylor]: Taking taylor expansion of l in V 0.657 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l 0.657 * [taylor]: Taking taylor expansion of +nan.0 in l 0.657 * [taylor]: Taking taylor expansion of l in l 0.657 * [taylor]: Taking taylor expansion of 0 in l 0.658 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V 0.658 * [taylor]: Taking taylor expansion of +nan.0 in V 0.658 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.658 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.658 * [taylor]: Taking taylor expansion of V in V 0.658 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.658 * [taylor]: Taking taylor expansion of l in V 0.660 * [taylor]: Taking taylor expansion of 0 in l 0.660 * [taylor]: Taking taylor expansion of 0 in l 0.660 * [taylor]: Taking taylor expansion of 0 in l 0.662 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V 0.662 * [taylor]: Taking taylor expansion of +nan.0 in V 0.662 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 0.662 * [taylor]: Taking taylor expansion of (pow V 3) in V 0.662 * [taylor]: Taking taylor expansion of V in V 0.662 * [taylor]: Taking taylor expansion of (pow l 3) in V 0.662 * [taylor]: Taking taylor expansion of l in V 0.666 * [taylor]: Taking taylor expansion of 0 in l 0.668 * [taylor]: Taking taylor expansion of 0 in l 0.669 * [taylor]: Taking taylor expansion of 0 in l 0.669 * [taylor]: Taking taylor expansion of 0 in l 0.670 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0 0.670 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 0.670 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.670 * [taylor]: Taking taylor expansion of (* V l) in l 0.670 * [taylor]: Taking taylor expansion of V in l 0.670 * [taylor]: Taking taylor expansion of l in l 0.670 * [taylor]: Taking taylor expansion of A in l 0.671 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 0.671 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.671 * [taylor]: Taking taylor expansion of (* V l) in V 0.671 * [taylor]: Taking taylor expansion of V in V 0.671 * [taylor]: Taking taylor expansion of l in V 0.671 * [taylor]: Taking taylor expansion of A in V 0.672 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.672 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.672 * [taylor]: Taking taylor expansion of (* V l) in A 0.672 * [taylor]: Taking taylor expansion of V in A 0.672 * [taylor]: Taking taylor expansion of l in A 0.672 * [taylor]: Taking taylor expansion of A in A 0.673 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.673 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.673 * [taylor]: Taking taylor expansion of (* V l) in A 0.673 * [taylor]: Taking taylor expansion of V in A 0.673 * [taylor]: Taking taylor expansion of l in A 0.673 * [taylor]: Taking taylor expansion of A in A 0.678 * [taylor]: Taking taylor expansion of 0 in V 0.678 * [taylor]: Taking taylor expansion of 0 in l 0.678 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.678 * [taylor]: Taking taylor expansion of +nan.0 in V 0.678 * [taylor]: Taking taylor expansion of (* V l) in V 0.678 * [taylor]: Taking taylor expansion of V in V 0.678 * [taylor]: Taking taylor expansion of l in V 0.678 * [taylor]: Taking taylor expansion of 0 in l 0.678 * [taylor]: Taking taylor expansion of 0 in l 0.680 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.680 * [taylor]: Taking taylor expansion of +nan.0 in V 0.680 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.680 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.680 * [taylor]: Taking taylor expansion of V in V 0.680 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.680 * [taylor]: Taking taylor expansion of l in V 0.681 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.681 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.681 * [taylor]: Taking taylor expansion of +nan.0 in l 0.681 * [taylor]: Taking taylor expansion of l in l 0.681 * [taylor]: Taking taylor expansion of 0 in l 0.682 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0 0.682 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 0.682 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.682 * [taylor]: Taking taylor expansion of -1 in l 0.682 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.682 * [taylor]: Taking taylor expansion of (* V l) in l 0.682 * [taylor]: Taking taylor expansion of V in l 0.682 * [taylor]: Taking taylor expansion of l in l 0.682 * [taylor]: Taking taylor expansion of A in l 0.683 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 0.683 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.683 * [taylor]: Taking taylor expansion of -1 in V 0.683 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.683 * [taylor]: Taking taylor expansion of (* V l) in V 0.683 * [taylor]: Taking taylor expansion of V in V 0.683 * [taylor]: Taking taylor expansion of l in V 0.683 * [taylor]: Taking taylor expansion of A in V 0.684 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.684 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.684 * [taylor]: Taking taylor expansion of -1 in A 0.684 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.684 * [taylor]: Taking taylor expansion of (* V l) in A 0.684 * [taylor]: Taking taylor expansion of V in A 0.684 * [taylor]: Taking taylor expansion of l in A 0.684 * [taylor]: Taking taylor expansion of A in A 0.685 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.685 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.685 * [taylor]: Taking taylor expansion of -1 in A 0.685 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.685 * [taylor]: Taking taylor expansion of (* V l) in A 0.685 * [taylor]: Taking taylor expansion of V in A 0.685 * [taylor]: Taking taylor expansion of l in A 0.685 * [taylor]: Taking taylor expansion of A in A 0.686 * [taylor]: Taking taylor expansion of 0 in V 0.686 * [taylor]: Taking taylor expansion of 0 in l 0.686 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.686 * [taylor]: Taking taylor expansion of +nan.0 in V 0.686 * [taylor]: Taking taylor expansion of (* V l) in V 0.686 * [taylor]: Taking taylor expansion of V in V 0.686 * [taylor]: Taking taylor expansion of l in V 0.686 * [taylor]: Taking taylor expansion of 0 in l 0.686 * [taylor]: Taking taylor expansion of 0 in l 0.688 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.688 * [taylor]: Taking taylor expansion of +nan.0 in V 0.688 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.688 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.688 * [taylor]: Taking taylor expansion of V in V 0.688 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.688 * [taylor]: Taking taylor expansion of l in V 0.688 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.688 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.689 * [taylor]: Taking taylor expansion of +nan.0 in l 0.689 * [taylor]: Taking taylor expansion of l in l 0.689 * [taylor]: Taking taylor expansion of 0 in l 0.689 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.689 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0 0.689 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.689 * [taylor]: Taking taylor expansion of A in l 0.689 * [taylor]: Taking taylor expansion of (* V l) in l 0.689 * [taylor]: Taking taylor expansion of V in l 0.689 * [taylor]: Taking taylor expansion of l in l 0.690 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.690 * [taylor]: Taking taylor expansion of A in V 0.690 * [taylor]: Taking taylor expansion of (* V l) in V 0.690 * [taylor]: Taking taylor expansion of V in V 0.690 * [taylor]: Taking taylor expansion of l in V 0.690 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.690 * [taylor]: Taking taylor expansion of A in A 0.690 * [taylor]: Taking taylor expansion of (* V l) in A 0.690 * [taylor]: Taking taylor expansion of V in A 0.690 * [taylor]: Taking taylor expansion of l in A 0.690 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.690 * [taylor]: Taking taylor expansion of A in A 0.690 * [taylor]: Taking taylor expansion of (* V l) in A 0.690 * [taylor]: Taking taylor expansion of V in A 0.690 * [taylor]: Taking taylor expansion of l in A 0.690 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V 0.690 * [taylor]: Taking taylor expansion of (* V l) in V 0.690 * [taylor]: Taking taylor expansion of V in V 0.690 * [taylor]: Taking taylor expansion of l in V 0.691 * [taylor]: Taking taylor expansion of (/ 1 l) in l 0.691 * [taylor]: Taking taylor expansion of l in l 0.691 * [taylor]: Taking taylor expansion of 0 in V 0.692 * [taylor]: Taking taylor expansion of 0 in l 0.693 * [taylor]: Taking taylor expansion of 0 in V 0.693 * [taylor]: Taking taylor expansion of 0 in l 0.694 * [taylor]: Taking taylor expansion of 0 in l 0.695 * [taylor]: Taking taylor expansion of 0 in V 0.695 * [taylor]: Taking taylor expansion of 0 in l 0.695 * [taylor]: Taking taylor expansion of 0 in l 0.696 * [taylor]: Taking taylor expansion of 0 in l 0.696 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0 0.696 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.696 * [taylor]: Taking taylor expansion of (* V l) in l 0.696 * [taylor]: Taking taylor expansion of V in l 0.696 * [taylor]: Taking taylor expansion of l in l 0.696 * [taylor]: Taking taylor expansion of A in l 0.697 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.697 * [taylor]: Taking taylor expansion of (* V l) in V 0.697 * [taylor]: Taking taylor expansion of V in V 0.697 * [taylor]: Taking taylor expansion of l in V 0.697 * [taylor]: Taking taylor expansion of A in V 0.697 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.697 * [taylor]: Taking taylor expansion of (* V l) in A 0.697 * [taylor]: Taking taylor expansion of V in A 0.697 * [taylor]: Taking taylor expansion of l in A 0.697 * [taylor]: Taking taylor expansion of A in A 0.697 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.697 * [taylor]: Taking taylor expansion of (* V l) in A 0.697 * [taylor]: Taking taylor expansion of V in A 0.697 * [taylor]: Taking taylor expansion of l in A 0.697 * [taylor]: Taking taylor expansion of A in A 0.697 * [taylor]: Taking taylor expansion of (* V l) in V 0.697 * [taylor]: Taking taylor expansion of V in V 0.697 * [taylor]: Taking taylor expansion of l in V 0.698 * [taylor]: Taking taylor expansion of l in l 0.698 * [taylor]: Taking taylor expansion of 0 in V 0.698 * [taylor]: Taking taylor expansion of 0 in l 0.699 * [taylor]: Taking taylor expansion of 0 in l 0.700 * [taylor]: Taking taylor expansion of 0 in V 0.700 * [taylor]: Taking taylor expansion of 0 in l 0.700 * [taylor]: Taking taylor expansion of 0 in l 0.701 * [taylor]: Taking taylor expansion of 0 in l 0.701 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0 0.701 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.701 * [taylor]: Taking taylor expansion of -1 in l 0.701 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.701 * [taylor]: Taking taylor expansion of (* V l) in l 0.701 * [taylor]: Taking taylor expansion of V in l 0.701 * [taylor]: Taking taylor expansion of l in l 0.701 * [taylor]: Taking taylor expansion of A in l 0.702 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.702 * [taylor]: Taking taylor expansion of -1 in V 0.702 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.702 * [taylor]: Taking taylor expansion of (* V l) in V 0.702 * [taylor]: Taking taylor expansion of V in V 0.702 * [taylor]: Taking taylor expansion of l in V 0.702 * [taylor]: Taking taylor expansion of A in V 0.702 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.702 * [taylor]: Taking taylor expansion of -1 in A 0.702 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.702 * [taylor]: Taking taylor expansion of (* V l) in A 0.702 * [taylor]: Taking taylor expansion of V in A 0.702 * [taylor]: Taking taylor expansion of l in A 0.702 * [taylor]: Taking taylor expansion of A in A 0.702 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.702 * [taylor]: Taking taylor expansion of -1 in A 0.702 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.702 * [taylor]: Taking taylor expansion of (* V l) in A 0.702 * [taylor]: Taking taylor expansion of V in A 0.702 * [taylor]: Taking taylor expansion of l in A 0.702 * [taylor]: Taking taylor expansion of A in A 0.703 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V 0.703 * [taylor]: Taking taylor expansion of -1 in V 0.703 * [taylor]: Taking taylor expansion of (* V l) in V 0.703 * [taylor]: Taking taylor expansion of V in V 0.703 * [taylor]: Taking taylor expansion of l in V 0.703 * [taylor]: Taking taylor expansion of (- l) in l 0.703 * [taylor]: Taking taylor expansion of l in l 0.704 * [taylor]: Taking taylor expansion of 0 in V 0.704 * [taylor]: Taking taylor expansion of 0 in l 0.705 * [taylor]: Taking taylor expansion of 0 in l 0.707 * [taylor]: Taking taylor expansion of 0 in V 0.707 * [taylor]: Taking taylor expansion of 0 in l 0.707 * [taylor]: Taking taylor expansion of 0 in l 0.709 * [taylor]: Taking taylor expansion of 0 in l 0.709 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.709 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (A V l c0) around 0 0.709 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0 0.709 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0 0.709 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 0.709 * [taylor]: Taking taylor expansion of A in c0 0.709 * [taylor]: Taking taylor expansion of (* V l) in c0 0.709 * [taylor]: Taking taylor expansion of V in c0 0.709 * [taylor]: Taking taylor expansion of l in c0 0.710 * [taylor]: Taking taylor expansion of c0 in c0 0.710 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l 0.710 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 0.710 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.710 * [taylor]: Taking taylor expansion of A in l 0.710 * [taylor]: Taking taylor expansion of (* V l) in l 0.710 * [taylor]: Taking taylor expansion of V in l 0.710 * [taylor]: Taking taylor expansion of l in l 0.711 * [taylor]: Taking taylor expansion of c0 in l 0.711 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V 0.711 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 0.711 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.711 * [taylor]: Taking taylor expansion of A in V 0.711 * [taylor]: Taking taylor expansion of (* V l) in V 0.711 * [taylor]: Taking taylor expansion of V in V 0.711 * [taylor]: Taking taylor expansion of l in V 0.712 * [taylor]: Taking taylor expansion of c0 in V 0.712 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A 0.712 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.712 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.712 * [taylor]: Taking taylor expansion of A in A 0.712 * [taylor]: Taking taylor expansion of (* V l) in A 0.712 * [taylor]: Taking taylor expansion of V in A 0.712 * [taylor]: Taking taylor expansion of l in A 0.712 * [taylor]: Taking taylor expansion of c0 in A 0.713 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A 0.713 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.713 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.713 * [taylor]: Taking taylor expansion of A in A 0.713 * [taylor]: Taking taylor expansion of (* V l) in A 0.713 * [taylor]: Taking taylor expansion of V in A 0.713 * [taylor]: Taking taylor expansion of l in A 0.713 * [taylor]: Taking taylor expansion of c0 in A 0.713 * [taylor]: Taking taylor expansion of 0 in V 0.714 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ c0 (* V l)))) in V 0.714 * [taylor]: Taking taylor expansion of (* +nan.0 (/ c0 (* V l))) in V 0.714 * [taylor]: Taking taylor expansion of +nan.0 in V 0.714 * [taylor]: Taking taylor expansion of (/ c0 (* V l)) in V 0.714 * [taylor]: Taking taylor expansion of c0 in V 0.714 * [taylor]: Taking taylor expansion of (* V l) in V 0.714 * [taylor]: Taking taylor expansion of V in V 0.714 * [taylor]: Taking taylor expansion of l in V 0.714 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ c0 l))) in l 0.714 * [taylor]: Taking taylor expansion of (* +nan.0 (/ c0 l)) in l 0.714 * [taylor]: Taking taylor expansion of +nan.0 in l 0.714 * [taylor]: Taking taylor expansion of (/ c0 l) in l 0.714 * [taylor]: Taking taylor expansion of c0 in l 0.714 * [taylor]: Taking taylor expansion of l in l 0.715 * [taylor]: Taking taylor expansion of (- (* +nan.0 c0)) in c0 0.715 * [taylor]: Taking taylor expansion of (* +nan.0 c0) in c0 0.715 * [taylor]: Taking taylor expansion of +nan.0 in c0 0.715 * [taylor]: Taking taylor expansion of c0 in c0 0.715 * [taylor]: Taking taylor expansion of 0 in l 0.716 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ c0 (* (pow V 2) (pow l 2))))) in V 0.716 * [taylor]: Taking taylor expansion of (* +nan.0 (/ c0 (* (pow V 2) (pow l 2)))) in V 0.717 * [taylor]: Taking taylor expansion of +nan.0 in V 0.717 * [taylor]: Taking taylor expansion of (/ c0 (* (pow V 2) (pow l 2))) in V 0.717 * [taylor]: Taking taylor expansion of c0 in V 0.717 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.717 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.717 * [taylor]: Taking taylor expansion of V in V 0.717 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.717 * [taylor]: Taking taylor expansion of l in V 0.719 * [taylor]: Taking taylor expansion of 0 in l 0.720 * [taylor]: Taking taylor expansion of 0 in l 0.720 * [taylor]: Taking taylor expansion of 0 in l 0.721 * [taylor]: Taking taylor expansion of 0 in c0 0.721 * [taylor]: Taking taylor expansion of 0 in c0 0.724 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ c0 (* (pow V 3) (pow l 3))))) in V 0.724 * [taylor]: Taking taylor expansion of (* +nan.0 (/ c0 (* (pow V 3) (pow l 3)))) in V 0.724 * [taylor]: Taking taylor expansion of +nan.0 in V 0.724 * [taylor]: Taking taylor expansion of (/ c0 (* (pow V 3) (pow l 3))) in V 0.724 * [taylor]: Taking taylor expansion of c0 in V 0.724 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 0.724 * [taylor]: Taking taylor expansion of (pow V 3) in V 0.724 * [taylor]: Taking taylor expansion of V in V 0.724 * [taylor]: Taking taylor expansion of (pow l 3) in V 0.724 * [taylor]: Taking taylor expansion of l in V 0.730 * [taylor]: Taking taylor expansion of 0 in l 0.732 * [taylor]: Taking taylor expansion of 0 in l 0.734 * [taylor]: Taking taylor expansion of 0 in l 0.734 * [taylor]: Taking taylor expansion of 0 in l 0.734 * [taylor]: Taking taylor expansion of 0 in c0 0.734 * [taylor]: Taking taylor expansion of 0 in c0 0.734 * [taylor]: Taking taylor expansion of 0 in c0 0.736 * [taylor]: Taking taylor expansion of 0 in c0 0.736 * [taylor]: Taking taylor expansion of 0 in c0 0.736 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (A V l c0) around 0 0.736 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0 0.736 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0 0.736 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.736 * [taylor]: Taking taylor expansion of (* V l) in c0 0.736 * [taylor]: Taking taylor expansion of V in c0 0.736 * [taylor]: Taking taylor expansion of l in c0 0.736 * [taylor]: Taking taylor expansion of A in c0 0.737 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 0.737 * [taylor]: Taking taylor expansion of c0 in c0 0.737 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l 0.737 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 0.737 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.737 * [taylor]: Taking taylor expansion of (* V l) in l 0.737 * [taylor]: Taking taylor expansion of V in l 0.737 * [taylor]: Taking taylor expansion of l in l 0.737 * [taylor]: Taking taylor expansion of A in l 0.738 * [taylor]: Taking taylor expansion of (/ 1 c0) in l 0.738 * [taylor]: Taking taylor expansion of c0 in l 0.738 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V 0.738 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 0.738 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.738 * [taylor]: Taking taylor expansion of (* V l) in V 0.738 * [taylor]: Taking taylor expansion of V in V 0.738 * [taylor]: Taking taylor expansion of l in V 0.738 * [taylor]: Taking taylor expansion of A in V 0.739 * [taylor]: Taking taylor expansion of (/ 1 c0) in V 0.739 * [taylor]: Taking taylor expansion of c0 in V 0.739 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A 0.739 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.739 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.739 * [taylor]: Taking taylor expansion of (* V l) in A 0.739 * [taylor]: Taking taylor expansion of V in A 0.739 * [taylor]: Taking taylor expansion of l in A 0.739 * [taylor]: Taking taylor expansion of A in A 0.740 * [taylor]: Taking taylor expansion of (/ 1 c0) in A 0.740 * [taylor]: Taking taylor expansion of c0 in A 0.740 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A 0.740 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.740 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.740 * [taylor]: Taking taylor expansion of (* V l) in A 0.740 * [taylor]: Taking taylor expansion of V in A 0.740 * [taylor]: Taking taylor expansion of l in A 0.740 * [taylor]: Taking taylor expansion of A in A 0.741 * [taylor]: Taking taylor expansion of (/ 1 c0) in A 0.741 * [taylor]: Taking taylor expansion of c0 in A 0.741 * [taylor]: Taking taylor expansion of 0 in V 0.741 * [taylor]: Taking taylor expansion of 0 in l 0.741 * [taylor]: Taking taylor expansion of 0 in c0 0.742 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* V l) c0))) in V 0.742 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* V l) c0)) in V 0.742 * [taylor]: Taking taylor expansion of +nan.0 in V 0.742 * [taylor]: Taking taylor expansion of (/ (* V l) c0) in V 0.742 * [taylor]: Taking taylor expansion of (* V l) in V 0.742 * [taylor]: Taking taylor expansion of V in V 0.742 * [taylor]: Taking taylor expansion of l in V 0.742 * [taylor]: Taking taylor expansion of c0 in V 0.742 * [taylor]: Taking taylor expansion of 0 in l 0.742 * [taylor]: Taking taylor expansion of 0 in c0 0.742 * [taylor]: Taking taylor expansion of 0 in c0 0.744 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 2) (pow l 2)) c0))) in V 0.744 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 2) (pow l 2)) c0)) in V 0.744 * [taylor]: Taking taylor expansion of +nan.0 in V 0.744 * [taylor]: Taking taylor expansion of (/ (* (pow V 2) (pow l 2)) c0) in V 0.744 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.744 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.744 * [taylor]: Taking taylor expansion of V in V 0.744 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.744 * [taylor]: Taking taylor expansion of l in V 0.744 * [taylor]: Taking taylor expansion of c0 in V 0.745 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ l c0))) in l 0.745 * [taylor]: Taking taylor expansion of (* +nan.0 (/ l c0)) in l 0.745 * [taylor]: Taking taylor expansion of +nan.0 in l 0.745 * [taylor]: Taking taylor expansion of (/ l c0) in l 0.745 * [taylor]: Taking taylor expansion of l in l 0.745 * [taylor]: Taking taylor expansion of c0 in l 0.745 * [taylor]: Taking taylor expansion of 0 in l 0.745 * [taylor]: Taking taylor expansion of 0 in c0 0.745 * [taylor]: Taking taylor expansion of 0 in c0 0.745 * [taylor]: Taking taylor expansion of 0 in c0 0.748 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 3) (pow l 3)) c0))) in V 0.748 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 3) (pow l 3)) c0)) in V 0.748 * [taylor]: Taking taylor expansion of +nan.0 in V 0.748 * [taylor]: Taking taylor expansion of (/ (* (pow V 3) (pow l 3)) c0) in V 0.748 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 0.748 * [taylor]: Taking taylor expansion of (pow V 3) in V 0.748 * [taylor]: Taking taylor expansion of V in V 0.748 * [taylor]: Taking taylor expansion of (pow l 3) in V 0.748 * [taylor]: Taking taylor expansion of l in V 0.748 * [taylor]: Taking taylor expansion of c0 in V 0.750 * [taylor]: Taking taylor expansion of 0 in l 0.750 * [taylor]: Taking taylor expansion of 0 in c0 0.750 * [taylor]: Taking taylor expansion of 0 in l 0.750 * [taylor]: Taking taylor expansion of 0 in c0 0.750 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c0))) in c0 0.750 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c0)) in c0 0.750 * [taylor]: Taking taylor expansion of +nan.0 in c0 0.750 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 0.750 * [taylor]: Taking taylor expansion of c0 in c0 0.751 * [taylor]: Taking taylor expansion of 0 in c0 0.751 * [taylor]: Taking taylor expansion of 0 in c0 0.751 * [taylor]: Taking taylor expansion of 0 in c0 0.752 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (A V l c0) around 0 0.752 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0 0.752 * [taylor]: Taking taylor expansion of -1 in c0 0.752 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0 0.752 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0 0.752 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0 0.752 * [taylor]: Taking taylor expansion of -1 in c0 0.752 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.752 * [taylor]: Taking taylor expansion of (* V l) in c0 0.752 * [taylor]: Taking taylor expansion of V in c0 0.752 * [taylor]: Taking taylor expansion of l in c0 0.752 * [taylor]: Taking taylor expansion of A in c0 0.753 * [taylor]: Taking taylor expansion of c0 in c0 0.753 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l 0.753 * [taylor]: Taking taylor expansion of -1 in l 0.753 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l 0.753 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 0.753 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.753 * [taylor]: Taking taylor expansion of -1 in l 0.753 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.753 * [taylor]: Taking taylor expansion of (* V l) in l 0.753 * [taylor]: Taking taylor expansion of V in l 0.753 * [taylor]: Taking taylor expansion of l in l 0.753 * [taylor]: Taking taylor expansion of A in l 0.754 * [taylor]: Taking taylor expansion of c0 in l 0.754 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V 0.754 * [taylor]: Taking taylor expansion of -1 in V 0.754 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V 0.754 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 0.754 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.754 * [taylor]: Taking taylor expansion of -1 in V 0.754 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.754 * [taylor]: Taking taylor expansion of (* V l) in V 0.754 * [taylor]: Taking taylor expansion of V in V 0.754 * [taylor]: Taking taylor expansion of l in V 0.754 * [taylor]: Taking taylor expansion of A in V 0.755 * [taylor]: Taking taylor expansion of c0 in V 0.755 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A 0.755 * [taylor]: Taking taylor expansion of -1 in A 0.755 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A 0.755 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.755 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.755 * [taylor]: Taking taylor expansion of -1 in A 0.755 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.755 * [taylor]: Taking taylor expansion of (* V l) in A 0.755 * [taylor]: Taking taylor expansion of V in A 0.755 * [taylor]: Taking taylor expansion of l in A 0.755 * [taylor]: Taking taylor expansion of A in A 0.756 * [taylor]: Taking taylor expansion of c0 in A 0.756 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A 0.756 * [taylor]: Taking taylor expansion of -1 in A 0.756 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A 0.756 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.756 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.756 * [taylor]: Taking taylor expansion of -1 in A 0.756 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.756 * [taylor]: Taking taylor expansion of (* V l) in A 0.756 * [taylor]: Taking taylor expansion of V in A 0.756 * [taylor]: Taking taylor expansion of l in A 0.756 * [taylor]: Taking taylor expansion of A in A 0.757 * [taylor]: Taking taylor expansion of c0 in A 0.757 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* V l) c0)) in V 0.757 * [taylor]: Taking taylor expansion of +nan.0 in V 0.757 * [taylor]: Taking taylor expansion of (/ (* V l) c0) in V 0.757 * [taylor]: Taking taylor expansion of (* V l) in V 0.757 * [taylor]: Taking taylor expansion of V in V 0.757 * [taylor]: Taking taylor expansion of l in V 0.757 * [taylor]: Taking taylor expansion of c0 in V 0.758 * [taylor]: Taking taylor expansion of (* +nan.0 (/ l c0)) in l 0.758 * [taylor]: Taking taylor expansion of +nan.0 in l 0.758 * [taylor]: Taking taylor expansion of (/ l c0) in l 0.758 * [taylor]: Taking taylor expansion of l in l 0.758 * [taylor]: Taking taylor expansion of c0 in l 0.758 * [taylor]: Taking taylor expansion of (/ +nan.0 c0) in c0 0.758 * [taylor]: Taking taylor expansion of +nan.0 in c0 0.758 * [taylor]: Taking taylor expansion of c0 in c0 0.760 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 2) (pow l 2)) c0))) in V 0.760 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 2) (pow l 2)) c0)) in V 0.760 * [taylor]: Taking taylor expansion of +nan.0 in V 0.760 * [taylor]: Taking taylor expansion of (/ (* (pow V 2) (pow l 2)) c0) in V 0.760 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.760 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.760 * [taylor]: Taking taylor expansion of V in V 0.760 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.760 * [taylor]: Taking taylor expansion of l in V 0.761 * [taylor]: Taking taylor expansion of c0 in V 0.762 * [taylor]: Taking taylor expansion of 0 in l 0.762 * [taylor]: Taking taylor expansion of 0 in c0 0.762 * [taylor]: Taking taylor expansion of 0 in c0 0.766 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 3) (pow l 3)) c0))) in V 0.766 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 3) (pow l 3)) c0)) in V 0.766 * [taylor]: Taking taylor expansion of +nan.0 in V 0.766 * [taylor]: Taking taylor expansion of (/ (* (pow V 3) (pow l 3)) c0) in V 0.766 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 0.766 * [taylor]: Taking taylor expansion of (pow V 3) in V 0.766 * [taylor]: Taking taylor expansion of V in V 0.766 * [taylor]: Taking taylor expansion of (pow l 3) in V 0.766 * [taylor]: Taking taylor expansion of l in V 0.767 * [taylor]: Taking taylor expansion of c0 in V 0.767 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow l 2) c0))) in l 0.767 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow l 2) c0)) in l 0.767 * [taylor]: Taking taylor expansion of +nan.0 in l 0.767 * [taylor]: Taking taylor expansion of (/ (pow l 2) c0) in l 0.767 * [taylor]: Taking taylor expansion of (pow l 2) in l 0.768 * [taylor]: Taking taylor expansion of l in l 0.768 * [taylor]: Taking taylor expansion of c0 in l 0.774 * [taylor]: Taking taylor expansion of 0 in l 0.774 * [taylor]: Taking taylor expansion of 0 in c0 0.774 * [taylor]: Taking taylor expansion of 0 in c0 0.775 * [taylor]: Taking taylor expansion of 0 in c0 0.781 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 4) (pow l 4)) c0))) in V 0.781 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 4) (pow l 4)) c0)) in V 0.781 * [taylor]: Taking taylor expansion of +nan.0 in V 0.781 * [taylor]: Taking taylor expansion of (/ (* (pow V 4) (pow l 4)) c0) in V 0.781 * [taylor]: Taking taylor expansion of (* (pow V 4) (pow l 4)) in V 0.781 * [taylor]: Taking taylor expansion of (pow V 4) in V 0.781 * [taylor]: Taking taylor expansion of V in V 0.781 * [taylor]: Taking taylor expansion of (pow l 4) in V 0.781 * [taylor]: Taking taylor expansion of l in V 0.781 * [taylor]: Taking taylor expansion of c0 in V 0.783 * [taylor]: Taking taylor expansion of 0 in l 0.783 * [taylor]: Taking taylor expansion of 0 in c0 0.785 * [taylor]: Taking taylor expansion of 0 in l 0.785 * [taylor]: Taking taylor expansion of 0 in c0 0.785 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c0))) in c0 0.785 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c0)) in c0 0.785 * [taylor]: Taking taylor expansion of +nan.0 in c0 0.785 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 0.785 * [taylor]: Taking taylor expansion of c0 in c0 0.786 * [taylor]: Taking taylor expansion of 0 in c0 0.787 * [taylor]: Taking taylor expansion of 0 in c0 0.787 * [taylor]: Taking taylor expansion of 0 in c0 0.789 * * * [progress]: simplifying candidates 0.790 * [simplify]: Simplifying using # : (log (sqrt (/ A (* V l)))) (exp (sqrt (/ A (* V l)))) (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l)))) (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l)))) (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))) (sqrt (cbrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)) (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) l)) (sqrt (/ 1 V)) (sqrt (/ A l)) (sqrt 1) (sqrt (/ A (* V l))) (sqrt A) (sqrt (/ 1 (* V l))) (sqrt A) (sqrt (* V l)) (/ 1 2) (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (- (log A) (+ (log V) (log l))) (- (log A) (log (* V l))) (log (/ A (* V l))) (exp (/ A (* V l))) (/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l))) (/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l))) (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))) (cbrt (/ A (* V l))) (* (* (/ A (* V l)) (/ A (* V l))) (/ A (* V l))) (sqrt (/ A (* V l))) (sqrt (/ A (* V l))) (- A) (- (* V l)) (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l) (/ (sqrt A) V) (/ (sqrt A) l) (/ 1 V) (/ A l) (/ 1 (* V l)) (/ (* V l) A) (/ A V) (/ (* V l) (cbrt A)) (/ (* V l) (sqrt A)) (/ (* V l) A) (* (sqrt (/ A (* V l))) c0) (+ (log (sqrt (/ A (* V l)))) (log c0)) (log (* (sqrt (/ A (* V l))) c0)) (exp (* (sqrt (/ A (* V l))) c0)) (* (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l)))) (* (* c0 c0) c0)) (* (cbrt (* (sqrt (/ A (* V l))) c0)) (cbrt (* (sqrt (/ A (* V l))) c0))) (cbrt (* (sqrt (/ A (* V l))) c0)) (* (* (* (sqrt (/ A (* V l))) c0) (* (sqrt (/ A (* V l))) c0)) (* (sqrt (/ A (* V l))) c0)) (sqrt (* (sqrt (/ A (* V l))) c0)) (sqrt (* (sqrt (/ A (* V l))) c0)) (* (sqrt (sqrt (/ A (* V l)))) (sqrt c0)) (* (sqrt (sqrt (/ A (* V l)))) (sqrt c0)) (* (sqrt (sqrt (/ A (* V l)))) (sqrt c0)) (* (sqrt (sqrt (/ A (* V l)))) (sqrt c0)) (* (sqrt (/ A (* V l))) (* (cbrt c0) (cbrt c0))) (* (sqrt (/ A (* V l))) (sqrt c0)) (* (sqrt (/ A (* V l))) 1) (* (cbrt (sqrt (/ A (* V l)))) c0) (* (sqrt (cbrt (/ A (* V l)))) c0) (* (sqrt (sqrt (/ A (* V l)))) c0) (* (sqrt (/ (cbrt A) l)) c0) (* (sqrt (/ (sqrt A) l)) c0) (* (sqrt (/ A l)) c0) (* (sqrt (/ A (* V l))) c0) (* (sqrt (/ 1 (* V l))) c0) (* (sqrt (sqrt (/ A (* V l)))) c0) (* (sqrt (/ A (* V l))) c0) (* (sqrt A) c0) (* +nan.0 (/ A (* V l))) 0 0 (/ A (* V l)) (/ A (* V l)) (/ A (* V l)) (* +nan.0 (/ (* c0 A) (* V l))) (* +nan.0 (/ c0 (* V l))) (- (+ (* +nan.0 (/ c0 (* (pow V 2) (* A (pow l 2))))) (- (* +nan.0 (/ c0 (* V l)))))) 0.794 * * [simplify]: iteration 0 : 242 enodes (cost 335 ) 0.799 * * [simplify]: iteration 1 : 912 enodes (cost 309 ) 0.818 * * [simplify]: iteration 2 : 4625 enodes (cost 307 ) 0.885 * * [simplify]: iteration 3 : 5002 enodes (cost 306 ) 0.887 * [simplify]: Simplified to: (log (sqrt (/ A (* V l)))) (exp (sqrt (/ A (* V l)))) (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l)))) (pow (sqrt (/ A (* V l))) 3) (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (fabs (/ (cbrt A) (pow V 1/2))) (sqrt (/ (cbrt A) l)) (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) l)) (sqrt (/ 1 V)) (sqrt (/ A l)) 1 (sqrt (/ A (* V l))) (sqrt A) (sqrt (/ 1 (* V l))) (sqrt A) (sqrt (* V l)) 1/2 (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l)))) (log (/ A (* V l))) (log (/ A (* V l))) (log (/ A (* V l))) (exp (/ A (* V l))) (pow (/ A (* V l)) 3) (pow (/ A (* V l)) 3) (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))) (cbrt (/ A (* V l))) (pow (/ A (* V l)) 3) (sqrt (/ A (* V l))) (sqrt (/ A (* V l))) (- A) (- (* V l)) (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l) (/ (sqrt A) V) (/ (sqrt A) l) (/ 1 V) (/ A l) (/ 1 (* V l)) (/ (* V l) A) (/ A V) (/ (* V l) (cbrt A)) (/ (* V l) (sqrt A)) (/ (* V l) A) (* (sqrt (/ A (* V l))) c0) (log (* (sqrt (/ A (* V l))) c0)) (log (* (sqrt (/ A (* V l))) c0)) (exp (* (sqrt (/ A (* V l))) c0)) (pow (* (sqrt (/ A (* V l))) c0) 3) (* (cbrt (* (sqrt (/ A (* V l))) c0)) (cbrt (* (sqrt (/ A (* V l))) c0))) (cbrt (* (sqrt (/ A (* V l))) c0)) (pow (* (sqrt (/ A (* V l))) c0) 3) (sqrt (* (sqrt (/ A (* V l))) c0)) (sqrt (* (sqrt (/ A (* V l))) c0)) (* (sqrt (sqrt (/ A (* V l)))) (sqrt c0)) (* (sqrt (sqrt (/ A (* V l)))) (sqrt c0)) (* (sqrt (sqrt (/ A (* V l)))) (sqrt c0)) (* (sqrt (sqrt (/ A (* V l)))) (sqrt c0)) (* (sqrt (/ A (* V l))) (* (cbrt c0) (cbrt c0))) (* (sqrt (/ A (* V l))) (sqrt c0)) (sqrt (/ A (* V l))) (* (cbrt (sqrt (/ A (* V l)))) c0) (* (sqrt (cbrt (/ A (* V l)))) c0) (* (sqrt (sqrt (/ A (* V l)))) c0) (* (sqrt (/ (cbrt A) l)) c0) (* (sqrt (/ (sqrt A) l)) c0) (* (sqrt (/ A l)) c0) (* (sqrt (/ A (* V l))) c0) (* (sqrt (/ 1 (* V l))) c0) (* (sqrt (sqrt (/ A (* V l)))) c0) (* (sqrt (/ A (* V l))) c0) (* (sqrt A) c0) (* +nan.0 (/ A (* V l))) 0 0 (/ A (* V l)) (/ A (* V l)) (/ A (* V l)) (* +nan.0 (/ (* c0 A) (* V l))) (* +nan.0 (/ c0 (* V l))) (* (- +nan.0) (- (/ c0 (* (pow V 2) (* A (pow l 2)))) (/ c0 (* V l)))) 0.888 * * * [progress]: adding candidates to table 1.061 * * [progress]: iteration 3 / 4 1.061 * * * [progress]: picking best candidate 1.098 * * * * [pick]: Picked # 1.098 * * * [progress]: localizing error 1.105 * * * [progress]: generating rewritten candidates 1.106 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.117 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.123 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.161 * * * [progress]: generating series expansions 1.161 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.161 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0 1.161 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 1.161 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 1.161 * [taylor]: Taking taylor expansion of A in l 1.161 * [taylor]: Taking taylor expansion of (* V l) in l 1.161 * [taylor]: Taking taylor expansion of V in l 1.161 * [taylor]: Taking taylor expansion of l in l 1.162 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 1.162 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 1.162 * [taylor]: Taking taylor expansion of A in V 1.162 * [taylor]: Taking taylor expansion of (* V l) in V 1.162 * [taylor]: Taking taylor expansion of V in V 1.162 * [taylor]: Taking taylor expansion of l in V 1.163 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 1.163 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.163 * [taylor]: Taking taylor expansion of A in A 1.164 * [taylor]: Taking taylor expansion of (* V l) in A 1.164 * [taylor]: Taking taylor expansion of V in A 1.164 * [taylor]: Taking taylor expansion of l in A 1.164 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 1.164 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.164 * [taylor]: Taking taylor expansion of A in A 1.164 * [taylor]: Taking taylor expansion of (* V l) in A 1.164 * [taylor]: Taking taylor expansion of V in A 1.164 * [taylor]: Taking taylor expansion of l in A 1.165 * [taylor]: Taking taylor expansion of 0 in V 1.165 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V 1.165 * [taylor]: Taking taylor expansion of +nan.0 in V 1.165 * [taylor]: Taking taylor expansion of (* V l) in V 1.165 * [taylor]: Taking taylor expansion of V in V 1.165 * [taylor]: Taking taylor expansion of l in V 1.166 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l 1.166 * [taylor]: Taking taylor expansion of +nan.0 in l 1.166 * [taylor]: Taking taylor expansion of l in l 1.166 * [taylor]: Taking taylor expansion of 0 in l 1.167 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V 1.167 * [taylor]: Taking taylor expansion of +nan.0 in V 1.167 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.167 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.167 * [taylor]: Taking taylor expansion of V in V 1.167 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.167 * [taylor]: Taking taylor expansion of l in V 1.168 * [taylor]: Taking taylor expansion of 0 in l 1.169 * [taylor]: Taking taylor expansion of 0 in l 1.169 * [taylor]: Taking taylor expansion of 0 in l 1.171 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V 1.171 * [taylor]: Taking taylor expansion of +nan.0 in V 1.171 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 1.171 * [taylor]: Taking taylor expansion of (pow V 3) in V 1.171 * [taylor]: Taking taylor expansion of V in V 1.171 * [taylor]: Taking taylor expansion of (pow l 3) in V 1.171 * [taylor]: Taking taylor expansion of l in V 1.175 * [taylor]: Taking taylor expansion of 0 in l 1.177 * [taylor]: Taking taylor expansion of 0 in l 1.178 * [taylor]: Taking taylor expansion of 0 in l 1.178 * [taylor]: Taking taylor expansion of 0 in l 1.179 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0 1.179 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 1.179 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.179 * [taylor]: Taking taylor expansion of (* V l) in l 1.179 * [taylor]: Taking taylor expansion of V in l 1.179 * [taylor]: Taking taylor expansion of l in l 1.179 * [taylor]: Taking taylor expansion of A in l 1.180 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 1.180 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.180 * [taylor]: Taking taylor expansion of (* V l) in V 1.180 * [taylor]: Taking taylor expansion of V in V 1.180 * [taylor]: Taking taylor expansion of l in V 1.180 * [taylor]: Taking taylor expansion of A in V 1.181 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 1.181 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.181 * [taylor]: Taking taylor expansion of (* V l) in A 1.181 * [taylor]: Taking taylor expansion of V in A 1.181 * [taylor]: Taking taylor expansion of l in A 1.181 * [taylor]: Taking taylor expansion of A in A 1.181 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 1.182 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.182 * [taylor]: Taking taylor expansion of (* V l) in A 1.182 * [taylor]: Taking taylor expansion of V in A 1.182 * [taylor]: Taking taylor expansion of l in A 1.182 * [taylor]: Taking taylor expansion of A in A 1.182 * [taylor]: Taking taylor expansion of 0 in V 1.182 * [taylor]: Taking taylor expansion of 0 in l 1.182 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 1.182 * [taylor]: Taking taylor expansion of +nan.0 in V 1.182 * [taylor]: Taking taylor expansion of (* V l) in V 1.182 * [taylor]: Taking taylor expansion of V in V 1.182 * [taylor]: Taking taylor expansion of l in V 1.183 * [taylor]: Taking taylor expansion of 0 in l 1.183 * [taylor]: Taking taylor expansion of 0 in l 1.184 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 1.184 * [taylor]: Taking taylor expansion of +nan.0 in V 1.184 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.184 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.184 * [taylor]: Taking taylor expansion of V in V 1.184 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.184 * [taylor]: Taking taylor expansion of l in V 1.185 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 1.185 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 1.185 * [taylor]: Taking taylor expansion of +nan.0 in l 1.185 * [taylor]: Taking taylor expansion of l in l 1.185 * [taylor]: Taking taylor expansion of 0 in l 1.186 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0 1.186 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 1.186 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 1.186 * [taylor]: Taking taylor expansion of -1 in l 1.186 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.186 * [taylor]: Taking taylor expansion of (* V l) in l 1.186 * [taylor]: Taking taylor expansion of V in l 1.186 * [taylor]: Taking taylor expansion of l in l 1.186 * [taylor]: Taking taylor expansion of A in l 1.187 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 1.187 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 1.187 * [taylor]: Taking taylor expansion of -1 in V 1.187 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.187 * [taylor]: Taking taylor expansion of (* V l) in V 1.187 * [taylor]: Taking taylor expansion of V in V 1.187 * [taylor]: Taking taylor expansion of l in V 1.187 * [taylor]: Taking taylor expansion of A in V 1.188 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 1.188 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.188 * [taylor]: Taking taylor expansion of -1 in A 1.188 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.188 * [taylor]: Taking taylor expansion of (* V l) in A 1.188 * [taylor]: Taking taylor expansion of V in A 1.188 * [taylor]: Taking taylor expansion of l in A 1.188 * [taylor]: Taking taylor expansion of A in A 1.189 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 1.189 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.189 * [taylor]: Taking taylor expansion of -1 in A 1.189 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.189 * [taylor]: Taking taylor expansion of (* V l) in A 1.189 * [taylor]: Taking taylor expansion of V in A 1.189 * [taylor]: Taking taylor expansion of l in A 1.189 * [taylor]: Taking taylor expansion of A in A 1.190 * [taylor]: Taking taylor expansion of 0 in V 1.190 * [taylor]: Taking taylor expansion of 0 in l 1.190 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 1.190 * [taylor]: Taking taylor expansion of +nan.0 in V 1.190 * [taylor]: Taking taylor expansion of (* V l) in V 1.190 * [taylor]: Taking taylor expansion of V in V 1.190 * [taylor]: Taking taylor expansion of l in V 1.190 * [taylor]: Taking taylor expansion of 0 in l 1.190 * [taylor]: Taking taylor expansion of 0 in l 1.197 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 1.197 * [taylor]: Taking taylor expansion of +nan.0 in V 1.197 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.197 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.197 * [taylor]: Taking taylor expansion of V in V 1.197 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.197 * [taylor]: Taking taylor expansion of l in V 1.198 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 1.198 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 1.198 * [taylor]: Taking taylor expansion of +nan.0 in l 1.198 * [taylor]: Taking taylor expansion of l in l 1.198 * [taylor]: Taking taylor expansion of 0 in l 1.198 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.198 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0 1.198 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 1.198 * [taylor]: Taking taylor expansion of A in l 1.198 * [taylor]: Taking taylor expansion of (* V l) in l 1.198 * [taylor]: Taking taylor expansion of V in l 1.198 * [taylor]: Taking taylor expansion of l in l 1.199 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 1.199 * [taylor]: Taking taylor expansion of A in V 1.199 * [taylor]: Taking taylor expansion of (* V l) in V 1.199 * [taylor]: Taking taylor expansion of V in V 1.199 * [taylor]: Taking taylor expansion of l in V 1.199 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.199 * [taylor]: Taking taylor expansion of A in A 1.199 * [taylor]: Taking taylor expansion of (* V l) in A 1.199 * [taylor]: Taking taylor expansion of V in A 1.199 * [taylor]: Taking taylor expansion of l in A 1.199 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.199 * [taylor]: Taking taylor expansion of A in A 1.199 * [taylor]: Taking taylor expansion of (* V l) in A 1.199 * [taylor]: Taking taylor expansion of V in A 1.199 * [taylor]: Taking taylor expansion of l in A 1.200 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V 1.200 * [taylor]: Taking taylor expansion of (* V l) in V 1.200 * [taylor]: Taking taylor expansion of V in V 1.200 * [taylor]: Taking taylor expansion of l in V 1.200 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.200 * [taylor]: Taking taylor expansion of l in l 1.200 * [taylor]: Taking taylor expansion of 0 in V 1.201 * [taylor]: Taking taylor expansion of 0 in l 1.202 * [taylor]: Taking taylor expansion of 0 in V 1.202 * [taylor]: Taking taylor expansion of 0 in l 1.203 * [taylor]: Taking taylor expansion of 0 in l 1.204 * [taylor]: Taking taylor expansion of 0 in V 1.204 * [taylor]: Taking taylor expansion of 0 in l 1.204 * [taylor]: Taking taylor expansion of 0 in l 1.205 * [taylor]: Taking taylor expansion of 0 in l 1.205 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0 1.205 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.205 * [taylor]: Taking taylor expansion of (* V l) in l 1.205 * [taylor]: Taking taylor expansion of V in l 1.205 * [taylor]: Taking taylor expansion of l in l 1.205 * [taylor]: Taking taylor expansion of A in l 1.206 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.206 * [taylor]: Taking taylor expansion of (* V l) in V 1.206 * [taylor]: Taking taylor expansion of V in V 1.206 * [taylor]: Taking taylor expansion of l in V 1.206 * [taylor]: Taking taylor expansion of A in V 1.206 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.206 * [taylor]: Taking taylor expansion of (* V l) in A 1.206 * [taylor]: Taking taylor expansion of V in A 1.206 * [taylor]: Taking taylor expansion of l in A 1.206 * [taylor]: Taking taylor expansion of A in A 1.206 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.206 * [taylor]: Taking taylor expansion of (* V l) in A 1.206 * [taylor]: Taking taylor expansion of V in A 1.206 * [taylor]: Taking taylor expansion of l in A 1.206 * [taylor]: Taking taylor expansion of A in A 1.207 * [taylor]: Taking taylor expansion of (* V l) in V 1.207 * [taylor]: Taking taylor expansion of V in V 1.207 * [taylor]: Taking taylor expansion of l in V 1.207 * [taylor]: Taking taylor expansion of l in l 1.208 * [taylor]: Taking taylor expansion of 0 in V 1.208 * [taylor]: Taking taylor expansion of 0 in l 1.208 * [taylor]: Taking taylor expansion of 0 in l 1.210 * [taylor]: Taking taylor expansion of 0 in V 1.210 * [taylor]: Taking taylor expansion of 0 in l 1.210 * [taylor]: Taking taylor expansion of 0 in l 1.210 * [taylor]: Taking taylor expansion of 0 in l 1.211 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0 1.211 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 1.211 * [taylor]: Taking taylor expansion of -1 in l 1.211 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.211 * [taylor]: Taking taylor expansion of (* V l) in l 1.211 * [taylor]: Taking taylor expansion of V in l 1.211 * [taylor]: Taking taylor expansion of l in l 1.211 * [taylor]: Taking taylor expansion of A in l 1.211 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 1.211 * [taylor]: Taking taylor expansion of -1 in V 1.211 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.211 * [taylor]: Taking taylor expansion of (* V l) in V 1.211 * [taylor]: Taking taylor expansion of V in V 1.211 * [taylor]: Taking taylor expansion of l in V 1.211 * [taylor]: Taking taylor expansion of A in V 1.212 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.212 * [taylor]: Taking taylor expansion of -1 in A 1.212 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.212 * [taylor]: Taking taylor expansion of (* V l) in A 1.212 * [taylor]: Taking taylor expansion of V in A 1.212 * [taylor]: Taking taylor expansion of l in A 1.212 * [taylor]: Taking taylor expansion of A in A 1.212 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.212 * [taylor]: Taking taylor expansion of -1 in A 1.212 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.212 * [taylor]: Taking taylor expansion of (* V l) in A 1.212 * [taylor]: Taking taylor expansion of V in A 1.212 * [taylor]: Taking taylor expansion of l in A 1.212 * [taylor]: Taking taylor expansion of A in A 1.212 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V 1.212 * [taylor]: Taking taylor expansion of -1 in V 1.212 * [taylor]: Taking taylor expansion of (* V l) in V 1.212 * [taylor]: Taking taylor expansion of V in V 1.212 * [taylor]: Taking taylor expansion of l in V 1.213 * [taylor]: Taking taylor expansion of (- l) in l 1.213 * [taylor]: Taking taylor expansion of l in l 1.214 * [taylor]: Taking taylor expansion of 0 in V 1.214 * [taylor]: Taking taylor expansion of 0 in l 1.215 * [taylor]: Taking taylor expansion of 0 in l 1.217 * [taylor]: Taking taylor expansion of 0 in V 1.217 * [taylor]: Taking taylor expansion of 0 in l 1.217 * [taylor]: Taking taylor expansion of 0 in l 1.218 * [taylor]: Taking taylor expansion of 0 in l 1.219 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.219 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (A V l c0) around 0 1.219 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0 1.219 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0 1.219 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 1.219 * [taylor]: Taking taylor expansion of A in c0 1.219 * [taylor]: Taking taylor expansion of (* V l) in c0 1.219 * [taylor]: Taking taylor expansion of V in c0 1.219 * [taylor]: Taking taylor expansion of l in c0 1.219 * [taylor]: Taking taylor expansion of c0 in c0 1.219 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l 1.219 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 1.219 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 1.219 * [taylor]: Taking taylor expansion of A in l 1.219 * [taylor]: Taking taylor expansion of (* V l) in l 1.219 * [taylor]: Taking taylor expansion of V in l 1.219 * [taylor]: Taking taylor expansion of l in l 1.220 * [taylor]: Taking taylor expansion of c0 in l 1.220 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V 1.220 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 1.220 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 1.220 * [taylor]: Taking taylor expansion of A in V 1.220 * [taylor]: Taking taylor expansion of (* V l) in V 1.220 * [taylor]: Taking taylor expansion of V in V 1.220 * [taylor]: Taking taylor expansion of l in V 1.221 * [taylor]: Taking taylor expansion of c0 in V 1.221 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A 1.221 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 1.221 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.221 * [taylor]: Taking taylor expansion of A in A 1.221 * [taylor]: Taking taylor expansion of (* V l) in A 1.221 * [taylor]: Taking taylor expansion of V in A 1.221 * [taylor]: Taking taylor expansion of l in A 1.222 * [taylor]: Taking taylor expansion of c0 in A 1.222 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A 1.222 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 1.222 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.222 * [taylor]: Taking taylor expansion of A in A 1.222 * [taylor]: Taking taylor expansion of (* V l) in A 1.222 * [taylor]: Taking taylor expansion of V in A 1.222 * [taylor]: Taking taylor expansion of l in A 1.223 * [taylor]: Taking taylor expansion of c0 in A 1.223 * [taylor]: Taking taylor expansion of 0 in V 1.223 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ c0 (* V l)))) in V 1.223 * [taylor]: Taking taylor expansion of (* +nan.0 (/ c0 (* V l))) in V 1.223 * [taylor]: Taking taylor expansion of +nan.0 in V 1.223 * [taylor]: Taking taylor expansion of (/ c0 (* V l)) in V 1.223 * [taylor]: Taking taylor expansion of c0 in V 1.223 * [taylor]: Taking taylor expansion of (* V l) in V 1.223 * [taylor]: Taking taylor expansion of V in V 1.223 * [taylor]: Taking taylor expansion of l in V 1.224 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ c0 l))) in l 1.224 * [taylor]: Taking taylor expansion of (* +nan.0 (/ c0 l)) in l 1.224 * [taylor]: Taking taylor expansion of +nan.0 in l 1.224 * [taylor]: Taking taylor expansion of (/ c0 l) in l 1.224 * [taylor]: Taking taylor expansion of c0 in l 1.224 * [taylor]: Taking taylor expansion of l in l 1.224 * [taylor]: Taking taylor expansion of (- (* +nan.0 c0)) in c0 1.224 * [taylor]: Taking taylor expansion of (* +nan.0 c0) in c0 1.224 * [taylor]: Taking taylor expansion of +nan.0 in c0 1.224 * [taylor]: Taking taylor expansion of c0 in c0 1.225 * [taylor]: Taking taylor expansion of 0 in l 1.226 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ c0 (* (pow V 2) (pow l 2))))) in V 1.226 * [taylor]: Taking taylor expansion of (* +nan.0 (/ c0 (* (pow V 2) (pow l 2)))) in V 1.226 * [taylor]: Taking taylor expansion of +nan.0 in V 1.226 * [taylor]: Taking taylor expansion of (/ c0 (* (pow V 2) (pow l 2))) in V 1.226 * [taylor]: Taking taylor expansion of c0 in V 1.226 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.226 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.226 * [taylor]: Taking taylor expansion of V in V 1.226 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.226 * [taylor]: Taking taylor expansion of l in V 1.228 * [taylor]: Taking taylor expansion of 0 in l 1.229 * [taylor]: Taking taylor expansion of 0 in l 1.229 * [taylor]: Taking taylor expansion of 0 in l 1.230 * [taylor]: Taking taylor expansion of 0 in c0 1.230 * [taylor]: Taking taylor expansion of 0 in c0 1.234 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ c0 (* (pow V 3) (pow l 3))))) in V 1.234 * [taylor]: Taking taylor expansion of (* +nan.0 (/ c0 (* (pow V 3) (pow l 3)))) in V 1.234 * [taylor]: Taking taylor expansion of +nan.0 in V 1.234 * [taylor]: Taking taylor expansion of (/ c0 (* (pow V 3) (pow l 3))) in V 1.234 * [taylor]: Taking taylor expansion of c0 in V 1.234 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 1.234 * [taylor]: Taking taylor expansion of (pow V 3) in V 1.234 * [taylor]: Taking taylor expansion of V in V 1.234 * [taylor]: Taking taylor expansion of (pow l 3) in V 1.234 * [taylor]: Taking taylor expansion of l in V 1.239 * [taylor]: Taking taylor expansion of 0 in l 1.242 * [taylor]: Taking taylor expansion of 0 in l 1.243 * [taylor]: Taking taylor expansion of 0 in l 1.243 * [taylor]: Taking taylor expansion of 0 in l 1.244 * [taylor]: Taking taylor expansion of 0 in c0 1.244 * [taylor]: Taking taylor expansion of 0 in c0 1.244 * [taylor]: Taking taylor expansion of 0 in c0 1.245 * [taylor]: Taking taylor expansion of 0 in c0 1.245 * [taylor]: Taking taylor expansion of 0 in c0 1.246 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (A V l c0) around 0 1.246 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0 1.246 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0 1.246 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 1.246 * [taylor]: Taking taylor expansion of (* V l) in c0 1.246 * [taylor]: Taking taylor expansion of V in c0 1.246 * [taylor]: Taking taylor expansion of l in c0 1.246 * [taylor]: Taking taylor expansion of A in c0 1.246 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 1.246 * [taylor]: Taking taylor expansion of c0 in c0 1.247 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l 1.247 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 1.247 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.247 * [taylor]: Taking taylor expansion of (* V l) in l 1.247 * [taylor]: Taking taylor expansion of V in l 1.247 * [taylor]: Taking taylor expansion of l in l 1.247 * [taylor]: Taking taylor expansion of A in l 1.248 * [taylor]: Taking taylor expansion of (/ 1 c0) in l 1.248 * [taylor]: Taking taylor expansion of c0 in l 1.248 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V 1.248 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 1.248 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.248 * [taylor]: Taking taylor expansion of (* V l) in V 1.248 * [taylor]: Taking taylor expansion of V in V 1.248 * [taylor]: Taking taylor expansion of l in V 1.248 * [taylor]: Taking taylor expansion of A in V 1.249 * [taylor]: Taking taylor expansion of (/ 1 c0) in V 1.249 * [taylor]: Taking taylor expansion of c0 in V 1.249 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A 1.249 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 1.249 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.249 * [taylor]: Taking taylor expansion of (* V l) in A 1.249 * [taylor]: Taking taylor expansion of V in A 1.249 * [taylor]: Taking taylor expansion of l in A 1.249 * [taylor]: Taking taylor expansion of A in A 1.250 * [taylor]: Taking taylor expansion of (/ 1 c0) in A 1.250 * [taylor]: Taking taylor expansion of c0 in A 1.250 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A 1.250 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 1.250 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.250 * [taylor]: Taking taylor expansion of (* V l) in A 1.250 * [taylor]: Taking taylor expansion of V in A 1.250 * [taylor]: Taking taylor expansion of l in A 1.250 * [taylor]: Taking taylor expansion of A in A 1.251 * [taylor]: Taking taylor expansion of (/ 1 c0) in A 1.251 * [taylor]: Taking taylor expansion of c0 in A 1.251 * [taylor]: Taking taylor expansion of 0 in V 1.251 * [taylor]: Taking taylor expansion of 0 in l 1.251 * [taylor]: Taking taylor expansion of 0 in c0 1.251 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* V l) c0))) in V 1.251 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* V l) c0)) in V 1.251 * [taylor]: Taking taylor expansion of +nan.0 in V 1.251 * [taylor]: Taking taylor expansion of (/ (* V l) c0) in V 1.251 * [taylor]: Taking taylor expansion of (* V l) in V 1.251 * [taylor]: Taking taylor expansion of V in V 1.251 * [taylor]: Taking taylor expansion of l in V 1.252 * [taylor]: Taking taylor expansion of c0 in V 1.252 * [taylor]: Taking taylor expansion of 0 in l 1.252 * [taylor]: Taking taylor expansion of 0 in c0 1.252 * [taylor]: Taking taylor expansion of 0 in c0 1.254 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 2) (pow l 2)) c0))) in V 1.254 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 2) (pow l 2)) c0)) in V 1.254 * [taylor]: Taking taylor expansion of +nan.0 in V 1.254 * [taylor]: Taking taylor expansion of (/ (* (pow V 2) (pow l 2)) c0) in V 1.254 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.254 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.254 * [taylor]: Taking taylor expansion of V in V 1.254 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.254 * [taylor]: Taking taylor expansion of l in V 1.254 * [taylor]: Taking taylor expansion of c0 in V 1.255 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ l c0))) in l 1.255 * [taylor]: Taking taylor expansion of (* +nan.0 (/ l c0)) in l 1.255 * [taylor]: Taking taylor expansion of +nan.0 in l 1.255 * [taylor]: Taking taylor expansion of (/ l c0) in l 1.255 * [taylor]: Taking taylor expansion of l in l 1.255 * [taylor]: Taking taylor expansion of c0 in l 1.255 * [taylor]: Taking taylor expansion of 0 in l 1.255 * [taylor]: Taking taylor expansion of 0 in c0 1.255 * [taylor]: Taking taylor expansion of 0 in c0 1.255 * [taylor]: Taking taylor expansion of 0 in c0 1.258 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 3) (pow l 3)) c0))) in V 1.258 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 3) (pow l 3)) c0)) in V 1.258 * [taylor]: Taking taylor expansion of +nan.0 in V 1.258 * [taylor]: Taking taylor expansion of (/ (* (pow V 3) (pow l 3)) c0) in V 1.258 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 1.258 * [taylor]: Taking taylor expansion of (pow V 3) in V 1.258 * [taylor]: Taking taylor expansion of V in V 1.258 * [taylor]: Taking taylor expansion of (pow l 3) in V 1.258 * [taylor]: Taking taylor expansion of l in V 1.258 * [taylor]: Taking taylor expansion of c0 in V 1.260 * [taylor]: Taking taylor expansion of 0 in l 1.260 * [taylor]: Taking taylor expansion of 0 in c0 1.260 * [taylor]: Taking taylor expansion of 0 in l 1.260 * [taylor]: Taking taylor expansion of 0 in c0 1.260 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c0))) in c0 1.260 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c0)) in c0 1.260 * [taylor]: Taking taylor expansion of +nan.0 in c0 1.260 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 1.260 * [taylor]: Taking taylor expansion of c0 in c0 1.261 * [taylor]: Taking taylor expansion of 0 in c0 1.261 * [taylor]: Taking taylor expansion of 0 in c0 1.261 * [taylor]: Taking taylor expansion of 0 in c0 1.262 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (A V l c0) around 0 1.262 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0 1.262 * [taylor]: Taking taylor expansion of -1 in c0 1.262 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0 1.262 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0 1.262 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0 1.262 * [taylor]: Taking taylor expansion of -1 in c0 1.262 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 1.262 * [taylor]: Taking taylor expansion of (* V l) in c0 1.262 * [taylor]: Taking taylor expansion of V in c0 1.262 * [taylor]: Taking taylor expansion of l in c0 1.262 * [taylor]: Taking taylor expansion of A in c0 1.262 * [taylor]: Taking taylor expansion of c0 in c0 1.263 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l 1.263 * [taylor]: Taking taylor expansion of -1 in l 1.263 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l 1.263 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 1.263 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 1.263 * [taylor]: Taking taylor expansion of -1 in l 1.263 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.263 * [taylor]: Taking taylor expansion of (* V l) in l 1.263 * [taylor]: Taking taylor expansion of V in l 1.263 * [taylor]: Taking taylor expansion of l in l 1.263 * [taylor]: Taking taylor expansion of A in l 1.264 * [taylor]: Taking taylor expansion of c0 in l 1.264 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V 1.264 * [taylor]: Taking taylor expansion of -1 in V 1.264 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V 1.264 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 1.264 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 1.264 * [taylor]: Taking taylor expansion of -1 in V 1.264 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.264 * [taylor]: Taking taylor expansion of (* V l) in V 1.264 * [taylor]: Taking taylor expansion of V in V 1.264 * [taylor]: Taking taylor expansion of l in V 1.264 * [taylor]: Taking taylor expansion of A in V 1.265 * [taylor]: Taking taylor expansion of c0 in V 1.265 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A 1.265 * [taylor]: Taking taylor expansion of -1 in A 1.265 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A 1.265 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 1.265 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.265 * [taylor]: Taking taylor expansion of -1 in A 1.265 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.265 * [taylor]: Taking taylor expansion of (* V l) in A 1.265 * [taylor]: Taking taylor expansion of V in A 1.265 * [taylor]: Taking taylor expansion of l in A 1.265 * [taylor]: Taking taylor expansion of A in A 1.266 * [taylor]: Taking taylor expansion of c0 in A 1.266 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A 1.266 * [taylor]: Taking taylor expansion of -1 in A 1.266 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A 1.266 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 1.266 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.266 * [taylor]: Taking taylor expansion of -1 in A 1.266 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.266 * [taylor]: Taking taylor expansion of (* V l) in A 1.266 * [taylor]: Taking taylor expansion of V in A 1.266 * [taylor]: Taking taylor expansion of l in A 1.266 * [taylor]: Taking taylor expansion of A in A 1.267 * [taylor]: Taking taylor expansion of c0 in A 1.267 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* V l) c0)) in V 1.267 * [taylor]: Taking taylor expansion of +nan.0 in V 1.267 * [taylor]: Taking taylor expansion of (/ (* V l) c0) in V 1.267 * [taylor]: Taking taylor expansion of (* V l) in V 1.267 * [taylor]: Taking taylor expansion of V in V 1.267 * [taylor]: Taking taylor expansion of l in V 1.267 * [taylor]: Taking taylor expansion of c0 in V 1.268 * [taylor]: Taking taylor expansion of (* +nan.0 (/ l c0)) in l 1.268 * [taylor]: Taking taylor expansion of +nan.0 in l 1.268 * [taylor]: Taking taylor expansion of (/ l c0) in l 1.268 * [taylor]: Taking taylor expansion of l in l 1.268 * [taylor]: Taking taylor expansion of c0 in l 1.268 * [taylor]: Taking taylor expansion of (/ +nan.0 c0) in c0 1.268 * [taylor]: Taking taylor expansion of +nan.0 in c0 1.268 * [taylor]: Taking taylor expansion of c0 in c0 1.270 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 2) (pow l 2)) c0))) in V 1.270 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 2) (pow l 2)) c0)) in V 1.270 * [taylor]: Taking taylor expansion of +nan.0 in V 1.270 * [taylor]: Taking taylor expansion of (/ (* (pow V 2) (pow l 2)) c0) in V 1.270 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.270 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.270 * [taylor]: Taking taylor expansion of V in V 1.270 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.270 * [taylor]: Taking taylor expansion of l in V 1.270 * [taylor]: Taking taylor expansion of c0 in V 1.272 * [taylor]: Taking taylor expansion of 0 in l 1.272 * [taylor]: Taking taylor expansion of 0 in c0 1.272 * [taylor]: Taking taylor expansion of 0 in c0 1.276 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 3) (pow l 3)) c0))) in V 1.276 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 3) (pow l 3)) c0)) in V 1.276 * [taylor]: Taking taylor expansion of +nan.0 in V 1.276 * [taylor]: Taking taylor expansion of (/ (* (pow V 3) (pow l 3)) c0) in V 1.276 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 1.276 * [taylor]: Taking taylor expansion of (pow V 3) in V 1.276 * [taylor]: Taking taylor expansion of V in V 1.276 * [taylor]: Taking taylor expansion of (pow l 3) in V 1.276 * [taylor]: Taking taylor expansion of l in V 1.276 * [taylor]: Taking taylor expansion of c0 in V 1.277 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow l 2) c0))) in l 1.277 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow l 2) c0)) in l 1.277 * [taylor]: Taking taylor expansion of +nan.0 in l 1.277 * [taylor]: Taking taylor expansion of (/ (pow l 2) c0) in l 1.277 * [taylor]: Taking taylor expansion of (pow l 2) in l 1.277 * [taylor]: Taking taylor expansion of l in l 1.277 * [taylor]: Taking taylor expansion of c0 in l 1.279 * [taylor]: Taking taylor expansion of 0 in l 1.279 * [taylor]: Taking taylor expansion of 0 in c0 1.279 * [taylor]: Taking taylor expansion of 0 in c0 1.280 * [taylor]: Taking taylor expansion of 0 in c0 1.285 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (* (pow V 4) (pow l 4)) c0))) in V 1.285 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (pow V 4) (pow l 4)) c0)) in V 1.285 * [taylor]: Taking taylor expansion of +nan.0 in V 1.285 * [taylor]: Taking taylor expansion of (/ (* (pow V 4) (pow l 4)) c0) in V 1.285 * [taylor]: Taking taylor expansion of (* (pow V 4) (pow l 4)) in V 1.285 * [taylor]: Taking taylor expansion of (pow V 4) in V 1.285 * [taylor]: Taking taylor expansion of V in V 1.285 * [taylor]: Taking taylor expansion of (pow l 4) in V 1.286 * [taylor]: Taking taylor expansion of l in V 1.286 * [taylor]: Taking taylor expansion of c0 in V 1.292 * [taylor]: Taking taylor expansion of 0 in l 1.292 * [taylor]: Taking taylor expansion of 0 in c0 1.294 * [taylor]: Taking taylor expansion of 0 in l 1.294 * [taylor]: Taking taylor expansion of 0 in c0 1.294 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c0))) in c0 1.295 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c0)) in c0 1.295 * [taylor]: Taking taylor expansion of +nan.0 in c0 1.295 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 1.295 * [taylor]: Taking taylor expansion of c0 in c0 1.296 * [taylor]: Taking taylor expansion of 0 in c0 1.296 * [taylor]: Taking taylor expansion of 0 in c0 1.297 * [taylor]: Taking taylor expansion of 0 in c0 1.298 * * * [progress]: simplifying candidates 1.301 * [simplify]: Simplifying using # : (log (sqrt (/ (/ A V) l))) (exp (sqrt (/ (/ A V) l))) (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l)))) (cbrt (sqrt (/ (/ A V) l))) (* (* (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l))) (sqrt (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l)))) (sqrt (cbrt (/ (/ A V) l))) (sqrt (sqrt (/ (/ A V) l))) (sqrt (sqrt (/ (/ A V) l))) (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (cbrt (/ A V)) (cbrt l))) (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))) (sqrt (/ (cbrt (/ A V)) (sqrt l))) (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1)) (sqrt (/ (cbrt (/ A V)) l)) (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))) (sqrt (/ (sqrt (/ A V)) (cbrt l))) (sqrt (/ (sqrt (/ A V)) (sqrt l))) (sqrt (/ (sqrt (/ A V)) (sqrt l))) (sqrt (/ (sqrt (/ A V)) 1)) (sqrt (/ (sqrt (/ A V)) l)) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (sqrt V)) (cbrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))) (sqrt (/ (/ (cbrt A) (sqrt V)) (sqrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1)) (sqrt (/ (/ (cbrt A) (sqrt V)) l)) (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) V) (cbrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l))) (sqrt (/ (/ (cbrt A) V) (sqrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) 1)) (sqrt (/ (/ (cbrt A) V) l)) (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))) (sqrt (/ (/ (sqrt A) (cbrt V)) (sqrt l))) (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)) (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (cbrt l))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) (sqrt (/ (/ (sqrt A) (sqrt V)) 1)) (sqrt (/ (/ (sqrt A) (sqrt V)) l)) (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt A) V) (cbrt l))) (sqrt (/ (/ (sqrt A) 1) (sqrt l))) (sqrt (/ (/ (sqrt A) V) (sqrt l))) (sqrt (/ (/ (sqrt A) 1) 1)) (sqrt (/ (/ (sqrt A) V) l)) (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ A (cbrt V)) (cbrt l))) (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))) (sqrt (/ (/ A (cbrt V)) (sqrt l))) (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ A (cbrt V)) l)) (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ A (sqrt V)) (cbrt l))) (sqrt (/ (/ 1 (sqrt V)) (sqrt l))) (sqrt (/ (/ A (sqrt V)) (sqrt l))) (sqrt (/ (/ 1 (sqrt V)) 1)) (sqrt (/ (/ A (sqrt V)) l)) (sqrt (/ (/ 1 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ A V) (cbrt l))) (sqrt (/ (/ 1 1) (sqrt l))) (sqrt (/ (/ A V) (sqrt l))) (sqrt (/ (/ 1 1) 1)) (sqrt (/ (/ A V) l)) (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ A V) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ A V) (sqrt l))) (sqrt (/ 1 1)) (sqrt (/ (/ A V) l)) (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))) (sqrt (/ A (sqrt l))) (sqrt (/ (/ 1 V) (sqrt l))) (sqrt (/ A 1)) (sqrt (/ (/ 1 V) l)) (sqrt 1) (sqrt (/ (/ A V) l)) (sqrt (/ A V)) (sqrt (/ 1 l)) (sqrt (/ A V)) (sqrt l) (/ 1 2) (sqrt (sqrt (/ (/ A V) l))) (sqrt (sqrt (/ (/ A V) l))) (- (- (log A) (log V)) (log l)) (- (log (/ A V)) (log l)) (log (/ (/ A V) l)) (exp (/ (/ A V) l)) (/ (/ (* (* A A) A) (* (* V V) V)) (* (* l l) l)) (/ (* (* (/ A V) (/ A V)) (/ A V)) (* (* l l) l)) (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l))) (cbrt (/ (/ A V) l)) (* (* (/ (/ A V) l) (/ (/ A V) l)) (/ (/ A V) l)) (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l)) (- (/ A V)) (- l) (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l))) (/ (cbrt (/ A V)) (cbrt l)) (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l)) (/ (cbrt (/ A V)) (sqrt l)) (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1) (/ (cbrt (/ A V)) l) (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l))) (/ (sqrt (/ A V)) (cbrt l)) (/ (sqrt (/ A V)) (sqrt l)) (/ (sqrt (/ A V)) (sqrt l)) (/ (sqrt (/ A V)) 1) (/ (sqrt (/ A V)) l) (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))) (/ (/ (cbrt A) (cbrt V)) (cbrt l)) (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l)) (/ (/ (cbrt A) (cbrt V)) (sqrt l)) (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1) (/ (/ (cbrt A) (cbrt V)) l) (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l))) (/ (/ (cbrt A) (sqrt V)) (cbrt l)) (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l)) (/ (/ (cbrt A) (sqrt V)) (sqrt l)) (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1) (/ (/ (cbrt A) (sqrt V)) l) (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l))) (/ (/ (cbrt A) V) (cbrt l)) (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)) (/ (/ (cbrt A) V) (sqrt l)) (/ (/ (* (cbrt A) (cbrt A)) 1) 1) (/ (/ (cbrt A) V) l) (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))) (/ (/ (sqrt A) (cbrt V)) (cbrt l)) (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l)) (/ (/ (sqrt A) (cbrt V)) (sqrt l)) (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1) (/ (/ (sqrt A) (cbrt V)) l) (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l))) (/ (/ (sqrt A) (sqrt V)) (cbrt l)) (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (/ (sqrt A) (sqrt V)) 1) (/ (/ (sqrt A) (sqrt V)) l) (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l))) (/ (/ (sqrt A) V) (cbrt l)) (/ (/ (sqrt A) 1) (sqrt l)) (/ (/ (sqrt A) V) (sqrt l)) (/ (/ (sqrt A) 1) 1) (/ (/ (sqrt A) V) l) (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))) (/ (/ A (cbrt V)) (cbrt l)) (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l)) (/ (/ A (cbrt V)) (sqrt l)) (/ (/ 1 (* (cbrt V) (cbrt V))) 1) (/ (/ A (cbrt V)) l) (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))) (/ (/ A (sqrt V)) (cbrt l)) (/ (/ 1 (sqrt V)) (sqrt l)) (/ (/ A (sqrt V)) (sqrt l)) (/ (/ 1 (sqrt V)) 1) (/ (/ A (sqrt V)) l) (/ (/ 1 1) (* (cbrt l) (cbrt l))) (/ (/ A V) (cbrt l)) (/ (/ 1 1) (sqrt l)) (/ (/ A V) (sqrt l)) (/ (/ 1 1) 1) (/ (/ A V) l) (/ 1 (* (cbrt l) (cbrt l))) (/ (/ A V) (cbrt l)) (/ 1 (sqrt l)) (/ (/ A V) (sqrt l)) (/ 1 1) (/ (/ A V) l) (/ A (* (cbrt l) (cbrt l))) (/ (/ 1 V) (cbrt l)) (/ A (sqrt l)) (/ (/ 1 V) (sqrt l)) (/ A 1) (/ (/ 1 V) l) (/ 1 l) (/ l (/ A V)) (/ (/ A V) (* (cbrt l) (cbrt l))) (/ (/ A V) (sqrt l)) (/ (/ A V) 1) (/ l (cbrt (/ A V))) (/ l (sqrt (/ A V))) (/ l (/ (cbrt A) (cbrt V))) (/ l (/ (cbrt A) (sqrt V))) (/ l (/ (cbrt A) V)) (/ l (/ (sqrt A) (cbrt V))) (/ l (/ (sqrt A) (sqrt V))) (/ l (/ (sqrt A) V)) (/ l (/ A (cbrt V))) (/ l (/ A (sqrt V))) (/ l (/ A V)) (/ l (/ A V)) (/ l (/ 1 V)) (* l V) (* (sqrt (/ (/ A V) l)) c0) (+ (log (sqrt (/ (/ A V) l))) (log c0)) (log (* (sqrt (/ (/ A V) l)) c0)) (exp (* (sqrt (/ (/ A V) l)) c0)) (* (* (* (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l))) (* (* c0 c0) c0)) (* (cbrt (* (sqrt (/ (/ A V) l)) c0)) (cbrt (* (sqrt (/ (/ A V) l)) c0))) (cbrt (* (sqrt (/ (/ A V) l)) c0)) (* (* (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ (/ A V) l)) c0)) (* (sqrt (/ (/ A V) l)) c0)) (sqrt (* (sqrt (/ (/ A V) l)) c0)) (sqrt (* (sqrt (/ (/ A V) l)) c0)) (* (sqrt (sqrt (/ (/ A V) l))) (sqrt c0)) (* (sqrt (sqrt (/ (/ A V) l))) (sqrt c0)) (* (sqrt (/ (sqrt (/ A V)) (sqrt l))) (sqrt c0)) (* (sqrt (/ (sqrt (/ A V)) (sqrt l))) (sqrt c0)) (* (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) (sqrt c0)) (* (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) (sqrt c0)) (* (sqrt (sqrt (/ (/ A V) l))) (sqrt c0)) (* (sqrt (sqrt (/ (/ A V) l))) (sqrt c0)) (* (sqrt (/ (/ A V) l)) (* (cbrt c0) (cbrt c0))) (* (sqrt (/ (/ A V) l)) (sqrt c0)) (* (sqrt (/ (/ A V) l)) 1) (* (cbrt (sqrt (/ (/ A V) l))) c0) (* (sqrt (cbrt (/ (/ A V) l))) c0) (* (sqrt (sqrt (/ (/ A V) l))) c0) (* (sqrt (/ (cbrt (/ A V)) (cbrt l))) c0) (* (sqrt (/ (cbrt (/ A V)) (sqrt l))) c0) (* (sqrt (/ (cbrt (/ A V)) l)) c0) (* (sqrt (/ (sqrt (/ A V)) (cbrt l))) c0) (* (sqrt (/ (sqrt (/ A V)) (sqrt l))) c0) (* (sqrt (/ (sqrt (/ A V)) l)) c0) (* (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (* (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) c0) (* (sqrt (/ (/ (cbrt A) (cbrt V)) l)) c0) (* (sqrt (/ (/ (cbrt A) (sqrt V)) (cbrt l))) c0) (* (sqrt (/ (/ (cbrt A) (sqrt V)) (sqrt l))) c0) (* (sqrt (/ (/ (cbrt A) (sqrt V)) l)) c0) (* (sqrt (/ (/ (cbrt A) V) (cbrt l))) c0) (* (sqrt (/ (/ (cbrt A) V) (sqrt l))) c0) (* (sqrt (/ (/ (cbrt A) V) l)) c0) (* (sqrt (/ (/ (sqrt A) (cbrt V)) (cbrt l))) c0) (* (sqrt (/ (/ (sqrt A) (cbrt V)) (sqrt l))) c0) (* (sqrt (/ (/ (sqrt A) (cbrt V)) l)) c0) (* (sqrt (/ (/ (sqrt A) (sqrt V)) (cbrt l))) c0) (* (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) c0) (* (sqrt (/ (/ (sqrt A) (sqrt V)) l)) c0) (* (sqrt (/ (/ (sqrt A) V) (cbrt l))) c0) (* (sqrt (/ (/ (sqrt A) V) (sqrt l))) c0) (* (sqrt (/ (/ (sqrt A) V) l)) c0) (* (sqrt (/ (/ A (cbrt V)) (cbrt l))) c0) (* (sqrt (/ (/ A (cbrt V)) (sqrt l))) c0) (* (sqrt (/ (/ A (cbrt V)) l)) c0) (* (sqrt (/ (/ A (sqrt V)) (cbrt l))) c0) (* (sqrt (/ (/ A (sqrt V)) (sqrt l))) c0) (* (sqrt (/ (/ A (sqrt V)) l)) c0) (* (sqrt (/ (/ A V) (cbrt l))) c0) (* (sqrt (/ (/ A V) (sqrt l))) c0) (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ (/ A V) (cbrt l))) c0) (* (sqrt (/ (/ A V) (sqrt l))) c0) (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ (/ 1 V) (cbrt l))) c0) (* (sqrt (/ (/ 1 V) (sqrt l))) c0) (* (sqrt (/ (/ 1 V) l)) c0) (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ 1 l)) c0) (* (sqrt (sqrt (/ (/ A V) l))) c0) (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ A V)) c0) (* +nan.0 (/ A (* V l))) 0 0 (/ A (* V l)) (/ A (* V l)) (/ A (* V l)) (* +nan.0 (/ (* c0 A) (* V l))) (* +nan.0 (/ c0 (* V l))) (- (+ (* +nan.0 (/ c0 (* (pow V 2) (* A (pow l 2))))) (- (* +nan.0 (/ c0 (* V l)))))) 1.309 * * [simplify]: iteration 0 : 603 enodes (cost 1354 ) 1.318 * * [simplify]: iteration 1 : 1954 enodes (cost 1304 ) 1.347 * * [simplify]: iteration 2 : 5001 enodes (cost 1285 ) 1.353 * [simplify]: Simplified to: (log (sqrt (/ (/ A V) l))) (exp (sqrt (/ (/ A V) l))) (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l)))) (cbrt (sqrt (/ (/ A V) l))) (pow (sqrt (/ (/ A V) l)) 3) (fabs (cbrt (/ (/ A V) l))) (sqrt (cbrt (/ (/ A V) l))) (sqrt (sqrt (/ (/ A V) l))) (sqrt (sqrt (/ (/ A V) l))) (fabs (/ (cbrt (/ A V)) (cbrt l))) (sqrt (/ (cbrt (/ A V)) (cbrt l))) (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))) (sqrt (/ (cbrt (/ A V)) (sqrt l))) (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)) (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))) (sqrt (/ (sqrt (/ A V)) (cbrt l))) (sqrt (/ (sqrt (/ A V)) (sqrt l))) (sqrt (/ (sqrt (/ A V)) (sqrt l))) (sqrt (/ (sqrt (/ A V)) 1)) (sqrt (/ (sqrt (/ A V)) l)) (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (sqrt V)) (cbrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))) (sqrt (/ (/ (cbrt A) (sqrt V)) (sqrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1)) (sqrt (/ (/ (cbrt A) (sqrt V)) l)) (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))) (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l))) (sqrt (/ (/ (cbrt A) V) (sqrt l))) (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)) (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))) (sqrt (/ (/ (sqrt A) (cbrt V)) (sqrt l))) (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)) (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (cbrt l))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) (sqrt (/ (/ (sqrt A) (sqrt V)) 1)) (sqrt (/ (/ (sqrt A) (sqrt V)) l)) (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt A) V) (cbrt l))) (sqrt (/ (/ (sqrt A) 1) (sqrt l))) (sqrt (/ (/ (sqrt A) V) (sqrt l))) (sqrt (/ (/ (sqrt A) 1) 1)) (sqrt (/ (/ (sqrt A) V) l)) (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ A (cbrt V)) (cbrt l))) (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))) (sqrt (/ (/ A (cbrt V)) (sqrt l))) (fabs (/ 1 (cbrt V))) (sqrt (/ (/ A (cbrt V)) l)) (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ A (sqrt V)) (cbrt l))) (sqrt (/ (/ 1 (sqrt V)) (sqrt l))) (sqrt (/ (/ A (sqrt V)) (sqrt l))) (sqrt (/ (/ 1 (sqrt V)) 1)) (sqrt (/ (/ A (sqrt V)) l)) (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ A V) (sqrt l))) 1 (sqrt (/ (/ A V) l)) (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ A V) (sqrt l))) 1 (sqrt (/ (/ A V) l)) (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))) (sqrt (/ A (sqrt l))) (sqrt (/ (/ 1 V) (sqrt l))) (sqrt A) (sqrt (/ (/ 1 V) l)) 1 (sqrt (/ (/ A V) l)) (sqrt (/ A V)) (sqrt (/ 1 l)) (sqrt (/ A V)) (sqrt l) 1/2 (sqrt (sqrt (/ (/ A V) l))) (sqrt (sqrt (/ (/ A V) l))) (log (/ (/ A V) l)) (log (/ (/ A V) l)) (log (/ (/ A V) l)) (exp (/ (/ A V) l)) (pow (/ (/ A V) l) 3) (pow (/ (/ A V) l) 3) (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l))) (cbrt (/ (/ A V) l)) (pow (/ (/ A V) l) 3) (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l)) (- (/ A V)) (- l) (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l))) (/ (cbrt (/ A V)) (cbrt l)) (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l)) (/ (cbrt (/ A V)) (sqrt l)) (* (cbrt (/ A V)) (cbrt (/ A V))) (/ (cbrt (/ A V)) l) (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l))) (/ (sqrt (/ A V)) (cbrt l)) (/ (sqrt (/ A V)) (sqrt l)) (/ (sqrt (/ A V)) (sqrt l)) (sqrt (/ A V)) (/ (sqrt (/ A V)) l) (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))) (/ (/ (cbrt A) (cbrt V)) (cbrt l)) (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l)) (/ (/ (cbrt A) (cbrt V)) (sqrt l)) (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (/ (/ (cbrt A) (cbrt V)) l) (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l))) (/ (/ (cbrt A) (sqrt V)) (cbrt l)) (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l)) (/ (/ (cbrt A) (sqrt V)) (sqrt l)) (/ (* (cbrt A) (cbrt A)) (sqrt V)) (/ (/ (cbrt A) (sqrt V)) l) (/ (/ (* (cbrt A) (cbrt A)) (cbrt l)) (cbrt l)) (/ (/ (cbrt A) V) (cbrt l)) (/ (cbrt A) (/ (sqrt l) (cbrt A))) (/ (/ (cbrt A) V) (sqrt l)) (* (cbrt A) (cbrt A)) (/ (/ (cbrt A) V) l) (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))) (/ (/ (sqrt A) (cbrt V)) (cbrt l)) (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l)) (/ (/ (sqrt A) (cbrt V)) (sqrt l)) (/ (sqrt A) (* (cbrt V) (cbrt V))) (/ (/ (sqrt A) (cbrt V)) l) (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l))) (/ (/ (sqrt A) (sqrt V)) (cbrt l)) (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (sqrt A) (sqrt V)) (/ (/ (sqrt A) (sqrt V)) l) (/ (/ (sqrt A) (cbrt l)) (cbrt l)) (/ (/ (sqrt A) V) (cbrt l)) (/ (sqrt A) (sqrt l)) (/ (/ (sqrt A) V) (sqrt l)) (sqrt A) (/ (/ (sqrt A) V) l) (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))) (/ (/ A (cbrt V)) (cbrt l)) (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l)) (/ (/ A (cbrt V)) (sqrt l)) (/ 1 (* (cbrt V) (cbrt V))) (/ (/ A (cbrt V)) l) (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))) (/ (/ A (sqrt V)) (cbrt l)) (/ (/ 1 (sqrt V)) (sqrt l)) (/ (/ A (sqrt V)) (sqrt l)) (/ 1 (sqrt V)) (/ (/ A (sqrt V)) l) (/ 1 (* (cbrt l) (cbrt l))) (/ (/ A V) (cbrt l)) (/ 1 (sqrt l)) (/ (/ A V) (sqrt l)) 1 (/ (/ A V) l) (/ 1 (* (cbrt l) (cbrt l))) (/ (/ A V) (cbrt l)) (/ 1 (sqrt l)) (/ (/ A V) (sqrt l)) 1 (/ (/ A V) l) (/ A (* (cbrt l) (cbrt l))) (/ (/ 1 V) (cbrt l)) (/ A (sqrt l)) (/ (/ 1 V) (sqrt l)) A (/ (/ 1 V) l) (/ 1 l) (/ l (/ A V)) (/ (/ A V) (* (cbrt l) (cbrt l))) (/ (/ A V) (sqrt l)) (/ A V) (/ l (cbrt (/ A V))) (/ l (sqrt (/ A V))) (/ l (/ (cbrt A) (cbrt V))) (/ l (/ (cbrt A) (sqrt V))) (/ l (/ (cbrt A) V)) (/ l (/ (sqrt A) (cbrt V))) (/ l (/ (sqrt A) (sqrt V))) (/ l (/ (sqrt A) V)) (/ l (/ A (cbrt V))) (/ l (/ A (sqrt V))) (/ l (/ A V)) (/ l (/ A V)) (* l V) (* l V) (* (sqrt (/ (/ A V) l)) c0) (log (* (sqrt (/ (/ A V) l)) c0)) (log (* (sqrt (/ (/ A V) l)) c0)) (exp (* (sqrt (/ (/ A V) l)) c0)) (pow (* (sqrt (/ (/ A V) l)) c0) 3) (* (cbrt (* (sqrt (/ (/ A V) l)) c0)) (cbrt (* (sqrt (/ (/ A V) l)) c0))) (cbrt (* (sqrt (/ (/ A V) l)) c0)) (pow (* (sqrt (/ (/ A V) l)) c0) 3) (sqrt (* (sqrt (/ (/ A V) l)) c0)) (sqrt (* (sqrt (/ (/ A V) l)) c0)) (* (sqrt (sqrt (/ (/ A V) l))) (sqrt c0)) (* (sqrt (sqrt (/ (/ A V) l))) (sqrt c0)) (* (sqrt (/ (sqrt (/ A V)) (sqrt l))) (sqrt c0)) (* (sqrt (/ (sqrt (/ A V)) (sqrt l))) (sqrt c0)) (* (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) (sqrt c0)) (* (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) (sqrt c0)) (* (sqrt (sqrt (/ (/ A V) l))) (sqrt c0)) (* (sqrt (sqrt (/ (/ A V) l))) (sqrt c0)) (* (sqrt (/ (/ A V) l)) (* (cbrt c0) (cbrt c0))) (* (sqrt (/ (/ A V) l)) (sqrt c0)) (sqrt (/ (/ A V) l)) (* (cbrt (sqrt (/ (/ A V) l))) c0) (* (sqrt (cbrt (/ (/ A V) l))) c0) (* (sqrt (sqrt (/ (/ A V) l))) c0) (* (sqrt (/ (cbrt (/ A V)) (cbrt l))) c0) (* (sqrt (/ (cbrt (/ A V)) (sqrt l))) c0) (* (sqrt (/ (cbrt (/ A V)) l)) c0) (* (sqrt (/ (sqrt (/ A V)) (cbrt l))) c0) (* (sqrt (/ (sqrt (/ A V)) (sqrt l))) c0) (* (sqrt (/ (sqrt (/ A V)) l)) c0) (* (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (* (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) c0) (* (sqrt (/ (/ (cbrt A) (cbrt V)) l)) c0) (* (sqrt (/ (/ (cbrt A) (sqrt V)) (cbrt l))) c0) (* (sqrt (/ (/ (cbrt A) (sqrt V)) (sqrt l))) c0) (* (sqrt (/ (/ (cbrt A) (sqrt V)) l)) c0) (* (sqrt (/ (/ (cbrt A) V) (cbrt l))) c0) (* (sqrt (/ (/ (cbrt A) V) (sqrt l))) c0) (* (sqrt (/ (/ (cbrt A) V) l)) c0) (* (sqrt (/ (/ (sqrt A) (cbrt V)) (cbrt l))) c0) (* (sqrt (/ (/ (sqrt A) (cbrt V)) (sqrt l))) c0) (* (sqrt (/ (/ (sqrt A) (cbrt V)) l)) c0) (* (sqrt (/ (/ (sqrt A) (sqrt V)) (cbrt l))) c0) (* (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))) c0) (* (sqrt (/ (/ (sqrt A) (sqrt V)) l)) c0) (* (sqrt (/ (/ (sqrt A) V) (cbrt l))) c0) (* (sqrt (/ (/ (sqrt A) V) (sqrt l))) c0) (* (sqrt (/ (/ (sqrt A) V) l)) c0) (* (sqrt (/ (/ A (cbrt V)) (cbrt l))) c0) (* (sqrt (/ (/ A (cbrt V)) (sqrt l))) c0) (* (sqrt (/ (/ A (cbrt V)) l)) c0) (* (sqrt (/ (/ A (sqrt V)) (cbrt l))) c0) (* (sqrt (/ (/ A (sqrt V)) (sqrt l))) c0) (* (sqrt (/ (/ A (sqrt V)) l)) c0) (* (sqrt (/ (/ A V) (cbrt l))) c0) (* (sqrt (/ (/ A V) (sqrt l))) c0) (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ (/ A V) (cbrt l))) c0) (* (sqrt (/ (/ A V) (sqrt l))) c0) (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ (/ 1 V) (cbrt l))) c0) (* (sqrt (/ (/ 1 V) (sqrt l))) c0) (* (sqrt (/ (/ 1 V) l)) c0) (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ 1 l)) c0) (* (sqrt (sqrt (/ (/ A V) l))) c0) (* (sqrt (/ (/ A V) l)) c0) (* (sqrt (/ A V)) c0) (* +nan.0 (/ A (* V l))) 0 0 (/ (/ A V) l) (/ (/ A V) l) (/ (/ A V) l) (* +nan.0 (/ (* c0 A) (* V l))) (* +nan.0 (/ c0 (* V l))) (* (- +nan.0) (- (/ c0 (* (pow V 2) (* A (pow l 2)))) (/ c0 (* V l)))) 1.354 * * * [progress]: adding candidates to table 1.971 * * [progress]: iteration 4 / 4 1.971 * * * [progress]: picking best candidate 2.021 * * * * [pick]: Picked # 2.021 * * * [progress]: localizing error 2.040 * * * [progress]: generating rewritten candidates 2.040 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 2.156 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 2.156 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 2.157 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 2.158 * * * [progress]: generating series expansions 2.159 * * * * [progress]: [ 1 / 4 ] generating series at (2) 2.159 * [approximate]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/6) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in (A V l c0) around 0 2.159 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/6) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in c0 2.159 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/6) in c0 2.159 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A (* V l))))) in c0 2.159 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A (* V l)))) in c0 2.159 * [taylor]: Taking taylor expansion of 1/6 in c0 2.159 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in c0 2.159 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 2.159 * [taylor]: Taking taylor expansion of A in c0 2.159 * [taylor]: Taking taylor expansion of (* V l) in c0 2.159 * [taylor]: Taking taylor expansion of V in c0 2.159 * [taylor]: Taking taylor expansion of l in c0 2.159 * [taylor]: Taking taylor expansion of (* c0 (fabs (pow (/ A (* V l)) 1/3))) in c0 2.159 * [taylor]: Taking taylor expansion of c0 in c0 2.159 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in c0 2.160 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/6) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in l 2.160 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/6) in l 2.160 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A (* V l))))) in l 2.160 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A (* V l)))) in l 2.160 * [taylor]: Taking taylor expansion of 1/6 in l 2.160 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in l 2.160 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 2.160 * [taylor]: Taking taylor expansion of A in l 2.160 * [taylor]: Taking taylor expansion of (* V l) in l 2.160 * [taylor]: Taking taylor expansion of V in l 2.160 * [taylor]: Taking taylor expansion of l in l 2.161 * [taylor]: Taking taylor expansion of (* c0 (fabs (pow (/ A (* V l)) 1/3))) in l 2.161 * [taylor]: Taking taylor expansion of c0 in l 2.161 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in l 2.161 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/6) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in V 2.161 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/6) in V 2.161 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A (* V l))))) in V 2.161 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A (* V l)))) in V 2.161 * [taylor]: Taking taylor expansion of 1/6 in V 2.161 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in V 2.161 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 2.161 * [taylor]: Taking taylor expansion of A in V 2.161 * [taylor]: Taking taylor expansion of (* V l) in V 2.161 * [taylor]: Taking taylor expansion of V in V 2.161 * [taylor]: Taking taylor expansion of l in V 2.162 * [taylor]: Taking taylor expansion of (* c0 (fabs (pow (/ A (* V l)) 1/3))) in V 2.162 * [taylor]: Taking taylor expansion of c0 in V 2.162 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in V 2.162 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/6) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in A 2.162 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/6) in A 2.162 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A (* V l))))) in A 2.162 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A (* V l)))) in A 2.162 * [taylor]: Taking taylor expansion of 1/6 in A 2.162 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A 2.162 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 2.163 * [taylor]: Taking taylor expansion of A in A 2.163 * [taylor]: Taking taylor expansion of (* V l) in A 2.163 * [taylor]: Taking taylor expansion of V in A 2.163 * [taylor]: Taking taylor expansion of l in A 2.163 * [taylor]: Taking taylor expansion of (* c0 (fabs (pow (/ A (* V l)) 1/3))) in A 2.163 * [taylor]: Taking taylor expansion of c0 in A 2.163 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in A 2.163 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/6) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in A 2.163 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/6) in A 2.163 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A (* V l))))) in A 2.163 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A (* V l)))) in A 2.163 * [taylor]: Taking taylor expansion of 1/6 in A 2.163 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A 2.163 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 2.163 * [taylor]: Taking taylor expansion of A in A 2.164 * [taylor]: Taking taylor expansion of (* V l) in A 2.164 * [taylor]: Taking taylor expansion of V in A 2.164 * [taylor]: Taking taylor expansion of l in A 2.164 * [taylor]: Taking taylor expansion of (* c0 (fabs (pow (/ A (* V l)) 1/3))) in A 2.164 * [taylor]: Taking taylor expansion of c0 in A 2.164 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in A 2.165 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (+ (log A) (log (/ 1 (* V l)))))) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in V 2.165 * [taylor]: Taking taylor expansion of (exp (* 1/6 (+ (log A) (log (/ 1 (* V l)))))) in V 2.165 * [taylor]: Taking taylor expansion of (* 1/6 (+ (log A) (log (/ 1 (* V l))))) in V 2.165 * [taylor]: Taking taylor expansion of 1/6 in V 2.165 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 (* V l)))) in V 2.165 * [taylor]: Taking taylor expansion of (log A) in V 2.165 * [taylor]: Taking taylor expansion of A in V 2.165 * [taylor]: Taking taylor expansion of (log (/ 1 (* V l))) in V 2.165 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V 2.165 * [taylor]: Taking taylor expansion of (* V l) in V 2.165 * [taylor]: Taking taylor expansion of V in V 2.165 * [taylor]: Taking taylor expansion of l in V 2.166 * [taylor]: Taking taylor expansion of (* c0 (fabs (pow (/ A (* V l)) 1/3))) in V 2.166 * [taylor]: Taking taylor expansion of c0 in V 2.166 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in V 2.166 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (+ (log A) (log (/ 1 l))) (log V)))) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in l 2.166 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (+ (log A) (log (/ 1 l))) (log V)))) in l 2.166 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (log A) (log (/ 1 l))) (log V))) in l 2.166 * [taylor]: Taking taylor expansion of 1/6 in l 2.166 * [taylor]: Taking taylor expansion of (- (+ (log A) (log (/ 1 l))) (log V)) in l 2.166 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 l))) in l 2.167 * [taylor]: Taking taylor expansion of (log A) in l 2.167 * [taylor]: Taking taylor expansion of A in l 2.167 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.167 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.167 * [taylor]: Taking taylor expansion of l in l 2.167 * [taylor]: Taking taylor expansion of (log V) in l 2.167 * [taylor]: Taking taylor expansion of V in l 2.168 * [taylor]: Taking taylor expansion of (* c0 (fabs (pow (/ A (* V l)) 1/3))) in l 2.168 * [taylor]: Taking taylor expansion of c0 in l 2.168 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in l 2.168 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log A) (+ (log l) (log V))))) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) in c0 2.168 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log A) (+ (log l) (log V))))) in c0 2.168 * [taylor]: Taking taylor expansion of (* 1/6 (- (log A) (+ (log l) (log V)))) in c0 2.168 * [taylor]: Taking taylor expansion of 1/6 in c0 2.168 * [taylor]: Taking taylor expansion of (- (log A) (+ (log l) (log V))) in c0 2.168 * [taylor]: Taking taylor expansion of (log A) in c0 2.168 * [taylor]: Taking taylor expansion of A in c0 2.168 * [taylor]: Taking taylor expansion of (+ (log l) (log V)) in c0 2.168 * [taylor]: Taking taylor expansion of (log l) in c0 2.168 * [taylor]: Taking taylor expansion of l in c0 2.169 * [taylor]: Taking taylor expansion of (log V) in c0 2.169 * [taylor]: Taking taylor expansion of V in c0 2.169 * [taylor]: Taking taylor expansion of (* c0 (fabs (pow (/ A (* V l)) 1/3))) in c0 2.169 * [taylor]: Taking taylor expansion of c0 in c0 2.169 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in c0 2.172 * [taylor]: Taking taylor expansion of 0 in V 2.172 * [taylor]: Taking taylor expansion of 0 in l 2.172 * [taylor]: Taking taylor expansion of 0 in c0 2.179 * [taylor]: Taking taylor expansion of 0 in l 2.179 * [taylor]: Taking taylor expansion of 0 in c0 2.183 * [taylor]: Taking taylor expansion of 0 in c0 2.192 * [taylor]: Taking taylor expansion of 0 in V 2.192 * [taylor]: Taking taylor expansion of 0 in l 2.192 * [taylor]: Taking taylor expansion of 0 in c0 2.192 * [taylor]: Taking taylor expansion of 0 in l 2.192 * [taylor]: Taking taylor expansion of 0 in c0 2.197 * [taylor]: Taking taylor expansion of 0 in l 2.197 * [taylor]: Taking taylor expansion of 0 in c0 2.197 * [taylor]: Taking taylor expansion of 0 in c0 2.197 * [taylor]: Taking taylor expansion of 0 in c0 2.204 * [taylor]: Taking taylor expansion of 0 in c0 2.205 * [approximate]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (/ (fabs (pow (/ (* V l) A) 1/3)) c0)) in (A V l c0) around 0 2.205 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (/ (fabs (pow (/ (* V l) A) 1/3)) c0)) in c0 2.205 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in c0 2.205 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in c0 2.205 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in c0 2.205 * [taylor]: Taking taylor expansion of 1/6 in c0 2.205 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in c0 2.205 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 2.205 * [taylor]: Taking taylor expansion of (* V l) in c0 2.205 * [taylor]: Taking taylor expansion of V in c0 2.205 * [taylor]: Taking taylor expansion of l in c0 2.205 * [taylor]: Taking taylor expansion of A in c0 2.206 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ (* V l) A) 1/3)) c0) in c0 2.206 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in c0 2.206 * [taylor]: Taking taylor expansion of c0 in c0 2.206 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (/ (fabs (pow (/ (* V l) A) 1/3)) c0)) in l 2.206 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in l 2.206 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in l 2.206 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in l 2.206 * [taylor]: Taking taylor expansion of 1/6 in l 2.206 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l 2.206 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 2.206 * [taylor]: Taking taylor expansion of (* V l) in l 2.206 * [taylor]: Taking taylor expansion of V in l 2.206 * [taylor]: Taking taylor expansion of l in l 2.206 * [taylor]: Taking taylor expansion of A in l 2.207 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ (* V l) A) 1/3)) c0) in l 2.207 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in l 2.207 * [taylor]: Taking taylor expansion of c0 in l 2.207 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (/ (fabs (pow (/ (* V l) A) 1/3)) c0)) in V 2.207 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in V 2.207 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in V 2.207 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in V 2.207 * [taylor]: Taking taylor expansion of 1/6 in V 2.207 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V 2.207 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 2.207 * [taylor]: Taking taylor expansion of (* V l) in V 2.207 * [taylor]: Taking taylor expansion of V in V 2.207 * [taylor]: Taking taylor expansion of l in V 2.207 * [taylor]: Taking taylor expansion of A in V 2.208 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ (* V l) A) 1/3)) c0) in V 2.208 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in V 2.208 * [taylor]: Taking taylor expansion of c0 in V 2.209 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (/ (fabs (pow (/ (* V l) A) 1/3)) c0)) in A 2.209 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in A 2.209 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in A 2.209 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in A 2.209 * [taylor]: Taking taylor expansion of 1/6 in A 2.209 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A 2.209 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 2.209 * [taylor]: Taking taylor expansion of (* V l) in A 2.209 * [taylor]: Taking taylor expansion of V in A 2.209 * [taylor]: Taking taylor expansion of l in A 2.209 * [taylor]: Taking taylor expansion of A in A 2.209 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ (* V l) A) 1/3)) c0) in A 2.209 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in A 2.209 * [taylor]: Taking taylor expansion of c0 in A 2.210 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (/ (fabs (pow (/ (* V l) A) 1/3)) c0)) in A 2.210 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in A 2.210 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in A 2.210 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in A 2.210 * [taylor]: Taking taylor expansion of 1/6 in A 2.210 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A 2.210 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 2.210 * [taylor]: Taking taylor expansion of (* V l) in A 2.210 * [taylor]: Taking taylor expansion of V in A 2.210 * [taylor]: Taking taylor expansion of l in A 2.210 * [taylor]: Taking taylor expansion of A in A 2.210 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ (* V l) A) 1/3)) c0) in A 2.210 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in A 2.210 * [taylor]: Taking taylor expansion of c0 in A 2.211 * [taylor]: Taking taylor expansion of (/ (* (fabs (pow (/ (* V l) A) 1/3)) (exp (* 1/6 (- (log (* V l)) (log A))))) c0) in V 2.211 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ (* V l) A) 1/3)) (exp (* 1/6 (- (log (* V l)) (log A))))) in V 2.211 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in V 2.211 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log (* V l)) (log A)))) in V 2.211 * [taylor]: Taking taylor expansion of (* 1/6 (- (log (* V l)) (log A))) in V 2.211 * [taylor]: Taking taylor expansion of 1/6 in V 2.211 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V 2.211 * [taylor]: Taking taylor expansion of (log (* V l)) in V 2.211 * [taylor]: Taking taylor expansion of (* V l) in V 2.211 * [taylor]: Taking taylor expansion of V in V 2.211 * [taylor]: Taking taylor expansion of l in V 2.211 * [taylor]: Taking taylor expansion of (log A) in V 2.211 * [taylor]: Taking taylor expansion of A in V 2.212 * [taylor]: Taking taylor expansion of c0 in V 2.212 * [taylor]: Taking taylor expansion of (/ (* (fabs (pow (/ (* V l) A) 1/3)) (exp (* 1/6 (- (+ (log l) (log V)) (log A))))) c0) in l 2.212 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ (* V l) A) 1/3)) (exp (* 1/6 (- (+ (log l) (log V)) (log A))))) in l 2.212 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in l 2.213 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) in l 2.213 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (log l) (log V)) (log A))) in l 2.213 * [taylor]: Taking taylor expansion of 1/6 in l 2.213 * [taylor]: Taking taylor expansion of (- (+ (log l) (log V)) (log A)) in l 2.213 * [taylor]: Taking taylor expansion of (+ (log l) (log V)) in l 2.213 * [taylor]: Taking taylor expansion of (log l) in l 2.213 * [taylor]: Taking taylor expansion of l in l 2.213 * [taylor]: Taking taylor expansion of (log V) in l 2.213 * [taylor]: Taking taylor expansion of V in l 2.213 * [taylor]: Taking taylor expansion of (log A) in l 2.213 * [taylor]: Taking taylor expansion of A in l 2.214 * [taylor]: Taking taylor expansion of c0 in l 2.214 * [taylor]: Taking taylor expansion of (/ (* (fabs (pow (/ (* V l) A) 1/3)) (exp (* 1/6 (- (+ (log l) (log V)) (log A))))) c0) in c0 2.214 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ (* V l) A) 1/3)) (exp (* 1/6 (- (+ (log l) (log V)) (log A))))) in c0 2.214 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in c0 2.214 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) in c0 2.214 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (log l) (log V)) (log A))) in c0 2.214 * [taylor]: Taking taylor expansion of 1/6 in c0 2.214 * [taylor]: Taking taylor expansion of (- (+ (log l) (log V)) (log A)) in c0 2.214 * [taylor]: Taking taylor expansion of (+ (log l) (log V)) in c0 2.214 * [taylor]: Taking taylor expansion of (log l) in c0 2.214 * [taylor]: Taking taylor expansion of l in c0 2.214 * [taylor]: Taking taylor expansion of (log V) in c0 2.214 * [taylor]: Taking taylor expansion of V in c0 2.214 * [taylor]: Taking taylor expansion of (log A) in c0 2.214 * [taylor]: Taking taylor expansion of A in c0 2.215 * [taylor]: Taking taylor expansion of c0 in c0 2.218 * [taylor]: Taking taylor expansion of 0 in V 2.218 * [taylor]: Taking taylor expansion of 0 in l 2.218 * [taylor]: Taking taylor expansion of 0 in c0 2.221 * [taylor]: Taking taylor expansion of 0 in l 2.222 * [taylor]: Taking taylor expansion of 0 in c0 2.225 * [taylor]: Taking taylor expansion of 0 in c0 2.234 * [taylor]: Taking taylor expansion of 0 in V 2.234 * [taylor]: Taking taylor expansion of 0 in l 2.234 * [taylor]: Taking taylor expansion of 0 in c0 2.234 * [taylor]: Taking taylor expansion of 0 in l 2.234 * [taylor]: Taking taylor expansion of 0 in c0 2.240 * [taylor]: Taking taylor expansion of 0 in l 2.240 * [taylor]: Taking taylor expansion of 0 in c0 2.240 * [taylor]: Taking taylor expansion of 0 in c0 2.240 * [taylor]: Taking taylor expansion of 0 in c0 2.246 * [taylor]: Taking taylor expansion of 0 in c0 2.259 * [taylor]: Taking taylor expansion of 0 in V 2.260 * [taylor]: Taking taylor expansion of 0 in l 2.260 * [taylor]: Taking taylor expansion of 0 in c0 2.260 * [taylor]: Taking taylor expansion of 0 in l 2.260 * [taylor]: Taking taylor expansion of 0 in c0 2.260 * [taylor]: Taking taylor expansion of 0 in l 2.260 * [taylor]: Taking taylor expansion of 0 in c0 2.273 * [taylor]: Taking taylor expansion of 0 in l 2.273 * [taylor]: Taking taylor expansion of 0 in c0 2.273 * [taylor]: Taking taylor expansion of 0 in c0 2.273 * [taylor]: Taking taylor expansion of 0 in c0 2.273 * [taylor]: Taking taylor expansion of 0 in c0 2.273 * [taylor]: Taking taylor expansion of 0 in c0 2.273 * [taylor]: Taking taylor expansion of 0 in c0 2.282 * [taylor]: Taking taylor expansion of 0 in c0 2.284 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)))) in (A V l c0) around 0 2.284 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)))) in c0 2.284 * [taylor]: Taking taylor expansion of -1 in c0 2.284 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0))) in c0 2.284 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in c0 2.284 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in c0 2.284 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in c0 2.284 * [taylor]: Taking taylor expansion of 1/6 in c0 2.284 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in c0 2.284 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 2.284 * [taylor]: Taking taylor expansion of (* V l) in c0 2.284 * [taylor]: Taking taylor expansion of V in c0 2.284 * [taylor]: Taking taylor expansion of l in c0 2.284 * [taylor]: Taking taylor expansion of A in c0 2.285 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)) in c0 2.285 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (cbrt -1))) in c0 2.285 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in c0 2.285 * [taylor]: Taking taylor expansion of (cbrt -1) in c0 2.285 * [taylor]: Taking taylor expansion of -1 in c0 2.288 * [taylor]: Taking taylor expansion of (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0) in c0 2.288 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) in c0 2.289 * [taylor]: Taking taylor expansion of c0 in c0 2.290 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)))) in l 2.290 * [taylor]: Taking taylor expansion of -1 in l 2.290 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0))) in l 2.290 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in l 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in l 2.290 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in l 2.290 * [taylor]: Taking taylor expansion of 1/6 in l 2.290 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l 2.290 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 2.290 * [taylor]: Taking taylor expansion of (* V l) in l 2.290 * [taylor]: Taking taylor expansion of V in l 2.290 * [taylor]: Taking taylor expansion of l in l 2.290 * [taylor]: Taking taylor expansion of A in l 2.291 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)) in l 2.291 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (cbrt -1))) in l 2.291 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in l 2.291 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.291 * [taylor]: Taking taylor expansion of -1 in l 2.294 * [taylor]: Taking taylor expansion of (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0) in l 2.294 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) in l 2.295 * [taylor]: Taking taylor expansion of c0 in l 2.296 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)))) in V 2.296 * [taylor]: Taking taylor expansion of -1 in V 2.296 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0))) in V 2.296 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in V 2.296 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in V 2.296 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in V 2.296 * [taylor]: Taking taylor expansion of 1/6 in V 2.296 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V 2.296 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 2.296 * [taylor]: Taking taylor expansion of (* V l) in V 2.296 * [taylor]: Taking taylor expansion of V in V 2.296 * [taylor]: Taking taylor expansion of l in V 2.296 * [taylor]: Taking taylor expansion of A in V 2.297 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)) in V 2.297 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (cbrt -1))) in V 2.297 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in V 2.297 * [taylor]: Taking taylor expansion of (cbrt -1) in V 2.297 * [taylor]: Taking taylor expansion of -1 in V 2.301 * [taylor]: Taking taylor expansion of (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0) in V 2.301 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) in V 2.301 * [taylor]: Taking taylor expansion of c0 in V 2.302 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)))) in A 2.302 * [taylor]: Taking taylor expansion of -1 in A 2.302 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0))) in A 2.302 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in A 2.302 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in A 2.302 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in A 2.302 * [taylor]: Taking taylor expansion of 1/6 in A 2.302 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A 2.302 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 2.302 * [taylor]: Taking taylor expansion of (* V l) in A 2.302 * [taylor]: Taking taylor expansion of V in A 2.302 * [taylor]: Taking taylor expansion of l in A 2.302 * [taylor]: Taking taylor expansion of A in A 2.303 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)) in A 2.303 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (cbrt -1))) in A 2.303 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in A 2.303 * [taylor]: Taking taylor expansion of (cbrt -1) in A 2.303 * [taylor]: Taking taylor expansion of -1 in A 2.306 * [taylor]: Taking taylor expansion of (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0) in A 2.306 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) in A 2.307 * [taylor]: Taking taylor expansion of c0 in A 2.308 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)))) in A 2.308 * [taylor]: Taking taylor expansion of -1 in A 2.308 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/6) (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0))) in A 2.308 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/6) in A 2.308 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ (* V l) A)))) in A 2.308 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ (* V l) A))) in A 2.308 * [taylor]: Taking taylor expansion of 1/6 in A 2.308 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A 2.308 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 2.308 * [taylor]: Taking taylor expansion of (* V l) in A 2.308 * [taylor]: Taking taylor expansion of V in A 2.308 * [taylor]: Taking taylor expansion of l in A 2.308 * [taylor]: Taking taylor expansion of A in A 2.309 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (cbrt -1))) (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0)) in A 2.309 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (cbrt -1))) in A 2.309 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in A 2.309 * [taylor]: Taking taylor expansion of (cbrt -1) in A 2.309 * [taylor]: Taking taylor expansion of -1 in A 2.312 * [taylor]: Taking taylor expansion of (/ (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) c0) in A 2.312 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) in A 2.313 * [taylor]: Taking taylor expansion of c0 in A 2.320 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (cbrt -1))) (/ (* (exp (* 1/6 (- (log (* V l)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0))) in V 2.320 * [taylor]: Taking taylor expansion of -1 in V 2.320 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (cbrt -1))) (/ (* (exp (* 1/6 (- (log (* V l)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0)) in V 2.320 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (cbrt -1))) in V 2.320 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in V 2.320 * [taylor]: Taking taylor expansion of (cbrt -1) in V 2.320 * [taylor]: Taking taylor expansion of -1 in V 2.323 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/6 (- (log (* V l)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0) in V 2.323 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log (* V l)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) in V 2.323 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log (* V l)) (log A)))) in V 2.324 * [taylor]: Taking taylor expansion of (* 1/6 (- (log (* V l)) (log A))) in V 2.324 * [taylor]: Taking taylor expansion of 1/6 in V 2.324 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V 2.324 * [taylor]: Taking taylor expansion of (log (* V l)) in V 2.324 * [taylor]: Taking taylor expansion of (* V l) in V 2.324 * [taylor]: Taking taylor expansion of V in V 2.324 * [taylor]: Taking taylor expansion of l in V 2.324 * [taylor]: Taking taylor expansion of (log A) in V 2.324 * [taylor]: Taking taylor expansion of A in V 2.325 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) in V 2.325 * [taylor]: Taking taylor expansion of c0 in V 2.331 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (cbrt -1))) (/ (* (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0))) in l 2.331 * [taylor]: Taking taylor expansion of -1 in l 2.332 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (cbrt -1))) (/ (* (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0)) in l 2.332 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (cbrt -1))) in l 2.332 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in l 2.332 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.332 * [taylor]: Taking taylor expansion of -1 in l 2.336 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0) in l 2.336 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) in l 2.336 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) in l 2.336 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (log l) (log V)) (log A))) in l 2.336 * [taylor]: Taking taylor expansion of 1/6 in l 2.336 * [taylor]: Taking taylor expansion of (- (+ (log l) (log V)) (log A)) in l 2.336 * [taylor]: Taking taylor expansion of (+ (log l) (log V)) in l 2.336 * [taylor]: Taking taylor expansion of (log l) in l 2.336 * [taylor]: Taking taylor expansion of l in l 2.336 * [taylor]: Taking taylor expansion of (log V) in l 2.336 * [taylor]: Taking taylor expansion of V in l 2.336 * [taylor]: Taking taylor expansion of (log A) in l 2.336 * [taylor]: Taking taylor expansion of A in l 2.337 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) in l 2.338 * [taylor]: Taking taylor expansion of c0 in l 2.344 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (cbrt -1))) (/ (* (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0))) in c0 2.344 * [taylor]: Taking taylor expansion of -1 in c0 2.344 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (cbrt -1))) (/ (* (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0)) in c0 2.344 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (cbrt -1))) in c0 2.344 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in c0 2.344 * [taylor]: Taking taylor expansion of (cbrt -1) in c0 2.344 * [taylor]: Taking taylor expansion of -1 in c0 2.347 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) c0) in c0 2.347 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1))))) in c0 2.347 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (+ (log l) (log V)) (log A)))) in c0 2.347 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (log l) (log V)) (log A))) in c0 2.347 * [taylor]: Taking taylor expansion of 1/6 in c0 2.347 * [taylor]: Taking taylor expansion of (- (+ (log l) (log V)) (log A)) in c0 2.347 * [taylor]: Taking taylor expansion of (+ (log l) (log V)) in c0 2.347 * [taylor]: Taking taylor expansion of (log l) in c0 2.347 * [taylor]: Taking taylor expansion of l in c0 2.347 * [taylor]: Taking taylor expansion of (log V) in c0 2.347 * [taylor]: Taking taylor expansion of V in c0 2.347 * [taylor]: Taking taylor expansion of (log A) in c0 2.347 * [taylor]: Taking taylor expansion of A in c0 2.348 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (/ 1 (cbrt -1)))) in c0 2.349 * [taylor]: Taking taylor expansion of c0 in c0 2.370 * [taylor]: Taking taylor expansion of 0 in V 2.371 * [taylor]: Taking taylor expansion of 0 in l 2.371 * [taylor]: Taking taylor expansion of 0 in c0 2.379 * [taylor]: Taking taylor expansion of 0 in l 2.379 * [taylor]: Taking taylor expansion of 0 in c0 2.388 * [taylor]: Taking taylor expansion of 0 in c0 2.410 * [taylor]: Taking taylor expansion of 0 in V 2.410 * [taylor]: Taking taylor expansion of 0 in l 2.410 * [taylor]: Taking taylor expansion of 0 in c0 2.411 * [taylor]: Taking taylor expansion of 0 in l 2.411 * [taylor]: Taking taylor expansion of 0 in c0 2.424 * [taylor]: Taking taylor expansion of 0 in l 2.424 * [taylor]: Taking taylor expansion of 0 in c0 2.424 * [taylor]: Taking taylor expansion of 0 in c0 2.424 * [taylor]: Taking taylor expansion of 0 in c0 2.438 * [taylor]: Taking taylor expansion of 0 in c0 2.474 * [taylor]: Taking taylor expansion of 0 in V 2.474 * [taylor]: Taking taylor expansion of 0 in l 2.474 * [taylor]: Taking taylor expansion of 0 in c0 2.474 * [taylor]: Taking taylor expansion of 0 in l 2.474 * [taylor]: Taking taylor expansion of 0 in c0 2.474 * [taylor]: Taking taylor expansion of 0 in l 2.474 * [taylor]: Taking taylor expansion of 0 in c0 2.491 * [taylor]: Taking taylor expansion of 0 in l 2.491 * [taylor]: Taking taylor expansion of 0 in c0 2.491 * [taylor]: Taking taylor expansion of 0 in c0 2.491 * [taylor]: Taking taylor expansion of 0 in c0 2.491 * [taylor]: Taking taylor expansion of 0 in c0 2.491 * [taylor]: Taking taylor expansion of 0 in c0 2.491 * [taylor]: Taking taylor expansion of 0 in c0 2.509 * [taylor]: Taking taylor expansion of 0 in c0 2.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 2.511 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0 2.512 * [taylor]: Taking taylor expansion of (pow l 1/3) in l 2.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l 2.512 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l 2.512 * [taylor]: Taking taylor expansion of 1/3 in l 2.512 * [taylor]: Taking taylor expansion of (log l) in l 2.512 * [taylor]: Taking taylor expansion of l in l 2.512 * [taylor]: Taking taylor expansion of (pow l 1/3) in l 2.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l 2.512 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l 2.512 * [taylor]: Taking taylor expansion of 1/3 in l 2.512 * [taylor]: Taking taylor expansion of (log l) in l 2.512 * [taylor]: Taking taylor expansion of l in l 2.568 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0 2.568 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l 2.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l 2.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l 2.568 * [taylor]: Taking taylor expansion of 1/3 in l 2.568 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.568 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.568 * [taylor]: Taking taylor expansion of l in l 2.569 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l 2.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l 2.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l 2.569 * [taylor]: Taking taylor expansion of 1/3 in l 2.569 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.569 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.569 * [taylor]: Taking taylor expansion of l in l 2.630 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0 2.631 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l 2.631 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.631 * [taylor]: Taking taylor expansion of -1 in l 2.631 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l 2.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l 2.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l 2.631 * [taylor]: Taking taylor expansion of 1/3 in l 2.631 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.631 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.632 * [taylor]: Taking taylor expansion of l in l 2.632 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l 2.632 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.632 * [taylor]: Taking taylor expansion of -1 in l 2.633 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l 2.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l 2.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l 2.633 * [taylor]: Taking taylor expansion of 1/3 in l 2.633 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.633 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.633 * [taylor]: Taking taylor expansion of l in l 2.704 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 2.704 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0 2.704 * [taylor]: Taking taylor expansion of (pow l 1/3) in l 2.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l 2.704 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l 2.704 * [taylor]: Taking taylor expansion of 1/3 in l 2.704 * [taylor]: Taking taylor expansion of (log l) in l 2.704 * [taylor]: Taking taylor expansion of l in l 2.705 * [taylor]: Taking taylor expansion of (pow l 1/3) in l 2.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l 2.705 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l 2.705 * [taylor]: Taking taylor expansion of 1/3 in l 2.705 * [taylor]: Taking taylor expansion of (log l) in l 2.705 * [taylor]: Taking taylor expansion of l in l 2.754 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0 2.754 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l 2.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l 2.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l 2.754 * [taylor]: Taking taylor expansion of 1/3 in l 2.754 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.754 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.754 * [taylor]: Taking taylor expansion of l in l 2.755 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l 2.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l 2.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l 2.755 * [taylor]: Taking taylor expansion of 1/3 in l 2.755 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.755 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.755 * [taylor]: Taking taylor expansion of l in l 2.814 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0 2.814 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l 2.814 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.814 * [taylor]: Taking taylor expansion of -1 in l 2.815 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l 2.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l 2.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l 2.815 * [taylor]: Taking taylor expansion of 1/3 in l 2.815 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.815 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.815 * [taylor]: Taking taylor expansion of l in l 2.816 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l 2.816 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.816 * [taylor]: Taking taylor expansion of -1 in l 2.817 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l 2.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l 2.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l 2.817 * [taylor]: Taking taylor expansion of 1/3 in l 2.817 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l 2.817 * [taylor]: Taking taylor expansion of (/ 1 l) in l 2.817 * [taylor]: Taking taylor expansion of l in l 2.885 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 2.885 * [approximate]: Taking taylor expansion of (pow A 1/3) in (A) around 0 2.885 * [taylor]: Taking taylor expansion of (pow A 1/3) in A 2.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A 2.885 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A 2.885 * [taylor]: Taking taylor expansion of 1/3 in A 2.885 * [taylor]: Taking taylor expansion of (log A) in A 2.885 * [taylor]: Taking taylor expansion of A in A 2.886 * [taylor]: Taking taylor expansion of (pow A 1/3) in A 2.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A 2.886 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A 2.886 * [taylor]: Taking taylor expansion of 1/3 in A 2.886 * [taylor]: Taking taylor expansion of (log A) in A 2.886 * [taylor]: Taking taylor expansion of A in A 2.941 * [approximate]: Taking taylor expansion of (pow (/ 1 A) 1/3) in (A) around 0 2.941 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A 2.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A 2.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A 2.941 * [taylor]: Taking taylor expansion of 1/3 in A 2.941 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A 2.941 * [taylor]: Taking taylor expansion of (/ 1 A) in A 2.941 * [taylor]: Taking taylor expansion of A in A 2.942 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A 2.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A 2.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A 2.942 * [taylor]: Taking taylor expansion of 1/3 in A 2.942 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A 2.942 * [taylor]: Taking taylor expansion of (/ 1 A) in A 2.942 * [taylor]: Taking taylor expansion of A in A 2.995 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in (A) around 0 2.995 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A 2.995 * [taylor]: Taking taylor expansion of (cbrt -1) in A 2.995 * [taylor]: Taking taylor expansion of -1 in A 2.996 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A 2.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A 2.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A 2.996 * [taylor]: Taking taylor expansion of 1/3 in A 2.996 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A 2.996 * [taylor]: Taking taylor expansion of (/ 1 A) in A 2.996 * [taylor]: Taking taylor expansion of A in A 2.997 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A 2.997 * [taylor]: Taking taylor expansion of (cbrt -1) in A 2.997 * [taylor]: Taking taylor expansion of -1 in A 2.998 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A 2.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A 2.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A 2.998 * [taylor]: Taking taylor expansion of 1/3 in A 2.998 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A 2.998 * [taylor]: Taking taylor expansion of (/ 1 A) in A 2.998 * [taylor]: Taking taylor expansion of A in A 3.070 * * * [progress]: simplifying candidates 3.071 * [simplify]: Simplifying using # : (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0) (+ (+ (log (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (log (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))) (log c0)) (+ (log (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))) (log c0)) (log (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (exp (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (* (* (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (* (* (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))) (* (* c0 c0) c0)) (* (* (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))) (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))) (* (* c0 c0) c0)) (* (cbrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (cbrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0))) (cbrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (* (* (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (sqrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (sqrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (* (cbrt c0) (cbrt c0))) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (sqrt c0)) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) 1) (* (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (cbrt A) (cbrt V)))) c0) (log (cbrt l)) (exp (cbrt l)) (cbrt (* (cbrt l) (cbrt l))) (cbrt (cbrt l)) (cbrt (sqrt l)) (cbrt (sqrt l)) (cbrt 1) (cbrt l) (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)) (* (* (cbrt l) (cbrt l)) (cbrt l)) (sqrt (cbrt l)) (sqrt (cbrt l)) (log (cbrt l)) (exp (cbrt l)) (cbrt (* (cbrt l) (cbrt l))) (cbrt (cbrt l)) (cbrt (sqrt l)) (cbrt (sqrt l)) (cbrt 1) (cbrt l) (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)) (* (* (cbrt l) (cbrt l)) (cbrt l)) (sqrt (cbrt l)) (sqrt (cbrt l)) (log (cbrt A)) (exp (cbrt A)) (cbrt (* (cbrt A) (cbrt A))) (cbrt (cbrt A)) (cbrt (sqrt A)) (cbrt (sqrt A)) (cbrt 1) (cbrt A) (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (cbrt A)) (* (* (cbrt A) (cbrt A)) (cbrt A)) (sqrt (cbrt A)) (sqrt (cbrt A)) (* (exp (* 1/6 (- (log A) (+ (log l) (log V))))) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) (* c0 (* (exp (* 1/6 (- (+ (log (/ 1 V)) (log (/ 1 l))) (log (/ 1 A))))) (fabs (pow (/ A (* V l)) 1/3)))) (* (sqrt (/ 1 (cbrt -1))) (* (exp (* 1/6 (- (+ (log (/ -1 l)) (log (/ -1 V))) (log (/ -1 A))))) (* c0 (fabs (* (pow (/ (* -1 A) (* V l)) 1/3) (/ 1 (cbrt -1))))))) (pow l 1/3) (pow (/ 1 l) -1/3) (* (pow (* -1 l) 1/3) (cbrt -1)) (pow l 1/3) (pow (/ 1 l) -1/3) (* (pow (* -1 l) 1/3) (cbrt -1)) (pow A 1/3) (pow (/ 1 A) -1/3) (* (pow (* -1 A) 1/3) (cbrt -1)) 3.076 * * [simplify]: iteration 0 : 284 enodes (cost 506 ) 3.082 * * [simplify]: iteration 1 : 968 enodes (cost 431 ) 3.101 * * [simplify]: iteration 2 : 4054 enodes (cost 425 ) 3.168 * * [simplify]: iteration 3 : 5001 enodes (cost 422 ) 3.170 * [simplify]: Simplified to: (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0) (log (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (log (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (log (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (exp (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (pow (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0) 3) (pow (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0) 3) (* (cbrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (cbrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0))) (cbrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (pow (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0) 3) (sqrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (sqrt (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) c0)) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (* (cbrt c0) (cbrt c0))) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (sqrt c0)) (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))) (* (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (cbrt A) (cbrt V)))) c0) (log (cbrt l)) (exp (cbrt l)) (cbrt (* (cbrt l) (cbrt l))) (cbrt (cbrt l)) (cbrt (sqrt l)) (cbrt (sqrt l)) 1 (pow l 1/3) (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)) l (sqrt (cbrt l)) (sqrt (cbrt l)) (log (cbrt l)) (exp (cbrt l)) (cbrt (* (cbrt l) (cbrt l))) (cbrt (cbrt l)) (cbrt (sqrt l)) (cbrt (sqrt l)) 1 (pow l 1/3) (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)) l (sqrt (cbrt l)) (sqrt (cbrt l)) (log (cbrt A)) (exp (cbrt A)) (cbrt (* (cbrt A) (cbrt A))) (cbrt (cbrt A)) (cbrt (sqrt A)) (cbrt (sqrt A)) 1 (pow A 1/3) (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (cbrt A)) A (sqrt (cbrt A)) (sqrt (cbrt A)) (* (exp (* 1/6 (- (log A) (+ (log l) (log V))))) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) (* (exp (* 1/6 (- (log A) (+ (log l) (log V))))) (* c0 (fabs (pow (/ A (* V l)) 1/3)))) (* (sqrt (/ 1 (cbrt -1))) (* (exp (* 1/6 (- (+ (log (/ -1 l)) (log (/ -1 V))) (log (/ -1 A))))) (* c0 (fabs (* (pow (/ (* -1 A) (* V l)) 1/3) (/ 1 (cbrt -1))))))) (pow l 1/3) (pow (/ 1 l) -1/3) (* (pow (* -1 l) 1/3) (cbrt -1)) (pow l 1/3) (pow (/ 1 l) -1/3) (* (pow (* -1 l) 1/3) (cbrt -1)) (pow A 1/3) (pow (/ 1 A) -1/3) (* (pow (* -1 A) 1/3) (cbrt -1)) 3.170 * * * [progress]: adding candidates to table 3.420 * [progress]: [Phase 3 of 3] Extracting. 3.420 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # #) 3.427 * * * [regime-changes]: Trying 7 branch expressions: ((* V l) (/ A (* V l)) (sqrt (/ A (* V l))) l V A c0) 3.427 * * * * [regimes]: Trying to branch on (* V l) from (# # # # # # # # # # # # # # # # # # # # #) 3.512 * * * * [regimes]: Trying to branch on (* V l) from (# # #) 3.534 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (# # # # # # # # # # # # # # # # # # # # #) 3.616 * * * * [regimes]: Trying to branch on (sqrt (/ A (* V l))) from (# # # # # # # # # # # # # # # # # # # # #) 3.701 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # # # # # # # # # # # #) 3.789 * * * * [regimes]: Trying to branch on V from (# # # # # # # # # # # # # # # # # # # # #) 3.875 * * * * [regimes]: Trying to branch on A from (# # # # # # # # # # # # # # # # # # # # #) 3.957 * * * * [regimes]: Trying to branch on c0 from (# # # # # # # # # # # # # # # # # # # # #) 4.041 * * * [regime]: Found split indices: #