8.155 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying using # : (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 0.047 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 0.049 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 0.051 * * [simplify]: iteration 2 : 25 enodes (cost 16 ) 0.054 * * [simplify]: iteration 3 : 29 enodes (cost 15 ) 0.058 * * [simplify]: iteration 4 : 32 enodes (cost 15 ) 0.061 * * [simplify]: iteration 5 : 33 enodes (cost 15 ) 0.065 * * [simplify]: iteration done : 33 enodes (cost 15 ) 0.065 * [simplify]: Simplified to: (* 2.0 (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) 0.068 * * [progress]: iteration 1 / 4 0.068 * * * [progress]: picking best candidate 0.071 * * * * [pick]: Picked # 0.071 * * * [progress]: localizing error 0.083 * * * [progress]: generating rewritten candidates 0.084 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.085 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 3) 0.087 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 0.089 * * * [progress]: generating series expansions 0.089 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.090 * [approximate]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in (g h) around 0 0.090 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in h 0.090 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h))))) in h 0.090 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 0.090 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.090 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.090 * [taylor]: Taking taylor expansion of PI in h 0.090 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.090 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.090 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.092 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 0.092 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 0.092 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 0.092 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.092 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.092 * [taylor]: Taking taylor expansion of PI in g 0.092 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.092 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.092 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.094 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 0.094 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 0.094 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 0.094 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.094 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.094 * [taylor]: Taking taylor expansion of PI in g 0.094 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.094 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.094 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.097 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.097 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.097 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.097 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.097 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.098 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.098 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.098 * [taylor]: Taking taylor expansion of PI in h 0.107 * [taylor]: Taking taylor expansion of 0 in h 0.115 * [taylor]: Taking taylor expansion of 0 in h 0.124 * [taylor]: Taking taylor expansion of 0 in h 0.125 * [approximate]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in (g h) around 0 0.125 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 0.125 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 0.125 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.125 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.125 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.125 * [taylor]: Taking taylor expansion of PI in h 0.125 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.125 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.125 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.127 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 0.127 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 0.127 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.127 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.127 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.127 * [taylor]: Taking taylor expansion of PI in g 0.127 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.127 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.127 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.129 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 0.129 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 0.129 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.129 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.129 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.129 * [taylor]: Taking taylor expansion of PI in g 0.129 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.129 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.129 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.133 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.133 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.133 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.133 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.133 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.133 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.133 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.133 * [taylor]: Taking taylor expansion of PI in h 0.140 * [taylor]: Taking taylor expansion of 0 in h 0.148 * [taylor]: Taking taylor expansion of 0 in h 0.157 * [taylor]: Taking taylor expansion of 0 in h 0.158 * [approximate]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in (g h) around 0 0.158 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 0.158 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 0.158 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.158 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.158 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.158 * [taylor]: Taking taylor expansion of PI in h 0.158 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.158 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.158 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.160 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 0.160 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 0.160 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.160 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.160 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.160 * [taylor]: Taking taylor expansion of PI in g 0.160 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.160 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.160 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.161 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 0.161 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 0.162 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.162 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.162 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.162 * [taylor]: Taking taylor expansion of PI in g 0.162 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.162 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.162 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.165 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.165 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.165 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.165 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.165 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.165 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.165 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.165 * [taylor]: Taking taylor expansion of PI in h 0.172 * [taylor]: Taking taylor expansion of 0 in h 0.180 * [taylor]: Taking taylor expansion of 0 in h 0.192 * [taylor]: Taking taylor expansion of 0 in h 0.193 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 3) 0.193 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0 0.193 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.193 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.193 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.193 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.193 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.193 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.193 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.193 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.193 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.193 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.193 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.194 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.194 * [taylor]: Taking taylor expansion of 0 in h 0.195 * [taylor]: Taking taylor expansion of 0 in h 0.196 * [taylor]: Taking taylor expansion of 0 in h 0.197 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.197 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.197 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.197 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.197 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.198 * [taylor]: Taking taylor expansion of 0 in h 0.198 * [taylor]: Taking taylor expansion of 0 in h 0.200 * [taylor]: Taking taylor expansion of 0 in h 0.200 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.200 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.200 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.200 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.200 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.200 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.200 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.200 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.200 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.200 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.201 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.201 * [taylor]: Taking taylor expansion of 0 in h 0.202 * [taylor]: Taking taylor expansion of 0 in h 0.203 * [taylor]: Taking taylor expansion of 0 in h 0.204 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 0.204 * [approximate]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h))))) in (g h) around 0 0.204 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h))))) in h 0.204 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 0.204 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.204 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.204 * [taylor]: Taking taylor expansion of PI in h 0.204 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.204 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.204 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.204 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 0.205 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 0.205 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.205 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.205 * [taylor]: Taking taylor expansion of PI in g 0.205 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.205 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.205 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.205 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 0.205 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 0.205 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.205 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.205 * [taylor]: Taking taylor expansion of PI in g 0.205 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.205 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.205 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.206 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.206 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.206 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.206 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.206 * [taylor]: Taking taylor expansion of PI in h 0.208 * [taylor]: Taking taylor expansion of 0 in h 0.210 * [taylor]: Taking taylor expansion of 0 in h 0.214 * [taylor]: Taking taylor expansion of 0 in h 0.215 * [approximate]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in (g h) around 0 0.215 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 0.215 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.215 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.215 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.215 * [taylor]: Taking taylor expansion of PI in h 0.215 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.215 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.215 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.215 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 0.215 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.215 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.215 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.215 * [taylor]: Taking taylor expansion of PI in g 0.215 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.215 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.215 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.215 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 0.215 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.215 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.215 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.215 * [taylor]: Taking taylor expansion of PI in g 0.215 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.215 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.215 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.216 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.216 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.216 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.216 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.216 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.216 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.216 * [taylor]: Taking taylor expansion of PI in h 0.219 * [taylor]: Taking taylor expansion of 0 in h 0.221 * [taylor]: Taking taylor expansion of 0 in h 0.224 * [taylor]: Taking taylor expansion of 0 in h 0.225 * [approximate]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in (g h) around 0 0.225 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 0.225 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.225 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.225 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.225 * [taylor]: Taking taylor expansion of PI in h 0.225 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.225 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.225 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.225 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 0.225 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.225 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.225 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.225 * [taylor]: Taking taylor expansion of PI in g 0.225 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.225 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.225 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.225 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 0.225 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 0.225 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.225 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.226 * [taylor]: Taking taylor expansion of PI in g 0.226 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.226 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.226 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.226 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.226 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.226 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.227 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.227 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.227 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.227 * [taylor]: Taking taylor expansion of PI in h 0.229 * [taylor]: Taking taylor expansion of 0 in h 0.231 * [taylor]: Taking taylor expansion of 0 in h 0.235 * [taylor]: Taking taylor expansion of 0 in h 0.235 * * * [progress]: simplifying candidates 0.236 * [simplify]: Simplifying using # : (expm1 (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (log1p (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (* (cos (* (/ 2.0 3.0) PI)) (cos (/ (acos (/ (- g) h)) 3.0))) (* (sin (* (/ 2.0 3.0) PI)) (sin (/ (acos (/ (- g) h)) 3.0))) (log (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (exp (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (* (cbrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (* (* (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (sqrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (sqrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (expm1 (/ (acos (/ (- g) h)) 3.0)) (log1p (/ (acos (/ (- g) h)) 3.0)) (- (log (acos (/ (- g) h))) (log 3.0)) (log (/ (acos (/ (- g) h)) 3.0)) (exp (/ (acos (/ (- g) h)) 3.0)) (/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ (acos (/ (- g) h)) 3.0)) (cbrt (/ (acos (/ (- g) h)) 3.0))) (cbrt (/ (acos (/ (- g) h)) 3.0)) (* (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)) (/ (acos (/ (- g) h)) 3.0)) (sqrt (/ (acos (/ (- g) h)) 3.0)) (sqrt (/ (acos (/ (- g) h)) 3.0)) (- (acos (/ (- g) h))) (- 3.0) (/ (/ PI 2) 3.0) (/ (asin (/ (- g) h)) 3.0) (/ PI 3.0) (/ (acos (/ g h)) 3.0) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3.0)) (/ (cbrt (acos (/ (- g) h))) (sqrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) 1) (/ (cbrt (acos (/ (- g) h))) 3.0) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) 1) (/ (sqrt (acos (/ (- g) h))) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (/ (- g) h)) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)) (/ 1 1) (/ (acos (/ (- g) h)) 3.0) (/ 1 3.0) (/ 3.0 (acos (/ (- g) h))) (/ (acos (/ (- g) h)) (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)) (/ (acos (/ (- g) h)) 1) (/ 3.0 (cbrt (acos (/ (- g) h)))) (/ 3.0 (sqrt (acos (/ (- g) h)))) (/ 3.0 (acos (/ (- g) h))) (expm1 (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (log1p (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (* (/ 2.0 3.0) PI) (log (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (exp (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (* (cbrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (cbrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (cbrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (* (* (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)) (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (sqrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (sqrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.239 * * [simplify]: iteration 0 : 103 enodes (cost 842 ) 0.255 * * [simplify]: iteration 1 : 153 enodes (cost 818 ) 0.281 * * [simplify]: iteration 2 : 272 enodes (cost 740 ) 0.357 * * [simplify]: iteration 3 : 587 enodes (cost 740 ) 0.527 * * [simplify]: iteration 4 : 1253 enodes (cost 740 ) 1.091 * * [simplify]: iteration 5 : 3082 enodes (cost 740 ) 1.991 * * [simplify]: iteration done : 5000 enodes (cost 740 ) 1.994 * [simplify]: Simplified to: (expm1 (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (log1p (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (* (cos (* (/ 2.0 3.0) PI)) (cos (/ (acos (/ (- g) h)) 3.0))) (* (sin (* (/ 2.0 3.0) PI)) (sin (/ (acos (/ (- g) h)) 3.0))) (log (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (exp (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (* (cbrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (pow (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) 3) (sqrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (sqrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (expm1 (/ (acos (/ (- g) h)) 3.0)) (log1p (/ (acos (/ (- g) h)) 3.0)) (log (/ (acos (/ (- g) h)) 3.0)) (log (/ (acos (/ (- g) h)) 3.0)) (exp (/ (acos (/ (- g) h)) 3.0)) (pow (/ (acos (/ (- g) h)) 3.0) 3) (* (cbrt (/ (acos (/ (- g) h)) 3.0)) (cbrt (/ (acos (/ (- g) h)) 3.0))) (cbrt (/ (acos (/ (- g) h)) 3.0)) (pow (/ (acos (/ (- g) h)) 3.0) 3) (sqrt (/ (acos (/ (- g) h)) 3.0)) (sqrt (/ (acos (/ (- g) h)) 3.0)) (- (acos (/ (- g) h))) (- 3.0) (/ (/ PI 2) 3.0) (/ (asin (/ (- g) h)) 3.0) (/ PI 3.0) (/ (acos (/ g h)) 3.0) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3.0)) (/ (cbrt (acos (/ (- g) h))) (sqrt 3.0)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (/ (cbrt (acos (/ (- g) h))) 3.0) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0)) (sqrt (acos (/ (- g) h))) (/ (sqrt (acos (/ (- g) h))) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (/ (- g) h)) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)) 1 (/ (acos (/ (- g) h)) 3.0) (/ 1 3.0) (/ 3.0 (acos (/ (- g) h))) (/ (acos (/ (- g) h)) (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)) (acos (/ (- g) h)) (/ 3.0 (cbrt (acos (/ (- g) h)))) (/ 3.0 (sqrt (acos (/ (- g) h)))) (/ 3.0 (acos (/ (- g) h))) (expm1 (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (log1p (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (* (/ 2.0 3.0) PI) (log (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (exp (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (* (cbrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (cbrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))) (cbrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (pow (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)) 3) (sqrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (sqrt (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (* (acos (/ (- g) h)) 0.3333333333333333) (* (acos (/ (- g) h)) 0.3333333333333333) (* (acos (/ (- g) h)) 0.3333333333333333) (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI)) (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI)) (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI)) 1.994 * * * [progress]: adding candidates to table 2.179 * * [progress]: iteration 2 / 4 2.179 * * * [progress]: picking best candidate 2.192 * * * * [pick]: Picked # 2.192 * * * [progress]: localizing error 2.212 * * * [progress]: generating rewritten candidates 2.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.213 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 3 2) 2.221 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 3 2 1) 2.222 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 3 1 1 2) 2.225 * * * [progress]: generating series expansions 2.225 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.227 * [approximate]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3)))) in (g h) around 0 2.227 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3)))) in h 2.228 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3))) in h 2.228 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3))) 2.228 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 2.228 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 2.228 * [taylor]: Taking taylor expansion of PI in h 2.228 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3)) in h 2.228 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 2.228 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in h 2.228 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.228 * [taylor]: Taking taylor expansion of 3.0 in h 2.233 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3)))) in g 2.233 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3))) in g 2.233 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3))) 2.233 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 2.233 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 2.233 * [taylor]: Taking taylor expansion of PI in g 2.233 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3)) in g 2.233 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 2.233 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in g 2.233 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.233 * [taylor]: Taking taylor expansion of 3.0 in g 2.238 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3)))) in g 2.238 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3))) in g 2.238 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3))) 2.238 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 2.238 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 2.238 * [taylor]: Taking taylor expansion of PI in g 2.238 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (cbrt 3.0) 3)) in g 2.238 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 2.238 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in g 2.238 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.238 * [taylor]: Taking taylor expansion of 3.0 in g 2.245 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 2.245 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 2.245 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 2.245 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 2.245 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 2.245 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 2.245 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 2.245 * [taylor]: Taking taylor expansion of PI in h 2.254 * [taylor]: Taking taylor expansion of 0 in h 2.264 * [taylor]: Taking taylor expansion of 0 in h 2.277 * [taylor]: Taking taylor expansion of 0 in h 2.279 * [approximate]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)))) in (g h) around 0 2.279 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)))) in h 2.279 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) in h 2.279 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) 2.279 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 2.279 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 2.279 * [taylor]: Taking taylor expansion of PI in h 2.279 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)) in h 2.279 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.279 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in h 2.279 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.279 * [taylor]: Taking taylor expansion of 3.0 in h 2.284 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)))) in g 2.285 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) in g 2.285 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) 2.285 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 2.285 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 2.285 * [taylor]: Taking taylor expansion of PI in g 2.285 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)) in g 2.285 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.285 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in g 2.285 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.285 * [taylor]: Taking taylor expansion of 3.0 in g 2.290 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)))) in g 2.290 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) in g 2.290 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) 2.290 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 2.290 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 2.290 * [taylor]: Taking taylor expansion of PI in g 2.290 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)) in g 2.290 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.290 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in g 2.290 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.290 * [taylor]: Taking taylor expansion of 3.0 in g 2.296 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 2.296 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 2.296 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 2.296 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 2.296 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.296 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 2.297 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 2.297 * [taylor]: Taking taylor expansion of PI in h 2.310 * [taylor]: Taking taylor expansion of 0 in h 2.321 * [taylor]: Taking taylor expansion of 0 in h 2.334 * [taylor]: Taking taylor expansion of 0 in h 2.336 * [approximate]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)))) in (g h) around 0 2.336 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)))) in h 2.336 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) in h 2.336 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) 2.336 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 2.336 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 2.337 * [taylor]: Taking taylor expansion of PI in h 2.337 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)) in h 2.337 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.337 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in h 2.337 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.337 * [taylor]: Taking taylor expansion of 3.0 in h 2.342 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)))) in g 2.342 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) in g 2.342 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) 2.342 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 2.342 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 2.342 * [taylor]: Taking taylor expansion of PI in g 2.342 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)) in g 2.342 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.342 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in g 2.342 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.342 * [taylor]: Taking taylor expansion of 3.0 in g 2.347 * [taylor]: Taking taylor expansion of (cos (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)))) in g 2.347 * [taylor]: Taking taylor expansion of (fma 0.6666666666666666 PI (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) in g 2.347 * [taylor]: Rewrote expression to (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3))) 2.347 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 2.347 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 2.347 * [taylor]: Taking taylor expansion of PI in g 2.347 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (cbrt 3.0) 3)) in g 2.347 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.347 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in g 2.347 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.347 * [taylor]: Taking taylor expansion of 3.0 in g 2.353 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 2.354 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 2.354 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 2.354 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 2.354 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.354 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 2.354 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 2.354 * [taylor]: Taking taylor expansion of PI in h 2.362 * [taylor]: Taking taylor expansion of 0 in h 2.373 * [taylor]: Taking taylor expansion of 0 in h 2.386 * [taylor]: Taking taylor expansion of 0 in h 2.386 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 3 2) 2.387 * [approximate]: Taking taylor expansion of (* (/ 1 (cbrt 3.0)) (pow (acos (* -1 (/ g h))) 1/3)) in (g h) around 0 2.387 * [taylor]: Taking taylor expansion of (* (/ 1 (cbrt 3.0)) (pow (acos (* -1 (/ g h))) 1/3)) in h 2.387 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in h 2.387 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.387 * [taylor]: Taking taylor expansion of 3.0 in h 2.388 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in h 2.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in h 2.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in h 2.388 * [taylor]: Taking taylor expansion of 1/3 in h 2.388 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in h 2.388 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 2.389 * [taylor]: Taking taylor expansion of (* (/ 1 (cbrt 3.0)) (pow (acos (* -1 (/ g h))) 1/3)) in g 2.389 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in g 2.389 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.389 * [taylor]: Taking taylor expansion of 3.0 in g 2.395 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in g 2.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in g 2.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in g 2.395 * [taylor]: Taking taylor expansion of 1/3 in g 2.395 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in g 2.395 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 2.395 * [taylor]: Taking taylor expansion of (* (/ 1 (cbrt 3.0)) (pow (acos (* -1 (/ g h))) 1/3)) in g 2.395 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in g 2.395 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.395 * [taylor]: Taking taylor expansion of 3.0 in g 2.397 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in g 2.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in g 2.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in g 2.397 * [taylor]: Taking taylor expansion of 1/3 in g 2.397 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in g 2.397 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 2.398 * [taylor]: Taking taylor expansion of (* (/ 1 (cbrt 3.0)) (pow (acos (* -1 (/ g h))) 1/3)) in h 2.398 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in h 2.398 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.398 * [taylor]: Taking taylor expansion of 3.0 in h 2.399 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in h 2.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in h 2.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in h 2.399 * [taylor]: Taking taylor expansion of 1/3 in h 2.399 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in h 2.399 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 2.403 * [taylor]: Taking taylor expansion of 0 in h 2.411 * [taylor]: Taking taylor expansion of 0 in h 2.422 * [taylor]: Taking taylor expansion of 0 in h 2.423 * [approximate]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in (g h) around 0 2.423 * [taylor]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in h 2.423 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.424 * [taylor]: Taking taylor expansion of 1/3 in h 2.424 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.424 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.424 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in h 2.424 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.424 * [taylor]: Taking taylor expansion of 3.0 in h 2.425 * [taylor]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in g 2.425 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.425 * [taylor]: Taking taylor expansion of 1/3 in g 2.425 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.425 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.425 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in g 2.425 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.426 * [taylor]: Taking taylor expansion of 3.0 in g 2.427 * [taylor]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in g 2.427 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.427 * [taylor]: Taking taylor expansion of 1/3 in g 2.427 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.427 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.427 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in g 2.427 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.427 * [taylor]: Taking taylor expansion of 3.0 in g 2.429 * [taylor]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in h 2.429 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.429 * [taylor]: Taking taylor expansion of 1/3 in h 2.429 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.429 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.430 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in h 2.430 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.430 * [taylor]: Taking taylor expansion of 3.0 in h 2.435 * [taylor]: Taking taylor expansion of 0 in h 2.442 * [taylor]: Taking taylor expansion of 0 in h 2.452 * [taylor]: Taking taylor expansion of 0 in h 2.453 * [approximate]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in (g h) around 0 2.453 * [taylor]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in h 2.453 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.453 * [taylor]: Taking taylor expansion of 1/3 in h 2.453 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.453 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.454 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in h 2.454 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.454 * [taylor]: Taking taylor expansion of 3.0 in h 2.455 * [taylor]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in g 2.455 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.455 * [taylor]: Taking taylor expansion of 1/3 in g 2.455 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.455 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.455 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in g 2.456 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.456 * [taylor]: Taking taylor expansion of 3.0 in g 2.457 * [taylor]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in g 2.457 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.457 * [taylor]: Taking taylor expansion of 1/3 in g 2.457 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.457 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.457 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in g 2.457 * [taylor]: Taking taylor expansion of (cbrt 3.0) in g 2.457 * [taylor]: Taking taylor expansion of 3.0 in g 2.459 * [taylor]: Taking taylor expansion of (* (pow (acos (* -1 (/ h g))) 1/3) (/ 1 (cbrt 3.0))) in h 2.459 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.459 * [taylor]: Taking taylor expansion of 1/3 in h 2.459 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.459 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.460 * [taylor]: Taking taylor expansion of (/ 1 (cbrt 3.0)) in h 2.460 * [taylor]: Taking taylor expansion of (cbrt 3.0) in h 2.460 * [taylor]: Taking taylor expansion of 3.0 in h 2.465 * [taylor]: Taking taylor expansion of 0 in h 2.472 * [taylor]: Taking taylor expansion of 0 in h 2.488 * [taylor]: Taking taylor expansion of 0 in h 2.489 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 3 2 1) 2.489 * [approximate]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in (g h) around 0 2.489 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in h 2.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in h 2.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in h 2.489 * [taylor]: Taking taylor expansion of 1/3 in h 2.489 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in h 2.489 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 2.489 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in g 2.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in g 2.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in g 2.489 * [taylor]: Taking taylor expansion of 1/3 in g 2.489 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in g 2.489 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 2.490 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in g 2.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in g 2.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in g 2.490 * [taylor]: Taking taylor expansion of 1/3 in g 2.490 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in g 2.490 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 2.490 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in h 2.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in h 2.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in h 2.490 * [taylor]: Taking taylor expansion of 1/3 in h 2.490 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in h 2.490 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 2.492 * [taylor]: Taking taylor expansion of 0 in h 2.496 * [taylor]: Taking taylor expansion of 0 in h 2.502 * [taylor]: Taking taylor expansion of 0 in h 2.503 * [approximate]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in (g h) around 0 2.503 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.503 * [taylor]: Taking taylor expansion of 1/3 in h 2.503 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.503 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.503 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.503 * [taylor]: Taking taylor expansion of 1/3 in g 2.503 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.503 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.503 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.504 * [taylor]: Taking taylor expansion of 1/3 in g 2.504 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.504 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.504 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.504 * [taylor]: Taking taylor expansion of 1/3 in h 2.504 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.504 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.506 * [taylor]: Taking taylor expansion of 0 in h 2.510 * [taylor]: Taking taylor expansion of 0 in h 2.516 * [taylor]: Taking taylor expansion of 0 in h 2.516 * [approximate]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in (g h) around 0 2.516 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.516 * [taylor]: Taking taylor expansion of 1/3 in h 2.516 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.516 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.516 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.516 * [taylor]: Taking taylor expansion of 1/3 in g 2.516 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.516 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.517 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.517 * [taylor]: Taking taylor expansion of 1/3 in g 2.517 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.517 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.517 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.517 * [taylor]: Taking taylor expansion of 1/3 in h 2.517 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.517 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.519 * [taylor]: Taking taylor expansion of 0 in h 2.523 * [taylor]: Taking taylor expansion of 0 in h 2.529 * [taylor]: Taking taylor expansion of 0 in h 2.529 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 3 1 1 2) 2.529 * [approximate]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in (g h) around 0 2.529 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in h 2.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in h 2.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in h 2.529 * [taylor]: Taking taylor expansion of 1/3 in h 2.529 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in h 2.529 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 2.530 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in g 2.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in g 2.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in g 2.530 * [taylor]: Taking taylor expansion of 1/3 in g 2.530 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in g 2.530 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 2.530 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in g 2.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in g 2.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in g 2.530 * [taylor]: Taking taylor expansion of 1/3 in g 2.530 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in g 2.530 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 2.530 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ g h))) 1/3) in h 2.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ g h)))))) in h 2.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ g h))))) in h 2.530 * [taylor]: Taking taylor expansion of 1/3 in h 2.531 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ g h)))) in h 2.531 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 2.532 * [taylor]: Taking taylor expansion of 0 in h 2.537 * [taylor]: Taking taylor expansion of 0 in h 2.543 * [taylor]: Taking taylor expansion of 0 in h 2.543 * [approximate]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in (g h) around 0 2.543 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.543 * [taylor]: Taking taylor expansion of 1/3 in h 2.544 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.544 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.544 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.544 * [taylor]: Taking taylor expansion of 1/3 in g 2.544 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.544 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.544 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.544 * [taylor]: Taking taylor expansion of 1/3 in g 2.544 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.544 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.544 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.545 * [taylor]: Taking taylor expansion of 1/3 in h 2.545 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.545 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.546 * [taylor]: Taking taylor expansion of 0 in h 2.550 * [taylor]: Taking taylor expansion of 0 in h 2.556 * [taylor]: Taking taylor expansion of 0 in h 2.557 * [approximate]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in (g h) around 0 2.557 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.557 * [taylor]: Taking taylor expansion of 1/3 in h 2.557 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.557 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.557 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.557 * [taylor]: Taking taylor expansion of 1/3 in g 2.557 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.557 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.557 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in g 2.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in g 2.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in g 2.558 * [taylor]: Taking taylor expansion of 1/3 in g 2.558 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in g 2.558 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 2.558 * [taylor]: Taking taylor expansion of (pow (acos (* -1 (/ h g))) 1/3) in h 2.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (* -1 (/ h g)))))) in h 2.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (* -1 (/ h g))))) in h 2.558 * [taylor]: Taking taylor expansion of 1/3 in h 2.558 * [taylor]: Taking taylor expansion of (log (acos (* -1 (/ h g)))) in h 2.558 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 2.560 * [taylor]: Taking taylor expansion of 0 in h 2.564 * [taylor]: Taking taylor expansion of 0 in h 2.575 * [taylor]: Taking taylor expansion of 0 in h 2.576 * * * [progress]: simplifying candidates 2.578 * [simplify]: Simplifying using # : (expm1 (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (log1p (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (* (cos (* (/ 2.0 3.0) PI)) (cos (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))))) (* (sin (* (/ 2.0 3.0) PI)) (sin (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))))) (log (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (exp (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (* (cbrt (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (cbrt (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))))))) (cbrt (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (* (* (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))))) (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (sqrt (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (sqrt (cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))) (expm1 (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (log1p (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (- (log (cbrt (acos (/ (- g) h)))) (log (cbrt 3.0))) (log (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (exp (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0) (* (cbrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (cbrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))) (cbrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (* (* (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (sqrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (sqrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (- (cbrt (acos (/ (- g) h)))) (- (cbrt 3.0)) (/ (cbrt (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (cbrt (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))) (cbrt (sqrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (/ (cbrt (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))) (cbrt 1)) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (cbrt (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (cbrt (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))) (sqrt (cbrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (/ (cbrt (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))) 1) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt 1)) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (cbrt (sqrt (acos (/ (- g) h)))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) 1) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (cbrt 1) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (cbrt 3.0))) (/ (cbrt 1) (cbrt (sqrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt (sqrt 3.0))) (/ (cbrt 1) (cbrt 1)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (cbrt 1) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (cbrt 3.0))) (/ (cbrt 1) (sqrt (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (sqrt (cbrt 3.0))) (/ (cbrt 1) 1) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt (sqrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt 1)) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (sqrt (cbrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) 1) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt 1)) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (sqrt (cbrt (acos (/ (- g) h)))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) 1) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (cbrt 3.0))) (/ 1 (cbrt (sqrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt (sqrt 3.0))) (/ 1 (cbrt 1)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (cbrt 3.0))) (/ 1 (sqrt (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (sqrt (cbrt 3.0))) (/ 1 1) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ 1 (cbrt 3.0)) (/ (cbrt 3.0) (cbrt (acos (/ (- g) h)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (sqrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 1)) (/ (cbrt (acos (/ (- g) h))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (sqrt (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) 1) (/ (cbrt 3.0) (cbrt (cbrt (acos (/ (- g) h))))) (/ (cbrt 3.0) (cbrt (sqrt (acos (/ (- g) h))))) (/ (cbrt 3.0) (cbrt (acos (/ (- g) h)))) (/ (cbrt 3.0) (cbrt (cbrt (acos (/ (- g) h))))) (/ (cbrt 3.0) (sqrt (cbrt (acos (/ (- g) h))))) (/ (cbrt 3.0) (cbrt (acos (/ (- g) h)))) (expm1 (cbrt (acos (/ (- g) h)))) (log1p (cbrt (acos (/ (- g) h)))) (log (cbrt (acos (/ (- g) h)))) (exp (cbrt (acos (/ (- g) h)))) (cbrt (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))) (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (sqrt (acos (/ (- g) h)))) (cbrt 1) (cbrt (acos (/ (- g) h))) (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt (cbrt (acos (/ (- g) h)))) (* (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (cbrt (acos (/ (- g) h)))) (sqrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt (acos (/ (- g) h)))) (expm1 (cbrt (acos (/ (- g) h)))) (log1p (cbrt (acos (/ (- g) h)))) (log (cbrt (acos (/ (- g) h)))) (exp (cbrt (acos (/ (- g) h)))) (cbrt (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))) (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (sqrt (acos (/ (- g) h)))) (cbrt 1) (cbrt (acos (/ (- g) h))) (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt (cbrt (acos (/ (- g) h)))) (* (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (cbrt (acos (/ (- g) h)))) (sqrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt (acos (/ (- g) h)))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (* (/ 1 (cbrt 3.0)) (pow (acos (* -1 (/ g h))) 1/3)) (* (/ 1 (cbrt 3.0)) (pow (acos (* -1 (/ g h))) 1/3)) (* (/ 1 (cbrt 3.0)) (pow (acos (* -1 (/ g h))) 1/3)) (pow (acos (* -1 (/ g h))) 1/3) (pow (acos (* -1 (/ g h))) 1/3) (pow (acos (* -1 (/ g h))) 1/3) (pow (acos (* -1 (/ g h))) 1/3) (pow (acos (* -1 (/ g h))) 1/3) (pow (acos (* -1 (/ g h))) 1/3) 2.583 * * [simplify]: iteration 0 : 136 enodes (cost 1985 ) 2.607 * * [simplify]: iteration 1 : 204 enodes (cost 1917 ) 2.645 * * [simplify]: iteration 2 : 392 enodes (cost 1535 ) 2.857 * * [simplify]: iteration 3 : 1322 enodes (cost 1516 ) 4.705 * * [simplify]: iteration done : 5000 enodes (cost 1516 ) 4.706 * [simplify]: Simplified to: (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (log1p (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* (cos (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))) (cos (* (/ 2.0 3.0) PI))) (* (sin (* (/ 2.0 3.0) PI)) (sin (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (log (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (expm1 (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (log1p (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (log (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (log (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (exp (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0) (* (cbrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (cbrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))) (cbrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)) (sqrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (sqrt (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))) (- (cbrt (acos (/ (- g) h)))) (- (cbrt 3.0)) (/ (cbrt (pow (acos (/ (- g) h)) 2/3)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (cbrt (pow (acos (/ (- g) h)) 2/3)) (cbrt (sqrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (cbrt (pow (acos (/ (- g) h)) 2/3)) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (/ (cbrt (pow (acos (/ (- g) h)) 2/3)) (cbrt (cbrt 3.0))) (cbrt (cbrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (cbrt (pow (acos (/ (- g) h)) 2/3)) (sqrt (cbrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (cbrt (pow (acos (/ (- g) h)) 2/3)) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (cbrt (sqrt (acos (/ (- g) h)))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (cbrt (sqrt (acos (/ (- g) h)))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (cbrt (sqrt (acos (/ (- g) h)))) (/ (cbrt (sqrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (cbrt 3.0))) (/ 1 (cbrt (sqrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt (sqrt 3.0))) 1 (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (cbrt 3.0))) (/ 1 (sqrt (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (sqrt (cbrt 3.0))) 1 (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt (sqrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (sqrt (cbrt 3.0))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (/ (cbrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt 3.0))) (sqrt (cbrt (acos (/ (- g) h)))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ (sqrt (cbrt (acos (/ (- g) h)))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt 3.0))) (sqrt (cbrt (acos (/ (- g) h)))) (/ (sqrt (cbrt (acos (/ (- g) h)))) (cbrt 3.0)) (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (cbrt 3.0))) (/ 1 (cbrt (sqrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt (sqrt 3.0))) 1 (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (cbrt 3.0))) (/ 1 (sqrt (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (sqrt (cbrt 3.0))) 1 (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ 1 (cbrt 3.0)) (/ (cbrt 3.0) (cbrt (acos (/ (- g) h)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (cbrt (sqrt 3.0))) (cbrt (acos (/ (- g) h))) (/ (cbrt (acos (/ (- g) h))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (acos (/ (- g) h))) (sqrt (cbrt 3.0))) (cbrt (acos (/ (- g) h))) (/ (cbrt 3.0) (cbrt (cbrt (acos (/ (- g) h))))) (/ (cbrt 3.0) (cbrt (sqrt (acos (/ (- g) h))))) (/ (cbrt 3.0) (cbrt (acos (/ (- g) h)))) (/ (cbrt 3.0) (cbrt (cbrt (acos (/ (- g) h))))) (/ (cbrt 3.0) (sqrt (cbrt (acos (/ (- g) h))))) (/ (cbrt 3.0) (cbrt (acos (/ (- g) h)))) (expm1 (cbrt (acos (/ (- g) h)))) (log1p (cbrt (acos (/ (- g) h)))) (log (cbrt (acos (/ (- g) h)))) (exp (cbrt (acos (/ (- g) h)))) (cbrt (pow (acos (/ (- g) h)) 2/3)) (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (sqrt (acos (/ (- g) h)))) 1 (cbrt (acos (/ (- g) h))) (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt (cbrt (acos (/ (- g) h)))) (acos (/ (- g) h)) (sqrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt (acos (/ (- g) h)))) (expm1 (cbrt (acos (/ (- g) h)))) (log1p (cbrt (acos (/ (- g) h)))) (log (cbrt (acos (/ (- g) h)))) (exp (cbrt (acos (/ (- g) h)))) (cbrt (pow (acos (/ (- g) h)) 2/3)) (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (sqrt (acos (/ (- g) h)))) (cbrt (sqrt (acos (/ (- g) h)))) 1 (cbrt (acos (/ (- g) h))) (* (cbrt (cbrt (acos (/ (- g) h)))) (cbrt (cbrt (acos (/ (- g) h))))) (cbrt (cbrt (acos (/ (- g) h)))) (acos (/ (- g) h)) (sqrt (cbrt (acos (/ (- g) h)))) (sqrt (cbrt (acos (/ (- g) h)))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))) 4.707 * * * [progress]: adding candidates to table 5.116 * * [progress]: iteration 3 / 4 5.116 * * * [progress]: picking best candidate 5.127 * * * * [pick]: Picked # 5.128 * * * [progress]: localizing error 5.151 * * * [progress]: generating rewritten candidates 5.151 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 3 2) 5.153 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 5.154 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 5.155 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 5.156 * * * [progress]: generating series expansions 5.156 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 3 2) 5.156 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.158 * [approximate]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))))) in (g h) around 0 5.158 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))))) in h 5.158 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))))) 5.158 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))))) in h 5.158 * [taylor]: Taking taylor expansion of 1 in h 5.158 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in h 5.158 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) 1) 5.158 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in h 5.158 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in h 5.158 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in h 5.158 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.158 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.158 * [taylor]: Taking taylor expansion of PI in h 5.158 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.158 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 5.158 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.158 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 5.162 * [taylor]: Taking taylor expansion of 1 in h 5.163 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))))) in g 5.163 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))))) 5.163 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))))) in g 5.163 * [taylor]: Taking taylor expansion of 1 in g 5.163 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in g 5.164 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) 1) 5.164 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in g 5.164 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 5.164 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 5.164 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.164 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.164 * [taylor]: Taking taylor expansion of PI in g 5.164 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.164 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 5.164 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.164 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 5.167 * [taylor]: Taking taylor expansion of 1 in g 5.169 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))))) in g 5.169 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))))) 5.169 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))))) in g 5.169 * [taylor]: Taking taylor expansion of 1 in g 5.169 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in g 5.169 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) 1) 5.169 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in g 5.169 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 5.170 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 5.170 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.170 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.170 * [taylor]: Taking taylor expansion of PI in g 5.170 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.170 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 5.170 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.170 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 5.173 * [taylor]: Taking taylor expansion of 1 in g 5.175 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 5.175 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 5.175 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 5.175 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.175 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 5.175 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.175 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.175 * [taylor]: Taking taylor expansion of PI in h 5.184 * [taylor]: Taking taylor expansion of 0 in h 5.196 * [taylor]: Taking taylor expansion of 0 in h 5.211 * [taylor]: Taking taylor expansion of 0 in h 5.212 * [approximate]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in (g h) around 0 5.212 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in h 5.212 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))))) 5.212 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in h 5.212 * [taylor]: Taking taylor expansion of 1 in h 5.212 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in h 5.212 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.212 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in h 5.212 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 5.212 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 5.212 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.212 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.213 * [taylor]: Taking taylor expansion of PI in h 5.213 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.213 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.213 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.213 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.216 * [taylor]: Taking taylor expansion of 1 in h 5.218 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in g 5.218 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))))) 5.218 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in g 5.218 * [taylor]: Taking taylor expansion of 1 in g 5.218 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.218 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.218 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.218 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.218 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.218 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.218 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.218 * [taylor]: Taking taylor expansion of PI in g 5.218 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.218 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.218 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.218 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.222 * [taylor]: Taking taylor expansion of 1 in g 5.223 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in g 5.224 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))))) 5.224 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in g 5.224 * [taylor]: Taking taylor expansion of 1 in g 5.224 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.224 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.224 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.224 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.224 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.224 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.224 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.224 * [taylor]: Taking taylor expansion of PI in g 5.224 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.224 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.224 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.224 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.227 * [taylor]: Taking taylor expansion of 1 in g 5.229 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 5.229 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 5.229 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.229 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.229 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.229 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.229 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.229 * [taylor]: Taking taylor expansion of PI in h 5.243 * [taylor]: Taking taylor expansion of 0 in h 5.255 * [taylor]: Taking taylor expansion of 0 in h 5.269 * [taylor]: Taking taylor expansion of 0 in h 5.271 * [approximate]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in (g h) around 0 5.271 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in h 5.271 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))))) 5.271 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in h 5.271 * [taylor]: Taking taylor expansion of 1 in h 5.271 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in h 5.271 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.271 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in h 5.271 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 5.271 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 5.271 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.271 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.271 * [taylor]: Taking taylor expansion of PI in h 5.271 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.271 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.271 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.272 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.275 * [taylor]: Taking taylor expansion of 1 in h 5.276 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in g 5.277 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))))) 5.277 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in g 5.277 * [taylor]: Taking taylor expansion of 1 in g 5.277 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.277 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.277 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.277 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.277 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.277 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.277 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.277 * [taylor]: Taking taylor expansion of PI in g 5.277 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.277 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.277 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.277 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.280 * [taylor]: Taking taylor expansion of 1 in g 5.282 * [taylor]: Taking taylor expansion of (log1p (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in g 5.282 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))))) 5.282 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))))) in g 5.282 * [taylor]: Taking taylor expansion of 1 in g 5.282 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.282 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.282 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.282 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.282 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.282 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.282 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.282 * [taylor]: Taking taylor expansion of PI in g 5.282 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.282 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.282 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.286 * [taylor]: Taking taylor expansion of 1 in g 5.288 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 5.288 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 5.288 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.288 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.288 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.288 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.288 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.288 * [taylor]: Taking taylor expansion of PI in h 5.297 * [taylor]: Taking taylor expansion of 0 in h 5.308 * [taylor]: Taking taylor expansion of 0 in h 5.322 * [taylor]: Taking taylor expansion of 0 in h 5.323 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 5.324 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in (g h) around 0 5.324 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in h 5.324 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in h 5.324 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.324 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.324 * [taylor]: Taking taylor expansion of PI in h 5.324 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.324 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 5.324 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.324 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 5.326 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 5.326 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 5.326 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.326 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.326 * [taylor]: Taking taylor expansion of PI in g 5.326 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.326 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 5.326 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.326 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 5.332 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 5.332 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 5.333 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.333 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.333 * [taylor]: Taking taylor expansion of PI in g 5.333 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.333 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 5.333 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.333 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 5.336 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 5.336 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 5.336 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 5.336 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.336 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 5.336 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.336 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.336 * [taylor]: Taking taylor expansion of PI in h 5.343 * [taylor]: Taking taylor expansion of 0 in h 5.351 * [taylor]: Taking taylor expansion of 0 in h 5.360 * [taylor]: Taking taylor expansion of 0 in h 5.362 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in (g h) around 0 5.362 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 5.362 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 5.362 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.362 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.362 * [taylor]: Taking taylor expansion of PI in h 5.362 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.362 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.362 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.362 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.364 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.364 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.364 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.364 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.364 * [taylor]: Taking taylor expansion of PI in g 5.364 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.364 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.364 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.364 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.365 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.365 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.366 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.366 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.366 * [taylor]: Taking taylor expansion of PI in g 5.366 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.366 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.366 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.366 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.369 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 5.369 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 5.369 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.369 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.369 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.369 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.369 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.369 * [taylor]: Taking taylor expansion of PI in h 5.376 * [taylor]: Taking taylor expansion of 0 in h 5.383 * [taylor]: Taking taylor expansion of 0 in h 5.392 * [taylor]: Taking taylor expansion of 0 in h 5.394 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in (g h) around 0 5.394 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 5.394 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 5.394 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.394 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.394 * [taylor]: Taking taylor expansion of PI in h 5.394 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.394 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.394 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.394 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.396 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.396 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.396 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.396 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.396 * [taylor]: Taking taylor expansion of PI in g 5.396 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.396 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.396 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.396 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.397 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.397 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.398 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.398 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.398 * [taylor]: Taking taylor expansion of PI in g 5.398 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.398 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.398 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.398 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.401 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 5.401 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 5.401 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.401 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.401 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.401 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.401 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.401 * [taylor]: Taking taylor expansion of PI in h 5.408 * [taylor]: Taking taylor expansion of 0 in h 5.416 * [taylor]: Taking taylor expansion of 0 in h 5.431 * [taylor]: Taking taylor expansion of 0 in h 5.431 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 5.432 * [approximate]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in (g h) around 0 5.432 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in h 5.432 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) 1) 5.432 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in h 5.432 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in h 5.433 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in h 5.433 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.433 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.433 * [taylor]: Taking taylor expansion of PI in h 5.433 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.433 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 5.433 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.433 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 5.436 * [taylor]: Taking taylor expansion of 1 in h 5.436 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in g 5.436 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) 1) 5.436 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in g 5.436 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 5.436 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 5.436 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.436 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.436 * [taylor]: Taking taylor expansion of PI in g 5.436 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.436 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 5.436 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.437 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 5.440 * [taylor]: Taking taylor expansion of 1 in g 5.440 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in g 5.440 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) 1) 5.440 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))))) in g 5.440 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 5.440 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 5.440 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 5.440 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.440 * [taylor]: Taking taylor expansion of PI in g 5.440 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.440 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 5.440 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.440 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 5.444 * [taylor]: Taking taylor expansion of 1 in g 5.444 * [taylor]: Taking taylor expansion of (- (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) 1) in h 5.444 * [taylor]: Taking taylor expansion of (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) in h 5.444 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 5.444 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 5.445 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 5.445 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.445 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 5.445 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.445 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.445 * [taylor]: Taking taylor expansion of PI in h 5.448 * [taylor]: Taking taylor expansion of 1 in h 5.454 * [taylor]: Taking taylor expansion of 0 in h 5.465 * [taylor]: Taking taylor expansion of 0 in h 5.478 * [taylor]: Taking taylor expansion of 0 in h 5.479 * [approximate]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in (g h) around 0 5.479 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in h 5.479 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.479 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in h 5.479 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 5.479 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 5.480 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.480 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.480 * [taylor]: Taking taylor expansion of PI in h 5.480 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.480 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.480 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.480 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.483 * [taylor]: Taking taylor expansion of 1 in h 5.483 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.483 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.483 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.483 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.483 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.483 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.483 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.483 * [taylor]: Taking taylor expansion of PI in g 5.483 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.483 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.483 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.484 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.487 * [taylor]: Taking taylor expansion of 1 in g 5.487 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.487 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.487 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.487 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.487 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.487 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.487 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.487 * [taylor]: Taking taylor expansion of PI in g 5.487 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.487 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.487 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.487 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.491 * [taylor]: Taking taylor expansion of 1 in g 5.491 * [taylor]: Taking taylor expansion of (- (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) 1) in h 5.492 * [taylor]: Taking taylor expansion of (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in h 5.492 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 5.492 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 5.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.492 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.492 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.492 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.492 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.492 * [taylor]: Taking taylor expansion of PI in h 5.495 * [taylor]: Taking taylor expansion of 1 in h 5.501 * [taylor]: Taking taylor expansion of 0 in h 5.517 * [taylor]: Taking taylor expansion of 0 in h 5.530 * [taylor]: Taking taylor expansion of 0 in h 5.531 * [approximate]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in (g h) around 0 5.531 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in h 5.531 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.531 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in h 5.531 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 5.531 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 5.532 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.532 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 5.532 * [taylor]: Taking taylor expansion of PI in h 5.532 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.532 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.532 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.532 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.535 * [taylor]: Taking taylor expansion of 1 in h 5.535 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.535 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.535 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.535 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.535 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.535 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.535 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.535 * [taylor]: Taking taylor expansion of PI in g 5.535 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.535 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.535 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.535 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.539 * [taylor]: Taking taylor expansion of 1 in g 5.539 * [taylor]: Taking taylor expansion of (expm1 (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.539 * [taylor]: Rewrote expression to (- (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) 1) 5.539 * [taylor]: Taking taylor expansion of (exp (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))))) in g 5.539 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 5.539 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 5.539 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 5.539 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 5.539 * [taylor]: Taking taylor expansion of PI in g 5.539 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 5.539 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 5.539 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.539 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 5.543 * [taylor]: Taking taylor expansion of 1 in g 5.543 * [taylor]: Taking taylor expansion of (- (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) 1) in h 5.544 * [taylor]: Taking taylor expansion of (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in h 5.544 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 5.544 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 5.544 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 5.544 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.544 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 5.544 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 5.544 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 5.544 * [taylor]: Taking taylor expansion of PI in h 5.547 * [taylor]: Taking taylor expansion of 1 in h 5.553 * [taylor]: Taking taylor expansion of 0 in h 5.564 * [taylor]: Taking taylor expansion of 0 in h 5.576 * [taylor]: Taking taylor expansion of 0 in h 5.577 * * * [progress]: simplifying candidates 5.578 * [simplify]: Simplifying using # : (expm1 (pow (cbrt 3.0) 3)) (log1p (pow (cbrt 3.0) 3)) (* (log (cbrt 3.0)) 3) (* (log (cbrt 3.0)) 3) (* 1/3 3) (* 1 3) (pow (cbrt 3.0) (* (cbrt 3) (cbrt 3))) (pow (cbrt 3.0) (sqrt 3)) (pow (cbrt 3.0) 1) (pow (cbrt (* (cbrt 3.0) (cbrt 3.0))) 3) (pow (cbrt (cbrt 3.0)) 3) (pow (cbrt (sqrt 3.0)) 3) (pow (cbrt (sqrt 3.0)) 3) (pow (cbrt 1) 3) (pow (cbrt 3.0) 3) (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 3) (pow (cbrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) (pow 1 3) (pow (cbrt 3.0) 3) (* (cbrt 3.0) (cbrt 3.0)) (log (pow (cbrt 3.0) 3)) (exp (pow (cbrt 3.0) 3)) (* (cbrt (pow (cbrt 3.0) 3)) (cbrt (pow (cbrt 3.0) 3))) (cbrt (pow (cbrt 3.0) 3)) (* (* (pow (cbrt 3.0) 3) (pow (cbrt 3.0) 3)) (pow (cbrt 3.0) 3)) (pow (cbrt (* (cbrt 3.0) (cbrt 3.0))) 3) (pow (cbrt (cbrt 3.0)) 3) (pow (cbrt (sqrt 3.0)) 3) (pow (cbrt (sqrt 3.0)) 3) (pow (cbrt 1) 3) (pow (cbrt 3.0) 3) (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 3) (pow (cbrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) (pow 1 3) (pow (cbrt 3.0) 3) (* (cbrt 3.0) (cbrt 3.0)) (sqrt (pow (cbrt 3.0) 3)) (sqrt (pow (cbrt 3.0) 3)) (pow (cbrt 3.0) (/ 3 2)) (pow (cbrt 3.0) (/ 3 2)) (+ 1 (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (expm1 (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (log1p (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (log (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (exp (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (* (cbrt (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (cbrt (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))))) (cbrt (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (* (* (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (sqrt (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (sqrt (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (log1p (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* (cos (* PI (/ 2.0 3.0))) (cos (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (* (sin (* PI (/ 2.0 3.0))) (sin (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (log (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* (* (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (expm1 (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (log (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (exp (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (* (cbrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (cbrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (cbrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (* (* (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (sqrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (sqrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (* 2.0 (log1p (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (- (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) 1) (- (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) 1) (- (exp (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) 1) 5.582 * * [simplify]: iteration 0 : 102 enodes (cost 1105 ) 5.611 * * [simplify]: iteration 1 : 185 enodes (cost 818 ) 5.640 * * [simplify]: iteration 2 : 284 enodes (cost 729 ) 5.686 * * [simplify]: iteration 3 : 520 enodes (cost 729 ) 5.901 * * [simplify]: iteration 4 : 1322 enodes (cost 725 ) 7.195 * * [simplify]: iteration 5 : 4580 enodes (cost 725 ) 8.937 * * [simplify]: iteration done : 5000 enodes (cost 725 ) 8.938 * [simplify]: Simplified to: (expm1 3.0) (log1p 3.0) (log 3.0) (log 3.0) 1 3 (pow (cbrt 3.0) (* (cbrt 3) (cbrt 3))) (pow (cbrt 3.0) (sqrt 3)) (cbrt 3.0) (pow (cbrt 3.0) 2) (cbrt 3.0) (sqrt 3.0) (sqrt 3.0) 1 3.0 (pow (cbrt 3.0) 2) (cbrt 3.0) (pow (cbrt 3.0) 3/2) (pow (cbrt 3.0) 3/2) 1 3.0 (pow (cbrt 3.0) 2) (log 3.0) (exp 3.0) (pow (cbrt 3.0) 2) (cbrt 3.0) (pow 3.0 3) (pow (cbrt 3.0) 2) (cbrt 3.0) (sqrt 3.0) (sqrt 3.0) 1 3.0 (pow (cbrt 3.0) 2) (cbrt 3.0) (pow (cbrt 3.0) 3/2) (pow (cbrt 3.0) 3/2) 1 3.0 (pow (cbrt 3.0) 2) (sqrt 3.0) (sqrt 3.0) (pow (cbrt 3.0) 3/2) (pow (cbrt 3.0) 3/2) (+ 1 (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (log1p (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (log (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))) 3) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (log1p (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (* (cos (/ (acos (/ (- g) h)) 3.0)) (cos (* PI (/ 2.0 3.0)))) (* (sin (/ (acos (/ (- g) h)) 3.0)) (sin (* PI (/ 2.0 3.0)))) (log (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))) 3) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (expm1 (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))) (log (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (exp (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (* (cbrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (pow (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) 3) (sqrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0))))) (* 2.0 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (expm1 (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI)))) (expm1 (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI)))) (expm1 (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI)))) 8.939 * * * [progress]: adding candidates to table 9.158 * * [progress]: iteration 4 / 4 9.158 * * * [progress]: picking best candidate 9.166 * * * * [pick]: Picked # 9.166 * * * [progress]: localizing error 9.186 * * * [progress]: generating rewritten candidates 9.186 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 3 2) 9.188 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 9.190 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 9.191 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 9.194 * * * [progress]: generating series expansions 9.194 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 3 2) 9.194 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 9.196 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in (g h) around 0 9.196 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in h 9.196 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in h 9.196 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.196 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.196 * [taylor]: Taking taylor expansion of PI in h 9.196 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.196 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 9.196 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.196 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 9.198 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 9.198 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 9.198 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.198 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.198 * [taylor]: Taking taylor expansion of PI in g 9.198 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.198 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 9.198 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.198 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 9.200 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 9.200 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 9.200 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.200 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.200 * [taylor]: Taking taylor expansion of PI in g 9.200 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.200 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 9.200 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.200 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 9.203 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 9.203 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 9.203 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 9.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.203 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 9.203 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.203 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.203 * [taylor]: Taking taylor expansion of PI in h 9.210 * [taylor]: Taking taylor expansion of 0 in h 9.218 * [taylor]: Taking taylor expansion of 0 in h 9.231 * [taylor]: Taking taylor expansion of 0 in h 9.233 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in (g h) around 0 9.233 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 9.233 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 9.233 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.233 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.233 * [taylor]: Taking taylor expansion of PI in h 9.233 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.233 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.233 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.233 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.234 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.235 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.235 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.235 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.235 * [taylor]: Taking taylor expansion of PI in g 9.235 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.235 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.235 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.235 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.236 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.236 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.236 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.237 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.237 * [taylor]: Taking taylor expansion of PI in g 9.237 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.237 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.237 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.237 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.240 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 9.240 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 9.240 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.240 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.240 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.240 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.240 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.240 * [taylor]: Taking taylor expansion of PI in h 9.247 * [taylor]: Taking taylor expansion of 0 in h 9.255 * [taylor]: Taking taylor expansion of 0 in h 9.264 * [taylor]: Taking taylor expansion of 0 in h 9.266 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in (g h) around 0 9.266 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 9.266 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 9.266 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.266 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.266 * [taylor]: Taking taylor expansion of PI in h 9.266 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.266 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.266 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.268 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.268 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.268 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.268 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.268 * [taylor]: Taking taylor expansion of PI in g 9.268 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.268 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.268 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.268 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.270 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.270 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.270 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.270 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.270 * [taylor]: Taking taylor expansion of PI in g 9.270 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.270 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.270 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.270 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.273 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 9.273 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 9.273 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.273 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.273 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.273 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.273 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.273 * [taylor]: Taking taylor expansion of PI in h 9.280 * [taylor]: Taking taylor expansion of 0 in h 9.288 * [taylor]: Taking taylor expansion of 0 in h 9.297 * [taylor]: Taking taylor expansion of 0 in h 9.297 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 9.299 * [approximate]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) 3) in (g h) around 0 9.299 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) 3) in h 9.299 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in h 9.299 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in h 9.299 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.299 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.299 * [taylor]: Taking taylor expansion of PI in h 9.299 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.299 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 9.299 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.299 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 9.302 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) 3) in g 9.302 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 9.302 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 9.302 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.302 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.302 * [taylor]: Taking taylor expansion of PI in g 9.302 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.302 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 9.302 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.302 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 9.306 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) 3) in g 9.306 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 9.306 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 9.306 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.306 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.306 * [taylor]: Taking taylor expansion of PI in g 9.306 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.306 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 9.306 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.306 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 9.311 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 3) in h 9.311 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 9.311 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 9.311 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 9.311 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.311 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 9.311 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.311 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.311 * [taylor]: Taking taylor expansion of PI in h 9.325 * [taylor]: Taking taylor expansion of 0 in h 9.336 * [taylor]: Taking taylor expansion of 0 in h 9.350 * [taylor]: Taking taylor expansion of 0 in h 9.352 * [approximate]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) 3) in (g h) around 0 9.352 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) 3) in h 9.352 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 9.352 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 9.353 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.353 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.353 * [taylor]: Taking taylor expansion of PI in h 9.353 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.353 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.353 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.353 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.356 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) 3) in g 9.356 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.356 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.356 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.356 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.356 * [taylor]: Taking taylor expansion of PI in g 9.356 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.356 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.356 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.356 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.359 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) 3) in g 9.359 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.359 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.360 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.360 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.360 * [taylor]: Taking taylor expansion of PI in g 9.360 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.360 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.360 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.360 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.365 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 3) in h 9.365 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 9.365 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 9.365 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.365 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.365 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.365 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.365 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.365 * [taylor]: Taking taylor expansion of PI in h 9.375 * [taylor]: Taking taylor expansion of 0 in h 9.387 * [taylor]: Taking taylor expansion of 0 in h 9.404 * [taylor]: Taking taylor expansion of 0 in h 9.406 * [approximate]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) 3) in (g h) around 0 9.406 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) 3) in h 9.406 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 9.406 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 9.406 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.406 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.406 * [taylor]: Taking taylor expansion of PI in h 9.406 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.406 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.406 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.406 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.410 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) 3) in g 9.410 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.410 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.410 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.410 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.410 * [taylor]: Taking taylor expansion of PI in g 9.410 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.410 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.410 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.410 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.413 * [taylor]: Taking taylor expansion of (pow (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) 3) in g 9.413 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.413 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.413 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.413 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.413 * [taylor]: Taking taylor expansion of PI in g 9.413 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.413 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.413 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.413 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.418 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 3) in h 9.418 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 9.418 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 9.418 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.418 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.418 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.418 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.418 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.418 * [taylor]: Taking taylor expansion of PI in h 9.428 * [taylor]: Taking taylor expansion of 0 in h 9.440 * [taylor]: Taking taylor expansion of 0 in h 9.455 * [taylor]: Taking taylor expansion of 0 in h 9.455 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 9.456 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in (g h) around 0 9.456 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in h 9.456 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in h 9.457 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.457 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.457 * [taylor]: Taking taylor expansion of PI in h 9.457 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.457 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 9.457 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.457 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 9.458 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 9.458 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 9.458 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.458 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.458 * [taylor]: Taking taylor expansion of PI in g 9.458 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.458 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 9.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.459 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 9.460 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h)))))) in g 9.460 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ g h))))) in g 9.460 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ g h))))) 9.460 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.460 * [taylor]: Taking taylor expansion of PI in g 9.460 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 9.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.460 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 9.463 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 9.463 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 9.463 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 9.463 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.464 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 9.464 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.464 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.464 * [taylor]: Taking taylor expansion of PI in h 9.470 * [taylor]: Taking taylor expansion of 0 in h 9.478 * [taylor]: Taking taylor expansion of 0 in h 9.487 * [taylor]: Taking taylor expansion of 0 in h 9.488 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in (g h) around 0 9.488 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 9.488 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 9.489 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.489 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.489 * [taylor]: Taking taylor expansion of PI in h 9.489 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.489 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.489 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.489 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.493 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.493 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.493 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.493 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.493 * [taylor]: Taking taylor expansion of PI in g 9.493 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.493 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.493 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.493 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.495 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.495 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.495 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.495 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.495 * [taylor]: Taking taylor expansion of PI in g 9.495 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.495 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.495 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.495 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.498 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 9.498 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 9.498 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.498 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.498 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.498 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.498 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.498 * [taylor]: Taking taylor expansion of PI in h 9.506 * [taylor]: Taking taylor expansion of 0 in h 9.513 * [taylor]: Taking taylor expansion of 0 in h 9.523 * [taylor]: Taking taylor expansion of 0 in h 9.524 * [approximate]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in (g h) around 0 9.524 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in h 9.524 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in h 9.524 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.524 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in h 9.524 * [taylor]: Taking taylor expansion of PI in h 9.524 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.524 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.524 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.525 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.526 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.526 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.526 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.526 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.526 * [taylor]: Taking taylor expansion of PI in g 9.526 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.526 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.526 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.526 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.528 * [taylor]: Taking taylor expansion of (cos (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g)))))) in g 9.528 * [taylor]: Taking taylor expansion of (fma PI 0.6666666666666666 (* 0.3333333333333333 (acos (* -1 (/ h g))))) in g 9.528 * [taylor]: Rewrote expression to (+ (* PI 0.6666666666666666) (* 0.3333333333333333 (acos (* -1 (/ h g))))) 9.528 * [taylor]: Taking taylor expansion of (* PI 0.6666666666666666) in g 9.528 * [taylor]: Taking taylor expansion of PI in g 9.528 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 9.528 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 9.528 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 9.528 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 9.531 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 9.531 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 9.531 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 9.531 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 9.531 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 9.531 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 9.531 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 9.531 * [taylor]: Taking taylor expansion of PI in h 9.538 * [taylor]: Taking taylor expansion of 0 in h 9.546 * [taylor]: Taking taylor expansion of 0 in h 9.555 * [taylor]: Taking taylor expansion of 0 in h 9.556 * * * [progress]: simplifying candidates 9.558 * [simplify]: Simplifying using # : (expm1 (pow (cbrt 3.0) 3)) (log1p (pow (cbrt 3.0) 3)) (* (log (cbrt 3.0)) 3) (* (log (cbrt 3.0)) 3) (* 1/3 3) (* 1 3) (pow (cbrt 3.0) (* (cbrt 3) (cbrt 3))) (pow (cbrt 3.0) (sqrt 3)) (pow (cbrt 3.0) 1) (pow (cbrt (* (cbrt 3.0) (cbrt 3.0))) 3) (pow (cbrt (cbrt 3.0)) 3) (pow (cbrt (sqrt 3.0)) 3) (pow (cbrt (sqrt 3.0)) 3) (pow (cbrt 1) 3) (pow (cbrt 3.0) 3) (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 3) (pow (cbrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) (pow 1 3) (pow (cbrt 3.0) 3) (* (cbrt 3.0) (cbrt 3.0)) (log (pow (cbrt 3.0) 3)) (exp (pow (cbrt 3.0) 3)) (* (cbrt (pow (cbrt 3.0) 3)) (cbrt (pow (cbrt 3.0) 3))) (cbrt (pow (cbrt 3.0) 3)) (* (* (pow (cbrt 3.0) 3) (pow (cbrt 3.0) 3)) (pow (cbrt 3.0) 3)) (pow (cbrt (* (cbrt 3.0) (cbrt 3.0))) 3) (pow (cbrt (cbrt 3.0)) 3) (pow (cbrt (sqrt 3.0)) 3) (pow (cbrt (sqrt 3.0)) 3) (pow (cbrt 1) 3) (pow (cbrt 3.0) 3) (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 3) (pow (cbrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) (pow 1 3) (pow (cbrt 3.0) 3) (* (cbrt 3.0) (cbrt 3.0)) (sqrt (pow (cbrt 3.0) 3)) (sqrt (pow (cbrt 3.0) 3)) (pow (cbrt 3.0) (/ 3 2)) (pow (cbrt 3.0) (/ 3 2)) (expm1 (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (log1p (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (log (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (exp (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (cbrt (pow (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) 3)) (cbrt (pow (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3)) (cbrt (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3)) (cbrt (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3)) (cbrt (pow 1 3)) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (cbrt (* (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (* (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)))) (cbrt (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (cbrt (pow (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) 3)) (cbrt (pow (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3)) (cbrt (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3)) (cbrt (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3)) (cbrt (pow 1 3)) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (* (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (cbrt (sqrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (cbrt (sqrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (cbrt 1) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (/ 3 2))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (/ 3 2))) (* (cbrt (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (cbrt (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)))) (cbrt (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (* (* (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (sqrt (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (sqrt (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (expm1 (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (log1p (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (* (log (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3) (* (log (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3) (* 1 3) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (* (cbrt 3) (cbrt 3))) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (sqrt 3)) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 1) (pow (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) 3) (pow (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3) (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3) (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3) (pow 1 3) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3) (* (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (log (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (exp (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (* (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (* (* (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (pow (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) 3) (pow (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3) (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3) (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) 3) (pow 1 3) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3) (* (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (sqrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (sqrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3)) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (/ 3 2)) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (/ 3 2)) (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (log1p (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* (cos (* PI (/ 2.0 3.0))) (cos (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (* (sin (* PI (/ 2.0 3.0))) (sin (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (log (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* (* (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3))))) (* 2.0 (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (/ (- g) h)) (pow (cbrt 3.0) 3)))) 3))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 3) (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 3) (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 3) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 9.563 * * [simplify]: iteration 0 : 116 enodes (cost 2034 ) 9.589 * * [simplify]: iteration 1 : 223 enodes (cost 1441 ) 9.637 * * [simplify]: iteration 2 : 494 enodes (cost 1274 ) 9.909 * * [simplify]: iteration 3 : 2165 enodes (cost 1274 ) 11.018 * * [simplify]: iteration done : 5001 enodes (cost 1274 ) 11.018 * [simplify]: Simplified to: (expm1 3.0) (log1p 3.0) (log 3.0) (log 3.0) 1 3 (pow (cbrt 3.0) (* (cbrt 3) (cbrt 3))) (pow (cbrt 3.0) (sqrt 3)) (cbrt 3.0) (pow (cbrt 3.0) 2) (cbrt 3.0) (sqrt 3.0) (sqrt 3.0) 1 3.0 (pow (cbrt 3.0) 2) (cbrt 3.0) (pow (sqrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) 1 3.0 (pow (cbrt 3.0) 2) (log 3.0) (exp 3.0) (pow (cbrt 3.0) 2) (cbrt 3.0) (pow 3.0 3) (pow (cbrt 3.0) 2) (cbrt 3.0) (sqrt 3.0) (sqrt 3.0) 1 3.0 (pow (cbrt 3.0) 2) (cbrt 3.0) (pow (sqrt (cbrt 3.0)) 3) (pow (sqrt (cbrt 3.0)) 3) 1 3.0 (pow (cbrt 3.0) 2) (sqrt 3.0) (sqrt 3.0) (pow (cbrt 3.0) 3/2) (pow (cbrt 3.0) 3/2) (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (log1p (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (log (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2)) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) 1 (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2)) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2)) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2)) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) 1 (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2)) (cbrt (sqrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3))) (cbrt (sqrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3))) 1 (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3/2)) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3/2)) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2)) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (expm1 (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3)) (log1p (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3)) (* 3 (log (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))))) (* 3 (log (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))))) 3 (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (* (cbrt 3) (cbrt 3))) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (sqrt 3)) (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2) (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) 3) (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) 3) 1 (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2) (* 3 (log (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))))) (exp (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3)) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2) (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (pow (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3) 3) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2) (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) 3) (pow (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) 3) 1 (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2) (sqrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3)) (sqrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3)) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3/2) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3/2) (expm1 (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (log1p (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (* (cos (* PI (/ 2.0 3.0))) (cos (/ (acos (- (/ g h))) 3.0))) (* (sin (/ (acos (- (/ g h))) 3.0)) (sin (* PI (/ 2.0 3.0)))) (log (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (exp (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (cbrt (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2)) (cbrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (pow (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 3) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (sqrt (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0)))) (* (cos (fma PI (/ 2.0 3.0) (/ (acos (- (/ g h))) 3.0))) 2.0) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (pow (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) 3) (pow (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) 3) (pow (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) 3) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) (cos (fma 0.3333333333333333 (acos (/ (- g) h)) (* 0.6666666666666666 PI))) 11.024 * * * [progress]: adding candidates to table 11.298 * [progress]: [Phase 3 of 3] Extracting. 11.298 * * [regime]: Finding splitpoints for: (# # # #) 11.299 * * * [regime-changes]: Trying 5 branch expressions: ((- g) (/ (- g) h) (acos (/ (- g) h)) h g) 11.299 * * * * [regimes]: Trying to branch on (- g) from (# # # #) 11.323 * * * * [regimes]: Trying to branch on (- g) from (# # #) 11.346 * * * * [regimes]: Trying to branch on (/ (- g) h) from (# # # #) 11.370 * * * * [regimes]: Trying to branch on (/ (- g) h) from (# # #) 11.392 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (# # # #) 11.416 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (# # #) 11.439 * * * * [regimes]: Trying to branch on h from (# # # #) 11.463 * * * * [regimes]: Trying to branch on g from (# # # #) 11.489 * * * [regime]: Found split indices: #