15.843 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying using # : (* c0 (sqrt (/ A (* V l)))) 0.035 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 0.036 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 0.037 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 0.042 * * [simplify]: iteration done : 14 enodes (cost 8 ) 0.042 * [simplify]: Simplified to: (* c0 (sqrt (/ A (* V l)))) 0.042 * * [progress]: iteration 1 / 4 0.042 * * * [progress]: picking best candidate 0.044 * * * * [pick]: Picked # 0.044 * * * [progress]: localizing error 0.051 * * * [progress]: generating rewritten candidates 0.051 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.054 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.057 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.069 * * * [progress]: generating series expansions 0.069 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.069 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0 0.069 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 0.069 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.069 * [taylor]: Taking taylor expansion of A in l 0.069 * [taylor]: Taking taylor expansion of (* V l) in l 0.069 * [taylor]: Taking taylor expansion of V in l 0.069 * [taylor]: Taking taylor expansion of l in l 0.070 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 0.070 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.070 * [taylor]: Taking taylor expansion of A 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.071 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.071 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.071 * [taylor]: Taking taylor expansion of A in A 0.071 * [taylor]: Taking taylor expansion of (* V l) in A 0.071 * [taylor]: Taking taylor expansion of V in A 0.071 * [taylor]: Taking taylor expansion of l in A 0.072 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.072 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.072 * [taylor]: Taking taylor expansion of A in A 0.072 * [taylor]: Taking taylor expansion of (* V l) in A 0.072 * [taylor]: Taking taylor expansion of V in A 0.072 * [taylor]: Taking taylor expansion of l in A 0.073 * [taylor]: Taking taylor expansion of 0 in V 0.073 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V 0.073 * [taylor]: Taking taylor expansion of +nan.0 in V 0.073 * [taylor]: Taking taylor expansion of (* V l) in V 0.073 * [taylor]: Taking taylor expansion of V in V 0.073 * [taylor]: Taking taylor expansion of l in V 0.073 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l 0.073 * [taylor]: Taking taylor expansion of +nan.0 in l 0.073 * [taylor]: Taking taylor expansion of l in l 0.074 * [taylor]: Taking taylor expansion of 0 in l 0.074 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V 0.075 * [taylor]: Taking taylor expansion of +nan.0 in V 0.075 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.075 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.075 * [taylor]: Taking taylor expansion of V in V 0.075 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.075 * [taylor]: Taking taylor expansion of l in V 0.076 * [taylor]: Taking taylor expansion of 0 in l 0.077 * [taylor]: Taking taylor expansion of 0 in l 0.077 * [taylor]: Taking taylor expansion of 0 in l 0.078 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V 0.078 * [taylor]: Taking taylor expansion of +nan.0 in V 0.078 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 0.078 * [taylor]: Taking taylor expansion of (pow V 3) in V 0.078 * [taylor]: Taking taylor expansion of V in V 0.078 * [taylor]: Taking taylor expansion of (pow l 3) in V 0.078 * [taylor]: Taking taylor expansion of l in V 0.083 * [taylor]: Taking taylor expansion of 0 in l 0.085 * [taylor]: Taking taylor expansion of 0 in l 0.086 * [taylor]: Taking taylor expansion of 0 in l 0.086 * [taylor]: Taking taylor expansion of 0 in l 0.087 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0 0.087 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 0.087 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.087 * [taylor]: Taking taylor expansion of (* V l) in l 0.087 * [taylor]: Taking taylor expansion of V in l 0.087 * [taylor]: Taking taylor expansion of l in l 0.087 * [taylor]: Taking taylor expansion of A in l 0.088 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 0.088 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.088 * [taylor]: Taking taylor expansion of (* V l) in V 0.088 * [taylor]: Taking taylor expansion of V in V 0.088 * [taylor]: Taking taylor expansion of l in V 0.088 * [taylor]: Taking taylor expansion of A in V 0.089 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.089 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.089 * [taylor]: Taking taylor expansion of (* V l) in A 0.089 * [taylor]: Taking taylor expansion of V in A 0.089 * [taylor]: Taking taylor expansion of l in A 0.089 * [taylor]: Taking taylor expansion of A in A 0.089 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.089 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.090 * [taylor]: Taking taylor expansion of (* V l) in A 0.090 * [taylor]: Taking taylor expansion of V in A 0.090 * [taylor]: Taking taylor expansion of l in A 0.090 * [taylor]: Taking taylor expansion of A in A 0.090 * [taylor]: Taking taylor expansion of 0 in V 0.090 * [taylor]: Taking taylor expansion of 0 in l 0.090 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.090 * [taylor]: Taking taylor expansion of +nan.0 in V 0.090 * [taylor]: Taking taylor expansion of (* V l) in V 0.090 * [taylor]: Taking taylor expansion of V in V 0.090 * [taylor]: Taking taylor expansion of l in V 0.091 * [taylor]: Taking taylor expansion of 0 in l 0.091 * [taylor]: Taking taylor expansion of 0 in l 0.092 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.092 * [taylor]: Taking taylor expansion of +nan.0 in V 0.092 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.092 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.092 * [taylor]: Taking taylor expansion of V in V 0.092 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.092 * [taylor]: Taking taylor expansion of l in V 0.093 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.093 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.093 * [taylor]: Taking taylor expansion of +nan.0 in l 0.093 * [taylor]: Taking taylor expansion of l in l 0.093 * [taylor]: Taking taylor expansion of 0 in l 0.093 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0 0.093 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 0.093 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.093 * [taylor]: Taking taylor expansion of -1 in l 0.093 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.093 * [taylor]: Taking taylor expansion of (* V l) in l 0.093 * [taylor]: Taking taylor expansion of V in l 0.094 * [taylor]: Taking taylor expansion of l in l 0.094 * [taylor]: Taking taylor expansion of A in l 0.094 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 0.094 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.095 * [taylor]: Taking taylor expansion of -1 in V 0.095 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.095 * [taylor]: Taking taylor expansion of (* V l) in V 0.095 * [taylor]: Taking taylor expansion of V in V 0.095 * [taylor]: Taking taylor expansion of l in V 0.095 * [taylor]: Taking taylor expansion of A in V 0.096 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.096 * [taylor]: Taking taylor expansion of -1 in A 0.096 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.096 * [taylor]: Taking taylor expansion of (* V l) in A 0.096 * [taylor]: Taking taylor expansion of V in A 0.096 * [taylor]: Taking taylor expansion of l in A 0.096 * [taylor]: Taking taylor expansion of A in A 0.096 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.096 * [taylor]: Taking taylor expansion of -1 in A 0.096 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.096 * [taylor]: Taking taylor expansion of (* V l) in A 0.096 * [taylor]: Taking taylor expansion of V in A 0.096 * [taylor]: Taking taylor expansion of l in A 0.096 * [taylor]: Taking taylor expansion of A in A 0.097 * [taylor]: Taking taylor expansion of 0 in V 0.097 * [taylor]: Taking taylor expansion of 0 in l 0.097 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.097 * [taylor]: Taking taylor expansion of +nan.0 in V 0.097 * [taylor]: Taking taylor expansion of (* V l) in V 0.097 * [taylor]: Taking taylor expansion of V in V 0.097 * [taylor]: Taking taylor expansion of l in V 0.098 * [taylor]: Taking taylor expansion of 0 in l 0.098 * [taylor]: Taking taylor expansion of 0 in l 0.099 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.099 * [taylor]: Taking taylor expansion of +nan.0 in V 0.099 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.099 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.099 * [taylor]: Taking taylor expansion of V in V 0.099 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.099 * [taylor]: Taking taylor expansion of l in V 0.100 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.100 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.100 * [taylor]: Taking taylor expansion of +nan.0 in l 0.100 * [taylor]: Taking taylor expansion of l in l 0.100 * [taylor]: Taking taylor expansion of 0 in l 0.100 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.100 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0 0.100 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.101 * [taylor]: Taking taylor expansion of A in l 0.101 * [taylor]: Taking taylor expansion of (* V l) in l 0.101 * [taylor]: Taking taylor expansion of V in l 0.101 * [taylor]: Taking taylor expansion of l in l 0.101 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.101 * [taylor]: Taking taylor expansion of A in V 0.101 * [taylor]: Taking taylor expansion of (* V l) in V 0.101 * [taylor]: Taking taylor expansion of V in V 0.101 * [taylor]: Taking taylor expansion of l in V 0.101 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.101 * [taylor]: Taking taylor expansion of A in A 0.101 * [taylor]: Taking taylor expansion of (* V l) in A 0.101 * [taylor]: Taking taylor expansion of V in A 0.101 * [taylor]: Taking taylor expansion of l in A 0.101 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.101 * [taylor]: Taking taylor expansion of A in A 0.101 * [taylor]: Taking taylor expansion of (* V l) in A 0.101 * [taylor]: Taking taylor expansion of V in A 0.101 * [taylor]: Taking taylor expansion of l in A 0.102 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) 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.102 * [taylor]: Taking taylor expansion of (/ 1 l) in l 0.102 * [taylor]: Taking taylor expansion of l in l 0.102 * [taylor]: Taking taylor expansion of 0 in V 0.103 * [taylor]: Taking taylor expansion of 0 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 l 0.106 * [taylor]: Taking taylor expansion of 0 in V 0.106 * [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 l 0.107 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0 0.107 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.107 * [taylor]: Taking taylor expansion of (* V l) in l 0.107 * [taylor]: Taking taylor expansion of V in l 0.107 * [taylor]: Taking taylor expansion of l in l 0.107 * [taylor]: Taking taylor expansion of A in l 0.108 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.108 * [taylor]: Taking taylor expansion of (* V l) in V 0.108 * [taylor]: Taking taylor expansion of V in V 0.108 * [taylor]: Taking taylor expansion of l in V 0.108 * [taylor]: Taking taylor expansion of A in V 0.108 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.108 * [taylor]: Taking taylor expansion of (* V l) in A 0.108 * [taylor]: Taking taylor expansion of V in A 0.108 * [taylor]: Taking taylor expansion of l in A 0.108 * [taylor]: Taking taylor expansion of A in A 0.108 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.108 * [taylor]: Taking taylor expansion of (* V l) in A 0.108 * [taylor]: Taking taylor expansion of V in A 0.108 * [taylor]: Taking taylor expansion of l in A 0.108 * [taylor]: Taking taylor expansion of A in A 0.108 * [taylor]: Taking taylor expansion of (* V l) in V 0.108 * [taylor]: Taking taylor expansion of V in V 0.108 * [taylor]: Taking taylor expansion of l in V 0.109 * [taylor]: Taking taylor expansion of l in l 0.109 * [taylor]: Taking taylor expansion of 0 in V 0.109 * [taylor]: Taking taylor expansion of 0 in l 0.110 * [taylor]: Taking taylor expansion of 0 in l 0.111 * [taylor]: Taking taylor expansion of 0 in V 0.111 * [taylor]: Taking taylor expansion of 0 in l 0.111 * [taylor]: Taking taylor expansion of 0 in l 0.112 * [taylor]: Taking taylor expansion of 0 in l 0.112 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0 0.112 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.112 * [taylor]: Taking taylor expansion of -1 in l 0.112 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.112 * [taylor]: Taking taylor expansion of (* V l) in l 0.112 * [taylor]: Taking taylor expansion of V in l 0.112 * [taylor]: Taking taylor expansion of l in l 0.112 * [taylor]: Taking taylor expansion of A in l 0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.113 * [taylor]: Taking taylor expansion of -1 in V 0.113 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.113 * [taylor]: Taking taylor expansion of (* V l) in V 0.113 * [taylor]: Taking taylor expansion of V in V 0.113 * [taylor]: Taking taylor expansion of l in V 0.113 * [taylor]: Taking taylor expansion of A in V 0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.113 * [taylor]: Taking taylor expansion of -1 in A 0.113 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.113 * [taylor]: Taking taylor expansion of (* V l) in A 0.113 * [taylor]: Taking taylor expansion of V in A 0.113 * [taylor]: Taking taylor expansion of l in A 0.113 * [taylor]: Taking taylor expansion of A in A 0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.113 * [taylor]: Taking taylor expansion of -1 in A 0.113 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.113 * [taylor]: Taking taylor expansion of (* V l) in A 0.113 * [taylor]: Taking taylor expansion of V in A 0.113 * [taylor]: Taking taylor expansion of l in A 0.113 * [taylor]: Taking taylor expansion of A in A 0.114 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V 0.114 * [taylor]: Taking taylor expansion of -1 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 (- l) in l 0.114 * [taylor]: Taking taylor expansion of l in l 0.115 * [taylor]: Taking taylor expansion of 0 in V 0.115 * [taylor]: Taking taylor expansion of 0 in l 0.116 * [taylor]: Taking taylor expansion of 0 in l 0.118 * [taylor]: Taking taylor expansion of 0 in V 0.118 * [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 l 0.120 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.120 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0 0.120 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l 0.120 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 0.120 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 0.120 * [taylor]: Taking taylor expansion of A in l 0.120 * [taylor]: Taking taylor expansion of (* V l) in l 0.120 * [taylor]: Taking taylor expansion of V in l 0.120 * [taylor]: Taking taylor expansion of l in l 0.121 * [taylor]: Taking taylor expansion of c0 in l 0.121 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V 0.121 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 0.121 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 0.121 * [taylor]: Taking taylor expansion of A in V 0.121 * [taylor]: Taking taylor expansion of (* V l) in V 0.121 * [taylor]: Taking taylor expansion of V in V 0.121 * [taylor]: Taking taylor expansion of l in V 0.122 * [taylor]: Taking taylor expansion of c0 in V 0.122 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A 0.122 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 0.122 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 0.122 * [taylor]: Taking taylor expansion of A in A 0.122 * [taylor]: Taking taylor expansion of (* V l) in A 0.122 * [taylor]: Taking taylor expansion of V in A 0.122 * [taylor]: Taking taylor expansion of l in A 0.123 * [taylor]: Taking taylor expansion of c0 in A 0.123 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0 0.123 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0 0.123 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 0.123 * [taylor]: Taking taylor expansion of A in c0 0.123 * [taylor]: Taking taylor expansion of (* V l) in c0 0.123 * [taylor]: Taking taylor expansion of V in c0 0.123 * [taylor]: Taking taylor expansion of l in c0 0.123 * [taylor]: Taking taylor expansion of c0 in c0 0.123 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0 0.123 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0 0.124 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 0.124 * [taylor]: Taking taylor expansion of A in c0 0.124 * [taylor]: Taking taylor expansion of (* V l) in c0 0.124 * [taylor]: Taking taylor expansion of V in c0 0.124 * [taylor]: Taking taylor expansion of l in c0 0.124 * [taylor]: Taking taylor expansion of c0 in c0 0.124 * [taylor]: Taking taylor expansion of 0 in A 0.124 * [taylor]: Taking taylor expansion of 0 in V 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.125 * [taylor]: Taking taylor expansion of V in A 0.125 * [taylor]: Taking taylor expansion of l in A 0.125 * [taylor]: Taking taylor expansion of 0 in V 0.125 * [taylor]: Taking taylor expansion of 0 in V 0.125 * [taylor]: Taking taylor expansion of 0 in l 0.127 * [taylor]: Taking taylor expansion of 0 in A 0.127 * [taylor]: Taking taylor expansion of 0 in V 0.127 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V 0.127 * [taylor]: Taking taylor expansion of +nan.0 in V 0.127 * [taylor]: Taking taylor expansion of (* V l) in V 0.127 * [taylor]: Taking taylor expansion of V in V 0.127 * [taylor]: Taking taylor expansion of l in V 0.131 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l 0.131 * [taylor]: Taking taylor expansion of +nan.0 in l 0.131 * [taylor]: Taking taylor expansion of l in l 0.132 * [taylor]: Taking taylor expansion of 0 in V 0.132 * [taylor]: Taking taylor expansion of 0 in l 0.132 * [taylor]: Taking taylor expansion of 0 in l 0.132 * [taylor]: Taking taylor expansion of 0 in l 0.134 * [taylor]: Taking taylor expansion of 0 in A 0.134 * [taylor]: Taking taylor expansion of 0 in V 0.134 * [taylor]: Taking taylor expansion of 0 in V 0.135 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V 0.135 * [taylor]: Taking taylor expansion of +nan.0 in V 0.135 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.135 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.135 * [taylor]: Taking taylor expansion of V in V 0.135 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.135 * [taylor]: Taking taylor expansion of l in V 0.136 * [taylor]: Taking taylor expansion of 0 in l 0.137 * [taylor]: Taking taylor expansion of 0 in V 0.137 * [taylor]: Taking taylor expansion of 0 in l 0.137 * [taylor]: Taking taylor expansion of 0 in l 0.137 * [taylor]: Taking taylor expansion of 0 in l 0.137 * [taylor]: Taking taylor expansion of 0 in l 0.137 * [taylor]: Taking taylor expansion of 0 in l 0.137 * [taylor]: Taking taylor expansion of 0 in l 0.138 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0 0.138 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l 0.138 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 0.138 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.138 * [taylor]: Taking taylor expansion of (* V l) in l 0.138 * [taylor]: Taking taylor expansion of V in l 0.138 * [taylor]: Taking taylor expansion of l in l 0.138 * [taylor]: Taking taylor expansion of A in l 0.139 * [taylor]: Taking taylor expansion of (/ 1 c0) in l 0.139 * [taylor]: Taking taylor expansion of c0 in l 0.139 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V 0.139 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 0.139 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.139 * [taylor]: Taking taylor expansion of (* V l) in V 0.139 * [taylor]: Taking taylor expansion of V in V 0.139 * [taylor]: Taking taylor expansion of l in V 0.139 * [taylor]: Taking taylor expansion of A in V 0.140 * [taylor]: Taking taylor expansion of (/ 1 c0) in V 0.140 * [taylor]: Taking taylor expansion of c0 in V 0.140 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A 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.141 * [taylor]: Taking taylor expansion of A in A 0.141 * [taylor]: Taking taylor expansion of (/ 1 c0) in A 0.141 * [taylor]: Taking taylor expansion of c0 in A 0.141 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0 0.141 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0 0.141 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.141 * [taylor]: Taking taylor expansion of (* V l) in c0 0.141 * [taylor]: Taking taylor expansion of V in c0 0.141 * [taylor]: Taking taylor expansion of l in c0 0.141 * [taylor]: Taking taylor expansion of A in c0 0.142 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 0.142 * [taylor]: Taking taylor expansion of c0 in c0 0.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0 0.142 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0 0.142 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.142 * [taylor]: Taking taylor expansion of (* V l) in c0 0.142 * [taylor]: Taking taylor expansion of V in c0 0.142 * [taylor]: Taking taylor expansion of l in c0 0.142 * [taylor]: Taking taylor expansion of A in c0 0.142 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 0.142 * [taylor]: Taking taylor expansion of c0 in c0 0.143 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 0.143 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.143 * [taylor]: Taking taylor expansion of (* V l) in A 0.143 * [taylor]: Taking taylor expansion of V in A 0.143 * [taylor]: Taking taylor expansion of l in A 0.143 * [taylor]: Taking taylor expansion of A in A 0.143 * [taylor]: Taking taylor expansion of 0 in V 0.144 * [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 (* +nan.0 (* V l)) in V 0.144 * [taylor]: Taking taylor expansion of +nan.0 in V 0.144 * [taylor]: Taking taylor expansion of (* V l) in V 0.144 * [taylor]: Taking taylor expansion of V in V 0.144 * [taylor]: Taking taylor expansion of l in V 0.145 * [taylor]: Taking taylor expansion of 0 in l 0.145 * [taylor]: Taking taylor expansion of 0 in l 0.147 * [taylor]: Taking taylor expansion of 0 in A 0.147 * [taylor]: Taking taylor expansion of 0 in V 0.147 * [taylor]: Taking taylor expansion of 0 in l 0.148 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.148 * [taylor]: Taking taylor expansion of +nan.0 in V 0.148 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.148 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.148 * [taylor]: Taking taylor expansion of V in V 0.148 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.148 * [taylor]: Taking taylor expansion of l in V 0.149 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.149 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.149 * [taylor]: Taking taylor expansion of +nan.0 in l 0.149 * [taylor]: Taking taylor expansion of l in l 0.149 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0 0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l 0.149 * [taylor]: Taking taylor expansion of -1 in l 0.150 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l 0.150 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 0.150 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 0.150 * [taylor]: Taking taylor expansion of -1 in l 0.150 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 0.150 * [taylor]: Taking taylor expansion of (* V l) in l 0.150 * [taylor]: Taking taylor expansion of V in l 0.150 * [taylor]: Taking taylor expansion of l in l 0.150 * [taylor]: Taking taylor expansion of A in l 0.151 * [taylor]: Taking taylor expansion of c0 in l 0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V 0.151 * [taylor]: Taking taylor expansion of -1 in V 0.151 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V 0.151 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 0.151 * [taylor]: Taking taylor expansion of -1 in V 0.151 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 0.151 * [taylor]: Taking taylor expansion of (* V l) in V 0.151 * [taylor]: Taking taylor expansion of V in V 0.151 * [taylor]: Taking taylor expansion of l in V 0.151 * [taylor]: Taking taylor expansion of A in V 0.152 * [taylor]: Taking taylor expansion of c0 in V 0.152 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A 0.152 * [taylor]: Taking taylor expansion of -1 in A 0.152 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) 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.152 * [taylor]: Taking taylor expansion of A in A 0.153 * [taylor]: Taking taylor expansion of c0 in A 0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0 0.153 * [taylor]: Taking taylor expansion of -1 in c0 0.153 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0 0.153 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0 0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0 0.153 * [taylor]: Taking taylor expansion of -1 in c0 0.153 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.153 * [taylor]: Taking taylor expansion of (* V l) in c0 0.153 * [taylor]: Taking taylor expansion of V in c0 0.153 * [taylor]: Taking taylor expansion of l in c0 0.153 * [taylor]: Taking taylor expansion of A in c0 0.154 * [taylor]: Taking taylor expansion of c0 in c0 0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0 0.154 * [taylor]: Taking taylor expansion of -1 in c0 0.154 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0 0.154 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0 0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0 0.154 * [taylor]: Taking taylor expansion of -1 in c0 0.154 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 0.154 * [taylor]: Taking taylor expansion of (* V l) in c0 0.154 * [taylor]: Taking taylor expansion of V in c0 0.154 * [taylor]: Taking taylor expansion of l in c0 0.154 * [taylor]: Taking taylor expansion of A in c0 0.155 * [taylor]: Taking taylor expansion of c0 in c0 0.155 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A 0.155 * [taylor]: Taking taylor expansion of -1 in A 0.155 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 0.155 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 0.155 * [taylor]: Taking taylor expansion of -1 in A 0.155 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 0.155 * [taylor]: Taking taylor expansion of (* V l) in A 0.155 * [taylor]: Taking taylor expansion of V in A 0.155 * [taylor]: Taking taylor expansion of l in A 0.155 * [taylor]: Taking taylor expansion of A in A 0.156 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* V l))) in V 0.156 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 0.156 * [taylor]: Taking taylor expansion of +nan.0 in V 0.156 * [taylor]: Taking taylor expansion of (* V l) in V 0.156 * [taylor]: Taking taylor expansion of V in V 0.156 * [taylor]: Taking taylor expansion of l in V 0.157 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 0.157 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 0.157 * [taylor]: Taking taylor expansion of +nan.0 in l 0.157 * [taylor]: Taking taylor expansion of l in l 0.159 * [taylor]: Taking taylor expansion of 0 in A 0.159 * [taylor]: Taking taylor expansion of 0 in V 0.159 * [taylor]: Taking taylor expansion of 0 in l 0.162 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 2) (pow l 2)))) in V 0.162 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 0.162 * [taylor]: Taking taylor expansion of +nan.0 in V 0.162 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 0.162 * [taylor]: Taking taylor expansion of (pow V 2) in V 0.162 * [taylor]: Taking taylor expansion of V in V 0.162 * [taylor]: Taking taylor expansion of (pow l 2) in V 0.162 * [taylor]: Taking taylor expansion of l in V 0.163 * [taylor]: Taking taylor expansion of 0 in l 0.167 * [taylor]: Taking taylor expansion of 0 in A 0.167 * [taylor]: Taking taylor expansion of 0 in V 0.167 * [taylor]: Taking taylor expansion of 0 in l 0.167 * [taylor]: Taking taylor expansion of 0 in V 0.167 * [taylor]: Taking taylor expansion of 0 in l 0.170 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 3) (pow l 3)))) in V 0.170 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V 0.170 * [taylor]: Taking taylor expansion of +nan.0 in V 0.170 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 0.170 * [taylor]: Taking taylor expansion of (pow V 3) in V 0.170 * [taylor]: Taking taylor expansion of V in V 0.170 * [taylor]: Taking taylor expansion of (pow l 3) in V 0.170 * [taylor]: Taking taylor expansion of l in V 0.170 * [taylor]: Taking taylor expansion of 0 in l 0.170 * * * [progress]: simplifying candidates 0.171 * [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.174 * * [simplify]: iteration 0 : 103 enodes (cost 661 ) 0.189 * * [simplify]: iteration 1 : 210 enodes (cost 611 ) 0.231 * * [simplify]: iteration 2 : 690 enodes (cost 561 ) 0.558 * * [simplify]: iteration 3 : 2304 enodes (cost 561 ) 1.329 * * [simplify]: iteration done : 5000 enodes (cost 561 ) 1.329 * [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)))))) (* c0 (fabs (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 (* 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))) 1.329 * * * [progress]: adding candidates to table 1.488 * * [progress]: iteration 2 / 4 1.488 * * * [progress]: picking best candidate 1.516 * * * * [pick]: Picked # 1.516 * * * [progress]: localizing error 1.523 * * * [progress]: generating rewritten candidates 1.523 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.534 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 1.539 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.574 * * * [progress]: generating series expansions 1.574 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.574 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0 1.574 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 1.574 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 1.574 * [taylor]: Taking taylor expansion of A in l 1.574 * [taylor]: Taking taylor expansion of (* V l) in l 1.574 * [taylor]: Taking taylor expansion of V in l 1.574 * [taylor]: Taking taylor expansion of l in l 1.576 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 1.576 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 1.576 * [taylor]: Taking taylor expansion of A in V 1.576 * [taylor]: Taking taylor expansion of (* V l) in V 1.576 * [taylor]: Taking taylor expansion of V in V 1.576 * [taylor]: Taking taylor expansion of l in V 1.577 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 1.577 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.577 * [taylor]: Taking taylor expansion of A in A 1.577 * [taylor]: Taking taylor expansion of (* V l) in A 1.577 * [taylor]: Taking taylor expansion of V in A 1.577 * [taylor]: Taking taylor expansion of l in A 1.577 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 1.577 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.577 * [taylor]: Taking taylor expansion of A in A 1.577 * [taylor]: Taking taylor expansion of (* V l) in A 1.577 * [taylor]: Taking taylor expansion of V in A 1.577 * [taylor]: Taking taylor expansion of l in A 1.578 * [taylor]: Taking taylor expansion of 0 in V 1.578 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V 1.578 * [taylor]: Taking taylor expansion of +nan.0 in V 1.578 * [taylor]: Taking taylor expansion of (* V l) in V 1.578 * [taylor]: Taking taylor expansion of V in V 1.578 * [taylor]: Taking taylor expansion of l in V 1.579 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l 1.579 * [taylor]: Taking taylor expansion of +nan.0 in l 1.579 * [taylor]: Taking taylor expansion of l in l 1.579 * [taylor]: Taking taylor expansion of 0 in l 1.580 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V 1.580 * [taylor]: Taking taylor expansion of +nan.0 in V 1.580 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.580 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.580 * [taylor]: Taking taylor expansion of V in V 1.580 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.580 * [taylor]: Taking taylor expansion of l in V 1.581 * [taylor]: Taking taylor expansion of 0 in l 1.582 * [taylor]: Taking taylor expansion of 0 in l 1.582 * [taylor]: Taking taylor expansion of 0 in l 1.583 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V 1.583 * [taylor]: Taking taylor expansion of +nan.0 in V 1.583 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 1.583 * [taylor]: Taking taylor expansion of (pow V 3) in V 1.583 * [taylor]: Taking taylor expansion of V in V 1.583 * [taylor]: Taking taylor expansion of (pow l 3) in V 1.583 * [taylor]: Taking taylor expansion of l in V 1.588 * [taylor]: Taking taylor expansion of 0 in l 1.589 * [taylor]: Taking taylor expansion of 0 in l 1.590 * [taylor]: Taking taylor expansion of 0 in l 1.590 * [taylor]: Taking taylor expansion of 0 in l 1.591 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0 1.591 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 1.591 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.591 * [taylor]: Taking taylor expansion of (* V l) in l 1.591 * [taylor]: Taking taylor expansion of V in l 1.591 * [taylor]: Taking taylor expansion of l in l 1.591 * [taylor]: Taking taylor expansion of A in l 1.592 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 1.592 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.592 * [taylor]: Taking taylor expansion of (* V l) in V 1.592 * [taylor]: Taking taylor expansion of V in V 1.592 * [taylor]: Taking taylor expansion of l in V 1.592 * [taylor]: Taking taylor expansion of A in V 1.593 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 1.593 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.593 * [taylor]: Taking taylor expansion of (* V l) in A 1.593 * [taylor]: Taking taylor expansion of V in A 1.593 * [taylor]: Taking taylor expansion of l in A 1.593 * [taylor]: Taking taylor expansion of A in A 1.594 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 1.594 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.594 * [taylor]: Taking taylor expansion of (* V l) in A 1.594 * [taylor]: Taking taylor expansion of V in A 1.594 * [taylor]: Taking taylor expansion of l in A 1.594 * [taylor]: Taking taylor expansion of A in A 1.595 * [taylor]: Taking taylor expansion of 0 in V 1.595 * [taylor]: Taking taylor expansion of 0 in l 1.595 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 1.595 * [taylor]: Taking taylor expansion of +nan.0 in V 1.595 * [taylor]: Taking taylor expansion of (* V l) in V 1.595 * [taylor]: Taking taylor expansion of V in V 1.595 * [taylor]: Taking taylor expansion of l in V 1.595 * [taylor]: Taking taylor expansion of 0 in l 1.595 * [taylor]: Taking taylor expansion of 0 in l 1.596 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 1.596 * [taylor]: Taking taylor expansion of +nan.0 in V 1.596 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.596 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.596 * [taylor]: Taking taylor expansion of V in V 1.596 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.596 * [taylor]: Taking taylor expansion of l in V 1.597 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 1.597 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 1.597 * [taylor]: Taking taylor expansion of +nan.0 in l 1.597 * [taylor]: Taking taylor expansion of l in l 1.598 * [taylor]: Taking taylor expansion of 0 in l 1.598 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0 1.598 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 1.598 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 1.598 * [taylor]: Taking taylor expansion of -1 in l 1.598 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.598 * [taylor]: Taking taylor expansion of (* V l) in l 1.598 * [taylor]: Taking taylor expansion of V in l 1.598 * [taylor]: Taking taylor expansion of l in l 1.598 * [taylor]: Taking taylor expansion of A in l 1.599 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 1.599 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 1.599 * [taylor]: Taking taylor expansion of -1 in V 1.599 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.599 * [taylor]: Taking taylor expansion of (* V l) in V 1.599 * [taylor]: Taking taylor expansion of V in V 1.599 * [taylor]: Taking taylor expansion of l in V 1.599 * [taylor]: Taking taylor expansion of A in V 1.600 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 1.600 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.600 * [taylor]: Taking taylor expansion of -1 in A 1.600 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.600 * [taylor]: Taking taylor expansion of (* V l) in A 1.600 * [taylor]: Taking taylor expansion of V in A 1.600 * [taylor]: Taking taylor expansion of l in A 1.600 * [taylor]: Taking taylor expansion of A in A 1.601 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 1.601 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.601 * [taylor]: Taking taylor expansion of -1 in A 1.601 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.601 * [taylor]: Taking taylor expansion of (* V l) in A 1.601 * [taylor]: Taking taylor expansion of V in A 1.601 * [taylor]: Taking taylor expansion of l in A 1.601 * [taylor]: Taking taylor expansion of A in A 1.606 * [taylor]: Taking taylor expansion of 0 in V 1.606 * [taylor]: Taking taylor expansion of 0 in l 1.606 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 1.606 * [taylor]: Taking taylor expansion of +nan.0 in V 1.606 * [taylor]: Taking taylor expansion of (* V l) in V 1.606 * [taylor]: Taking taylor expansion of V in V 1.606 * [taylor]: Taking taylor expansion of l in V 1.607 * [taylor]: Taking taylor expansion of 0 in l 1.607 * [taylor]: Taking taylor expansion of 0 in l 1.608 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 1.609 * [taylor]: Taking taylor expansion of +nan.0 in V 1.609 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.609 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.609 * [taylor]: Taking taylor expansion of V in V 1.609 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.609 * [taylor]: Taking taylor expansion of l in V 1.609 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 1.609 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 1.609 * [taylor]: Taking taylor expansion of +nan.0 in l 1.609 * [taylor]: Taking taylor expansion of l in l 1.610 * [taylor]: Taking taylor expansion of 0 in l 1.610 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 1.610 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0 1.610 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 1.610 * [taylor]: Taking taylor expansion of A in l 1.610 * [taylor]: Taking taylor expansion of (* V l) in l 1.610 * [taylor]: Taking taylor expansion of V in l 1.610 * [taylor]: Taking taylor expansion of l in l 1.610 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 1.610 * [taylor]: Taking taylor expansion of A in V 1.610 * [taylor]: Taking taylor expansion of (* V l) in V 1.610 * [taylor]: Taking taylor expansion of V in V 1.610 * [taylor]: Taking taylor expansion of l in V 1.611 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.611 * [taylor]: Taking taylor expansion of A in A 1.611 * [taylor]: Taking taylor expansion of (* V l) in A 1.611 * [taylor]: Taking taylor expansion of V in A 1.611 * [taylor]: Taking taylor expansion of l in A 1.611 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.611 * [taylor]: Taking taylor expansion of A in A 1.611 * [taylor]: Taking taylor expansion of (* V l) in A 1.611 * [taylor]: Taking taylor expansion of V in A 1.611 * [taylor]: Taking taylor expansion of l in A 1.611 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V 1.611 * [taylor]: Taking taylor expansion of (* V l) in V 1.611 * [taylor]: Taking taylor expansion of V in V 1.611 * [taylor]: Taking taylor expansion of l in V 1.611 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.611 * [taylor]: Taking taylor expansion of l in l 1.612 * [taylor]: Taking taylor expansion of 0 in V 1.612 * [taylor]: Taking taylor expansion of 0 in l 1.613 * [taylor]: Taking taylor expansion of 0 in V 1.613 * [taylor]: Taking taylor expansion of 0 in l 1.614 * [taylor]: Taking taylor expansion of 0 in l 1.616 * [taylor]: Taking taylor expansion of 0 in V 1.616 * [taylor]: Taking taylor expansion of 0 in l 1.616 * [taylor]: Taking taylor expansion of 0 in l 1.617 * [taylor]: Taking taylor expansion of 0 in l 1.617 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0 1.617 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.617 * [taylor]: Taking taylor expansion of (* V l) in l 1.617 * [taylor]: Taking taylor expansion of V in l 1.617 * [taylor]: Taking taylor expansion of l in l 1.617 * [taylor]: Taking taylor expansion of A in l 1.617 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.617 * [taylor]: Taking taylor expansion of (* V l) in V 1.617 * [taylor]: Taking taylor expansion of V in V 1.617 * [taylor]: Taking taylor expansion of l in V 1.617 * [taylor]: Taking taylor expansion of A in V 1.618 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.618 * [taylor]: Taking taylor expansion of (* V l) in A 1.618 * [taylor]: Taking taylor expansion of V in A 1.618 * [taylor]: Taking taylor expansion of l in A 1.618 * [taylor]: Taking taylor expansion of A in A 1.618 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.618 * [taylor]: Taking taylor expansion of (* V l) in A 1.618 * [taylor]: Taking taylor expansion of V in A 1.618 * [taylor]: Taking taylor expansion of l in A 1.618 * [taylor]: Taking taylor expansion of A in A 1.618 * [taylor]: Taking taylor expansion of (* V l) in V 1.618 * [taylor]: Taking taylor expansion of V in V 1.618 * [taylor]: Taking taylor expansion of l in V 1.618 * [taylor]: Taking taylor expansion of l in l 1.619 * [taylor]: Taking taylor expansion of 0 in V 1.619 * [taylor]: Taking taylor expansion of 0 in l 1.619 * [taylor]: Taking taylor expansion of 0 in l 1.621 * [taylor]: Taking taylor expansion of 0 in V 1.621 * [taylor]: Taking taylor expansion of 0 in l 1.621 * [taylor]: Taking taylor expansion of 0 in l 1.621 * [taylor]: Taking taylor expansion of 0 in l 1.622 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0 1.622 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 1.622 * [taylor]: Taking taylor expansion of -1 in l 1.622 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.622 * [taylor]: Taking taylor expansion of (* V l) in l 1.622 * [taylor]: Taking taylor expansion of V in l 1.622 * [taylor]: Taking taylor expansion of l in l 1.622 * [taylor]: Taking taylor expansion of A in l 1.622 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 1.622 * [taylor]: Taking taylor expansion of -1 in V 1.622 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.622 * [taylor]: Taking taylor expansion of (* V l) in V 1.622 * [taylor]: Taking taylor expansion of V in V 1.622 * [taylor]: Taking taylor expansion of l in V 1.622 * [taylor]: Taking taylor expansion of A in V 1.623 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.623 * [taylor]: Taking taylor expansion of -1 in A 1.623 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.623 * [taylor]: Taking taylor expansion of (* V l) in A 1.623 * [taylor]: Taking taylor expansion of V in A 1.623 * [taylor]: Taking taylor expansion of l in A 1.623 * [taylor]: Taking taylor expansion of A in A 1.623 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.623 * [taylor]: Taking taylor expansion of -1 in A 1.623 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.623 * [taylor]: Taking taylor expansion of (* V l) in A 1.623 * [taylor]: Taking taylor expansion of V in A 1.623 * [taylor]: Taking taylor expansion of l in A 1.623 * [taylor]: Taking taylor expansion of A in A 1.623 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V 1.623 * [taylor]: Taking taylor expansion of -1 in V 1.623 * [taylor]: Taking taylor expansion of (* V l) in V 1.623 * [taylor]: Taking taylor expansion of V in V 1.623 * [taylor]: Taking taylor expansion of l in V 1.624 * [taylor]: Taking taylor expansion of (- l) in l 1.624 * [taylor]: Taking taylor expansion of l in l 1.625 * [taylor]: Taking taylor expansion of 0 in V 1.625 * [taylor]: Taking taylor expansion of 0 in l 1.626 * [taylor]: Taking taylor expansion of 0 in l 1.628 * [taylor]: Taking taylor expansion of 0 in V 1.628 * [taylor]: Taking taylor expansion of 0 in l 1.628 * [taylor]: Taking taylor expansion of 0 in l 1.629 * [taylor]: Taking taylor expansion of 0 in l 1.629 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.629 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0 1.629 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l 1.629 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l 1.629 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l 1.629 * [taylor]: Taking taylor expansion of A in l 1.629 * [taylor]: Taking taylor expansion of (* V l) in l 1.630 * [taylor]: Taking taylor expansion of V in l 1.630 * [taylor]: Taking taylor expansion of l in l 1.630 * [taylor]: Taking taylor expansion of c0 in l 1.630 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V 1.630 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V 1.630 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V 1.631 * [taylor]: Taking taylor expansion of A in V 1.631 * [taylor]: Taking taylor expansion of (* V l) in V 1.631 * [taylor]: Taking taylor expansion of V in V 1.631 * [taylor]: Taking taylor expansion of l in V 1.631 * [taylor]: Taking taylor expansion of c0 in V 1.631 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A 1.631 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 1.632 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.632 * [taylor]: Taking taylor expansion of A in A 1.632 * [taylor]: Taking taylor expansion of (* V l) in A 1.632 * [taylor]: Taking taylor expansion of V in A 1.632 * [taylor]: Taking taylor expansion of l in A 1.632 * [taylor]: Taking taylor expansion of c0 in A 1.632 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0 1.632 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0 1.632 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 1.632 * [taylor]: Taking taylor expansion of A in c0 1.632 * [taylor]: Taking taylor expansion of (* V l) in c0 1.632 * [taylor]: Taking taylor expansion of V in c0 1.632 * [taylor]: Taking taylor expansion of l in c0 1.633 * [taylor]: Taking taylor expansion of c0 in c0 1.633 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0 1.633 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0 1.633 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0 1.633 * [taylor]: Taking taylor expansion of A in c0 1.633 * [taylor]: Taking taylor expansion of (* V l) in c0 1.633 * [taylor]: Taking taylor expansion of V in c0 1.633 * [taylor]: Taking taylor expansion of l in c0 1.633 * [taylor]: Taking taylor expansion of c0 in c0 1.633 * [taylor]: Taking taylor expansion of 0 in A 1.633 * [taylor]: Taking taylor expansion of 0 in V 1.634 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A 1.634 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A 1.634 * [taylor]: Taking taylor expansion of A in A 1.634 * [taylor]: Taking taylor expansion of (* V l) in A 1.634 * [taylor]: Taking taylor expansion of V in A 1.634 * [taylor]: Taking taylor expansion of l in A 1.634 * [taylor]: Taking taylor expansion of 0 in V 1.634 * [taylor]: Taking taylor expansion of 0 in V 1.634 * [taylor]: Taking taylor expansion of 0 in l 1.636 * [taylor]: Taking taylor expansion of 0 in A 1.636 * [taylor]: Taking taylor expansion of 0 in V 1.636 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V 1.636 * [taylor]: Taking taylor expansion of +nan.0 in V 1.636 * [taylor]: Taking taylor expansion of (* V l) in V 1.636 * [taylor]: Taking taylor expansion of V in V 1.636 * [taylor]: Taking taylor expansion of l in V 1.636 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l 1.636 * [taylor]: Taking taylor expansion of +nan.0 in l 1.636 * [taylor]: Taking taylor expansion of l in l 1.636 * [taylor]: Taking taylor expansion of 0 in V 1.637 * [taylor]: Taking taylor expansion of 0 in l 1.637 * [taylor]: Taking taylor expansion of 0 in l 1.637 * [taylor]: Taking taylor expansion of 0 in l 1.638 * [taylor]: Taking taylor expansion of 0 in A 1.638 * [taylor]: Taking taylor expansion of 0 in V 1.638 * [taylor]: Taking taylor expansion of 0 in V 1.639 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V 1.639 * [taylor]: Taking taylor expansion of +nan.0 in V 1.639 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.639 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.639 * [taylor]: Taking taylor expansion of V in V 1.639 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.639 * [taylor]: Taking taylor expansion of l in V 1.641 * [taylor]: Taking taylor expansion of 0 in l 1.641 * [taylor]: Taking taylor expansion of 0 in V 1.641 * [taylor]: Taking taylor expansion of 0 in l 1.641 * [taylor]: Taking taylor expansion of 0 in l 1.641 * [taylor]: Taking taylor expansion of 0 in l 1.641 * [taylor]: Taking taylor expansion of 0 in l 1.641 * [taylor]: Taking taylor expansion of 0 in l 1.642 * [taylor]: Taking taylor expansion of 0 in l 1.642 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0 1.642 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l 1.642 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l 1.642 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.642 * [taylor]: Taking taylor expansion of (* V l) in l 1.642 * [taylor]: Taking taylor expansion of V in l 1.642 * [taylor]: Taking taylor expansion of l in l 1.642 * [taylor]: Taking taylor expansion of A in l 1.643 * [taylor]: Taking taylor expansion of (/ 1 c0) in l 1.643 * [taylor]: Taking taylor expansion of c0 in l 1.643 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V 1.643 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V 1.643 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.643 * [taylor]: Taking taylor expansion of (* V l) in V 1.643 * [taylor]: Taking taylor expansion of V in V 1.643 * [taylor]: Taking taylor expansion of l in V 1.643 * [taylor]: Taking taylor expansion of A in V 1.644 * [taylor]: Taking taylor expansion of (/ 1 c0) in V 1.644 * [taylor]: Taking taylor expansion of c0 in V 1.644 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A 1.644 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 1.644 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.644 * [taylor]: Taking taylor expansion of (* V l) in A 1.644 * [taylor]: Taking taylor expansion of V in A 1.644 * [taylor]: Taking taylor expansion of l in A 1.644 * [taylor]: Taking taylor expansion of A in A 1.645 * [taylor]: Taking taylor expansion of (/ 1 c0) in A 1.645 * [taylor]: Taking taylor expansion of c0 in A 1.645 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0 1.645 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0 1.645 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 1.645 * [taylor]: Taking taylor expansion of (* V l) in c0 1.645 * [taylor]: Taking taylor expansion of V in c0 1.645 * [taylor]: Taking taylor expansion of l in c0 1.645 * [taylor]: Taking taylor expansion of A in c0 1.646 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 1.646 * [taylor]: Taking taylor expansion of c0 in c0 1.646 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0 1.646 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0 1.646 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 1.646 * [taylor]: Taking taylor expansion of (* V l) in c0 1.646 * [taylor]: Taking taylor expansion of V in c0 1.646 * [taylor]: Taking taylor expansion of l in c0 1.646 * [taylor]: Taking taylor expansion of A in c0 1.646 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0 1.646 * [taylor]: Taking taylor expansion of c0 in c0 1.647 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A 1.647 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.647 * [taylor]: Taking taylor expansion of (* V l) in A 1.647 * [taylor]: Taking taylor expansion of V in A 1.647 * [taylor]: Taking taylor expansion of l in A 1.647 * [taylor]: Taking taylor expansion of A in A 1.647 * [taylor]: Taking taylor expansion of 0 in V 1.647 * [taylor]: Taking taylor expansion of 0 in l 1.648 * [taylor]: Taking taylor expansion of 0 in A 1.648 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 1.648 * [taylor]: Taking taylor expansion of +nan.0 in V 1.648 * [taylor]: Taking taylor expansion of (* V l) in V 1.648 * [taylor]: Taking taylor expansion of V in V 1.648 * [taylor]: Taking taylor expansion of l in V 1.649 * [taylor]: Taking taylor expansion of 0 in l 1.649 * [taylor]: Taking taylor expansion of 0 in l 1.651 * [taylor]: Taking taylor expansion of 0 in A 1.651 * [taylor]: Taking taylor expansion of 0 in V 1.651 * [taylor]: Taking taylor expansion of 0 in l 1.652 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 1.652 * [taylor]: Taking taylor expansion of +nan.0 in V 1.652 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.652 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.652 * [taylor]: Taking taylor expansion of V in V 1.652 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.652 * [taylor]: Taking taylor expansion of l in V 1.653 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 1.653 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 1.653 * [taylor]: Taking taylor expansion of +nan.0 in l 1.653 * [taylor]: Taking taylor expansion of l in l 1.653 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0 1.654 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l 1.654 * [taylor]: Taking taylor expansion of -1 in l 1.654 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l 1.654 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l 1.654 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l 1.654 * [taylor]: Taking taylor expansion of -1 in l 1.654 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l 1.654 * [taylor]: Taking taylor expansion of (* V l) in l 1.654 * [taylor]: Taking taylor expansion of V in l 1.654 * [taylor]: Taking taylor expansion of l in l 1.654 * [taylor]: Taking taylor expansion of A in l 1.655 * [taylor]: Taking taylor expansion of c0 in l 1.655 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V 1.655 * [taylor]: Taking taylor expansion of -1 in V 1.655 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V 1.655 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V 1.655 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V 1.655 * [taylor]: Taking taylor expansion of -1 in V 1.655 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V 1.655 * [taylor]: Taking taylor expansion of (* V l) in V 1.655 * [taylor]: Taking taylor expansion of V in V 1.655 * [taylor]: Taking taylor expansion of l in V 1.655 * [taylor]: Taking taylor expansion of A in V 1.656 * [taylor]: Taking taylor expansion of c0 in V 1.656 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A 1.656 * [taylor]: Taking taylor expansion of -1 in A 1.656 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A 1.656 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 1.656 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.656 * [taylor]: Taking taylor expansion of -1 in A 1.656 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.656 * [taylor]: Taking taylor expansion of (* V l) in A 1.656 * [taylor]: Taking taylor expansion of V in A 1.656 * [taylor]: Taking taylor expansion of l in A 1.656 * [taylor]: Taking taylor expansion of A in A 1.657 * [taylor]: Taking taylor expansion of c0 in A 1.657 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0 1.657 * [taylor]: Taking taylor expansion of -1 in c0 1.657 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0 1.657 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0 1.657 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0 1.657 * [taylor]: Taking taylor expansion of -1 in c0 1.657 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 1.657 * [taylor]: Taking taylor expansion of (* V l) in c0 1.657 * [taylor]: Taking taylor expansion of V in c0 1.657 * [taylor]: Taking taylor expansion of l in c0 1.657 * [taylor]: Taking taylor expansion of A in c0 1.658 * [taylor]: Taking taylor expansion of c0 in c0 1.658 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0 1.658 * [taylor]: Taking taylor expansion of -1 in c0 1.658 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0 1.658 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0 1.658 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0 1.658 * [taylor]: Taking taylor expansion of -1 in c0 1.658 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0 1.658 * [taylor]: Taking taylor expansion of (* V l) in c0 1.658 * [taylor]: Taking taylor expansion of V in c0 1.658 * [taylor]: Taking taylor expansion of l in c0 1.658 * [taylor]: Taking taylor expansion of A in c0 1.658 * [taylor]: Taking taylor expansion of c0 in c0 1.659 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A 1.659 * [taylor]: Taking taylor expansion of -1 in A 1.659 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A 1.659 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A 1.659 * [taylor]: Taking taylor expansion of -1 in A 1.659 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A 1.659 * [taylor]: Taking taylor expansion of (* V l) in A 1.659 * [taylor]: Taking taylor expansion of V in A 1.659 * [taylor]: Taking taylor expansion of l in A 1.659 * [taylor]: Taking taylor expansion of A in A 1.660 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* V l))) in V 1.660 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V 1.660 * [taylor]: Taking taylor expansion of +nan.0 in V 1.660 * [taylor]: Taking taylor expansion of (* V l) in V 1.660 * [taylor]: Taking taylor expansion of V in V 1.660 * [taylor]: Taking taylor expansion of l in V 1.660 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l 1.660 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l 1.660 * [taylor]: Taking taylor expansion of +nan.0 in l 1.660 * [taylor]: Taking taylor expansion of l in l 1.663 * [taylor]: Taking taylor expansion of 0 in A 1.663 * [taylor]: Taking taylor expansion of 0 in V 1.663 * [taylor]: Taking taylor expansion of 0 in l 1.665 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 2) (pow l 2)))) in V 1.665 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V 1.665 * [taylor]: Taking taylor expansion of +nan.0 in V 1.665 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V 1.665 * [taylor]: Taking taylor expansion of (pow V 2) in V 1.665 * [taylor]: Taking taylor expansion of V in V 1.665 * [taylor]: Taking taylor expansion of (pow l 2) in V 1.665 * [taylor]: Taking taylor expansion of l in V 1.666 * [taylor]: Taking taylor expansion of 0 in l 1.670 * [taylor]: Taking taylor expansion of 0 in A 1.670 * [taylor]: Taking taylor expansion of 0 in V 1.670 * [taylor]: Taking taylor expansion of 0 in l 1.670 * [taylor]: Taking taylor expansion of 0 in V 1.670 * [taylor]: Taking taylor expansion of 0 in l 1.673 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 3) (pow l 3)))) in V 1.673 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V 1.673 * [taylor]: Taking taylor expansion of +nan.0 in V 1.673 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V 1.673 * [taylor]: Taking taylor expansion of (pow V 3) in V 1.673 * [taylor]: Taking taylor expansion of V in V 1.673 * [taylor]: Taking taylor expansion of (pow l 3) in V 1.673 * [taylor]: Taking taylor expansion of l in V 1.673 * [taylor]: Taking taylor expansion of 0 in l 1.674 * * * [progress]: simplifying candidates 1.676 * [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) (* 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)) (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)))) (* 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 V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l)))) (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1))) (* c0 (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (sqrt (/ A V)) (sqrt l)))) (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l)))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l)))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) 1))) (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l)))) (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1))) (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) 1))) (* c0 (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (sqrt A) 1) (sqrt l)))) (* c0 (sqrt (/ (/ (sqrt A) 1) 1))) (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l)))) (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) 1))) (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ 1 (sqrt V)) (sqrt l)))) (* c0 (sqrt (/ (/ 1 (sqrt V)) 1))) (* c0 (sqrt (/ (/ 1 1) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ 1 1) (sqrt l)))) (* c0 (sqrt (/ (/ 1 1) 1))) (* c0 (sqrt (/ 1 (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ 1 (sqrt l)))) (* c0 (sqrt (/ 1 1))) (* c0 (sqrt (/ A (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ A (sqrt l)))) (* c0 (sqrt (/ A 1))) (* c0 (sqrt 1)) (* c0 (sqrt (/ A V))) (* 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 V))) (* +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))) 1.684 * * [simplify]: iteration 0 : 310 enodes (cost 2510 ) 1.768 * * [simplify]: iteration 1 : 577 enodes (cost 2318 ) 1.913 * * [simplify]: iteration 2 : 1668 enodes (cost 2222 ) 2.840 * * [simplify]: iteration done : 5000 enodes (cost 2222 ) 2.842 * [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))) (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))) (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))) (sqrt (/ (/ (cbrt A) (sqrt V)) l)) (sqrt (/ (* (cbrt A) (cbrt A)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) V) (cbrt l))) (sqrt (/ (* (cbrt A) (cbrt A)) (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)))) (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))) (sqrt (/ (/ (sqrt A) (sqrt V)) l)) (sqrt (/ (sqrt A) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt A) V) (cbrt l))) (sqrt (/ (sqrt A) (sqrt l))) (sqrt (/ (/ (sqrt A) V) (sqrt l))) (sqrt (sqrt A)) (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)))) (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))) (sqrt (/ (/ A (sqrt V)) l)) (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ A V) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ A V) (sqrt l))) 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))) 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) (cbrt A)) (sqrt l)) (/ (/ (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) (/ (* V l) A) (/ (/ 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))) (/ (* V l) A) (/ (* V l) A) (* l V) (* l V) (* 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)) (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)))) (* c0 (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l))))) (* (fabs (cbrt (/ (/ A V) l))) c0) (* c0 (sqrt (sqrt (/ (/ A V) l)))) (* c0 (fabs (/ (cbrt (/ A V)) (cbrt l)))) (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l)))) (* c0 (fabs (cbrt (/ A V)))) (* c0 (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (sqrt (/ A V)) (sqrt l)))) (* c0 (sqrt (sqrt (/ A V)))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l)))) (* c0 (fabs (/ (cbrt A) (cbrt V)))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l)))) (* (sqrt (/ (* (cbrt A) (cbrt A)) (sqrt V))) c0) (* (sqrt (/ (* (cbrt A) (cbrt A)) (* (cbrt l) (cbrt l)))) c0) (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) (sqrt l)))) (* c0 (fabs (cbrt A))) (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l)))) (* (sqrt (/ (sqrt A) (* (cbrt V) (cbrt V)))) c0) (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (* (sqrt (/ (sqrt A) (sqrt V))) c0) (* c0 (sqrt (/ (sqrt A) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (sqrt A) (sqrt l)))) (* (sqrt (sqrt A)) c0) (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l)))) (* c0 (sqrt (/ 1 (* (cbrt V) (cbrt V))))) (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ (/ 1 (sqrt V)) (sqrt l)))) (* c0 (sqrt (/ 1 (sqrt V)))) (* c0 (sqrt (/ 1 (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ 1 (sqrt l)))) c0 (* c0 (sqrt (/ 1 (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ 1 (sqrt l)))) c0 (* c0 (sqrt (/ A (* (cbrt l) (cbrt l))))) (* c0 (sqrt (/ A (sqrt l)))) (* c0 (sqrt A)) c0 (* c0 (sqrt (/ A V))) (* 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 V))) (* +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))) 2.843 * * * [progress]: adding candidates to table 3.389 * * [progress]: iteration 3 / 4 3.389 * * * [progress]: picking best candidate 3.434 * * * * [pick]: Picked # 3.435 * * * [progress]: localizing error 3.446 * * * [progress]: generating rewritten candidates 3.447 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.467 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 3.522 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2) 3.522 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2) 3.534 * * * [progress]: generating series expansions 3.534 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.534 * [approximate]: Taking taylor expansion of (* (pow (/ A V) 1/6) (sqrt (/ 1 l))) in (A V l) around 0 3.534 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (sqrt (/ 1 l))) in l 3.534 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in l 3.534 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in l 3.534 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in l 3.534 * [taylor]: Taking taylor expansion of 1/6 in l 3.534 * [taylor]: Taking taylor expansion of (log (/ A V)) in l 3.534 * [taylor]: Taking taylor expansion of (/ A V) in l 3.534 * [taylor]: Taking taylor expansion of A in l 3.534 * [taylor]: Taking taylor expansion of V in l 3.535 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in l 3.535 * [taylor]: Taking taylor expansion of (/ 1 l) in l 3.535 * [taylor]: Taking taylor expansion of l in l 3.537 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (sqrt (/ 1 l))) in V 3.537 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in V 3.537 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in V 3.537 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in V 3.537 * [taylor]: Taking taylor expansion of 1/6 in V 3.537 * [taylor]: Taking taylor expansion of (log (/ A V)) in V 3.537 * [taylor]: Taking taylor expansion of (/ A V) in V 3.537 * [taylor]: Taking taylor expansion of A in V 3.537 * [taylor]: Taking taylor expansion of V in V 3.537 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in V 3.537 * [taylor]: Taking taylor expansion of (/ 1 l) in V 3.537 * [taylor]: Taking taylor expansion of l in V 3.538 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (sqrt (/ 1 l))) in A 3.538 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in A 3.538 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in A 3.538 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in A 3.538 * [taylor]: Taking taylor expansion of 1/6 in A 3.538 * [taylor]: Taking taylor expansion of (log (/ A V)) in A 3.538 * [taylor]: Taking taylor expansion of (/ A V) in A 3.538 * [taylor]: Taking taylor expansion of A in A 3.538 * [taylor]: Taking taylor expansion of V in A 3.539 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in A 3.539 * [taylor]: Taking taylor expansion of (/ 1 l) in A 3.539 * [taylor]: Taking taylor expansion of l in A 3.539 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (sqrt (/ 1 l))) in A 3.539 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in A 3.539 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in A 3.539 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in A 3.539 * [taylor]: Taking taylor expansion of 1/6 in A 3.539 * [taylor]: Taking taylor expansion of (log (/ A V)) in A 3.539 * [taylor]: Taking taylor expansion of (/ A V) in A 3.539 * [taylor]: Taking taylor expansion of A in A 3.539 * [taylor]: Taking taylor expansion of V in A 3.539 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in A 3.539 * [taylor]: Taking taylor expansion of (/ 1 l) in A 3.539 * [taylor]: Taking taylor expansion of l in A 3.540 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (+ (log A) (log (/ 1 V))))) (sqrt (/ 1 l))) in V 3.540 * [taylor]: Taking taylor expansion of (exp (* 1/6 (+ (log A) (log (/ 1 V))))) in V 3.540 * [taylor]: Taking taylor expansion of (* 1/6 (+ (log A) (log (/ 1 V)))) in V 3.540 * [taylor]: Taking taylor expansion of 1/6 in V 3.540 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 V))) in V 3.540 * [taylor]: Taking taylor expansion of (log A) in V 3.540 * [taylor]: Taking taylor expansion of A in V 3.540 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 3.540 * [taylor]: Taking taylor expansion of (/ 1 V) in V 3.540 * [taylor]: Taking taylor expansion of V in V 3.541 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in V 3.541 * [taylor]: Taking taylor expansion of (/ 1 l) in V 3.541 * [taylor]: Taking taylor expansion of l in V 3.541 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log A) (log V)))) (sqrt (/ 1 l))) in l 3.541 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log A) (log V)))) in l 3.541 * [taylor]: Taking taylor expansion of (* 1/6 (- (log A) (log V))) in l 3.541 * [taylor]: Taking taylor expansion of 1/6 in l 3.541 * [taylor]: Taking taylor expansion of (- (log A) (log V)) in l 3.541 * [taylor]: Taking taylor expansion of (log A) in l 3.541 * [taylor]: Taking taylor expansion of A in l 3.541 * [taylor]: Taking taylor expansion of (log V) in l 3.541 * [taylor]: Taking taylor expansion of V in l 3.541 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in l 3.542 * [taylor]: Taking taylor expansion of (/ 1 l) in l 3.542 * [taylor]: Taking taylor expansion of l in l 3.545 * [taylor]: Taking taylor expansion of 0 in V 3.545 * [taylor]: Taking taylor expansion of 0 in l 3.548 * [taylor]: Taking taylor expansion of 0 in l 3.554 * [taylor]: Taking taylor expansion of 0 in V 3.554 * [taylor]: Taking taylor expansion of 0 in l 3.554 * [taylor]: Taking taylor expansion of 0 in l 3.560 * [taylor]: Taking taylor expansion of 0 in l 3.577 * [taylor]: Taking taylor expansion of 0 in V 3.577 * [taylor]: Taking taylor expansion of 0 in l 3.577 * [taylor]: Taking taylor expansion of 0 in l 3.577 * [taylor]: Taking taylor expansion of 0 in l 3.585 * [taylor]: Taking taylor expansion of 0 in l 3.595 * [approximate]: Taking taylor expansion of (* (pow (/ V A) 1/6) (sqrt l)) in (A V l) around 0 3.595 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (sqrt l)) in l 3.595 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in l 3.595 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in l 3.595 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in l 3.595 * [taylor]: Taking taylor expansion of 1/6 in l 3.595 * [taylor]: Taking taylor expansion of (log (/ V A)) in l 3.595 * [taylor]: Taking taylor expansion of (/ V A) in l 3.595 * [taylor]: Taking taylor expansion of V in l 3.595 * [taylor]: Taking taylor expansion of A in l 3.596 * [taylor]: Taking taylor expansion of (sqrt l) in l 3.596 * [taylor]: Taking taylor expansion of l in l 3.597 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (sqrt l)) in V 3.597 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in V 3.597 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in V 3.597 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in V 3.597 * [taylor]: Taking taylor expansion of 1/6 in V 3.597 * [taylor]: Taking taylor expansion of (log (/ V A)) in V 3.597 * [taylor]: Taking taylor expansion of (/ V A) in V 3.597 * [taylor]: Taking taylor expansion of V in V 3.597 * [taylor]: Taking taylor expansion of A in V 3.597 * [taylor]: Taking taylor expansion of (sqrt l) in V 3.597 * [taylor]: Taking taylor expansion of l in V 3.597 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (sqrt l)) in A 3.597 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in A 3.597 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in A 3.597 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in A 3.597 * [taylor]: Taking taylor expansion of 1/6 in A 3.597 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 3.597 * [taylor]: Taking taylor expansion of (/ V A) in A 3.597 * [taylor]: Taking taylor expansion of V in A 3.597 * [taylor]: Taking taylor expansion of A in A 3.598 * [taylor]: Taking taylor expansion of (sqrt l) in A 3.598 * [taylor]: Taking taylor expansion of l in A 3.598 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (sqrt l)) in A 3.598 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in A 3.598 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in A 3.598 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in A 3.598 * [taylor]: Taking taylor expansion of 1/6 in A 3.598 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 3.598 * [taylor]: Taking taylor expansion of (/ V A) in A 3.598 * [taylor]: Taking taylor expansion of V in A 3.598 * [taylor]: Taking taylor expansion of A in A 3.598 * [taylor]: Taking taylor expansion of (sqrt l) in A 3.599 * [taylor]: Taking taylor expansion of l in A 3.599 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log V) (log A)))) (sqrt l)) in V 3.599 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log V) (log A)))) in V 3.599 * [taylor]: Taking taylor expansion of (* 1/6 (- (log V) (log A))) in V 3.599 * [taylor]: Taking taylor expansion of 1/6 in V 3.599 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in V 3.599 * [taylor]: Taking taylor expansion of (log V) in V 3.599 * [taylor]: Taking taylor expansion of V in V 3.599 * [taylor]: Taking taylor expansion of (log A) in V 3.599 * [taylor]: Taking taylor expansion of A in V 3.600 * [taylor]: Taking taylor expansion of (sqrt l) in V 3.600 * [taylor]: Taking taylor expansion of l in V 3.600 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log V) (log A)))) (sqrt l)) in l 3.600 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log V) (log A)))) in l 3.600 * [taylor]: Taking taylor expansion of (* 1/6 (- (log V) (log A))) in l 3.600 * [taylor]: Taking taylor expansion of 1/6 in l 3.600 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in l 3.600 * [taylor]: Taking taylor expansion of (log V) in l 3.600 * [taylor]: Taking taylor expansion of V in l 3.600 * [taylor]: Taking taylor expansion of (log A) in l 3.600 * [taylor]: Taking taylor expansion of A in l 3.600 * [taylor]: Taking taylor expansion of (sqrt l) in l 3.600 * [taylor]: Taking taylor expansion of l in l 3.603 * [taylor]: Taking taylor expansion of 0 in V 3.603 * [taylor]: Taking taylor expansion of 0 in l 3.606 * [taylor]: Taking taylor expansion of 0 in l 3.613 * [taylor]: Taking taylor expansion of 0 in V 3.613 * [taylor]: Taking taylor expansion of 0 in l 3.613 * [taylor]: Taking taylor expansion of 0 in l 3.618 * [taylor]: Taking taylor expansion of 0 in l 3.630 * [taylor]: Taking taylor expansion of 0 in V 3.630 * [taylor]: Taking taylor expansion of 0 in l 3.630 * [taylor]: Taking taylor expansion of 0 in l 3.630 * [taylor]: Taking taylor expansion of 0 in l 3.637 * [taylor]: Taking taylor expansion of 0 in l 3.639 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in (A V l) around 0 3.639 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in l 3.639 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in l 3.639 * [taylor]: Taking taylor expansion of -1 in l 3.639 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in l 3.639 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in l 3.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in l 3.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in l 3.639 * [taylor]: Taking taylor expansion of 1/3 in l 3.639 * [taylor]: Taking taylor expansion of (log (/ V A)) in l 3.639 * [taylor]: Taking taylor expansion of (/ V A) in l 3.639 * [taylor]: Taking taylor expansion of V in l 3.639 * [taylor]: Taking taylor expansion of A in l 3.639 * [taylor]: Taking taylor expansion of l in l 3.642 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in V 3.642 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in V 3.642 * [taylor]: Taking taylor expansion of -1 in V 3.642 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in V 3.642 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in V 3.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in V 3.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in V 3.642 * [taylor]: Taking taylor expansion of 1/3 in V 3.642 * [taylor]: Taking taylor expansion of (log (/ V A)) in V 3.642 * [taylor]: Taking taylor expansion of (/ V A) in V 3.642 * [taylor]: Taking taylor expansion of V in V 3.642 * [taylor]: Taking taylor expansion of A in V 3.643 * [taylor]: Taking taylor expansion of l in V 3.645 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in A 3.645 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in A 3.645 * [taylor]: Taking taylor expansion of -1 in A 3.645 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in A 3.645 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in A 3.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in A 3.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in A 3.645 * [taylor]: Taking taylor expansion of 1/3 in A 3.645 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 3.645 * [taylor]: Taking taylor expansion of (/ V A) in A 3.645 * [taylor]: Taking taylor expansion of V in A 3.645 * [taylor]: Taking taylor expansion of A in A 3.646 * [taylor]: Taking taylor expansion of l in A 3.649 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in A 3.649 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in A 3.649 * [taylor]: Taking taylor expansion of -1 in A 3.649 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in A 3.649 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in A 3.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in A 3.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in A 3.649 * [taylor]: Taking taylor expansion of 1/3 in A 3.649 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 3.649 * [taylor]: Taking taylor expansion of (/ V A) in A 3.649 * [taylor]: Taking taylor expansion of V in A 3.649 * [taylor]: Taking taylor expansion of A in A 3.649 * [taylor]: Taking taylor expansion of l in A 3.652 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l))) in V 3.652 * [taylor]: Taking taylor expansion of (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l)) in V 3.652 * [taylor]: Taking taylor expansion of -1 in V 3.652 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log V) (log A)))) l) in V 3.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log V) (log A)))) in V 3.652 * [taylor]: Taking taylor expansion of (* 1/3 (- (log V) (log A))) in V 3.652 * [taylor]: Taking taylor expansion of 1/3 in V 3.652 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in V 3.653 * [taylor]: Taking taylor expansion of (log V) in V 3.653 * [taylor]: Taking taylor expansion of V in V 3.653 * [taylor]: Taking taylor expansion of (log A) in V 3.653 * [taylor]: Taking taylor expansion of A in V 3.653 * [taylor]: Taking taylor expansion of l in V 3.656 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l))) in l 3.657 * [taylor]: Taking taylor expansion of (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l)) in l 3.657 * [taylor]: Taking taylor expansion of -1 in l 3.657 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log V) (log A)))) l) in l 3.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log V) (log A)))) in l 3.657 * [taylor]: Taking taylor expansion of (* 1/3 (- (log V) (log A))) in l 3.657 * [taylor]: Taking taylor expansion of 1/3 in l 3.657 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in l 3.657 * [taylor]: Taking taylor expansion of (log V) in l 3.657 * [taylor]: Taking taylor expansion of V in l 3.657 * [taylor]: Taking taylor expansion of (log A) in l 3.657 * [taylor]: Taking taylor expansion of A in l 3.657 * [taylor]: Taking taylor expansion of l in l 3.666 * [taylor]: Taking taylor expansion of 0 in V 3.666 * [taylor]: Taking taylor expansion of 0 in l 3.666 * [taylor]: Taking taylor expansion of 0 in l 3.671 * [taylor]: Taking taylor expansion of 0 in V 3.671 * [taylor]: Taking taylor expansion of 0 in l 3.671 * [taylor]: Taking taylor expansion of 0 in l 3.677 * [taylor]: Taking taylor expansion of 0 in l 3.689 * [taylor]: Taking taylor expansion of 0 in V 3.689 * [taylor]: Taking taylor expansion of 0 in l 3.689 * [taylor]: Taking taylor expansion of 0 in l 3.689 * [taylor]: Taking taylor expansion of 0 in l 3.697 * [taylor]: Taking taylor expansion of 0 in l 3.699 * * * * [progress]: [ 2 / 4 ] generating series at (2) 3.699 * [approximate]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in (c0 A V l) around 0 3.699 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in l 3.699 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in l 3.699 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in l 3.699 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in l 3.699 * [taylor]: Taking taylor expansion of 1/6 in l 3.699 * [taylor]: Taking taylor expansion of (log (/ A V)) in l 3.699 * [taylor]: Taking taylor expansion of (/ A V) in l 3.699 * [taylor]: Taking taylor expansion of A in l 3.699 * [taylor]: Taking taylor expansion of V in l 3.699 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in l 3.699 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in l 3.699 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in l 3.699 * [taylor]: Taking taylor expansion of c0 in l 3.699 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in l 3.699 * [taylor]: Taking taylor expansion of (/ 1 l) in l 3.699 * [taylor]: Taking taylor expansion of l in l 3.701 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in V 3.701 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in V 3.701 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in V 3.701 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in V 3.701 * [taylor]: Taking taylor expansion of 1/6 in V 3.701 * [taylor]: Taking taylor expansion of (log (/ A V)) in V 3.701 * [taylor]: Taking taylor expansion of (/ A V) in V 3.701 * [taylor]: Taking taylor expansion of A in V 3.701 * [taylor]: Taking taylor expansion of V in V 3.701 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in V 3.701 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in V 3.701 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in V 3.702 * [taylor]: Taking taylor expansion of c0 in V 3.702 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in V 3.702 * [taylor]: Taking taylor expansion of (/ 1 l) in V 3.702 * [taylor]: Taking taylor expansion of l in V 3.702 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in A 3.702 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in A 3.702 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in A 3.702 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in A 3.702 * [taylor]: Taking taylor expansion of 1/6 in A 3.702 * [taylor]: Taking taylor expansion of (log (/ A V)) in A 3.702 * [taylor]: Taking taylor expansion of (/ A V) in A 3.702 * [taylor]: Taking taylor expansion of A in A 3.702 * [taylor]: Taking taylor expansion of V in A 3.702 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in A 3.702 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in A 3.702 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in A 3.703 * [taylor]: Taking taylor expansion of c0 in A 3.703 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in A 3.703 * [taylor]: Taking taylor expansion of (/ 1 l) in A 3.703 * [taylor]: Taking taylor expansion of l in A 3.703 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in c0 3.703 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in c0 3.703 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in c0 3.703 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in c0 3.703 * [taylor]: Taking taylor expansion of 1/6 in c0 3.703 * [taylor]: Taking taylor expansion of (log (/ A V)) in c0 3.703 * [taylor]: Taking taylor expansion of (/ A V) in c0 3.703 * [taylor]: Taking taylor expansion of A in c0 3.703 * [taylor]: Taking taylor expansion of V in c0 3.703 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in c0 3.703 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in c0 3.703 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in c0 3.703 * [taylor]: Taking taylor expansion of c0 in c0 3.703 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in c0 3.703 * [taylor]: Taking taylor expansion of (/ 1 l) in c0 3.703 * [taylor]: Taking taylor expansion of l in c0 3.703 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in c0 3.703 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in c0 3.703 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in c0 3.703 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in c0 3.703 * [taylor]: Taking taylor expansion of 1/6 in c0 3.703 * [taylor]: Taking taylor expansion of (log (/ A V)) in c0 3.703 * [taylor]: Taking taylor expansion of (/ A V) in c0 3.703 * [taylor]: Taking taylor expansion of A in c0 3.703 * [taylor]: Taking taylor expansion of V in c0 3.704 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in c0 3.704 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in c0 3.704 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in c0 3.704 * [taylor]: Taking taylor expansion of c0 in c0 3.704 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in c0 3.704 * [taylor]: Taking taylor expansion of (/ 1 l) in c0 3.704 * [taylor]: Taking taylor expansion of l in c0 3.704 * [taylor]: Taking taylor expansion of 0 in A 3.704 * [taylor]: Taking taylor expansion of 0 in V 3.704 * [taylor]: Taking taylor expansion of 0 in l 3.707 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (fabs (pow (/ A V) 1/3)) (sqrt (/ 1 l)))) in A 3.707 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in A 3.707 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in A 3.707 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in A 3.707 * [taylor]: Taking taylor expansion of 1/6 in A 3.707 * [taylor]: Taking taylor expansion of (log (/ A V)) in A 3.707 * [taylor]: Taking taylor expansion of (/ A V) in A 3.707 * [taylor]: Taking taylor expansion of A in A 3.707 * [taylor]: Taking taylor expansion of V in A 3.708 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) (sqrt (/ 1 l))) in A 3.708 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in A 3.708 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in A 3.708 * [taylor]: Taking taylor expansion of (/ 1 l) in A 3.708 * [taylor]: Taking taylor expansion of l in A 3.708 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) (exp (* 1/6 (+ (log A) (log (/ 1 V)))))) (sqrt (/ 1 l))) in V 3.708 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) (exp (* 1/6 (+ (log A) (log (/ 1 V)))))) in V 3.708 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in V 3.708 * [taylor]: Taking taylor expansion of (exp (* 1/6 (+ (log A) (log (/ 1 V))))) in V 3.708 * [taylor]: Taking taylor expansion of (* 1/6 (+ (log A) (log (/ 1 V)))) in V 3.708 * [taylor]: Taking taylor expansion of 1/6 in V 3.708 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 V))) in V 3.708 * [taylor]: Taking taylor expansion of (log A) in V 3.708 * [taylor]: Taking taylor expansion of A in V 3.708 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 3.708 * [taylor]: Taking taylor expansion of (/ 1 V) in V 3.708 * [taylor]: Taking taylor expansion of V in V 3.709 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in V 3.710 * [taylor]: Taking taylor expansion of (/ 1 l) in V 3.710 * [taylor]: Taking taylor expansion of l in V 3.710 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) (exp (* 1/6 (- (log A) (log V))))) (sqrt (/ 1 l))) in l 3.710 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) (exp (* 1/6 (- (log A) (log V))))) in l 3.710 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in l 3.710 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log A) (log V)))) in l 3.710 * [taylor]: Taking taylor expansion of (* 1/6 (- (log A) (log V))) in l 3.710 * [taylor]: Taking taylor expansion of 1/6 in l 3.710 * [taylor]: Taking taylor expansion of (- (log A) (log V)) in l 3.710 * [taylor]: Taking taylor expansion of (log A) in l 3.710 * [taylor]: Taking taylor expansion of A in l 3.710 * [taylor]: Taking taylor expansion of (log V) in l 3.710 * [taylor]: Taking taylor expansion of V in l 3.711 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in l 3.711 * [taylor]: Taking taylor expansion of (/ 1 l) in l 3.711 * [taylor]: Taking taylor expansion of l in l 3.712 * [taylor]: Taking taylor expansion of 0 in V 3.712 * [taylor]: Taking taylor expansion of 0 in l 3.712 * [taylor]: Taking taylor expansion of 0 in l 3.717 * [taylor]: Taking taylor expansion of 0 in A 3.717 * [taylor]: Taking taylor expansion of 0 in V 3.717 * [taylor]: Taking taylor expansion of 0 in l 3.719 * [taylor]: Taking taylor expansion of 0 in V 3.719 * [taylor]: Taking taylor expansion of 0 in l 3.719 * [taylor]: Taking taylor expansion of 0 in V 3.719 * [taylor]: Taking taylor expansion of 0 in l 3.722 * [taylor]: Taking taylor expansion of 0 in l 3.722 * [taylor]: Taking taylor expansion of 0 in l 3.722 * [taylor]: Taking taylor expansion of 0 in l 3.731 * [taylor]: Taking taylor expansion of 0 in A 3.731 * [taylor]: Taking taylor expansion of 0 in V 3.731 * [taylor]: Taking taylor expansion of 0 in l 3.731 * [taylor]: Taking taylor expansion of 0 in V 3.731 * [taylor]: Taking taylor expansion of 0 in l 3.735 * [taylor]: Taking taylor expansion of 0 in V 3.735 * [taylor]: Taking taylor expansion of 0 in l 3.735 * [taylor]: Taking taylor expansion of 0 in V 3.735 * [taylor]: Taking taylor expansion of 0 in l 3.735 * [taylor]: Taking taylor expansion of 0 in l 3.735 * [taylor]: Taking taylor expansion of 0 in l 3.735 * [taylor]: Taking taylor expansion of 0 in l 3.741 * [taylor]: Taking taylor expansion of 0 in l 3.741 * [taylor]: Taking taylor expansion of 0 in l 3.741 * [taylor]: Taking taylor expansion of 0 in l 3.742 * [approximate]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in (c0 A V l) around 0 3.742 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in l 3.742 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in l 3.742 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in l 3.742 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in l 3.742 * [taylor]: Taking taylor expansion of 1/6 in l 3.742 * [taylor]: Taking taylor expansion of (log (/ V A)) in l 3.742 * [taylor]: Taking taylor expansion of (/ V A) in l 3.742 * [taylor]: Taking taylor expansion of V in l 3.742 * [taylor]: Taking taylor expansion of A in l 3.742 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in l 3.742 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in l 3.742 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in l 3.742 * [taylor]: Taking taylor expansion of c0 in l 3.742 * [taylor]: Taking taylor expansion of (sqrt l) in l 3.742 * [taylor]: Taking taylor expansion of l in l 3.744 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in V 3.744 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in V 3.744 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in V 3.744 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in V 3.744 * [taylor]: Taking taylor expansion of 1/6 in V 3.744 * [taylor]: Taking taylor expansion of (log (/ V A)) in V 3.744 * [taylor]: Taking taylor expansion of (/ V A) in V 3.744 * [taylor]: Taking taylor expansion of V in V 3.744 * [taylor]: Taking taylor expansion of A in V 3.744 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in V 3.744 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in V 3.744 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in V 3.744 * [taylor]: Taking taylor expansion of c0 in V 3.745 * [taylor]: Taking taylor expansion of (sqrt l) in V 3.745 * [taylor]: Taking taylor expansion of l in V 3.745 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in A 3.745 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in A 3.745 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in A 3.745 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in A 3.745 * [taylor]: Taking taylor expansion of 1/6 in A 3.745 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 3.745 * [taylor]: Taking taylor expansion of (/ V A) in A 3.745 * [taylor]: Taking taylor expansion of V in A 3.745 * [taylor]: Taking taylor expansion of A in A 3.745 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in A 3.745 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in A 3.745 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in A 3.746 * [taylor]: Taking taylor expansion of c0 in A 3.746 * [taylor]: Taking taylor expansion of (sqrt l) in A 3.746 * [taylor]: Taking taylor expansion of l in A 3.746 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in c0 3.746 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in c0 3.746 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in c0 3.746 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in c0 3.746 * [taylor]: Taking taylor expansion of 1/6 in c0 3.746 * [taylor]: Taking taylor expansion of (log (/ V A)) in c0 3.746 * [taylor]: Taking taylor expansion of (/ V A) in c0 3.746 * [taylor]: Taking taylor expansion of V in c0 3.746 * [taylor]: Taking taylor expansion of A in c0 3.746 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in c0 3.746 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in c0 3.746 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in c0 3.746 * [taylor]: Taking taylor expansion of c0 in c0 3.746 * [taylor]: Taking taylor expansion of (sqrt l) in c0 3.746 * [taylor]: Taking taylor expansion of l in c0 3.746 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in c0 3.746 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in c0 3.746 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in c0 3.746 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in c0 3.746 * [taylor]: Taking taylor expansion of 1/6 in c0 3.746 * [taylor]: Taking taylor expansion of (log (/ V A)) in c0 3.746 * [taylor]: Taking taylor expansion of (/ V A) in c0 3.746 * [taylor]: Taking taylor expansion of V in c0 3.746 * [taylor]: Taking taylor expansion of A in c0 3.747 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in c0 3.747 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in c0 3.747 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in c0 3.747 * [taylor]: Taking taylor expansion of c0 in c0 3.747 * [taylor]: Taking taylor expansion of (sqrt l) in c0 3.747 * [taylor]: Taking taylor expansion of l in c0 3.747 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (fabs (pow (/ V A) 1/3)) (sqrt l))) in A 3.747 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in A 3.747 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in A 3.747 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in A 3.747 * [taylor]: Taking taylor expansion of 1/6 in A 3.747 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 3.747 * [taylor]: Taking taylor expansion of (/ V A) in A 3.747 * [taylor]: Taking taylor expansion of V in A 3.747 * [taylor]: Taking taylor expansion of A in A 3.748 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ V A) 1/3)) (sqrt l)) in A 3.748 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in A 3.748 * [taylor]: Taking taylor expansion of (sqrt l) in A 3.748 * [taylor]: Taking taylor expansion of l in A 3.748 * [taylor]: Taking taylor expansion of (* (* (exp (* 1/6 (- (log V) (log A)))) (fabs (pow (/ V A) 1/3))) (sqrt l)) in V 3.749 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log V) (log A)))) (fabs (pow (/ V A) 1/3))) in V 3.749 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log V) (log A)))) in V 3.749 * [taylor]: Taking taylor expansion of (* 1/6 (- (log V) (log A))) in V 3.749 * [taylor]: Taking taylor expansion of 1/6 in V 3.749 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in V 3.749 * [taylor]: Taking taylor expansion of (log V) in V 3.749 * [taylor]: Taking taylor expansion of V in V 3.749 * [taylor]: Taking taylor expansion of (log A) in V 3.749 * [taylor]: Taking taylor expansion of A in V 3.750 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in V 3.750 * [taylor]: Taking taylor expansion of (sqrt l) in V 3.750 * [taylor]: Taking taylor expansion of l in V 3.750 * [taylor]: Taking taylor expansion of (* (* (exp (* 1/6 (- (log V) (log A)))) (fabs (pow (/ V A) 1/3))) (sqrt l)) in l 3.750 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log V) (log A)))) (fabs (pow (/ V A) 1/3))) in l 3.750 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log V) (log A)))) in l 3.750 * [taylor]: Taking taylor expansion of (* 1/6 (- (log V) (log A))) in l 3.750 * [taylor]: Taking taylor expansion of 1/6 in l 3.750 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in l 3.750 * [taylor]: Taking taylor expansion of (log V) in l 3.750 * [taylor]: Taking taylor expansion of V in l 3.750 * [taylor]: Taking taylor expansion of (log A) in l 3.750 * [taylor]: Taking taylor expansion of A in l 3.750 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in l 3.751 * [taylor]: Taking taylor expansion of (sqrt l) in l 3.751 * [taylor]: Taking taylor expansion of l in l 3.761 * [taylor]: Taking taylor expansion of 0 in A 3.761 * [taylor]: Taking taylor expansion of 0 in V 3.761 * [taylor]: Taking taylor expansion of 0 in l 3.764 * [taylor]: Taking taylor expansion of 0 in V 3.764 * [taylor]: Taking taylor expansion of 0 in l 3.766 * [taylor]: Taking taylor expansion of 0 in l 3.775 * [taylor]: Taking taylor expansion of 0 in A 3.775 * [taylor]: Taking taylor expansion of 0 in V 3.775 * [taylor]: Taking taylor expansion of 0 in l 3.775 * [taylor]: Taking taylor expansion of 0 in V 3.775 * [taylor]: Taking taylor expansion of 0 in l 3.779 * [taylor]: Taking taylor expansion of 0 in V 3.779 * [taylor]: Taking taylor expansion of 0 in l 3.780 * [taylor]: Taking taylor expansion of 0 in l 3.780 * [taylor]: Taking taylor expansion of 0 in l 3.785 * [taylor]: Taking taylor expansion of 0 in l 3.786 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0)) in (c0 A V l) around 0 3.786 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0)) in l 3.786 * [taylor]: Taking taylor expansion of -1 in l 3.786 * [taylor]: Taking taylor expansion of (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0) in l 3.786 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) in l 3.786 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in l 3.786 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in l 3.786 * [taylor]: Taking taylor expansion of -1 in l 3.786 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in l 3.786 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in l 3.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in l 3.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in l 3.786 * [taylor]: Taking taylor expansion of 1/3 in l 3.786 * [taylor]: Taking taylor expansion of (log (/ V A)) in l 3.786 * [taylor]: Taking taylor expansion of (/ V A) in l 3.786 * [taylor]: Taking taylor expansion of V in l 3.786 * [taylor]: Taking taylor expansion of A in l 3.787 * [taylor]: Taking taylor expansion of l in l 3.790 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in l 3.790 * [taylor]: Taking taylor expansion of c0 in l 3.791 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0)) in V 3.791 * [taylor]: Taking taylor expansion of -1 in V 3.791 * [taylor]: Taking taylor expansion of (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0) in V 3.791 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) in V 3.791 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in V 3.791 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in V 3.791 * [taylor]: Taking taylor expansion of -1 in V 3.791 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in V 3.791 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in V 3.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in V 3.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in V 3.791 * [taylor]: Taking taylor expansion of 1/3 in V 3.791 * [taylor]: Taking taylor expansion of (log (/ V A)) in V 3.791 * [taylor]: Taking taylor expansion of (/ V A) in V 3.791 * [taylor]: Taking taylor expansion of V in V 3.791 * [taylor]: Taking taylor expansion of A in V 3.791 * [taylor]: Taking taylor expansion of l in V 3.794 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in V 3.794 * [taylor]: Taking taylor expansion of c0 in V 3.795 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0)) in A 3.795 * [taylor]: Taking taylor expansion of -1 in A 3.795 * [taylor]: Taking taylor expansion of (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0) in A 3.795 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) in A 3.795 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in A 3.795 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in A 3.795 * [taylor]: Taking taylor expansion of -1 in A 3.795 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in A 3.795 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in A 3.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in A 3.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in A 3.795 * [taylor]: Taking taylor expansion of 1/3 in A 3.795 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 3.795 * [taylor]: Taking taylor expansion of (/ V A) in A 3.795 * [taylor]: Taking taylor expansion of V in A 3.795 * [taylor]: Taking taylor expansion of A in A 3.795 * [taylor]: Taking taylor expansion of l in A 3.798 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in A 3.798 * [taylor]: Taking taylor expansion of c0 in A 3.799 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0)) in c0 3.799 * [taylor]: Taking taylor expansion of -1 in c0 3.799 * [taylor]: Taking taylor expansion of (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0) in c0 3.799 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) in c0 3.799 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in c0 3.799 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in c0 3.799 * [taylor]: Taking taylor expansion of -1 in c0 3.799 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in c0 3.799 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in c0 3.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in c0 3.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in c0 3.799 * [taylor]: Taking taylor expansion of 1/3 in c0 3.799 * [taylor]: Taking taylor expansion of (log (/ V A)) in c0 3.799 * [taylor]: Taking taylor expansion of (/ V A) in c0 3.799 * [taylor]: Taking taylor expansion of V in c0 3.799 * [taylor]: Taking taylor expansion of A in c0 3.799 * [taylor]: Taking taylor expansion of l in c0 3.802 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in c0 3.802 * [taylor]: Taking taylor expansion of c0 in c0 3.802 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0)) in c0 3.802 * [taylor]: Taking taylor expansion of -1 in c0 3.802 * [taylor]: Taking taylor expansion of (/ (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) c0) in c0 3.802 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) in c0 3.802 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in c0 3.802 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in c0 3.802 * [taylor]: Taking taylor expansion of -1 in c0 3.803 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in c0 3.803 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in c0 3.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in c0 3.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in c0 3.803 * [taylor]: Taking taylor expansion of 1/3 in c0 3.803 * [taylor]: Taking taylor expansion of (log (/ V A)) in c0 3.803 * [taylor]: Taking taylor expansion of (/ V A) in c0 3.803 * [taylor]: Taking taylor expansion of V in c0 3.803 * [taylor]: Taking taylor expansion of A in c0 3.803 * [taylor]: Taking taylor expansion of l in c0 3.805 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in c0 3.805 * [taylor]: Taking taylor expansion of c0 in c0 3.806 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3)))) in A 3.806 * [taylor]: Taking taylor expansion of -1 in A 3.806 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 (* (pow (/ V A) 1/3) l))) (fabs (pow (/ V A) 1/3))) in A 3.806 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (pow (/ V A) 1/3) l))) in A 3.806 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/3) l)) in A 3.806 * [taylor]: Taking taylor expansion of -1 in A 3.806 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/3) l) in A 3.806 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/3) in A 3.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ V A)))) in A 3.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ V A))) in A 3.806 * [taylor]: Taking taylor expansion of 1/3 in A 3.806 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 3.806 * [taylor]: Taking taylor expansion of (/ V A) in A 3.806 * [taylor]: Taking taylor expansion of V in A 3.806 * [taylor]: Taking taylor expansion of A in A 3.807 * [taylor]: Taking taylor expansion of l in A 3.809 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in A 3.810 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l))) (fabs (pow (/ V A) 1/3)))) in V 3.810 * [taylor]: Taking taylor expansion of -1 in V 3.810 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l))) (fabs (pow (/ V A) 1/3))) in V 3.810 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l))) in V 3.810 * [taylor]: Taking taylor expansion of (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l)) in V 3.810 * [taylor]: Taking taylor expansion of -1 in V 3.810 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log V) (log A)))) l) in V 3.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log V) (log A)))) in V 3.810 * [taylor]: Taking taylor expansion of (* 1/3 (- (log V) (log A))) in V 3.810 * [taylor]: Taking taylor expansion of 1/3 in V 3.810 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in V 3.810 * [taylor]: Taking taylor expansion of (log V) in V 3.810 * [taylor]: Taking taylor expansion of V in V 3.810 * [taylor]: Taking taylor expansion of (log A) in V 3.811 * [taylor]: Taking taylor expansion of A in V 3.811 * [taylor]: Taking taylor expansion of l in V 3.814 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in V 3.815 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l))) (fabs (pow (/ V A) 1/3)))) in l 3.815 * [taylor]: Taking taylor expansion of -1 in l 3.815 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l))) (fabs (pow (/ V A) 1/3))) in l 3.815 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l))) in l 3.815 * [taylor]: Taking taylor expansion of (* -1 (* (exp (* 1/3 (- (log V) (log A)))) l)) in l 3.815 * [taylor]: Taking taylor expansion of -1 in l 3.815 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log V) (log A)))) l) in l 3.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log V) (log A)))) in l 3.815 * [taylor]: Taking taylor expansion of (* 1/3 (- (log V) (log A))) in l 3.815 * [taylor]: Taking taylor expansion of 1/3 in l 3.815 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in l 3.815 * [taylor]: Taking taylor expansion of (log V) in l 3.815 * [taylor]: Taking taylor expansion of V in l 3.815 * [taylor]: Taking taylor expansion of (log A) in l 3.815 * [taylor]: Taking taylor expansion of A in l 3.815 * [taylor]: Taking taylor expansion of l in l 3.819 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in l 3.822 * [taylor]: Taking taylor expansion of 0 in A 3.822 * [taylor]: Taking taylor expansion of 0 in V 3.822 * [taylor]: Taking taylor expansion of 0 in l 3.823 * [taylor]: Taking taylor expansion of 0 in V 3.823 * [taylor]: Taking taylor expansion of 0 in l 3.823 * [taylor]: Taking taylor expansion of 0 in l 3.837 * [taylor]: Taking taylor expansion of 0 in A 3.837 * [taylor]: Taking taylor expansion of 0 in V 3.837 * [taylor]: Taking taylor expansion of 0 in l 3.837 * [taylor]: Taking taylor expansion of 0 in V 3.837 * [taylor]: Taking taylor expansion of 0 in l 3.843 * [taylor]: Taking taylor expansion of 0 in V 3.843 * [taylor]: Taking taylor expansion of 0 in l 3.843 * [taylor]: Taking taylor expansion of 0 in l 3.843 * [taylor]: Taking taylor expansion of 0 in l 3.855 * [taylor]: Taking taylor expansion of 0 in l 3.856 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2) 3.856 * [approximate]: Taking taylor expansion of (pow V 1/3) in (V) around 0 3.856 * [taylor]: Taking taylor expansion of (pow V 1/3) in V 3.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V 3.856 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V 3.856 * [taylor]: Taking taylor expansion of 1/3 in V 3.856 * [taylor]: Taking taylor expansion of (log V) in V 3.856 * [taylor]: Taking taylor expansion of V in V 3.857 * [taylor]: Taking taylor expansion of (pow V 1/3) in V 3.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V 3.857 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V 3.857 * [taylor]: Taking taylor expansion of 1/3 in V 3.857 * [taylor]: Taking taylor expansion of (log V) in V 3.857 * [taylor]: Taking taylor expansion of V in V 3.905 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/3) in (V) around 0 3.905 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V 3.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V 3.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V 3.905 * [taylor]: Taking taylor expansion of 1/3 in V 3.905 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 3.905 * [taylor]: Taking taylor expansion of (/ 1 V) in V 3.905 * [taylor]: Taking taylor expansion of V in V 3.906 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V 3.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V 3.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V 3.906 * [taylor]: Taking taylor expansion of 1/3 in V 3.906 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 3.906 * [taylor]: Taking taylor expansion of (/ 1 V) in V 3.906 * [taylor]: Taking taylor expansion of V in V 3.963 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in (V) around 0 3.964 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V 3.964 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V 3.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V 3.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V 3.964 * [taylor]: Taking taylor expansion of 1/3 in V 3.964 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 3.964 * [taylor]: Taking taylor expansion of (/ 1 V) in V 3.964 * [taylor]: Taking taylor expansion of V in V 3.965 * [taylor]: Taking taylor expansion of (cbrt -1) in V 3.965 * [taylor]: Taking taylor expansion of -1 in V 3.965 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V 3.965 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V 3.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V 3.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V 3.965 * [taylor]: Taking taylor expansion of 1/3 in V 3.965 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 3.965 * [taylor]: Taking taylor expansion of (/ 1 V) in V 3.965 * [taylor]: Taking taylor expansion of V in V 3.966 * [taylor]: Taking taylor expansion of (cbrt -1) in V 3.966 * [taylor]: Taking taylor expansion of -1 in V 4.031 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2) 4.031 * [approximate]: Taking taylor expansion of (pow V 1/3) in (V) around 0 4.031 * [taylor]: Taking taylor expansion of (pow V 1/3) in V 4.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V 4.031 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V 4.031 * [taylor]: Taking taylor expansion of 1/3 in V 4.031 * [taylor]: Taking taylor expansion of (log V) in V 4.031 * [taylor]: Taking taylor expansion of V in V 4.032 * [taylor]: Taking taylor expansion of (pow V 1/3) in V 4.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V 4.032 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V 4.032 * [taylor]: Taking taylor expansion of 1/3 in V 4.032 * [taylor]: Taking taylor expansion of (log V) in V 4.032 * [taylor]: Taking taylor expansion of V in V 4.268 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/3) in (V) around 0 4.268 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V 4.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V 4.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V 4.268 * [taylor]: Taking taylor expansion of 1/3 in V 4.268 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 4.268 * [taylor]: Taking taylor expansion of (/ 1 V) in V 4.268 * [taylor]: Taking taylor expansion of V in V 4.269 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V 4.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V 4.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V 4.269 * [taylor]: Taking taylor expansion of 1/3 in V 4.269 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 4.269 * [taylor]: Taking taylor expansion of (/ 1 V) in V 4.269 * [taylor]: Taking taylor expansion of V in V 4.320 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in (V) around 0 4.320 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V 4.320 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V 4.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V 4.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V 4.320 * [taylor]: Taking taylor expansion of 1/3 in V 4.320 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 4.320 * [taylor]: Taking taylor expansion of (/ 1 V) in V 4.320 * [taylor]: Taking taylor expansion of V in V 4.321 * [taylor]: Taking taylor expansion of (cbrt -1) in V 4.321 * [taylor]: Taking taylor expansion of -1 in V 4.322 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V 4.322 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V 4.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V 4.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V 4.322 * [taylor]: Taking taylor expansion of 1/3 in V 4.322 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 4.322 * [taylor]: Taking taylor expansion of (/ 1 V) in V 4.322 * [taylor]: Taking taylor expansion of V in V 4.323 * [taylor]: Taking taylor expansion of (cbrt -1) in V 4.323 * [taylor]: Taking taylor expansion of -1 in V 4.389 * * * [progress]: simplifying candidates 4.392 * [simplify]: Simplifying using # : (log (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (exp (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (* (cbrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (cbrt (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (cbrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (* (* (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (* (cbrt (/ (/ (cbrt A) (cbrt V)) l)) (cbrt (/ (/ (cbrt A) (cbrt V)) l)))) (sqrt (cbrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (/ (* (cbrt (/ (cbrt A) (cbrt V))) (cbrt (/ (cbrt A) (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (cbrt (/ (cbrt A) (cbrt V))) (cbrt l))) (sqrt (/ (* (cbrt (/ (cbrt A) (cbrt V))) (cbrt (/ (cbrt A) (cbrt V)))) (sqrt l))) (sqrt (/ (cbrt (/ (cbrt A) (cbrt V))) (sqrt l))) (sqrt (/ (* (cbrt (/ (cbrt A) (cbrt V))) (cbrt (/ (cbrt A) (cbrt V)))) 1)) (sqrt (/ (cbrt (/ (cbrt A) (cbrt V))) l)) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) (cbrt l))) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) (sqrt l))) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) (sqrt l))) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) 1)) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt V) (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt V) (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt V) (cbrt V)))) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (sqrt V))) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt 1)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt 1)) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt 1)) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt (cbrt V))) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) 1) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) 1) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (* (cbrt V) (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (* (cbrt V) (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (* (cbrt V) (cbrt V)))) 1)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) 1)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) l)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt 1)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt 1)) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt 1)) 1)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) l)) (sqrt (/ (/ (cbrt (sqrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) 1)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) 1)) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (sqrt A)) 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) 1) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) 1) 1)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) l)) (sqrt (/ (/ (cbrt 1) (cbrt (* (cbrt V) (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt 1) (cbrt (* (cbrt V) (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt 1) (cbrt (* (cbrt V) (cbrt V)))) 1)) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt 1) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (cbrt 1) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt 1) (cbrt (sqrt V))) 1)) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) l)) (sqrt (/ (/ (cbrt 1) (cbrt 1)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt 1) (cbrt 1)) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) (sqrt (/ (/ (cbrt 1) (cbrt 1)) 1)) (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ (cbrt 1) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt 1) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt 1) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) 1)) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt 1) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt 1) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt 1) (sqrt (cbrt V))) 1)) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) l)) (sqrt (/ (/ (cbrt 1) 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt 1) 1) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) (sqrt (/ (/ (cbrt 1) 1) 1)) (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (* (cbrt V) (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (* (cbrt V) (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (* (cbrt V) (cbrt V)))) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (sqrt V))) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt 1)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt 1)) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt 1)) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt (cbrt V))) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) 1) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) 1) 1)) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (* (cbrt V) (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (* (cbrt V) (cbrt V)))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (* (cbrt V) (cbrt V)))) 1)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) 1)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) l)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt 1)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt 1)) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt 1)) 1)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (sqrt (cbrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) 1)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) 1)) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) l)) (sqrt (/ (/ (sqrt (cbrt A)) 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) 1) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) 1) 1)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ 1 (cbrt (* (cbrt V) (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (cbrt (* (cbrt V) (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ 1 (cbrt (* (cbrt V) (cbrt V)))) 1)) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) l)) (sqrt (/ (/ 1 (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ 1 (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ 1 (cbrt (sqrt V))) 1)) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) l)) (sqrt (/ (/ 1 (cbrt 1)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ 1 (cbrt 1)) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) (sqrt (/ (/ 1 (cbrt 1)) 1)) (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V)))) 1)) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) l)) (sqrt (/ (/ 1 (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ 1 (sqrt (cbrt V))) 1)) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) l)) (sqrt (/ (/ 1 1) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ 1 1) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) (sqrt (/ (/ 1 1) 1)) (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) (sqrt (/ 1 1)) (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (cbrt A) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 (cbrt V)) (cbrt l))) (sqrt (/ (cbrt A) (sqrt l))) (sqrt (/ (/ 1 (cbrt V)) (sqrt l))) (sqrt (/ (cbrt A) 1)) (sqrt (/ (/ 1 (cbrt V)) l)) (sqrt 1) (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (cbrt A) (cbrt V))) (sqrt (/ 1 l)) (sqrt (/ (cbrt A) (cbrt V))) (sqrt l) (/ 1 2) (sqrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (+ (log c0) (+ (log (fabs (/ (cbrt A) (cbrt V)))) (log (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (+ (log c0) (log (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (exp (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (* (* (* c0 c0) c0) (* (* (* (fabs (/ (cbrt A) (cbrt V))) (fabs (/ (cbrt A) (cbrt V)))) (fabs (/ (cbrt A) (cbrt V)))) (* (* (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (* (* (* c0 c0) c0) (* (* (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (* (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))) (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (* (* (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (sqrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (sqrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (* c0 (fabs (/ (cbrt A) (cbrt V)))) (* (cbrt c0) (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* (sqrt c0) (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (cbrt V))))) (log (cbrt V)) (exp (cbrt V)) (cbrt (* (cbrt V) (cbrt V))) (cbrt (cbrt V)) (cbrt (sqrt V)) (cbrt (sqrt V)) (cbrt 1) (cbrt V) (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)) (* (* (cbrt V) (cbrt V)) (cbrt V)) (sqrt (cbrt V)) (sqrt (cbrt V)) (log (cbrt V)) (exp (cbrt V)) (cbrt (* (cbrt V) (cbrt V))) (cbrt (cbrt V)) (cbrt (sqrt V)) (cbrt (sqrt V)) (cbrt 1) (cbrt V) (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)) (* (* (cbrt V) (cbrt V)) (cbrt V)) (sqrt (cbrt V)) (sqrt (cbrt V)) (- (+ (* +nan.0 (* (exp (* 1/6 (- (log A) (log V)))) l)) (- (+ (* +nan.0 (* (exp (* 1/6 (- (log A) (log V)))) (pow l 2))) (- (* +nan.0 (exp (* 1/6 (- (log A) (log V)))))))))) (- (+ (* +nan.0 (/ (exp (* 1/6 (- (log (/ 1 V)) (log (/ 1 A))))) l)) (- (* +nan.0 (/ (exp (* 1/6 (- (log (/ 1 V)) (log (/ 1 A))))) (pow l 2)))))) (- (+ (* +nan.0 (/ (pow (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A))))) 2) (pow l 2))) (- (* +nan.0 (/ (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A))))) l))))) (* +nan.0 (* (fabs (pow (/ A V) 1/3)) (* (exp (* 1/6 (- (log A) (log V)))) c0))) (* +nan.0 (/ (* (exp (* 1/6 (- (log (/ 1 V)) (log (/ 1 A))))) (* (fabs (pow (/ A V) 1/3)) c0)) l)) (- (+ (* +nan.0 (/ (* (fabs (pow (/ A V) 1/3)) (* c0 (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A))))))) l)) (- (* +nan.0 (/ (* (fabs (pow (/ A V) 1/3)) (* c0 (pow (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A))))) 2))) (pow l 2)))))) (pow V 1/3) (pow (/ 1 V) -1/3) (* (pow (* -1 V) 1/3) (cbrt -1)) (pow V 1/3) (pow (/ 1 V) -1/3) (* (pow (* -1 V) 1/3) (cbrt -1)) 4.420 * * [simplify]: iteration 0 : 548 enodes (cost 3662 ) 4.552 * * [simplify]: iteration 1 : 1027 enodes (cost 3391 ) 4.795 * * [simplify]: iteration 2 : 2651 enodes (cost 3218 ) 5.293 * * [simplify]: iteration done : 5000 enodes (cost 3217 ) 5.294 * [simplify]: Simplified to: (log (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (exp (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (* (cbrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (cbrt (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (cbrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (pow (sqrt (/ (/ (cbrt A) (cbrt V)) l)) 3) (fabs (cbrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (cbrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (fabs (/ (cbrt (/ (cbrt A) (cbrt V))) (cbrt l))) (sqrt (/ (cbrt (/ (cbrt A) (cbrt V))) (cbrt l))) (sqrt (/ (* (cbrt (/ (cbrt A) (cbrt V))) (cbrt (/ (cbrt A) (cbrt V)))) (sqrt l))) (sqrt (/ (cbrt (/ (cbrt A) (cbrt V))) (sqrt l))) (fabs (cbrt (/ (cbrt A) (cbrt V)))) (sqrt (/ (cbrt (/ (cbrt A) (cbrt V))) l)) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) (cbrt l))) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) (sqrt l))) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) (sqrt l))) (sqrt (sqrt (/ (cbrt A) (cbrt V)))) (sqrt (/ (sqrt (/ (cbrt A) (cbrt V))) l)) (sqrt (/ (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (pow V 2/3))) (cbrt l)) (cbrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt l)) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (sqrt V)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) l)) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (cbrt (* (cbrt A) (cbrt A)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt (cbrt V)))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) l)) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (cbrt (* (cbrt A) (cbrt A)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (cbrt (sqrt A)) (* (cbrt l) (cbrt l))) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt l)) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (cbrt (sqrt A)) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (cbrt (sqrt A)) (cbrt (sqrt V)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (sqrt V))) l)) (sqrt (/ (cbrt (sqrt A)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (cbrt (sqrt A)) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) (sqrt l))) (sqrt (cbrt (sqrt A))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) l)) (sqrt (/ (/ (cbrt (sqrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (cbrt (sqrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (cbrt (sqrt A)) (sqrt (cbrt V)))) (sqrt (/ (/ (cbrt (sqrt A)) (sqrt (cbrt V))) l)) (sqrt (/ (cbrt (sqrt A)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (cbrt (sqrt A)) (sqrt l))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) (sqrt l))) (sqrt (cbrt (sqrt A))) (sqrt (/ (/ (cbrt (sqrt A)) (cbrt V)) l)) (sqrt (/ (/ 1 (* (cbrt l) (cbrt l))) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (sqrt l)) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ 1 (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) l)) (sqrt (/ (/ 1 (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ 1 (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ 1 (cbrt (sqrt V)))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) l)) (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) 1 (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) l)) (sqrt (/ (/ 1 (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ 1 (sqrt (cbrt V)))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) l)) (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) 1 (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt l) (cbrt l))) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt l)) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (cbrt (cbrt A)) (/ (cbrt (pow V 2/3)) (cbrt (cbrt A))))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (sqrt V)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (sqrt V))) l)) (sqrt (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (sqrt l))) (fabs (cbrt (cbrt A))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (fabs (/ (cbrt (cbrt A)) (cbrt (cbrt V)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt (cbrt V)))) (sqrt (/ (/ (cbrt (cbrt A)) (sqrt (cbrt V))) l)) (sqrt (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) (sqrt l))) (fabs (cbrt (cbrt A))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (pow V 2/3))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt l)) (cbrt (pow V 2/3)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (sqrt (cbrt A)) (cbrt (pow V 2/3)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (sqrt (cbrt A)) (cbrt (sqrt V)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (sqrt V))) l)) (sqrt (/ (sqrt (cbrt A)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (sqrt (cbrt A)) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (sqrt (cbrt A))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ (sqrt (cbrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ (sqrt (cbrt A)) (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt (cbrt V))) l)) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (sqrt (cbrt A)) (sqrt (cbrt V)))) (sqrt (/ (/ (sqrt (cbrt A)) (sqrt (cbrt V))) l)) (sqrt (/ (sqrt (cbrt A)) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) (cbrt l))) (sqrt (/ (sqrt (cbrt A)) (sqrt l))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) (sqrt l))) (sqrt (sqrt (cbrt A))) (sqrt (/ (/ (sqrt (cbrt A)) (cbrt V)) l)) (sqrt (/ (/ 1 (* (cbrt l) (cbrt l))) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (sqrt l)) (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ 1 (cbrt (pow V 2/3)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) l)) (sqrt (/ (/ 1 (cbrt (sqrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) (cbrt l))) (sqrt (/ (/ 1 (cbrt (sqrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) (sqrt l))) (sqrt (/ 1 (cbrt (sqrt V)))) (sqrt (/ (/ (cbrt A) (cbrt (sqrt V))) l)) (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) 1 (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) (sqrt l))) (sqrt (/ 1 (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (/ (cbrt A) (cbrt (cbrt V))) l)) (sqrt (/ (/ 1 (sqrt (cbrt V))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) (cbrt l))) (sqrt (/ (/ 1 (sqrt (cbrt V))) (sqrt l))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) (sqrt l))) (sqrt (/ 1 (sqrt (cbrt V)))) (sqrt (/ (/ (cbrt A) (sqrt (cbrt V))) l)) (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) 1 (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ 1 (sqrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l))) 1 (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (cbrt A) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 (cbrt V)) (cbrt l))) (sqrt (/ (cbrt A) (sqrt l))) (sqrt (/ (/ 1 (cbrt V)) (sqrt l))) (sqrt (cbrt A)) (sqrt (/ (/ 1 (cbrt V)) l)) 1 (sqrt (/ (/ (cbrt A) (cbrt V)) l)) (sqrt (/ (cbrt A) (cbrt V))) (sqrt (/ 1 l)) (sqrt (/ (cbrt A) (cbrt V))) (sqrt l) 1/2 (sqrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (sqrt (sqrt (/ (/ (cbrt A) (cbrt V)) l))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (exp (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (pow (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) 3) (pow (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) 3) (* (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))) (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (pow (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) 3) (sqrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (sqrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))) (* c0 (fabs (/ (cbrt A) (cbrt V)))) (* (cbrt c0) (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* (sqrt c0) (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (cbrt V))))) (log (cbrt V)) (exp (cbrt V)) (cbrt (pow V 2/3)) (cbrt (cbrt V)) (cbrt (sqrt V)) (cbrt (sqrt V)) 1 (cbrt V) (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)) (pow (cbrt V) 3) (sqrt (cbrt V)) (sqrt (cbrt V)) (log (cbrt V)) (exp (cbrt V)) (cbrt (pow V 2/3)) (cbrt (cbrt V)) (cbrt (sqrt V)) (cbrt (sqrt V)) 1 (cbrt V) (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)) (pow (cbrt V) 3) (sqrt (cbrt V)) (sqrt (cbrt V)) (- (* +nan.0 (- (* (exp (* 1/6 (- (log A) (log V)))) (pow l 2)) (exp (* 1/6 (- (log A) (log V)))))) (* +nan.0 (* (exp (* 1/6 (- (log A) (log V)))) l))) (- (* +nan.0 (- (/ (exp (* 1/6 (- (log A) (log V)))) l) (/ (/ (exp (* 1/6 (- (log A) (log V)))) l) l)))) (- (* +nan.0 (- (/ (pow (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A))))) 2) (pow l 2)) (/ (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A))))) l)))) (* (* (fabs (cbrt (/ A V))) (* (exp (* 1/6 (- (log A) (log V)))) c0)) +nan.0) (/ (* (* (fabs (cbrt (/ A V))) (* (exp (* 1/6 (- (log A) (log V)))) c0)) +nan.0) l) (- (* +nan.0 (- (/ (* (* c0 (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A)))))) (fabs (cbrt (/ A V)))) l) (/ (* (fabs (cbrt (/ A V))) (* c0 (pow (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A))))) 2))) (pow l 2))))) (cbrt V) (pow (/ 1 V) -1/3) (* (cbrt (- V)) (cbrt -1)) (cbrt V) (pow (/ 1 V) -1/3) (* (cbrt (- V)) (cbrt -1)) 5.296 * * * [progress]: adding candidates to table 5.957 * * [progress]: iteration 4 / 4 5.957 * * * [progress]: picking best candidate 6.015 * * * * [pick]: Picked # 6.015 * * * [progress]: localizing error 6.048 * * * [progress]: generating rewritten candidates 6.048 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 6.765 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1 2) 6.766 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 2 2) 6.767 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 1) 6.769 * * * [progress]: generating series expansions 6.769 * * * * [progress]: [ 1 / 4 ] generating series at (2) 6.770 * [approximate]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in (c0 A V l) around 0 6.770 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in l 6.770 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in l 6.770 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in l 6.770 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in l 6.770 * [taylor]: Taking taylor expansion of 1/6 in l 6.770 * [taylor]: Taking taylor expansion of (log (/ A V)) in l 6.770 * [taylor]: Taking taylor expansion of (/ A V) in l 6.770 * [taylor]: Taking taylor expansion of A in l 6.770 * [taylor]: Taking taylor expansion of V in l 6.770 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in l 6.770 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in l 6.770 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in l 6.771 * [taylor]: Taking taylor expansion of c0 in l 6.771 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in l 6.771 * [taylor]: Taking taylor expansion of (/ 1 l) in l 6.771 * [taylor]: Taking taylor expansion of l in l 6.773 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in V 6.773 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in V 6.773 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in V 6.773 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in V 6.773 * [taylor]: Taking taylor expansion of 1/6 in V 6.773 * [taylor]: Taking taylor expansion of (log (/ A V)) in V 6.773 * [taylor]: Taking taylor expansion of (/ A V) in V 6.773 * [taylor]: Taking taylor expansion of A in V 6.773 * [taylor]: Taking taylor expansion of V in V 6.773 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in V 6.774 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in V 6.774 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in V 6.774 * [taylor]: Taking taylor expansion of c0 in V 6.774 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in V 6.774 * [taylor]: Taking taylor expansion of (/ 1 l) in V 6.774 * [taylor]: Taking taylor expansion of l in V 6.774 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in A 6.774 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in A 6.774 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in A 6.774 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in A 6.774 * [taylor]: Taking taylor expansion of 1/6 in A 6.774 * [taylor]: Taking taylor expansion of (log (/ A V)) in A 6.774 * [taylor]: Taking taylor expansion of (/ A V) in A 6.774 * [taylor]: Taking taylor expansion of A in A 6.774 * [taylor]: Taking taylor expansion of V in A 6.775 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in A 6.775 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in A 6.775 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in A 6.775 * [taylor]: Taking taylor expansion of c0 in A 6.775 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in A 6.775 * [taylor]: Taking taylor expansion of (/ 1 l) in A 6.775 * [taylor]: Taking taylor expansion of l in A 6.775 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in c0 6.775 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in c0 6.775 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in c0 6.775 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in c0 6.775 * [taylor]: Taking taylor expansion of 1/6 in c0 6.775 * [taylor]: Taking taylor expansion of (log (/ A V)) in c0 6.775 * [taylor]: Taking taylor expansion of (/ A V) in c0 6.775 * [taylor]: Taking taylor expansion of A in c0 6.775 * [taylor]: Taking taylor expansion of V in c0 6.775 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in c0 6.775 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in c0 6.775 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in c0 6.775 * [taylor]: Taking taylor expansion of c0 in c0 6.775 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in c0 6.775 * [taylor]: Taking taylor expansion of (/ 1 l) in c0 6.775 * [taylor]: Taking taylor expansion of l in c0 6.776 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l)))) in c0 6.776 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in c0 6.776 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in c0 6.776 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in c0 6.776 * [taylor]: Taking taylor expansion of 1/6 in c0 6.776 * [taylor]: Taking taylor expansion of (log (/ A V)) in c0 6.776 * [taylor]: Taking taylor expansion of (/ A V) in c0 6.776 * [taylor]: Taking taylor expansion of A in c0 6.776 * [taylor]: Taking taylor expansion of V in c0 6.776 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) c0) (sqrt (/ 1 l))) in c0 6.776 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) c0) in c0 6.776 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in c0 6.776 * [taylor]: Taking taylor expansion of c0 in c0 6.776 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in c0 6.776 * [taylor]: Taking taylor expansion of (/ 1 l) in c0 6.776 * [taylor]: Taking taylor expansion of l in c0 6.776 * [taylor]: Taking taylor expansion of 0 in A 6.776 * [taylor]: Taking taylor expansion of 0 in V 6.776 * [taylor]: Taking taylor expansion of 0 in l 6.779 * [taylor]: Taking taylor expansion of (* (pow (/ A V) 1/6) (* (fabs (pow (/ A V) 1/3)) (sqrt (/ 1 l)))) in A 6.779 * [taylor]: Taking taylor expansion of (pow (/ A V) 1/6) in A 6.779 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ A V)))) in A 6.779 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ A V))) in A 6.779 * [taylor]: Taking taylor expansion of 1/6 in A 6.779 * [taylor]: Taking taylor expansion of (log (/ A V)) in A 6.779 * [taylor]: Taking taylor expansion of (/ A V) in A 6.779 * [taylor]: Taking taylor expansion of A in A 6.779 * [taylor]: Taking taylor expansion of V in A 6.780 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) (sqrt (/ 1 l))) in A 6.780 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in A 6.780 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in A 6.780 * [taylor]: Taking taylor expansion of (/ 1 l) in A 6.780 * [taylor]: Taking taylor expansion of l in A 6.781 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) (exp (* 1/6 (+ (log A) (log (/ 1 V)))))) (sqrt (/ 1 l))) in V 6.781 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) (exp (* 1/6 (+ (log A) (log (/ 1 V)))))) in V 6.781 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in V 6.781 * [taylor]: Taking taylor expansion of (exp (* 1/6 (+ (log A) (log (/ 1 V))))) in V 6.781 * [taylor]: Taking taylor expansion of (* 1/6 (+ (log A) (log (/ 1 V)))) in V 6.781 * [taylor]: Taking taylor expansion of 1/6 in V 6.781 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 V))) in V 6.781 * [taylor]: Taking taylor expansion of (log A) in V 6.781 * [taylor]: Taking taylor expansion of A in V 6.781 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 6.781 * [taylor]: Taking taylor expansion of (/ 1 V) in V 6.781 * [taylor]: Taking taylor expansion of V in V 6.782 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in V 6.782 * [taylor]: Taking taylor expansion of (/ 1 l) in V 6.782 * [taylor]: Taking taylor expansion of l in V 6.782 * [taylor]: Taking taylor expansion of (* (* (fabs (pow (/ A V) 1/3)) (exp (* 1/6 (- (log A) (log V))))) (sqrt (/ 1 l))) in l 6.782 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ A V) 1/3)) (exp (* 1/6 (- (log A) (log V))))) in l 6.782 * [taylor]: Taking taylor expansion of (fabs (pow (/ A V) 1/3)) in l 6.782 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log A) (log V)))) in l 6.783 * [taylor]: Taking taylor expansion of (* 1/6 (- (log A) (log V))) in l 6.783 * [taylor]: Taking taylor expansion of 1/6 in l 6.783 * [taylor]: Taking taylor expansion of (- (log A) (log V)) in l 6.783 * [taylor]: Taking taylor expansion of (log A) in l 6.783 * [taylor]: Taking taylor expansion of A in l 6.783 * [taylor]: Taking taylor expansion of (log V) in l 6.783 * [taylor]: Taking taylor expansion of V in l 6.783 * [taylor]: Taking taylor expansion of (sqrt (/ 1 l)) in l 6.783 * [taylor]: Taking taylor expansion of (/ 1 l) in l 6.783 * [taylor]: Taking taylor expansion of l in l 6.785 * [taylor]: Taking taylor expansion of 0 in V 6.785 * [taylor]: Taking taylor expansion of 0 in l 6.785 * [taylor]: Taking taylor expansion of 0 in l 6.789 * [taylor]: Taking taylor expansion of 0 in A 6.789 * [taylor]: Taking taylor expansion of 0 in V 6.789 * [taylor]: Taking taylor expansion of 0 in l 6.791 * [taylor]: Taking taylor expansion of 0 in V 6.792 * [taylor]: Taking taylor expansion of 0 in l 6.792 * [taylor]: Taking taylor expansion of 0 in V 6.792 * [taylor]: Taking taylor expansion of 0 in l 6.795 * [taylor]: Taking taylor expansion of 0 in l 6.795 * [taylor]: Taking taylor expansion of 0 in l 6.795 * [taylor]: Taking taylor expansion of 0 in l 6.804 * [taylor]: Taking taylor expansion of 0 in A 6.804 * [taylor]: Taking taylor expansion of 0 in V 6.804 * [taylor]: Taking taylor expansion of 0 in l 6.804 * [taylor]: Taking taylor expansion of 0 in V 6.804 * [taylor]: Taking taylor expansion of 0 in l 6.808 * [taylor]: Taking taylor expansion of 0 in V 6.808 * [taylor]: Taking taylor expansion of 0 in l 6.808 * [taylor]: Taking taylor expansion of 0 in V 6.808 * [taylor]: Taking taylor expansion of 0 in l 6.808 * [taylor]: Taking taylor expansion of 0 in l 6.808 * [taylor]: Taking taylor expansion of 0 in l 6.808 * [taylor]: Taking taylor expansion of 0 in l 6.814 * [taylor]: Taking taylor expansion of 0 in l 6.814 * [taylor]: Taking taylor expansion of 0 in l 6.814 * [taylor]: Taking taylor expansion of 0 in l 6.815 * [approximate]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in (c0 A V l) around 0 6.815 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in l 6.815 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in l 6.815 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in l 6.816 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in l 6.816 * [taylor]: Taking taylor expansion of 1/6 in l 6.816 * [taylor]: Taking taylor expansion of (log (/ V A)) in l 6.816 * [taylor]: Taking taylor expansion of (/ V A) in l 6.816 * [taylor]: Taking taylor expansion of V in l 6.816 * [taylor]: Taking taylor expansion of A in l 6.816 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in l 6.816 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in l 6.816 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in l 6.816 * [taylor]: Taking taylor expansion of c0 in l 6.816 * [taylor]: Taking taylor expansion of (sqrt l) in l 6.816 * [taylor]: Taking taylor expansion of l in l 6.817 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in V 6.817 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in V 6.817 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in V 6.817 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in V 6.817 * [taylor]: Taking taylor expansion of 1/6 in V 6.817 * [taylor]: Taking taylor expansion of (log (/ V A)) in V 6.817 * [taylor]: Taking taylor expansion of (/ V A) in V 6.817 * [taylor]: Taking taylor expansion of V in V 6.817 * [taylor]: Taking taylor expansion of A in V 6.818 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in V 6.818 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in V 6.818 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in V 6.818 * [taylor]: Taking taylor expansion of c0 in V 6.818 * [taylor]: Taking taylor expansion of (sqrt l) in V 6.818 * [taylor]: Taking taylor expansion of l in V 6.818 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in A 6.818 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in A 6.818 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in A 6.818 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in A 6.818 * [taylor]: Taking taylor expansion of 1/6 in A 6.818 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 6.818 * [taylor]: Taking taylor expansion of (/ V A) in A 6.818 * [taylor]: Taking taylor expansion of V in A 6.818 * [taylor]: Taking taylor expansion of A in A 6.819 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in A 6.819 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in A 6.819 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in A 6.819 * [taylor]: Taking taylor expansion of c0 in A 6.819 * [taylor]: Taking taylor expansion of (sqrt l) in A 6.819 * [taylor]: Taking taylor expansion of l in A 6.819 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in c0 6.819 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in c0 6.819 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in c0 6.819 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in c0 6.819 * [taylor]: Taking taylor expansion of 1/6 in c0 6.819 * [taylor]: Taking taylor expansion of (log (/ V A)) in c0 6.819 * [taylor]: Taking taylor expansion of (/ V A) in c0 6.819 * [taylor]: Taking taylor expansion of V in c0 6.819 * [taylor]: Taking taylor expansion of A in c0 6.819 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in c0 6.819 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in c0 6.819 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in c0 6.820 * [taylor]: Taking taylor expansion of c0 in c0 6.820 * [taylor]: Taking taylor expansion of (sqrt l) in c0 6.820 * [taylor]: Taking taylor expansion of l in c0 6.820 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l))) in c0 6.820 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in c0 6.820 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in c0 6.820 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in c0 6.820 * [taylor]: Taking taylor expansion of 1/6 in c0 6.820 * [taylor]: Taking taylor expansion of (log (/ V A)) in c0 6.820 * [taylor]: Taking taylor expansion of (/ V A) in c0 6.820 * [taylor]: Taking taylor expansion of V in c0 6.820 * [taylor]: Taking taylor expansion of A in c0 6.820 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ V A) 1/3)) c0) (sqrt l)) in c0 6.820 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in c0 6.820 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in c0 6.820 * [taylor]: Taking taylor expansion of c0 in c0 6.820 * [taylor]: Taking taylor expansion of (sqrt l) in c0 6.820 * [taylor]: Taking taylor expansion of l in c0 6.821 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (fabs (pow (/ V A) 1/3)) (sqrt l))) in A 6.821 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in A 6.821 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in A 6.821 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in A 6.821 * [taylor]: Taking taylor expansion of 1/6 in A 6.821 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 6.821 * [taylor]: Taking taylor expansion of (/ V A) in A 6.821 * [taylor]: Taking taylor expansion of V in A 6.821 * [taylor]: Taking taylor expansion of A in A 6.821 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ V A) 1/3)) (sqrt l)) in A 6.821 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in A 6.821 * [taylor]: Taking taylor expansion of (sqrt l) in A 6.822 * [taylor]: Taking taylor expansion of l in A 6.822 * [taylor]: Taking taylor expansion of (* (* (exp (* 1/6 (- (log V) (log A)))) (fabs (pow (/ V A) 1/3))) (sqrt l)) in V 6.822 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log V) (log A)))) (fabs (pow (/ V A) 1/3))) in V 6.822 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log V) (log A)))) in V 6.822 * [taylor]: Taking taylor expansion of (* 1/6 (- (log V) (log A))) in V 6.822 * [taylor]: Taking taylor expansion of 1/6 in V 6.822 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in V 6.822 * [taylor]: Taking taylor expansion of (log V) in V 6.822 * [taylor]: Taking taylor expansion of V in V 6.822 * [taylor]: Taking taylor expansion of (log A) in V 6.822 * [taylor]: Taking taylor expansion of A in V 6.823 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in V 6.823 * [taylor]: Taking taylor expansion of (sqrt l) in V 6.823 * [taylor]: Taking taylor expansion of l in V 6.823 * [taylor]: Taking taylor expansion of (* (* (exp (* 1/6 (- (log V) (log A)))) (fabs (pow (/ V A) 1/3))) (sqrt l)) in l 6.823 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log V) (log A)))) (fabs (pow (/ V A) 1/3))) in l 6.823 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log V) (log A)))) in l 6.823 * [taylor]: Taking taylor expansion of (* 1/6 (- (log V) (log A))) in l 6.823 * [taylor]: Taking taylor expansion of 1/6 in l 6.823 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in l 6.823 * [taylor]: Taking taylor expansion of (log V) in l 6.823 * [taylor]: Taking taylor expansion of V in l 6.823 * [taylor]: Taking taylor expansion of (log A) in l 6.823 * [taylor]: Taking taylor expansion of A in l 6.824 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in l 6.824 * [taylor]: Taking taylor expansion of (sqrt l) in l 6.824 * [taylor]: Taking taylor expansion of l in l 6.827 * [taylor]: Taking taylor expansion of 0 in A 6.828 * [taylor]: Taking taylor expansion of 0 in V 6.828 * [taylor]: Taking taylor expansion of 0 in l 6.830 * [taylor]: Taking taylor expansion of 0 in V 6.830 * [taylor]: Taking taylor expansion of 0 in l 6.833 * [taylor]: Taking taylor expansion of 0 in l 6.846 * [taylor]: Taking taylor expansion of 0 in A 6.846 * [taylor]: Taking taylor expansion of 0 in V 6.846 * [taylor]: Taking taylor expansion of 0 in l 6.846 * [taylor]: Taking taylor expansion of 0 in V 6.846 * [taylor]: Taking taylor expansion of 0 in l 6.851 * [taylor]: Taking taylor expansion of 0 in V 6.851 * [taylor]: Taking taylor expansion of 0 in l 6.851 * [taylor]: Taking taylor expansion of 0 in l 6.851 * [taylor]: Taking taylor expansion of 0 in l 6.857 * [taylor]: Taking taylor expansion of 0 in l 6.859 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)))) in (c0 A V l) around 0 6.859 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)))) in l 6.859 * [taylor]: Taking taylor expansion of -1 in l 6.859 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0))) in l 6.859 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in l 6.859 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in l 6.859 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in l 6.859 * [taylor]: Taking taylor expansion of 1/6 in l 6.859 * [taylor]: Taking taylor expansion of (log (/ V A)) in l 6.859 * [taylor]: Taking taylor expansion of (/ V A) in l 6.859 * [taylor]: Taking taylor expansion of V in l 6.859 * [taylor]: Taking taylor expansion of A in l 6.859 * [taylor]: Taking taylor expansion of (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)) in l 6.859 * [taylor]: Taking taylor expansion of (sqrt (/ l (pow (cbrt -1) 3))) in l 6.859 * [taylor]: Taking taylor expansion of (/ l (pow (cbrt -1) 3)) in l 6.859 * [taylor]: Taking taylor expansion of l in l 6.859 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 6.859 * [taylor]: Taking taylor expansion of (cbrt -1) in l 6.859 * [taylor]: Taking taylor expansion of -1 in l 6.865 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in l 6.865 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in l 6.865 * [taylor]: Taking taylor expansion of c0 in l 6.865 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)))) in V 6.865 * [taylor]: Taking taylor expansion of -1 in V 6.865 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0))) in V 6.865 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in V 6.865 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in V 6.865 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in V 6.865 * [taylor]: Taking taylor expansion of 1/6 in V 6.865 * [taylor]: Taking taylor expansion of (log (/ V A)) in V 6.865 * [taylor]: Taking taylor expansion of (/ V A) in V 6.865 * [taylor]: Taking taylor expansion of V in V 6.865 * [taylor]: Taking taylor expansion of A in V 6.866 * [taylor]: Taking taylor expansion of (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)) in V 6.866 * [taylor]: Taking taylor expansion of (sqrt (/ l (pow (cbrt -1) 3))) in V 6.866 * [taylor]: Taking taylor expansion of (/ l (pow (cbrt -1) 3)) in V 6.866 * [taylor]: Taking taylor expansion of l in V 6.866 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in V 6.866 * [taylor]: Taking taylor expansion of (cbrt -1) in V 6.866 * [taylor]: Taking taylor expansion of -1 in V 6.871 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in V 6.871 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in V 6.871 * [taylor]: Taking taylor expansion of c0 in V 6.871 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)))) in A 6.871 * [taylor]: Taking taylor expansion of -1 in A 6.871 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0))) in A 6.872 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in A 6.872 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in A 6.872 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in A 6.872 * [taylor]: Taking taylor expansion of 1/6 in A 6.872 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 6.872 * [taylor]: Taking taylor expansion of (/ V A) in A 6.872 * [taylor]: Taking taylor expansion of V in A 6.872 * [taylor]: Taking taylor expansion of A in A 6.872 * [taylor]: Taking taylor expansion of (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)) in A 6.872 * [taylor]: Taking taylor expansion of (sqrt (/ l (pow (cbrt -1) 3))) in A 6.872 * [taylor]: Taking taylor expansion of (/ l (pow (cbrt -1) 3)) in A 6.872 * [taylor]: Taking taylor expansion of l in A 6.872 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in A 6.872 * [taylor]: Taking taylor expansion of (cbrt -1) in A 6.872 * [taylor]: Taking taylor expansion of -1 in A 6.878 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in A 6.878 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in A 6.878 * [taylor]: Taking taylor expansion of c0 in A 6.878 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)))) in c0 6.878 * [taylor]: Taking taylor expansion of -1 in c0 6.878 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0))) in c0 6.878 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in c0 6.878 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in c0 6.878 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in c0 6.878 * [taylor]: Taking taylor expansion of 1/6 in c0 6.878 * [taylor]: Taking taylor expansion of (log (/ V A)) in c0 6.878 * [taylor]: Taking taylor expansion of (/ V A) in c0 6.878 * [taylor]: Taking taylor expansion of V in c0 6.878 * [taylor]: Taking taylor expansion of A in c0 6.878 * [taylor]: Taking taylor expansion of (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)) in c0 6.878 * [taylor]: Taking taylor expansion of (sqrt (/ l (pow (cbrt -1) 3))) in c0 6.878 * [taylor]: Taking taylor expansion of (/ l (pow (cbrt -1) 3)) in c0 6.878 * [taylor]: Taking taylor expansion of l in c0 6.878 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in c0 6.878 * [taylor]: Taking taylor expansion of (cbrt -1) in c0 6.878 * [taylor]: Taking taylor expansion of -1 in c0 6.884 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in c0 6.884 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in c0 6.884 * [taylor]: Taking taylor expansion of c0 in c0 6.884 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)))) in c0 6.884 * [taylor]: Taking taylor expansion of -1 in c0 6.884 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0))) in c0 6.884 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in c0 6.884 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in c0 6.884 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in c0 6.884 * [taylor]: Taking taylor expansion of 1/6 in c0 6.884 * [taylor]: Taking taylor expansion of (log (/ V A)) in c0 6.884 * [taylor]: Taking taylor expansion of (/ V A) in c0 6.884 * [taylor]: Taking taylor expansion of V in c0 6.884 * [taylor]: Taking taylor expansion of A in c0 6.884 * [taylor]: Taking taylor expansion of (* (sqrt (/ l (pow (cbrt -1) 3))) (/ (fabs (pow (/ V A) 1/3)) c0)) in c0 6.884 * [taylor]: Taking taylor expansion of (sqrt (/ l (pow (cbrt -1) 3))) in c0 6.884 * [taylor]: Taking taylor expansion of (/ l (pow (cbrt -1) 3)) in c0 6.884 * [taylor]: Taking taylor expansion of l in c0 6.884 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in c0 6.884 * [taylor]: Taking taylor expansion of (cbrt -1) in c0 6.884 * [taylor]: Taking taylor expansion of -1 in c0 6.890 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ V A) 1/3)) c0) in c0 6.890 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in c0 6.890 * [taylor]: Taking taylor expansion of c0 in c0 6.891 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ V A) 1/6) (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l))))) in A 6.891 * [taylor]: Taking taylor expansion of -1 in A 6.891 * [taylor]: Taking taylor expansion of (* (pow (/ V A) 1/6) (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l)))) in A 6.891 * [taylor]: Taking taylor expansion of (pow (/ V A) 1/6) in A 6.891 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ V A)))) in A 6.891 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ V A))) in A 6.891 * [taylor]: Taking taylor expansion of 1/6 in A 6.891 * [taylor]: Taking taylor expansion of (log (/ V A)) in A 6.891 * [taylor]: Taking taylor expansion of (/ V A) in A 6.891 * [taylor]: Taking taylor expansion of V in A 6.891 * [taylor]: Taking taylor expansion of A in A 6.891 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l))) in A 6.891 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in A 6.891 * [taylor]: Taking taylor expansion of (sqrt (* -1 l)) in A 6.892 * [taylor]: Taking taylor expansion of (* -1 l) in A 6.892 * [taylor]: Taking taylor expansion of -1 in A 6.892 * [taylor]: Taking taylor expansion of l in A 6.892 * [taylor]: Taking taylor expansion of (* -1 (* (exp (* 1/6 (- (log V) (log A)))) (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l))))) in V 6.892 * [taylor]: Taking taylor expansion of -1 in V 6.892 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log V) (log A)))) (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l)))) in V 6.892 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log V) (log A)))) in V 6.892 * [taylor]: Taking taylor expansion of (* 1/6 (- (log V) (log A))) in V 6.892 * [taylor]: Taking taylor expansion of 1/6 in V 6.892 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in V 6.893 * [taylor]: Taking taylor expansion of (log V) in V 6.893 * [taylor]: Taking taylor expansion of V in V 6.893 * [taylor]: Taking taylor expansion of (log A) in V 6.893 * [taylor]: Taking taylor expansion of A in V 6.893 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l))) in V 6.893 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in V 6.893 * [taylor]: Taking taylor expansion of (sqrt (* -1 l)) in V 6.893 * [taylor]: Taking taylor expansion of (* -1 l) in V 6.893 * [taylor]: Taking taylor expansion of -1 in V 6.893 * [taylor]: Taking taylor expansion of l in V 6.894 * [taylor]: Taking taylor expansion of (* -1 (* (exp (* 1/6 (- (log V) (log A)))) (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l))))) in l 6.894 * [taylor]: Taking taylor expansion of -1 in l 6.894 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log V) (log A)))) (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l)))) in l 6.894 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log V) (log A)))) in l 6.894 * [taylor]: Taking taylor expansion of (* 1/6 (- (log V) (log A))) in l 6.894 * [taylor]: Taking taylor expansion of 1/6 in l 6.894 * [taylor]: Taking taylor expansion of (- (log V) (log A)) in l 6.894 * [taylor]: Taking taylor expansion of (log V) in l 6.894 * [taylor]: Taking taylor expansion of V in l 6.894 * [taylor]: Taking taylor expansion of (log A) in l 6.894 * [taylor]: Taking taylor expansion of A in l 6.895 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ V A) 1/3)) (sqrt (* -1 l))) in l 6.895 * [taylor]: Taking taylor expansion of (fabs (pow (/ V A) 1/3)) in l 6.895 * [taylor]: Taking taylor expansion of (sqrt (* -1 l)) in l 6.895 * [taylor]: Taking taylor expansion of (* -1 l) in l 6.895 * [taylor]: Taking taylor expansion of -1 in l 6.895 * [taylor]: Taking taylor expansion of l in l 6.900 * [taylor]: Taking taylor expansion of 0 in A 6.900 * [taylor]: Taking taylor expansion of 0 in V 6.900 * [taylor]: Taking taylor expansion of 0 in l 6.903 * [taylor]: Taking taylor expansion of 0 in V 6.903 * [taylor]: Taking taylor expansion of 0 in l 6.906 * [taylor]: Taking taylor expansion of 0 in l 6.919 * [taylor]: Taking taylor expansion of 0 in A 6.919 * [taylor]: Taking taylor expansion of 0 in V 6.919 * [taylor]: Taking taylor expansion of 0 in l 6.920 * [taylor]: Taking taylor expansion of 0 in V 6.920 * [taylor]: Taking taylor expansion of 0 in l 6.925 * [taylor]: Taking taylor expansion of 0 in V 6.926 * [taylor]: Taking taylor expansion of 0 in l 6.926 * [taylor]: Taking taylor expansion of 0 in l 6.926 * [taylor]: Taking taylor expansion of 0 in l 6.932 * [taylor]: Taking taylor expansion of 0 in l 6.933 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1 2) 6.933 * [approximate]: Taking taylor expansion of (pow V 1/9) in (V) around 0 6.933 * [taylor]: Taking taylor expansion of (pow V 1/9) in V 6.933 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V 6.933 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V 6.933 * [taylor]: Taking taylor expansion of 1/9 in V 6.933 * [taylor]: Taking taylor expansion of (log V) in V 6.933 * [taylor]: Taking taylor expansion of V in V 6.939 * [taylor]: Taking taylor expansion of (pow V 1/9) in V 6.939 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V 6.939 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V 6.939 * [taylor]: Taking taylor expansion of 1/9 in V 6.939 * [taylor]: Taking taylor expansion of (log V) in V 6.939 * [taylor]: Taking taylor expansion of V in V 6.988 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/9) in (V) around 0 6.988 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 6.988 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 6.988 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 6.988 * [taylor]: Taking taylor expansion of 1/9 in V 6.988 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 6.988 * [taylor]: Taking taylor expansion of (/ 1 V) in V 6.988 * [taylor]: Taking taylor expansion of V in V 6.989 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 6.989 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 6.989 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 6.989 * [taylor]: Taking taylor expansion of 1/9 in V 6.989 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 6.989 * [taylor]: Taking taylor expansion of (/ 1 V) in V 6.989 * [taylor]: Taking taylor expansion of V in V 7.048 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in (V) around 0 7.048 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V 7.048 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.048 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.048 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.048 * [taylor]: Taking taylor expansion of 1/9 in V 7.048 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.048 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.048 * [taylor]: Taking taylor expansion of V in V 7.049 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V 7.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V 7.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V 7.049 * [taylor]: Taking taylor expansion of 1/3 in V 7.049 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V 7.049 * [taylor]: Taking taylor expansion of (cbrt -1) in V 7.049 * [taylor]: Taking taylor expansion of -1 in V 7.053 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V 7.053 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.053 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.053 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.053 * [taylor]: Taking taylor expansion of 1/9 in V 7.053 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.053 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.053 * [taylor]: Taking taylor expansion of V in V 7.054 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V 7.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V 7.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V 7.054 * [taylor]: Taking taylor expansion of 1/3 in V 7.054 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V 7.054 * [taylor]: Taking taylor expansion of (cbrt -1) in V 7.054 * [taylor]: Taking taylor expansion of -1 in V 7.182 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 2 2) 7.182 * [approximate]: Taking taylor expansion of (pow V 1/9) in (V) around 0 7.182 * [taylor]: Taking taylor expansion of (pow V 1/9) in V 7.182 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V 7.182 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V 7.182 * [taylor]: Taking taylor expansion of 1/9 in V 7.182 * [taylor]: Taking taylor expansion of (log V) in V 7.182 * [taylor]: Taking taylor expansion of V in V 7.183 * [taylor]: Taking taylor expansion of (pow V 1/9) in V 7.183 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V 7.183 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V 7.183 * [taylor]: Taking taylor expansion of 1/9 in V 7.183 * [taylor]: Taking taylor expansion of (log V) in V 7.183 * [taylor]: Taking taylor expansion of V in V 7.230 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/9) in (V) around 0 7.230 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.230 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.230 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.230 * [taylor]: Taking taylor expansion of 1/9 in V 7.230 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.230 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.230 * [taylor]: Taking taylor expansion of V in V 7.231 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.231 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.231 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.231 * [taylor]: Taking taylor expansion of 1/9 in V 7.231 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.231 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.231 * [taylor]: Taking taylor expansion of V in V 7.287 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in (V) around 0 7.287 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V 7.287 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.287 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.287 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.287 * [taylor]: Taking taylor expansion of 1/9 in V 7.287 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.287 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.287 * [taylor]: Taking taylor expansion of V in V 7.288 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V 7.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V 7.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V 7.288 * [taylor]: Taking taylor expansion of 1/3 in V 7.288 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V 7.288 * [taylor]: Taking taylor expansion of (cbrt -1) in V 7.288 * [taylor]: Taking taylor expansion of -1 in V 7.292 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V 7.292 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.292 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.292 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.292 * [taylor]: Taking taylor expansion of 1/9 in V 7.292 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.292 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.292 * [taylor]: Taking taylor expansion of V in V 7.293 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V 7.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V 7.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V 7.293 * [taylor]: Taking taylor expansion of 1/3 in V 7.293 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V 7.293 * [taylor]: Taking taylor expansion of (cbrt -1) in V 7.293 * [taylor]: Taking taylor expansion of -1 in V 7.420 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 1) 7.421 * [approximate]: Taking taylor expansion of (pow V 1/9) in (V) around 0 7.421 * [taylor]: Taking taylor expansion of (pow V 1/9) in V 7.421 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V 7.421 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V 7.421 * [taylor]: Taking taylor expansion of 1/9 in V 7.421 * [taylor]: Taking taylor expansion of (log V) in V 7.421 * [taylor]: Taking taylor expansion of V in V 7.421 * [taylor]: Taking taylor expansion of (pow V 1/9) in V 7.421 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V 7.421 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V 7.421 * [taylor]: Taking taylor expansion of 1/9 in V 7.421 * [taylor]: Taking taylor expansion of (log V) in V 7.421 * [taylor]: Taking taylor expansion of V in V 7.468 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/9) in (V) around 0 7.468 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.468 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.468 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.468 * [taylor]: Taking taylor expansion of 1/9 in V 7.468 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.468 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.468 * [taylor]: Taking taylor expansion of V in V 7.469 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.469 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.469 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.469 * [taylor]: Taking taylor expansion of 1/9 in V 7.469 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.469 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.469 * [taylor]: Taking taylor expansion of V in V 7.526 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in (V) around 0 7.526 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V 7.526 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.526 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.526 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.526 * [taylor]: Taking taylor expansion of 1/9 in V 7.526 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.526 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.526 * [taylor]: Taking taylor expansion of V in V 7.527 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V 7.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V 7.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V 7.527 * [taylor]: Taking taylor expansion of 1/3 in V 7.527 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V 7.527 * [taylor]: Taking taylor expansion of (cbrt -1) in V 7.527 * [taylor]: Taking taylor expansion of -1 in V 7.531 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V 7.531 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V 7.531 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V 7.531 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V 7.531 * [taylor]: Taking taylor expansion of 1/9 in V 7.531 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V 7.531 * [taylor]: Taking taylor expansion of (/ 1 V) in V 7.531 * [taylor]: Taking taylor expansion of V in V 7.532 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V 7.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V 7.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V 7.532 * [taylor]: Taking taylor expansion of 1/3 in V 7.532 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V 7.532 * [taylor]: Taking taylor expansion of (cbrt -1) in V 7.532 * [taylor]: Taking taylor expansion of -1 in V 7.660 * * * [progress]: simplifying candidates 7.662 * [simplify]: Simplifying using # : (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (+ (log c0) (+ (log (fabs (/ (cbrt A) (cbrt V)))) (+ (log (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l))))) (log (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (+ (log c0) (+ (log (fabs (/ (cbrt A) (cbrt V)))) (log (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (+ (log c0) (log (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (exp (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (* (* (* c0 c0) c0) (* (* (* (fabs (/ (cbrt A) (cbrt V))) (fabs (/ (cbrt A) (cbrt V)))) (fabs (/ (cbrt A) (cbrt V)))) (* (* (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l))))) (* (* (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (* (* (* c0 c0) c0) (* (* (* (fabs (/ (cbrt A) (cbrt V))) (fabs (/ (cbrt A) (cbrt V)))) (fabs (/ (cbrt A) (cbrt V)))) (* (* (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (* (* (* c0 c0) c0) (* (* (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))) (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (* (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))))) (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (* (* (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (sqrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (sqrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (* c0 (fabs (/ (cbrt A) (cbrt V)))) (* (cbrt c0) (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* (sqrt c0) (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (cbrt (cbrt A)) (cbrt (cbrt V))))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (cbrt (cbrt A)) (cbrt (cbrt V))))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (log (cbrt (cbrt V))) (exp (cbrt (cbrt V))) (cbrt (cbrt (* (cbrt V) (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt 1)) (cbrt (cbrt V)) (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt 1) (cbrt (cbrt V)) (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (log (cbrt (cbrt V))) (exp (cbrt (cbrt V))) (cbrt (cbrt (* (cbrt V) (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt 1)) (cbrt (cbrt V)) (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt 1) (cbrt (cbrt V)) (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (log (cbrt (cbrt V))) (exp (cbrt (cbrt V))) (cbrt (cbrt (* (cbrt V) (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt 1)) (cbrt (cbrt V)) (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt 1) (cbrt (cbrt V)) (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (* +nan.0 (* (fabs (pow (/ A V) 1/3)) (* (exp (* 1/6 (- (log A) (log V)))) c0))) (* +nan.0 (/ (* (exp (* 1/6 (- (log (/ 1 V)) (log (/ 1 A))))) (* (fabs (pow (/ A V) 1/3)) c0)) l)) (* +nan.0 (/ (* (fabs (pow (/ A V) 1/3)) (* c0 (exp (* 1/6 (- (log (/ -1 V)) (log (/ -1 A))))))) l)) (pow V 1/9) (pow (/ 1 V) -1/9) (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3)) (pow V 1/9) (pow (/ 1 V) -1/9) (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3)) (pow V 1/9) (pow (/ 1 V) -1/9) (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3)) 7.667 * * [simplify]: iteration 0 : 141 enodes (cost 1712 ) 7.695 * * [simplify]: iteration 1 : 316 enodes (cost 1542 ) 7.757 * * [simplify]: iteration 2 : 980 enodes (cost 1330 ) 8.123 * * [simplify]: iteration 3 : 4608 enodes (cost 1321 ) 9.270 * * [simplify]: iteration done : 5000 enodes (cost 1321 ) 9.270 * [simplify]: Simplified to: (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (log (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (exp (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (pow (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) 3) (pow (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) 3) (pow (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) 3) (* (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))))) (cbrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (pow (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) 3) (sqrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (sqrt (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l))))))) (* c0 (fabs (/ (cbrt A) (cbrt V)))) (* (cbrt c0) (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* (sqrt c0) (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (cbrt (cbrt A)) (cbrt (cbrt V))))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (* (cbrt l) (cbrt l)))) (sqrt (/ (cbrt (cbrt A)) (cbrt (cbrt V))))))) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt (cbrt V)) (cbrt (cbrt V))))) (sqrt (/ (/ (cbrt (cbrt A)) (cbrt (cbrt V))) (cbrt l)))))) (log (cbrt (cbrt V))) (exp (cbrt (cbrt V))) (cbrt (cbrt (* (cbrt V) (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt (sqrt V))) 1 (cbrt (cbrt V)) (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt (sqrt (cbrt V))) 1 (cbrt (cbrt V)) (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt V) (sqrt (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (log (cbrt (cbrt V))) (exp (cbrt (cbrt V))) (cbrt (cbrt (* (cbrt V) (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt (sqrt V))) 1 (cbrt (cbrt V)) (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt (sqrt (cbrt V))) 1 (cbrt (cbrt V)) (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt V) (sqrt (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (log (cbrt (cbrt V))) (exp (cbrt (cbrt V))) (cbrt (cbrt (* (cbrt V) (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (cbrt (sqrt V))) (cbrt (cbrt (sqrt V))) 1 (cbrt (cbrt V)) (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt (sqrt (cbrt V))) (cbrt (sqrt (cbrt V))) 1 (cbrt (cbrt V)) (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V)))) (cbrt (cbrt (cbrt V))) (cbrt V) (sqrt (cbrt (cbrt V))) (sqrt (cbrt (cbrt V))) (* (* +nan.0 (fabs (cbrt (/ A V)))) (* (exp (* 1/6 (- (log A) (log V)))) c0)) (/ (* (* +nan.0 (fabs (cbrt (/ A V)))) (* (exp (* 1/6 (- (log A) (log V)))) c0)) l) (* (/ (* (* c0 (exp (* 1/6 (- (log (/ -1 V)) (log (/ -1 A)))))) (fabs (cbrt (/ A V)))) l) +nan.0) (pow V 1/9) (pow (/ 1 V) -1/9) (* (pow (- V) 1/9) (cbrt (cbrt -1))) (pow V 1/9) (pow (/ 1 V) -1/9) (* (pow (- V) 1/9) (cbrt (cbrt -1))) (pow V 1/9) (pow (/ 1 V) -1/9) (* (pow (- V) 1/9) (cbrt (cbrt -1))) 9.271 * * * [progress]: adding candidates to table 9.658 * [progress]: [Phase 3 of 3] Extracting. 9.658 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # #) 9.672 * * * [regime-changes]: Trying 8 branch expressions: ((* V l) (/ A (* V l)) (sqrt (/ A (* V l))) (* c0 (sqrt (/ A (* V l)))) l V A c0) 9.672 * * * * [regimes]: Trying to branch on (* V l) from (# # # # # # # # # # # # # # # # # # # #) 9.758 * * * * [regimes]: Trying to branch on (* V l) from (# #) 9.774 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (# # # # # # # # # # # # # # # # # # # #) 9.876 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (# #) 9.892 * * * * [regimes]: Trying to branch on (sqrt (/ A (* V l))) from (# # # # # # # # # # # # # # # # # # # #) 9.996 * * * * [regimes]: Trying to branch on (sqrt (/ A (* V l))) from (# #) 10.016 * * * * [regimes]: Trying to branch on (* c0 (sqrt (/ A (* V l)))) from (# # # # # # # # # # # # # # # # # # # #) 10.102 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # # # # # # # # # # #) 10.190 * * * * [regimes]: Trying to branch on V from (# # # # # # # # # # # # # # # # # # # #) 10.281 * * * * [regimes]: Trying to branch on A from (# # # # # # # # # # # # # # # # # # # #) 10.369 * * * * [regimes]: Trying to branch on c0 from (# # # # # # # # # # # # # # # # # # # #) 10.458 * * * [regime]: Found split indices: #