59.107 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.137 * * * [progress]: [2/2] Setting up program. 0.146 * [progress]: [Phase 2 of 3] Improving. 0.146 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.146 * [simplify]: Simplifying: (* 2 (cos (+ (/ (* 2 PI) 3) (/ (acos (/ (- g) h)) 3)))) 0.146 * * [simplify]: iteration 1: (14 enodes) 0.153 * * [simplify]: iteration 2: (21 enodes) 0.161 * * [simplify]: iteration 3: (24 enodes) 0.170 * * [simplify]: iteration 4: (28 enodes) 0.180 * * [simplify]: iteration 5: (29 enodes) 0.190 * * [simplify]: Extracting #0: cost 1 inf + 0 0.190 * * [simplify]: Extracting #1: cost 3 inf + 0 0.190 * * [simplify]: Extracting #2: cost 3 inf + 1 0.190 * * [simplify]: Extracting #3: cost 7 inf + 1 0.190 * * [simplify]: Extracting #4: cost 10 inf + 3 0.191 * * [simplify]: Extracting #5: cost 7 inf + 89 0.191 * * [simplify]: Extracting #6: cost 9 inf + 131 0.191 * * [simplify]: Extracting #7: cost 9 inf + 132 0.191 * * [simplify]: Extracting #8: cost 8 inf + 133 0.191 * * [simplify]: Extracting #9: cost 4 inf + 470 0.192 * * [simplify]: Extracting #10: cost 2 inf + 953 0.192 * * [simplify]: Extracting #11: cost 0 inf + 1654 0.193 * [simplify]: Simplified to: (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) 2) 0.231 * * [progress]: iteration 1 / 4 0.231 * * * [progress]: picking best candidate 0.235 * * * * [pick]: Picked # 0.235 * * * [progress]: localizing error 0.257 * * * [progress]: generating rewritten candidates 0.257 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.261 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 3) 0.271 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.272 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 3 1) 0.274 * * * [progress]: generating series expansions 0.274 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.274 * [backup-simplify]: Simplify (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) into (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) 0.274 * [approximate]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) in (g h) around 0 0.274 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) in h 0.275 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in h 0.275 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 0.275 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.275 * [taylor]: Taking taylor expansion of 2/3 in h 0.275 * [backup-simplify]: Simplify 2/3 into 2/3 0.275 * [taylor]: Taking taylor expansion of PI in h 0.275 * [backup-simplify]: Simplify PI into PI 0.275 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.275 * [taylor]: Taking taylor expansion of 1/3 in h 0.275 * [backup-simplify]: Simplify 1/3 into 1/3 0.275 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.275 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.276 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.276 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.277 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.277 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.278 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.278 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) in g 0.278 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in g 0.278 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 0.278 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.278 * [taylor]: Taking taylor expansion of 2/3 in g 0.278 * [backup-simplify]: Simplify 2/3 into 2/3 0.278 * [taylor]: Taking taylor expansion of PI in g 0.278 * [backup-simplify]: Simplify PI into PI 0.278 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.278 * [taylor]: Taking taylor expansion of 1/3 in g 0.278 * [backup-simplify]: Simplify 1/3 into 1/3 0.278 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.278 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.279 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.279 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.280 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.281 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.282 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.282 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) in g 0.282 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in g 0.282 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 0.282 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.282 * [taylor]: Taking taylor expansion of 2/3 in g 0.282 * [backup-simplify]: Simplify 2/3 into 2/3 0.282 * [taylor]: Taking taylor expansion of PI in g 0.282 * [backup-simplify]: Simplify PI into PI 0.282 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.282 * [taylor]: Taking taylor expansion of 1/3 in g 0.282 * [backup-simplify]: Simplify 1/3 into 1/3 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.282 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.283 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.283 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.284 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.284 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.285 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.286 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.287 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) into 0 0.287 * [backup-simplify]: Simplify (- 0) into 0 0.288 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.288 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in h 0.288 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h 0.288 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.288 * [taylor]: Taking taylor expansion of 1/3 in h 0.288 * [backup-simplify]: Simplify 1/3 into 1/3 0.288 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.288 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.288 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.288 * [taylor]: Taking taylor expansion of 2/3 in h 0.288 * [backup-simplify]: Simplify 2/3 into 2/3 0.288 * [taylor]: Taking taylor expansion of PI in h 0.288 * [backup-simplify]: Simplify PI into PI 0.288 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.289 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.289 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.290 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.291 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.291 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.292 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) into 0 0.292 * [backup-simplify]: Simplify (- 0) into 0 0.293 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.293 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.294 * [backup-simplify]: Simplify (+ 0) into 0 0.295 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (* 0 1)) into 0 0.296 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.296 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.296 * [backup-simplify]: Simplify (+ 0 0) into 0 0.297 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.298 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (* 0 0)) into 0 0.298 * [backup-simplify]: Simplify (- 0) into 0 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.299 * [taylor]: Taking taylor expansion of 0 in h 0.299 * [backup-simplify]: Simplify 0 into 0 0.299 * [backup-simplify]: Simplify 0 into 0 0.299 * [backup-simplify]: Simplify (+ 0) into 0 0.300 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (* 0 1)) into 0 0.301 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.301 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.302 * [backup-simplify]: Simplify (+ 0 0) into 0 0.302 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.303 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (* 0 0)) into 0 0.304 * [backup-simplify]: Simplify (- 0) into 0 0.304 * [backup-simplify]: Simplify (+ 0 0) into 0 0.304 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.306 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.307 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.308 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.308 * [backup-simplify]: Simplify (+ 0 0) into 0 0.309 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.310 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.311 * [backup-simplify]: Simplify (- 0) into 0 0.311 * [backup-simplify]: Simplify (+ 0 0) into 0 0.311 * [taylor]: Taking taylor expansion of 0 in h 0.311 * [backup-simplify]: Simplify 0 into 0 0.311 * [backup-simplify]: Simplify 0 into 0 0.311 * [backup-simplify]: Simplify 0 into 0 0.312 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.313 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.314 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.315 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.315 * [backup-simplify]: Simplify (+ 0 0) into 0 0.316 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.317 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.317 * [backup-simplify]: Simplify (- 0) into 0 0.318 * [backup-simplify]: Simplify (+ 0 0) into 0 0.318 * [backup-simplify]: Simplify 0 into 0 0.319 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.320 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.321 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.322 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.323 * [backup-simplify]: Simplify (+ 0 0) into 0 0.324 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.325 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.325 * [backup-simplify]: Simplify (- 0) into 0 0.326 * [backup-simplify]: Simplify (+ 0 0) into 0 0.326 * [taylor]: Taking taylor expansion of 0 in h 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.327 * [backup-simplify]: Simplify (cos (fma 2/3 PI (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3))) into (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) 0.327 * [approximate]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in (g h) around 0 0.327 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in h 0.327 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in h 0.327 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.327 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.327 * [taylor]: Taking taylor expansion of 2/3 in h 0.327 * [backup-simplify]: Simplify 2/3 into 2/3 0.327 * [taylor]: Taking taylor expansion of PI in h 0.327 * [backup-simplify]: Simplify PI into PI 0.327 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.327 * [taylor]: Taking taylor expansion of 1/3 in h 0.327 * [backup-simplify]: Simplify 1/3 into 1/3 0.327 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.327 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.328 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.328 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.328 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.329 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.329 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.329 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in g 0.330 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 0.330 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.330 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.330 * [taylor]: Taking taylor expansion of 2/3 in g 0.330 * [backup-simplify]: Simplify 2/3 into 2/3 0.330 * [taylor]: Taking taylor expansion of PI in g 0.330 * [backup-simplify]: Simplify PI into PI 0.330 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.330 * [taylor]: Taking taylor expansion of 1/3 in g 0.330 * [backup-simplify]: Simplify 1/3 into 1/3 0.330 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.330 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.330 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.331 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.331 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.332 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.332 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.333 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in g 0.333 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 0.333 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.333 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.333 * [taylor]: Taking taylor expansion of 2/3 in g 0.333 * [backup-simplify]: Simplify 2/3 into 2/3 0.333 * [taylor]: Taking taylor expansion of PI in g 0.333 * [backup-simplify]: Simplify PI into PI 0.333 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.333 * [taylor]: Taking taylor expansion of 1/3 in g 0.333 * [backup-simplify]: Simplify 1/3 into 1/3 0.333 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.333 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.333 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.334 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.334 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.335 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.335 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.336 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.337 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into 0 0.344 * [backup-simplify]: Simplify (- 0) into 0 0.346 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.346 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h 0.346 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.346 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.346 * [taylor]: Taking taylor expansion of 1/3 in h 0.346 * [backup-simplify]: Simplify 1/3 into 1/3 0.346 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.346 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.346 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.346 * [taylor]: Taking taylor expansion of 2/3 in h 0.346 * [backup-simplify]: Simplify 2/3 into 2/3 0.346 * [taylor]: Taking taylor expansion of PI in h 0.346 * [backup-simplify]: Simplify PI into PI 0.346 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.347 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.347 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.348 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.348 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.349 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.350 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into 0 0.350 * [backup-simplify]: Simplify (- 0) into 0 0.351 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.351 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.352 * [backup-simplify]: Simplify (+ 0) into 0 0.353 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 1)) into 0 0.354 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.354 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.355 * [backup-simplify]: Simplify (+ 0 0) into 0 0.355 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.356 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 0)) into 0 0.357 * [backup-simplify]: Simplify (- 0) into 0 0.357 * [backup-simplify]: Simplify (+ 0 0) into 0 0.357 * [taylor]: Taking taylor expansion of 0 in h 0.357 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify (+ 0) into 0 0.358 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 1)) into 0 0.359 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.360 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.360 * [backup-simplify]: Simplify (+ 0 0) into 0 0.361 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.362 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 0)) into 0 0.362 * [backup-simplify]: Simplify (- 0) into 0 0.362 * [backup-simplify]: Simplify (+ 0 0) into 0 0.362 * [backup-simplify]: Simplify 0 into 0 0.363 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.365 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.366 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.366 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.367 * [backup-simplify]: Simplify (+ 0 0) into 0 0.368 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.369 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.369 * [backup-simplify]: Simplify (- 0) into 0 0.370 * [backup-simplify]: Simplify (+ 0 0) into 0 0.370 * [taylor]: Taking taylor expansion of 0 in h 0.370 * [backup-simplify]: Simplify 0 into 0 0.370 * [backup-simplify]: Simplify 0 into 0 0.370 * [backup-simplify]: Simplify 0 into 0 0.371 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.372 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.373 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.374 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.374 * [backup-simplify]: Simplify (+ 0 0) into 0 0.375 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.376 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.377 * [backup-simplify]: Simplify (- 0) into 0 0.377 * [backup-simplify]: Simplify (+ 0 0) into 0 0.377 * [backup-simplify]: Simplify 0 into 0 0.378 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.380 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.381 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.382 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.383 * [backup-simplify]: Simplify (+ 0 0) into 0 0.384 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.386 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.386 * [backup-simplify]: Simplify (- 0) into 0 0.386 * [backup-simplify]: Simplify (+ 0 0) into 0 0.387 * [taylor]: Taking taylor expansion of 0 in h 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.388 * [backup-simplify]: Simplify (cos (fma 2/3 PI (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3))) into (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) 0.388 * [approximate]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in (g h) around 0 0.388 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in h 0.388 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in h 0.388 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.388 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.388 * [taylor]: Taking taylor expansion of 2/3 in h 0.388 * [backup-simplify]: Simplify 2/3 into 2/3 0.388 * [taylor]: Taking taylor expansion of PI in h 0.388 * [backup-simplify]: Simplify PI into PI 0.388 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.388 * [taylor]: Taking taylor expansion of 1/3 in h 0.388 * [backup-simplify]: Simplify 1/3 into 1/3 0.388 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.388 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.389 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.389 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.389 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.390 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.391 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.391 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in g 0.391 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 0.391 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.391 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.391 * [taylor]: Taking taylor expansion of 2/3 in g 0.391 * [backup-simplify]: Simplify 2/3 into 2/3 0.391 * [taylor]: Taking taylor expansion of PI in g 0.391 * [backup-simplify]: Simplify PI into PI 0.391 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.391 * [taylor]: Taking taylor expansion of 1/3 in g 0.391 * [backup-simplify]: Simplify 1/3 into 1/3 0.391 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.391 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.392 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.392 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.393 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.393 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.394 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.394 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in g 0.394 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 0.394 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.394 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.394 * [taylor]: Taking taylor expansion of 2/3 in g 0.394 * [backup-simplify]: Simplify 2/3 into 2/3 0.394 * [taylor]: Taking taylor expansion of PI in g 0.394 * [backup-simplify]: Simplify PI into PI 0.394 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.394 * [taylor]: Taking taylor expansion of 1/3 in g 0.394 * [backup-simplify]: Simplify 1/3 into 1/3 0.394 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.394 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.395 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.395 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.396 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.396 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.397 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.398 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.398 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into 0 0.399 * [backup-simplify]: Simplify (- 0) into 0 0.399 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.399 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h 0.399 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.399 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.400 * [taylor]: Taking taylor expansion of 1/3 in h 0.400 * [backup-simplify]: Simplify 1/3 into 1/3 0.400 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.400 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.400 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.400 * [taylor]: Taking taylor expansion of 2/3 in h 0.400 * [backup-simplify]: Simplify 2/3 into 2/3 0.400 * [taylor]: Taking taylor expansion of PI in h 0.400 * [backup-simplify]: Simplify PI into PI 0.400 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.400 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.401 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.402 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.402 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.403 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.404 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into 0 0.404 * [backup-simplify]: Simplify (- 0) into 0 0.405 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.405 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0.406 * [backup-simplify]: Simplify (+ 0) into 0 0.407 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 1)) into 0 0.408 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.408 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.409 * [backup-simplify]: Simplify (+ 0 0) into 0 0.409 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.410 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 0)) into 0 0.411 * [backup-simplify]: Simplify (- 0) into 0 0.411 * [backup-simplify]: Simplify (+ 0 0) into 0 0.411 * [taylor]: Taking taylor expansion of 0 in h 0.411 * [backup-simplify]: Simplify 0 into 0 0.411 * [backup-simplify]: Simplify 0 into 0 0.411 * [backup-simplify]: Simplify (+ 0) into 0 0.412 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 1)) into 0 0.412 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.413 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.413 * [backup-simplify]: Simplify (+ 0 0) into 0 0.413 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.414 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 0)) into 0 0.414 * [backup-simplify]: Simplify (- 0) into 0 0.414 * [backup-simplify]: Simplify (+ 0 0) into 0 0.414 * [backup-simplify]: Simplify 0 into 0 0.415 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.416 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.416 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.417 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.417 * [backup-simplify]: Simplify (+ 0 0) into 0 0.418 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.418 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.419 * [backup-simplify]: Simplify (- 0) into 0 0.419 * [backup-simplify]: Simplify (+ 0 0) into 0 0.419 * [taylor]: Taking taylor expansion of 0 in h 0.419 * [backup-simplify]: Simplify 0 into 0 0.419 * [backup-simplify]: Simplify 0 into 0 0.419 * [backup-simplify]: Simplify 0 into 0 0.419 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.420 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.421 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.421 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.422 * [backup-simplify]: Simplify (+ 0 0) into 0 0.422 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.423 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.423 * [backup-simplify]: Simplify (- 0) into 0 0.423 * [backup-simplify]: Simplify (+ 0 0) into 0 0.423 * [backup-simplify]: Simplify 0 into 0 0.424 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.425 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.425 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.426 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.426 * [backup-simplify]: Simplify (+ 0 0) into 0 0.427 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.428 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.428 * [backup-simplify]: Simplify (- 0) into 0 0.428 * [backup-simplify]: Simplify (+ 0 0) into 0 0.428 * [taylor]: Taking taylor expansion of 0 in h 0.428 * [backup-simplify]: Simplify 0 into 0 0.428 * [backup-simplify]: Simplify 0 into 0 0.429 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0.429 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 3) 0.429 * [backup-simplify]: Simplify (/ (acos (/ (- g) h)) 3) into (* 1/3 (acos (* -1 (/ g h)))) 0.429 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in (g h) around 0 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.429 * [taylor]: Taking taylor expansion of 1/3 in h 0.429 * [backup-simplify]: Simplify 1/3 into 1/3 0.429 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.429 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.429 * [taylor]: Taking taylor expansion of 1/3 in g 0.429 * [backup-simplify]: Simplify 1/3 into 1/3 0.429 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.429 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.429 * [taylor]: Taking taylor expansion of 1/3 in g 0.429 * [backup-simplify]: Simplify 1/3 into 1/3 0.429 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.429 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.430 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.430 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.430 * [taylor]: Taking taylor expansion of 1/3 in h 0.430 * [backup-simplify]: Simplify 1/3 into 1/3 0.430 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.430 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.430 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.430 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.430 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.430 * [taylor]: Taking taylor expansion of 0 in h 0.430 * [backup-simplify]: Simplify 0 into 0 0.430 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.431 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.431 * [taylor]: Taking taylor expansion of 0 in h 0.431 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify 0 into 0 0.432 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.432 * [backup-simplify]: Simplify 0 into 0 0.433 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.433 * [taylor]: Taking taylor expansion of 0 in h 0.433 * [backup-simplify]: Simplify 0 into 0 0.433 * [backup-simplify]: Simplify 0 into 0 0.433 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.433 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3) into (* 1/3 (acos (* -1 (/ h g)))) 0.433 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in (g h) around 0 0.433 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.433 * [taylor]: Taking taylor expansion of 1/3 in h 0.433 * [backup-simplify]: Simplify 1/3 into 1/3 0.433 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.433 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.433 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.433 * [taylor]: Taking taylor expansion of 1/3 in g 0.433 * [backup-simplify]: Simplify 1/3 into 1/3 0.433 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.433 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.433 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.433 * [taylor]: Taking taylor expansion of 1/3 in g 0.433 * [backup-simplify]: Simplify 1/3 into 1/3 0.433 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.433 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.433 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.433 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.433 * [taylor]: Taking taylor expansion of 1/3 in h 0.433 * [backup-simplify]: Simplify 1/3 into 1/3 0.433 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.433 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.434 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.434 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.434 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.434 * [taylor]: Taking taylor expansion of 0 in h 0.434 * [backup-simplify]: Simplify 0 into 0 0.434 * [backup-simplify]: Simplify 0 into 0 0.434 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.434 * [backup-simplify]: Simplify 0 into 0 0.435 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.435 * [taylor]: Taking taylor expansion of 0 in h 0.435 * [backup-simplify]: Simplify 0 into 0 0.435 * [backup-simplify]: Simplify 0 into 0 0.435 * [backup-simplify]: Simplify 0 into 0 0.436 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.436 * [backup-simplify]: Simplify 0 into 0 0.436 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.436 * [taylor]: Taking taylor expansion of 0 in h 0.436 * [backup-simplify]: Simplify 0 into 0 0.436 * [backup-simplify]: Simplify 0 into 0 0.437 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) into (* 1/3 (acos (* -1 (/ g h)))) 0.437 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3) into (* 1/3 (acos (* -1 (/ h g)))) 0.437 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in (g h) around 0 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.437 * [taylor]: Taking taylor expansion of 1/3 in h 0.437 * [backup-simplify]: Simplify 1/3 into 1/3 0.437 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.437 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.437 * [taylor]: Taking taylor expansion of 1/3 in g 0.437 * [backup-simplify]: Simplify 1/3 into 1/3 0.437 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.437 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.437 * [taylor]: Taking taylor expansion of 1/3 in g 0.437 * [backup-simplify]: Simplify 1/3 into 1/3 0.437 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.437 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.437 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.437 * [taylor]: Taking taylor expansion of 1/3 in h 0.437 * [backup-simplify]: Simplify 1/3 into 1/3 0.437 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.437 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.437 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.437 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.438 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.438 * [taylor]: Taking taylor expansion of 0 in h 0.438 * [backup-simplify]: Simplify 0 into 0 0.438 * [backup-simplify]: Simplify 0 into 0 0.438 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.438 * [backup-simplify]: Simplify 0 into 0 0.439 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.439 * [taylor]: Taking taylor expansion of 0 in h 0.439 * [backup-simplify]: Simplify 0 into 0 0.439 * [backup-simplify]: Simplify 0 into 0 0.439 * [backup-simplify]: Simplify 0 into 0 0.439 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.439 * [backup-simplify]: Simplify 0 into 0 0.440 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.440 * [taylor]: Taking taylor expansion of 0 in h 0.440 * [backup-simplify]: Simplify 0 into 0 0.440 * [backup-simplify]: Simplify 0 into 0 0.440 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) into (* 1/3 (acos (* -1 (/ g h)))) 0.440 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.441 * [backup-simplify]: Simplify (fma 2/3 PI (/ (acos (/ (- g) h)) 3)) into (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) 0.441 * [approximate]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in (g h) around 0 0.441 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in h 0.441 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 0.441 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.441 * [taylor]: Taking taylor expansion of 2/3 in h 0.441 * [backup-simplify]: Simplify 2/3 into 2/3 0.441 * [taylor]: Taking taylor expansion of PI in h 0.441 * [backup-simplify]: Simplify PI into PI 0.441 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.441 * [taylor]: Taking taylor expansion of 1/3 in h 0.441 * [backup-simplify]: Simplify 1/3 into 1/3 0.441 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.441 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.441 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in g 0.441 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 0.441 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.441 * [taylor]: Taking taylor expansion of 2/3 in g 0.441 * [backup-simplify]: Simplify 2/3 into 2/3 0.441 * [taylor]: Taking taylor expansion of PI in g 0.441 * [backup-simplify]: Simplify PI into PI 0.441 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.441 * [taylor]: Taking taylor expansion of 1/3 in g 0.441 * [backup-simplify]: Simplify 1/3 into 1/3 0.441 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.441 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.441 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in g 0.441 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 0.441 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.441 * [taylor]: Taking taylor expansion of 2/3 in g 0.441 * [backup-simplify]: Simplify 2/3 into 2/3 0.441 * [taylor]: Taking taylor expansion of PI in g 0.441 * [backup-simplify]: Simplify PI into PI 0.441 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.441 * [taylor]: Taking taylor expansion of 1/3 in g 0.441 * [backup-simplify]: Simplify 1/3 into 1/3 0.441 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.441 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.442 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.442 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.442 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.442 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h 0.443 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.443 * [taylor]: Taking taylor expansion of 1/3 in h 0.443 * [backup-simplify]: Simplify 1/3 into 1/3 0.443 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.443 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.443 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.443 * [taylor]: Taking taylor expansion of 2/3 in h 0.443 * [backup-simplify]: Simplify 2/3 into 2/3 0.443 * [taylor]: Taking taylor expansion of PI in h 0.443 * [backup-simplify]: Simplify PI into PI 0.443 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 0.443 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.444 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.445 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.446 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.446 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.447 * [backup-simplify]: Simplify (+ 0 0) into 0 0.447 * [taylor]: Taking taylor expansion of 0 in h 0.447 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.448 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.448 * [backup-simplify]: Simplify (+ 0 0) into 0 0.448 * [backup-simplify]: Simplify 0 into 0 0.449 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.450 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.451 * [backup-simplify]: Simplify (+ 0 0) into 0 0.451 * [taylor]: Taking taylor expansion of 0 in h 0.451 * [backup-simplify]: Simplify 0 into 0 0.451 * [backup-simplify]: Simplify 0 into 0 0.451 * [backup-simplify]: Simplify 0 into 0 0.452 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.454 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.454 * [backup-simplify]: Simplify (+ 0 0) into 0 0.454 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.457 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.457 * [backup-simplify]: Simplify (+ 0 0) into 0 0.457 * [taylor]: Taking taylor expansion of 0 in h 0.457 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.458 * [backup-simplify]: Simplify (fma 2/3 PI (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3)) into (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) 0.458 * [approximate]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in (g h) around 0 0.458 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in h 0.458 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.458 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.458 * [taylor]: Taking taylor expansion of 2/3 in h 0.458 * [backup-simplify]: Simplify 2/3 into 2/3 0.458 * [taylor]: Taking taylor expansion of PI in h 0.458 * [backup-simplify]: Simplify PI into PI 0.458 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.458 * [taylor]: Taking taylor expansion of 1/3 in h 0.458 * [backup-simplify]: Simplify 1/3 into 1/3 0.458 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.459 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.459 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 0.459 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.459 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.459 * [taylor]: Taking taylor expansion of 2/3 in g 0.459 * [backup-simplify]: Simplify 2/3 into 2/3 0.459 * [taylor]: Taking taylor expansion of PI in g 0.459 * [backup-simplify]: Simplify PI into PI 0.459 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.459 * [taylor]: Taking taylor expansion of 1/3 in g 0.459 * [backup-simplify]: Simplify 1/3 into 1/3 0.459 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.459 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.459 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 0.459 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.459 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.459 * [taylor]: Taking taylor expansion of 2/3 in g 0.459 * [backup-simplify]: Simplify 2/3 into 2/3 0.459 * [taylor]: Taking taylor expansion of PI in g 0.459 * [backup-simplify]: Simplify PI into PI 0.459 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.459 * [taylor]: Taking taylor expansion of 1/3 in g 0.459 * [backup-simplify]: Simplify 1/3 into 1/3 0.459 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.460 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.460 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.460 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.461 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.461 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.461 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.461 * [taylor]: Taking taylor expansion of 1/3 in h 0.461 * [backup-simplify]: Simplify 1/3 into 1/3 0.461 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.461 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.461 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.461 * [taylor]: Taking taylor expansion of 2/3 in h 0.461 * [backup-simplify]: Simplify 2/3 into 2/3 0.461 * [taylor]: Taking taylor expansion of PI in h 0.461 * [backup-simplify]: Simplify PI into PI 0.461 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.462 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.463 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.463 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.464 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.465 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.465 * [backup-simplify]: Simplify (+ 0 0) into 0 0.465 * [taylor]: Taking taylor expansion of 0 in h 0.465 * [backup-simplify]: Simplify 0 into 0 0.465 * [backup-simplify]: Simplify 0 into 0 0.466 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.469 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.470 * [backup-simplify]: Simplify (+ 0 0) into 0 0.470 * [backup-simplify]: Simplify 0 into 0 0.471 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.472 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.472 * [backup-simplify]: Simplify (+ 0 0) into 0 0.472 * [taylor]: Taking taylor expansion of 0 in h 0.472 * [backup-simplify]: Simplify 0 into 0 0.472 * [backup-simplify]: Simplify 0 into 0 0.472 * [backup-simplify]: Simplify 0 into 0 0.473 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.474 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.475 * [backup-simplify]: Simplify (+ 0 0) into 0 0.475 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.477 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.478 * [backup-simplify]: Simplify (+ 0 0) into 0 0.478 * [taylor]: Taking taylor expansion of 0 in h 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.479 * [backup-simplify]: Simplify (fma 2/3 PI (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3)) into (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) 0.479 * [approximate]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in (g h) around 0 0.479 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in h 0.479 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.479 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.479 * [taylor]: Taking taylor expansion of 2/3 in h 0.479 * [backup-simplify]: Simplify 2/3 into 2/3 0.479 * [taylor]: Taking taylor expansion of PI in h 0.479 * [backup-simplify]: Simplify PI into PI 0.479 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.479 * [taylor]: Taking taylor expansion of 1/3 in h 0.479 * [backup-simplify]: Simplify 1/3 into 1/3 0.479 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.479 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.479 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 0.479 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.479 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.479 * [taylor]: Taking taylor expansion of 2/3 in g 0.479 * [backup-simplify]: Simplify 2/3 into 2/3 0.479 * [taylor]: Taking taylor expansion of PI in g 0.479 * [backup-simplify]: Simplify PI into PI 0.479 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.479 * [taylor]: Taking taylor expansion of 1/3 in g 0.479 * [backup-simplify]: Simplify 1/3 into 1/3 0.479 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.479 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.480 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 0.480 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 0.480 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.480 * [taylor]: Taking taylor expansion of 2/3 in g 0.480 * [backup-simplify]: Simplify 2/3 into 2/3 0.480 * [taylor]: Taking taylor expansion of PI in g 0.480 * [backup-simplify]: Simplify PI into PI 0.480 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.480 * [taylor]: Taking taylor expansion of 1/3 in g 0.480 * [backup-simplify]: Simplify 1/3 into 1/3 0.480 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.480 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.481 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.481 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.481 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.481 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.482 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.482 * [taylor]: Taking taylor expansion of 1/3 in h 0.482 * [backup-simplify]: Simplify 1/3 into 1/3 0.482 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.482 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.482 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.482 * [taylor]: Taking taylor expansion of 2/3 in h 0.482 * [backup-simplify]: Simplify 2/3 into 2/3 0.482 * [taylor]: Taking taylor expansion of PI in h 0.482 * [backup-simplify]: Simplify PI into PI 0.482 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 0.482 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 0.483 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.484 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 0.484 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.485 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.485 * [backup-simplify]: Simplify (+ 0 0) into 0 0.485 * [taylor]: Taking taylor expansion of 0 in h 0.485 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.487 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 0.487 * [backup-simplify]: Simplify (+ 0 0) into 0 0.487 * [backup-simplify]: Simplify 0 into 0 0.488 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.489 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.489 * [backup-simplify]: Simplify (+ 0 0) into 0 0.489 * [taylor]: Taking taylor expansion of 0 in h 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.491 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 0.492 * [backup-simplify]: Simplify (+ 0 0) into 0 0.492 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.495 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.495 * [backup-simplify]: Simplify (+ 0 0) into 0 0.495 * [taylor]: Taking taylor expansion of 0 in h 0.495 * [backup-simplify]: Simplify 0 into 0 0.495 * [backup-simplify]: Simplify 0 into 0 0.496 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 0.496 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 3 1) 0.496 * [backup-simplify]: Simplify (acos (/ (- g) h)) into (acos (* -1 (/ g h))) 0.496 * [approximate]: Taking taylor expansion of (acos (* -1 (/ g h))) in (g h) around 0 0.496 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.496 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.496 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.496 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.496 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.496 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.496 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.497 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.497 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.497 * [taylor]: Taking taylor expansion of 0 in h 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [taylor]: Taking taylor expansion of 0 in h 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [taylor]: Taking taylor expansion of 0 in h 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.497 * [backup-simplify]: Simplify (acos (/ (- (/ 1 g)) (/ 1 h))) into (acos (* -1 (/ h g))) 0.497 * [approximate]: Taking taylor expansion of (acos (* -1 (/ h g))) in (g h) around 0 0.497 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.497 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.497 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.498 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.498 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.498 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.498 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.498 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.498 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.498 * [taylor]: Taking taylor expansion of 0 in h 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [taylor]: Taking taylor expansion of 0 in h 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [taylor]: Taking taylor expansion of 0 in h 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify (acos (* -1 (/ (/ 1 h) (/ 1 g)))) into (acos (* -1 (/ g h))) 0.499 * [backup-simplify]: Simplify (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) into (acos (* -1 (/ h g))) 0.499 * [approximate]: Taking taylor expansion of (acos (* -1 (/ h g))) in (g h) around 0 0.499 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.499 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.499 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.499 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.499 * [taylor]: Taking taylor expansion of 0 in h 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [taylor]: Taking taylor expansion of 0 in h 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify 0 into 0 0.500 * [backup-simplify]: Simplify 0 into 0 0.500 * [backup-simplify]: Simplify 0 into 0 0.500 * [taylor]: Taking taylor expansion of 0 in h 0.500 * [backup-simplify]: Simplify 0 into 0 0.500 * [backup-simplify]: Simplify 0 into 0 0.500 * [backup-simplify]: Simplify (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g))))) into (acos (* -1 (/ g h))) 0.500 * * * [progress]: simplifying candidates 0.500 * * * * [progress]: [ 1 / 78 ] simplifiying candidate # 0.500 * * * * [progress]: [ 2 / 78 ] simplifiying candidate # 0.500 * * * * [progress]: [ 3 / 78 ] simplifiying candidate # 0.500 * * * * [progress]: [ 4 / 78 ] simplifiying candidate # 0.500 * * * * [progress]: [ 5 / 78 ] simplifiying candidate # 0.500 * * * * [progress]: [ 6 / 78 ] simplifiying candidate # 0.500 * * * * [progress]: [ 7 / 78 ] simplifiying candidate # 0.500 * * * * [progress]: [ 8 / 78 ] simplifiying candidate # 0.500 * * * * [progress]: [ 9 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 10 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 11 / 78 ] simplifiying candidate #real (real->posit16 (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))) 2))> 0.501 * * * * [progress]: [ 12 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 13 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 14 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 15 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 16 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 17 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 18 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 19 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 20 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 21 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 22 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 23 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 24 / 78 ] simplifiying candidate # 0.501 * * * * [progress]: [ 25 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 26 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 27 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 28 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 29 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 30 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 31 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 32 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 33 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 34 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 35 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 36 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 37 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 38 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 39 / 78 ] simplifiying candidate # 0.502 * * * * [progress]: [ 40 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 41 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 42 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 43 / 78 ] simplifiying candidate #real (real->posit16 (/ (acos (/ (- g) h)) 3))))) 2))> 0.503 * * * * [progress]: [ 44 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 45 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 46 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 47 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 48 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 49 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 50 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 51 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 52 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 53 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 54 / 78 ] simplifiying candidate #real (real->posit16 (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))) 2))> 0.503 * * * * [progress]: [ 55 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 56 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 57 / 78 ] simplifiying candidate # 0.503 * * * * [progress]: [ 58 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 59 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 60 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 61 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 62 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 63 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 64 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 65 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 66 / 78 ] simplifiying candidate #real (real->posit16 (acos (/ (- g) h)))) 3))) 2))> 0.504 * * * * [progress]: [ 67 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 68 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 69 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 70 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 71 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 72 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 73 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 74 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 75 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 76 / 78 ] simplifiying candidate # 0.504 * * * * [progress]: [ 77 / 78 ] simplifiying candidate # 0.505 * * * * [progress]: [ 78 / 78 ] simplifiying candidate # 0.506 * [simplify]: Simplifying: (expm1 (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (log1p (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (* (cos (* 2/3 PI)) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3))) (log (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (exp (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (* (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))) (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (* (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (sqrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (sqrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (real->posit16 (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (expm1 (/ (acos (/ (- g) h)) 3)) (log1p (/ (acos (/ (- g) h)) 3)) (- (log (acos (/ (- g) h))) (log 3)) (log (/ (acos (/ (- g) h)) 3)) (exp (/ (acos (/ (- g) h)) 3)) (/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* 3 3) 3)) (* (cbrt (/ (acos (/ (- g) h)) 3)) (cbrt (/ (acos (/ (- g) h)) 3))) (cbrt (/ (acos (/ (- g) h)) 3)) (* (* (/ (acos (/ (- g) h)) 3) (/ (acos (/ (- g) h)) 3)) (/ (acos (/ (- g) h)) 3)) (sqrt (/ (acos (/ (- g) h)) 3)) (sqrt (/ (acos (/ (- g) h)) 3)) (- (acos (/ (- g) h))) (- 3) (/ (/ PI 2) 3) (/ (asin (/ (- g) h)) 3) (/ PI 3) (/ (acos (/ g h)) 3) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3) (cbrt 3))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3)) (/ (cbrt (acos (/ (- g) h))) (sqrt 3)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) 1) (/ (cbrt (acos (/ (- g) h))) 3) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3) (cbrt 3))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) 1) (/ (sqrt (acos (/ (- g) h))) 3) (/ 1 (* (cbrt 3) (cbrt 3))) (/ (acos (/ (- g) h)) (cbrt 3)) (/ 1 (sqrt 3)) (/ (acos (/ (- g) h)) (sqrt 3)) (/ 1 1) (/ (acos (/ (- g) h)) 3) (/ 1 3) (/ 3 (acos (/ (- g) h))) (/ (acos (/ (- g) h)) (* (cbrt 3) (cbrt 3))) (/ (acos (/ (- g) h)) (sqrt 3)) (/ (acos (/ (- g) h)) 1) (/ 3 (cbrt (acos (/ (- g) h)))) (/ 3 (sqrt (acos (/ (- g) h)))) (/ 3 (acos (/ (- g) h))) (real->posit16 (/ (acos (/ (- g) h)) 3)) (expm1 (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (log1p (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (* 2/3 PI) (log (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (exp (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (* (cbrt (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cbrt (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cbrt (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (* (* (fma 2/3 PI (/ (acos (/ (- g) h)) 3)) (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (sqrt (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (sqrt (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (real->posit16 (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (expm1 (acos (/ (- g) h))) (log1p (acos (/ (- g) h))) (/ PI 2) (asin (/ (- g) h)) (acos (/ g h)) (log (acos (/ (- g) h))) (exp (acos (/ (- g) h))) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (cbrt (acos (/ (- g) h))) (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (sqrt (acos (/ (- g) h))) (sqrt (acos (/ (- g) h))) (real->posit16 (acos (/ (- g) h))) (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) (* 1/3 (acos (* -1 (/ g h)))) (* 1/3 (acos (* -1 (/ g h)))) (* 1/3 (acos (* -1 (/ g h)))) (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) (acos (* -1 (/ g h))) (acos (* -1 (/ g h))) (acos (* -1 (/ g h))) 0.508 * * [simplify]: iteration 1: (107 enodes) 0.533 * * [simplify]: iteration 2: (161 enodes) 0.582 * * [simplify]: iteration 3: (298 enodes) 0.690 * * [simplify]: iteration 4: (607 enodes) 1.095 * * [simplify]: iteration 5: (1316 enodes) 2.443 * * [simplify]: Extracting #0: cost 71 inf + 0 2.444 * * [simplify]: Extracting #1: cost 264 inf + 3 2.449 * * [simplify]: Extracting #2: cost 596 inf + 759 2.456 * * [simplify]: Extracting #3: cost 603 inf + 3914 2.467 * * [simplify]: Extracting #4: cost 533 inf + 21167 2.521 * * [simplify]: Extracting #5: cost 162 inf + 150184 2.623 * * [simplify]: Extracting #6: cost 3 inf + 218788 2.721 * * [simplify]: Extracting #7: cost 0 inf + 220160 2.790 * [simplify]: Simplified to: (expm1 (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (log1p (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (* (cos (/ (acos (/ (- g) h)) 3)) (cos (* 2/3 PI))) (* (sin (/ (acos (/ (- g) h)) 3)) (sin (* 2/3 PI))) (log (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (exp (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (* (cbrt (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (cbrt (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3))))) (cbrt (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (* (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (* (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3))))) (sqrt (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (sqrt (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (real->posit16 (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (expm1 (/ (acos (/ (- g) h)) 3)) (log1p (/ (acos (/ (- g) h)) 3)) (log (/ (acos (/ (- g) h)) 3)) (log (/ (acos (/ (- g) h)) 3)) (exp (/ (acos (/ (- g) h)) 3)) (/ (acos (/ (- g) h)) (/ 27 (* (acos (/ (- g) h)) (acos (/ (- g) h))))) (* (cbrt (/ (acos (/ (- g) h)) 3)) (cbrt (/ (acos (/ (- g) h)) 3))) (cbrt (/ (acos (/ (- g) h)) 3)) (/ (acos (/ (- g) h)) (/ 27 (* (acos (/ (- g) h)) (acos (/ (- g) h))))) (sqrt (/ (acos (/ (- g) h)) 3)) (sqrt (/ (acos (/ (- g) h)) 3)) (- (acos (/ (- g) h))) -3 (/ PI 6) (/ (asin (/ (- g) h)) 3) (/ PI 3) (/ (acos (/ g h)) 3) (* (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3)) (/ (cbrt (acos (/ (- g) h))) (sqrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (/ (cbrt (acos (/ (- g) h))) 3) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3) (cbrt 3))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (sqrt (acos (/ (- g) h))) (/ (sqrt (acos (/ (- g) h))) 3) (/ (/ 1 (cbrt 3)) (cbrt 3)) (/ (acos (/ (- g) h)) (cbrt 3)) (/ 1 (sqrt 3)) (/ (acos (/ (- g) h)) (sqrt 3)) 1 (/ (acos (/ (- g) h)) 3) 1/3 (/ 3 (acos (/ (- g) h))) (/ (/ (acos (/ (- g) h)) (cbrt 3)) (cbrt 3)) (/ (acos (/ (- g) h)) (sqrt 3)) (acos (/ (- g) h)) (/ 3 (cbrt (acos (/ (- g) h)))) (/ 3 (sqrt (acos (/ (- g) h)))) (/ 3 (acos (/ (- g) h))) (real->posit16 (/ (acos (/ (- g) h)) 3)) (expm1 (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (log1p (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (* 2/3 PI) (log (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (exp (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (* (cbrt (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (cbrt (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (cbrt (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (* (fma PI 2/3 (/ (acos (/ (- g) h)) 3)) (* (fma PI 2/3 (/ (acos (/ (- g) h)) 3)) (fma PI 2/3 (/ (acos (/ (- g) h)) 3)))) (sqrt (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (sqrt (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (real->posit16 (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (expm1 (acos (/ (- g) h))) (log1p (acos (/ (- g) h))) (/ PI 2) (asin (/ (- g) h)) (acos (/ g h)) (log (acos (/ (- g) h))) (exp (acos (/ (- g) h))) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (cbrt (acos (/ (- g) h))) (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (sqrt (acos (/ (- g) h))) (sqrt (acos (/ (- g) h))) (real->posit16 (acos (/ (- g) h))) (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (cos (fma PI 2/3 (/ (acos (/ (- g) h)) 3))) (/ (acos (/ (- g) h)) 3) (/ (acos (/ (- g) h)) 3) (/ (acos (/ (- g) h)) 3) (fma PI 2/3 (/ (acos (/ (- g) h)) 3)) (fma PI 2/3 (/ (acos (/ (- g) h)) 3)) (fma PI 2/3 (/ (acos (/ (- g) h)) 3)) (acos (/ (- g) h)) (acos (/ (- g) h)) (acos (/ (- g) h)) 2.796 * * * [progress]: adding candidates to table 3.530 * * [progress]: iteration 2 / 4 3.530 * * * [progress]: picking best candidate 3.551 * * * * [pick]: Picked # 3.551 * * * [progress]: localizing error 3.603 * * * [progress]: generating rewritten candidates 3.603 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 3.608 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 3) 3.621 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 3.622 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 3 2 2) 3.626 * * * [progress]: generating series expansions 3.626 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 3.626 * [backup-simplify]: Simplify (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) into (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) 3.626 * [approximate]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) in (g h) around 0 3.626 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) in h 3.626 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in h 3.626 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 3.626 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.626 * [taylor]: Taking taylor expansion of 2/3 in h 3.626 * [backup-simplify]: Simplify 2/3 into 2/3 3.626 * [taylor]: Taking taylor expansion of PI in h 3.626 * [backup-simplify]: Simplify PI into PI 3.626 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 3.626 * [taylor]: Taking taylor expansion of 1/3 in h 3.626 * [backup-simplify]: Simplify 1/3 into 1/3 3.626 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 3.626 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.627 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.627 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.628 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.629 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.629 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.629 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) in g 3.629 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in g 3.629 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 3.629 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.629 * [taylor]: Taking taylor expansion of 2/3 in g 3.630 * [backup-simplify]: Simplify 2/3 into 2/3 3.630 * [taylor]: Taking taylor expansion of PI in g 3.630 * [backup-simplify]: Simplify PI into PI 3.630 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 3.630 * [taylor]: Taking taylor expansion of 1/3 in g 3.630 * [backup-simplify]: Simplify 1/3 into 1/3 3.630 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 3.630 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.630 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.630 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.631 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.632 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.632 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.632 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h)))))) in g 3.632 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in g 3.632 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 3.632 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.632 * [taylor]: Taking taylor expansion of 2/3 in g 3.632 * [backup-simplify]: Simplify 2/3 into 2/3 3.632 * [taylor]: Taking taylor expansion of PI in g 3.633 * [backup-simplify]: Simplify PI into PI 3.633 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 3.633 * [taylor]: Taking taylor expansion of 1/3 in g 3.633 * [backup-simplify]: Simplify 1/3 into 1/3 3.633 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 3.633 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.633 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.633 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.634 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.635 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.636 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.636 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.637 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) into 0 3.637 * [backup-simplify]: Simplify (- 0) into 0 3.638 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.638 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in h 3.638 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h 3.638 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 3.638 * [taylor]: Taking taylor expansion of 1/3 in h 3.638 * [backup-simplify]: Simplify 1/3 into 1/3 3.638 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 3.638 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.638 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.638 * [taylor]: Taking taylor expansion of 2/3 in h 3.638 * [backup-simplify]: Simplify 2/3 into 2/3 3.638 * [taylor]: Taking taylor expansion of PI in h 3.638 * [backup-simplify]: Simplify PI into PI 3.638 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.639 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.639 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.639 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.640 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.640 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.641 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) into 0 3.641 * [backup-simplify]: Simplify (- 0) into 0 3.641 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.642 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.642 * [backup-simplify]: Simplify (+ 0) into 0 3.643 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (* 0 1)) into 0 3.643 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.644 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 3.644 * [backup-simplify]: Simplify (+ 0 0) into 0 3.644 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 3.645 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (* 0 0)) into 0 3.645 * [backup-simplify]: Simplify (- 0) into 0 3.645 * [backup-simplify]: Simplify (+ 0 0) into 0 3.645 * [taylor]: Taking taylor expansion of 0 in h 3.645 * [backup-simplify]: Simplify 0 into 0 3.645 * [backup-simplify]: Simplify 0 into 0 3.646 * [backup-simplify]: Simplify (+ 0) into 0 3.647 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (* 0 1)) into 0 3.647 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 3.647 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.648 * [backup-simplify]: Simplify (+ 0 0) into 0 3.648 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 3.649 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (* 0 0)) into 0 3.649 * [backup-simplify]: Simplify (- 0) into 0 3.649 * [backup-simplify]: Simplify (+ 0 0) into 0 3.649 * [backup-simplify]: Simplify 0 into 0 3.650 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 3.651 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 3.651 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.652 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 3.652 * [backup-simplify]: Simplify (+ 0 0) into 0 3.653 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.653 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 3.653 * [backup-simplify]: Simplify (- 0) into 0 3.654 * [backup-simplify]: Simplify (+ 0 0) into 0 3.654 * [taylor]: Taking taylor expansion of 0 in h 3.654 * [backup-simplify]: Simplify 0 into 0 3.654 * [backup-simplify]: Simplify 0 into 0 3.654 * [backup-simplify]: Simplify 0 into 0 3.654 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 3.655 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 3.656 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 3.656 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.657 * [backup-simplify]: Simplify (+ 0 0) into 0 3.657 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.658 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 3.658 * [backup-simplify]: Simplify (- 0) into 0 3.658 * [backup-simplify]: Simplify (+ 0 0) into 0 3.658 * [backup-simplify]: Simplify 0 into 0 3.659 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 3.660 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.660 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 3.661 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 3.661 * [backup-simplify]: Simplify (+ 0 0) into 0 3.662 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 3.663 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 3.663 * [backup-simplify]: Simplify (- 0) into 0 3.663 * [backup-simplify]: Simplify (+ 0 0) into 0 3.663 * [taylor]: Taking taylor expansion of 0 in h 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.664 * [backup-simplify]: Simplify (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- (/ 1 g)) (/ 1 h))))))) into (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) 3.664 * [approximate]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in (g h) around 0 3.664 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in h 3.664 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in h 3.664 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.664 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.664 * [taylor]: Taking taylor expansion of 2/3 in h 3.664 * [backup-simplify]: Simplify 2/3 into 2/3 3.664 * [taylor]: Taking taylor expansion of PI in h 3.664 * [backup-simplify]: Simplify PI into PI 3.664 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.664 * [taylor]: Taking taylor expansion of 1/3 in h 3.664 * [backup-simplify]: Simplify 1/3 into 1/3 3.664 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.664 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.665 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.665 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.665 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.666 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.666 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.666 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in g 3.666 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 3.666 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.666 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.666 * [taylor]: Taking taylor expansion of 2/3 in g 3.666 * [backup-simplify]: Simplify 2/3 into 2/3 3.666 * [taylor]: Taking taylor expansion of PI in g 3.666 * [backup-simplify]: Simplify PI into PI 3.666 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.666 * [taylor]: Taking taylor expansion of 1/3 in g 3.666 * [backup-simplify]: Simplify 1/3 into 1/3 3.666 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.666 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.667 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.667 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.667 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.667 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.668 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.668 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in g 3.668 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 3.668 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.668 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.668 * [taylor]: Taking taylor expansion of 2/3 in g 3.668 * [backup-simplify]: Simplify 2/3 into 2/3 3.668 * [taylor]: Taking taylor expansion of PI in g 3.668 * [backup-simplify]: Simplify PI into PI 3.668 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.668 * [taylor]: Taking taylor expansion of 1/3 in g 3.668 * [backup-simplify]: Simplify 1/3 into 1/3 3.668 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.668 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.668 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.669 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.669 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.669 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.670 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.670 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.671 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into 0 3.671 * [backup-simplify]: Simplify (- 0) into 0 3.671 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.671 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h 3.672 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 3.672 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.672 * [taylor]: Taking taylor expansion of 1/3 in h 3.672 * [backup-simplify]: Simplify 1/3 into 1/3 3.672 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.672 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.672 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.672 * [taylor]: Taking taylor expansion of 2/3 in h 3.672 * [backup-simplify]: Simplify 2/3 into 2/3 3.672 * [taylor]: Taking taylor expansion of PI in h 3.672 * [backup-simplify]: Simplify PI into PI 3.672 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.672 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.672 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.673 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.673 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.674 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.674 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into 0 3.674 * [backup-simplify]: Simplify (- 0) into 0 3.675 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.675 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.676 * [backup-simplify]: Simplify (+ 0) into 0 3.676 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 1)) into 0 3.677 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.677 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.677 * [backup-simplify]: Simplify (+ 0 0) into 0 3.678 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 3.679 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 0)) into 0 3.679 * [backup-simplify]: Simplify (- 0) into 0 3.679 * [backup-simplify]: Simplify (+ 0 0) into 0 3.679 * [taylor]: Taking taylor expansion of 0 in h 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify (+ 0) into 0 3.680 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 1)) into 0 3.680 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.684 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.685 * [backup-simplify]: Simplify (+ 0 0) into 0 3.685 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 3.686 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 0)) into 0 3.686 * [backup-simplify]: Simplify (- 0) into 0 3.686 * [backup-simplify]: Simplify (+ 0 0) into 0 3.686 * [backup-simplify]: Simplify 0 into 0 3.687 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 3.688 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 3.689 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.689 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.689 * [backup-simplify]: Simplify (+ 0 0) into 0 3.690 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.691 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 3.691 * [backup-simplify]: Simplify (- 0) into 0 3.691 * [backup-simplify]: Simplify (+ 0 0) into 0 3.691 * [taylor]: Taking taylor expansion of 0 in h 3.691 * [backup-simplify]: Simplify 0 into 0 3.691 * [backup-simplify]: Simplify 0 into 0 3.691 * [backup-simplify]: Simplify 0 into 0 3.692 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 3.693 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 3.693 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.694 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.694 * [backup-simplify]: Simplify (+ 0 0) into 0 3.695 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.695 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 3.696 * [backup-simplify]: Simplify (- 0) into 0 3.696 * [backup-simplify]: Simplify (+ 0 0) into 0 3.696 * [backup-simplify]: Simplify 0 into 0 3.696 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 3.697 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.698 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 3.699 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 3.699 * [backup-simplify]: Simplify (+ 0 0) into 0 3.700 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 3.701 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 3.701 * [backup-simplify]: Simplify (- 0) into 0 3.701 * [backup-simplify]: Simplify (+ 0 0) into 0 3.701 * [taylor]: Taking taylor expansion of 0 in h 3.701 * [backup-simplify]: Simplify 0 into 0 3.701 * [backup-simplify]: Simplify 0 into 0 3.702 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.702 * [backup-simplify]: Simplify (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))))))) into (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) 3.702 * [approximate]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in (g h) around 0 3.702 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in h 3.702 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in h 3.702 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.702 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.702 * [taylor]: Taking taylor expansion of 2/3 in h 3.702 * [backup-simplify]: Simplify 2/3 into 2/3 3.702 * [taylor]: Taking taylor expansion of PI in h 3.702 * [backup-simplify]: Simplify PI into PI 3.702 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.702 * [taylor]: Taking taylor expansion of 1/3 in h 3.702 * [backup-simplify]: Simplify 1/3 into 1/3 3.702 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.702 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.702 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.703 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.703 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.703 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.704 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.704 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in g 3.704 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 3.704 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.704 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.704 * [taylor]: Taking taylor expansion of 2/3 in g 3.704 * [backup-simplify]: Simplify 2/3 into 2/3 3.704 * [taylor]: Taking taylor expansion of PI in g 3.704 * [backup-simplify]: Simplify PI into PI 3.704 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.704 * [taylor]: Taking taylor expansion of 1/3 in g 3.704 * [backup-simplify]: Simplify 1/3 into 1/3 3.704 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.704 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.704 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.704 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.705 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.705 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.706 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.706 * [taylor]: Taking taylor expansion of (cos (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g)))))) in g 3.706 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 3.706 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.706 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.706 * [taylor]: Taking taylor expansion of 2/3 in g 3.706 * [backup-simplify]: Simplify 2/3 into 2/3 3.706 * [taylor]: Taking taylor expansion of PI in g 3.706 * [backup-simplify]: Simplify PI into PI 3.706 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.706 * [taylor]: Taking taylor expansion of 1/3 in g 3.706 * [backup-simplify]: Simplify 1/3 into 1/3 3.706 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.706 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.706 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.706 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.707 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.707 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.708 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.708 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.708 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into 0 3.709 * [backup-simplify]: Simplify (- 0) into 0 3.709 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.709 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h 3.709 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 3.709 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.709 * [taylor]: Taking taylor expansion of 1/3 in h 3.709 * [backup-simplify]: Simplify 1/3 into 1/3 3.709 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.709 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.709 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.709 * [taylor]: Taking taylor expansion of 2/3 in h 3.709 * [backup-simplify]: Simplify 2/3 into 2/3 3.709 * [taylor]: Taking taylor expansion of PI in h 3.709 * [backup-simplify]: Simplify PI into PI 3.709 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.710 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.710 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.710 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.711 * [backup-simplify]: Simplify (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.711 * [backup-simplify]: Simplify (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 1) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.712 * [backup-simplify]: Simplify (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into 0 3.712 * [backup-simplify]: Simplify (- 0) into 0 3.712 * [backup-simplify]: Simplify (+ (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.713 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 3.713 * [backup-simplify]: Simplify (+ 0) into 0 3.714 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 1)) into 0 3.714 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.714 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.715 * [backup-simplify]: Simplify (+ 0 0) into 0 3.715 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 3.716 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 0)) into 0 3.716 * [backup-simplify]: Simplify (- 0) into 0 3.716 * [backup-simplify]: Simplify (+ 0 0) into 0 3.716 * [taylor]: Taking taylor expansion of 0 in h 3.716 * [backup-simplify]: Simplify 0 into 0 3.716 * [backup-simplify]: Simplify 0 into 0 3.717 * [backup-simplify]: Simplify (+ 0) into 0 3.717 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 1)) into 0 3.718 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.718 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.718 * [backup-simplify]: Simplify (+ 0 0) into 0 3.719 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 3.719 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (* 0 0)) into 0 3.720 * [backup-simplify]: Simplify (- 0) into 0 3.720 * [backup-simplify]: Simplify (+ 0 0) into 0 3.720 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 3.721 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 3.722 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.723 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.723 * [backup-simplify]: Simplify (+ 0 0) into 0 3.724 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.725 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 3.726 * [backup-simplify]: Simplify (- 0) into 0 3.726 * [backup-simplify]: Simplify (+ 0 0) into 0 3.726 * [taylor]: Taking taylor expansion of 0 in h 3.726 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify 0 into 0 3.727 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 3.728 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 3.729 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.731 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.731 * [backup-simplify]: Simplify (+ 0 0) into 0 3.732 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.733 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 3.733 * [backup-simplify]: Simplify (- 0) into 0 3.734 * [backup-simplify]: Simplify (+ 0 0) into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 3.736 * [backup-simplify]: Simplify (+ (* (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.737 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 3.739 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 3.739 * [backup-simplify]: Simplify (+ 0 0) into 0 3.741 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 3.742 * [backup-simplify]: Simplify (+ (* (sin (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 3.742 * [backup-simplify]: Simplify (- 0) into 0 3.743 * [backup-simplify]: Simplify (+ 0 0) into 0 3.743 * [taylor]: Taking taylor expansion of 0 in h 3.743 * [backup-simplify]: Simplify 0 into 0 3.743 * [backup-simplify]: Simplify 0 into 0 3.744 * [backup-simplify]: Simplify (cos (+ (* 1/3 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) (* 2/3 PI))) into (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 3.744 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 3) 3.744 * [backup-simplify]: Simplify (/ 1 (/ 3 (acos (/ (- g) h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.744 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in (g h) around 0 3.744 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 3.744 * [taylor]: Taking taylor expansion of 1/3 in h 3.744 * [backup-simplify]: Simplify 1/3 into 1/3 3.744 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 3.744 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.744 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 3.744 * [taylor]: Taking taylor expansion of 1/3 in g 3.744 * [backup-simplify]: Simplify 1/3 into 1/3 3.744 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 3.744 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.744 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 3.744 * [taylor]: Taking taylor expansion of 1/3 in g 3.745 * [backup-simplify]: Simplify 1/3 into 1/3 3.745 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 3.745 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.745 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.745 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 3.745 * [taylor]: Taking taylor expansion of 1/3 in h 3.745 * [backup-simplify]: Simplify 1/3 into 1/3 3.745 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 3.745 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.745 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.745 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.746 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 3.746 * [taylor]: Taking taylor expansion of 0 in h 3.746 * [backup-simplify]: Simplify 0 into 0 3.746 * [backup-simplify]: Simplify 0 into 0 3.747 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 3.747 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 3.748 * [taylor]: Taking taylor expansion of 0 in h 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify 0 into 0 3.749 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 3.749 * [backup-simplify]: Simplify 0 into 0 3.750 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 3.750 * [taylor]: Taking taylor expansion of 0 in h 3.750 * [backup-simplify]: Simplify 0 into 0 3.750 * [backup-simplify]: Simplify 0 into 0 3.750 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.750 * [backup-simplify]: Simplify (/ 1 (/ 3 (acos (/ (- (/ 1 g)) (/ 1 h))))) into (* 1/3 (acos (* -1 (/ h g)))) 3.751 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in (g h) around 0 3.751 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.751 * [taylor]: Taking taylor expansion of 1/3 in h 3.751 * [backup-simplify]: Simplify 1/3 into 1/3 3.751 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.751 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.751 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.751 * [taylor]: Taking taylor expansion of 1/3 in g 3.751 * [backup-simplify]: Simplify 1/3 into 1/3 3.751 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.751 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.751 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.751 * [taylor]: Taking taylor expansion of 1/3 in g 3.751 * [backup-simplify]: Simplify 1/3 into 1/3 3.751 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.751 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.751 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.751 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.751 * [taylor]: Taking taylor expansion of 1/3 in h 3.751 * [backup-simplify]: Simplify 1/3 into 1/3 3.752 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.752 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.752 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.752 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.753 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.753 * [taylor]: Taking taylor expansion of 0 in h 3.753 * [backup-simplify]: Simplify 0 into 0 3.753 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.754 * [backup-simplify]: Simplify 0 into 0 3.755 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.755 * [taylor]: Taking taylor expansion of 0 in h 3.755 * [backup-simplify]: Simplify 0 into 0 3.755 * [backup-simplify]: Simplify 0 into 0 3.755 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.756 * [backup-simplify]: Simplify 0 into 0 3.757 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 3.757 * [taylor]: Taking taylor expansion of 0 in h 3.757 * [backup-simplify]: Simplify 0 into 0 3.757 * [backup-simplify]: Simplify 0 into 0 3.758 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) into (* 1/3 (acos (* -1 (/ g h)))) 3.758 * [backup-simplify]: Simplify (/ 1 (/ 3 (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))))) into (* 1/3 (acos (* -1 (/ h g)))) 3.758 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in (g h) around 0 3.758 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.758 * [taylor]: Taking taylor expansion of 1/3 in h 3.758 * [backup-simplify]: Simplify 1/3 into 1/3 3.758 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.758 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.758 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.758 * [taylor]: Taking taylor expansion of 1/3 in g 3.758 * [backup-simplify]: Simplify 1/3 into 1/3 3.758 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.758 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.758 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.758 * [taylor]: Taking taylor expansion of 1/3 in g 3.758 * [backup-simplify]: Simplify 1/3 into 1/3 3.758 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.759 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.759 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.759 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.759 * [taylor]: Taking taylor expansion of 1/3 in h 3.759 * [backup-simplify]: Simplify 1/3 into 1/3 3.759 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.759 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.759 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.759 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.760 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.760 * [taylor]: Taking taylor expansion of 0 in h 3.760 * [backup-simplify]: Simplify 0 into 0 3.760 * [backup-simplify]: Simplify 0 into 0 3.761 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.761 * [backup-simplify]: Simplify 0 into 0 3.762 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.762 * [taylor]: Taking taylor expansion of 0 in h 3.762 * [backup-simplify]: Simplify 0 into 0 3.762 * [backup-simplify]: Simplify 0 into 0 3.762 * [backup-simplify]: Simplify 0 into 0 3.763 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.763 * [backup-simplify]: Simplify 0 into 0 3.764 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 3.764 * [taylor]: Taking taylor expansion of 0 in h 3.764 * [backup-simplify]: Simplify 0 into 0 3.764 * [backup-simplify]: Simplify 0 into 0 3.765 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) into (* 1/3 (acos (* -1 (/ g h)))) 3.765 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 3.765 * [backup-simplify]: Simplify (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))) into (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) 3.765 * [approximate]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in (g h) around 0 3.765 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in h 3.765 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 3.765 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.765 * [taylor]: Taking taylor expansion of 2/3 in h 3.765 * [backup-simplify]: Simplify 2/3 into 2/3 3.765 * [taylor]: Taking taylor expansion of PI in h 3.765 * [backup-simplify]: Simplify PI into PI 3.765 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 3.765 * [taylor]: Taking taylor expansion of 1/3 in h 3.765 * [backup-simplify]: Simplify 1/3 into 1/3 3.765 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 3.765 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.765 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in g 3.765 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 3.765 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.765 * [taylor]: Taking taylor expansion of 2/3 in g 3.765 * [backup-simplify]: Simplify 2/3 into 2/3 3.765 * [taylor]: Taking taylor expansion of PI in g 3.766 * [backup-simplify]: Simplify PI into PI 3.766 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 3.766 * [taylor]: Taking taylor expansion of 1/3 in g 3.766 * [backup-simplify]: Simplify 1/3 into 1/3 3.766 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 3.766 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.766 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ g h))))) in g 3.766 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) 3.766 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.766 * [taylor]: Taking taylor expansion of 2/3 in g 3.766 * [backup-simplify]: Simplify 2/3 into 2/3 3.766 * [taylor]: Taking taylor expansion of PI in g 3.766 * [backup-simplify]: Simplify PI into PI 3.766 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 3.766 * [taylor]: Taking taylor expansion of 1/3 in g 3.766 * [backup-simplify]: Simplify 1/3 into 1/3 3.766 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 3.766 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.767 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.767 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.768 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ g h))))) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.768 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h 3.768 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 3.768 * [taylor]: Taking taylor expansion of 1/3 in h 3.768 * [backup-simplify]: Simplify 1/3 into 1/3 3.768 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 3.768 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.768 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.768 * [taylor]: Taking taylor expansion of 2/3 in h 3.768 * [backup-simplify]: Simplify 2/3 into 2/3 3.768 * [taylor]: Taking taylor expansion of PI in h 3.768 * [backup-simplify]: Simplify PI into PI 3.768 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ g h)))) into (* 1/3 (acos (* -1 (/ g h)))) 3.769 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.769 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.770 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.771 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.772 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 3.772 * [backup-simplify]: Simplify (+ 0 0) into 0 3.772 * [taylor]: Taking taylor expansion of 0 in h 3.772 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify 0 into 0 3.773 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ g h))))) into 0 3.774 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.774 * [backup-simplify]: Simplify (+ 0 0) into 0 3.774 * [backup-simplify]: Simplify 0 into 0 3.775 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.776 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 3.776 * [backup-simplify]: Simplify (+ 0 0) into 0 3.776 * [taylor]: Taking taylor expansion of 0 in h 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify 0 into 0 3.778 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 3.779 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.779 * [backup-simplify]: Simplify (+ 0 0) into 0 3.779 * [backup-simplify]: Simplify 0 into 0 3.780 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 3.782 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 3.782 * [backup-simplify]: Simplify (+ 0 0) into 0 3.782 * [taylor]: Taking taylor expansion of 0 in h 3.782 * [backup-simplify]: Simplify 0 into 0 3.782 * [backup-simplify]: Simplify 0 into 0 3.783 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.783 * [backup-simplify]: Simplify (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- (/ 1 g)) (/ 1 h)))))) into (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) 3.783 * [approximate]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in (g h) around 0 3.783 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in h 3.783 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.783 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.783 * [taylor]: Taking taylor expansion of 2/3 in h 3.783 * [backup-simplify]: Simplify 2/3 into 2/3 3.783 * [taylor]: Taking taylor expansion of PI in h 3.783 * [backup-simplify]: Simplify PI into PI 3.783 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.783 * [taylor]: Taking taylor expansion of 1/3 in h 3.783 * [backup-simplify]: Simplify 1/3 into 1/3 3.783 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.783 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.783 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 3.783 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.783 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.783 * [taylor]: Taking taylor expansion of 2/3 in g 3.783 * [backup-simplify]: Simplify 2/3 into 2/3 3.784 * [taylor]: Taking taylor expansion of PI in g 3.784 * [backup-simplify]: Simplify PI into PI 3.784 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.784 * [taylor]: Taking taylor expansion of 1/3 in g 3.784 * [backup-simplify]: Simplify 1/3 into 1/3 3.784 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.784 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.784 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 3.784 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.784 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.784 * [taylor]: Taking taylor expansion of 2/3 in g 3.784 * [backup-simplify]: Simplify 2/3 into 2/3 3.784 * [taylor]: Taking taylor expansion of PI in g 3.784 * [backup-simplify]: Simplify PI into PI 3.784 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.784 * [taylor]: Taking taylor expansion of 1/3 in g 3.784 * [backup-simplify]: Simplify 1/3 into 1/3 3.784 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.784 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.785 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.785 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.786 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.786 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 3.786 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.786 * [taylor]: Taking taylor expansion of 1/3 in h 3.786 * [backup-simplify]: Simplify 1/3 into 1/3 3.786 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.786 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.786 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.786 * [taylor]: Taking taylor expansion of 2/3 in h 3.786 * [backup-simplify]: Simplify 2/3 into 2/3 3.786 * [taylor]: Taking taylor expansion of PI in h 3.786 * [backup-simplify]: Simplify PI into PI 3.786 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.787 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.787 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.788 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.789 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.789 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.789 * [backup-simplify]: Simplify (+ 0 0) into 0 3.790 * [taylor]: Taking taylor expansion of 0 in h 3.790 * [backup-simplify]: Simplify 0 into 0 3.790 * [backup-simplify]: Simplify 0 into 0 3.790 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.791 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.791 * [backup-simplify]: Simplify (+ 0 0) into 0 3.791 * [backup-simplify]: Simplify 0 into 0 3.792 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.793 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.794 * [backup-simplify]: Simplify (+ 0 0) into 0 3.794 * [taylor]: Taking taylor expansion of 0 in h 3.794 * [backup-simplify]: Simplify 0 into 0 3.794 * [backup-simplify]: Simplify 0 into 0 3.794 * [backup-simplify]: Simplify 0 into 0 3.795 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.796 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.796 * [backup-simplify]: Simplify (+ 0 0) into 0 3.796 * [backup-simplify]: Simplify 0 into 0 3.797 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 3.798 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 3.799 * [backup-simplify]: Simplify (+ 0 0) into 0 3.799 * [taylor]: Taking taylor expansion of 0 in h 3.799 * [backup-simplify]: Simplify 0 into 0 3.799 * [backup-simplify]: Simplify 0 into 0 3.800 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.800 * [backup-simplify]: Simplify (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- (/ 1 (- g))) (/ 1 (- h))))))) into (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) 3.800 * [approximate]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in (g h) around 0 3.800 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in h 3.800 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.800 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.800 * [taylor]: Taking taylor expansion of 2/3 in h 3.800 * [backup-simplify]: Simplify 2/3 into 2/3 3.800 * [taylor]: Taking taylor expansion of PI in h 3.800 * [backup-simplify]: Simplify PI into PI 3.800 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.800 * [taylor]: Taking taylor expansion of 1/3 in h 3.800 * [backup-simplify]: Simplify 1/3 into 1/3 3.800 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.800 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.800 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 3.800 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.800 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.801 * [taylor]: Taking taylor expansion of 2/3 in g 3.801 * [backup-simplify]: Simplify 2/3 into 2/3 3.801 * [taylor]: Taking taylor expansion of PI in g 3.801 * [backup-simplify]: Simplify PI into PI 3.801 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.801 * [taylor]: Taking taylor expansion of 1/3 in g 3.801 * [backup-simplify]: Simplify 1/3 into 1/3 3.801 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.801 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.801 * [taylor]: Taking taylor expansion of (fma 2/3 PI (* 1/3 (acos (* -1 (/ h g))))) in g 3.801 * [taylor]: Rewrote expression to (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) 3.801 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 3.801 * [taylor]: Taking taylor expansion of 2/3 in g 3.801 * [backup-simplify]: Simplify 2/3 into 2/3 3.801 * [taylor]: Taking taylor expansion of PI in g 3.801 * [backup-simplify]: Simplify PI into PI 3.801 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 3.801 * [taylor]: Taking taylor expansion of 1/3 in g 3.801 * [backup-simplify]: Simplify 1/3 into 1/3 3.801 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.801 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.802 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.802 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.803 * [backup-simplify]: Simplify (+ (* 2/3 PI) (* 1/3 (acos (* -1 (/ h g))))) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.803 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 3.803 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 3.803 * [taylor]: Taking taylor expansion of 1/3 in h 3.803 * [backup-simplify]: Simplify 1/3 into 1/3 3.803 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.803 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.803 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 3.803 * [taylor]: Taking taylor expansion of 2/3 in h 3.803 * [backup-simplify]: Simplify 2/3 into 2/3 3.803 * [taylor]: Taking taylor expansion of PI in h 3.803 * [backup-simplify]: Simplify PI into PI 3.803 * [backup-simplify]: Simplify (* 1/3 (acos (* -1 (/ h g)))) into (* 1/3 (acos (* -1 (/ h g)))) 3.804 * [backup-simplify]: Simplify (* 2/3 PI) into (* 2/3 PI) 3.804 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.805 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) 3.806 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.806 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.809 * [backup-simplify]: Simplify (+ 0 0) into 0 3.809 * [taylor]: Taking taylor expansion of 0 in h 3.809 * [backup-simplify]: Simplify 0 into 0 3.809 * [backup-simplify]: Simplify 0 into 0 3.810 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (acos (* -1 (/ h g))))) into 0 3.811 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 PI)) into 0 3.811 * [backup-simplify]: Simplify (+ 0 0) into 0 3.811 * [backup-simplify]: Simplify 0 into 0 3.812 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.813 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.814 * [backup-simplify]: Simplify (+ 0 0) into 0 3.814 * [taylor]: Taking taylor expansion of 0 in h 3.814 * [backup-simplify]: Simplify 0 into 0 3.814 * [backup-simplify]: Simplify 0 into 0 3.814 * [backup-simplify]: Simplify 0 into 0 3.814 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 3.815 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 PI))) into 0 3.816 * [backup-simplify]: Simplify (+ 0 0) into 0 3.816 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 3.818 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 3.819 * [backup-simplify]: Simplify (+ 0 0) into 0 3.819 * [taylor]: Taking taylor expansion of 0 in h 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify (+ (* 1/3 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) (* 2/3 PI)) into (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) 3.819 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 3 2 2) 3.819 * [backup-simplify]: Simplify (acos (/ (- g) h)) into (acos (* -1 (/ g h))) 3.820 * [approximate]: Taking taylor expansion of (acos (* -1 (/ g h))) in (g h) around 0 3.820 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 3.820 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.820 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 3.820 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.820 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 3.820 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.820 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 3.820 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.820 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.820 * [taylor]: Taking taylor expansion of 0 in h 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [taylor]: Taking taylor expansion of 0 in h 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [taylor]: Taking taylor expansion of 0 in h 3.820 * [backup-simplify]: Simplify 0 into 0 3.821 * [backup-simplify]: Simplify 0 into 0 3.821 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 3.821 * [backup-simplify]: Simplify (acos (/ (- (/ 1 g)) (/ 1 h))) into (acos (* -1 (/ h g))) 3.821 * [approximate]: Taking taylor expansion of (acos (* -1 (/ h g))) in (g h) around 0 3.821 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.821 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.821 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.821 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.821 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.821 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.821 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.821 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.821 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.821 * [taylor]: Taking taylor expansion of 0 in h 3.821 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [taylor]: Taking taylor expansion of 0 in h 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [taylor]: Taking taylor expansion of 0 in h 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify (acos (* -1 (/ (/ 1 h) (/ 1 g)))) into (acos (* -1 (/ g h))) 3.822 * [backup-simplify]: Simplify (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) into (acos (* -1 (/ h g))) 3.822 * [approximate]: Taking taylor expansion of (acos (* -1 (/ h g))) in (g h) around 0 3.822 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.822 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.822 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.822 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.822 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 3.823 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.823 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 3.823 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.823 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 3.823 * [taylor]: Taking taylor expansion of 0 in h 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [taylor]: Taking taylor expansion of 0 in h 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [taylor]: Taking taylor expansion of 0 in h 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g))))) into (acos (* -1 (/ g h))) 3.823 * * * [progress]: simplifying candidates 3.823 * * * * [progress]: [ 1 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 2 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 3 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 4 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 5 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 6 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 7 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 8 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 9 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 10 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 11 / 125 ] simplifiying candidate #real (real->posit16 (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))))) 2))> 3.824 * * * * [progress]: [ 12 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 13 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 14 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 15 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 16 / 125 ] simplifiying candidate # 3.824 * * * * [progress]: [ 17 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 18 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 19 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 20 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 21 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 22 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 23 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 24 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 25 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 26 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 27 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 28 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 29 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 30 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 31 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 32 / 125 ] simplifiying candidate # 3.825 * * * * [progress]: [ 33 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 34 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 35 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 36 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 37 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 38 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 39 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 40 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 41 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 42 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 43 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 44 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 45 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 46 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 47 / 125 ] simplifiying candidate # 3.826 * * * * [progress]: [ 48 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 49 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 50 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 51 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 52 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 53 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 54 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 55 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 56 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 57 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 58 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 59 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 60 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 61 / 125 ] simplifiying candidate # 3.827 * * * * [progress]: [ 62 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 63 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 64 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 65 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 66 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 67 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 68 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 69 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 70 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 71 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 72 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 73 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 74 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 75 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 76 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 77 / 125 ] simplifiying candidate # 3.828 * * * * [progress]: [ 78 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 79 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 80 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 81 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 82 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 83 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 84 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 85 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 86 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 87 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 88 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 89 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 90 / 125 ] simplifiying candidate #real (real->posit16 (/ 1 (/ 3 (acos (/ (- g) h)))))))) 2))> 3.829 * * * * [progress]: [ 91 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 92 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 93 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 94 / 125 ] simplifiying candidate # 3.829 * * * * [progress]: [ 95 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 96 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 97 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 98 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 99 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 100 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 101 / 125 ] simplifiying candidate #real (real->posit16 (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))))) 2))> 3.830 * * * * [progress]: [ 102 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 103 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 104 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 105 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 106 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 107 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 108 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 109 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 110 / 125 ] simplifiying candidate # 3.830 * * * * [progress]: [ 111 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 112 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 113 / 125 ] simplifiying candidate #real (real->posit16 (acos (/ (- g) h)))))))) 2))> 3.831 * * * * [progress]: [ 114 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 115 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 116 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 117 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 118 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 119 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 120 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 121 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 122 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 123 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 124 / 125 ] simplifiying candidate # 3.831 * * * * [progress]: [ 125 / 125 ] simplifiying candidate # 3.834 * [simplify]: Simplifying: (expm1 (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (log1p (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (* (cos (* 2/3 PI)) (cos (/ 1 (/ 3 (acos (/ (- g) h)))))) (* (sin (* 2/3 PI)) (sin (/ 1 (/ 3 (acos (/ (- g) h)))))) (log (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (exp (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (* (cbrt (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (cbrt (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))))) (cbrt (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (* (* (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (sqrt (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (sqrt (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (real->posit16 (cos (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (expm1 (/ 1 (/ 3 (acos (/ (- g) h))))) (log1p (/ 1 (/ 3 (acos (/ (- g) h))))) (- 1) (- (- (log 3) (log (acos (/ (- g) h))))) (- (log (/ 3 (acos (/ (- g) h))))) (- 0 (- (log 3) (log (acos (/ (- g) h))))) (- 0 (log (/ 3 (acos (/ (- g) h))))) (- (log 1) (- (log 3) (log (acos (/ (- g) h))))) (- (log 1) (log (/ 3 (acos (/ (- g) h))))) (log (/ 1 (/ 3 (acos (/ (- g) h))))) (exp (/ 1 (/ 3 (acos (/ (- g) h))))) (/ (* (* 1 1) 1) (/ (* (* 3 3) 3) (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))))) (/ (* (* 1 1) 1) (* (* (/ 3 (acos (/ (- g) h))) (/ 3 (acos (/ (- g) h)))) (/ 3 (acos (/ (- g) h))))) (* (cbrt (/ 1 (/ 3 (acos (/ (- g) h))))) (cbrt (/ 1 (/ 3 (acos (/ (- g) h)))))) (cbrt (/ 1 (/ 3 (acos (/ (- g) h))))) (* (* (/ 1 (/ 3 (acos (/ (- g) h)))) (/ 1 (/ 3 (acos (/ (- g) h))))) (/ 1 (/ 3 (acos (/ (- g) h))))) (sqrt (/ 1 (/ 3 (acos (/ (- g) h))))) (sqrt (/ 1 (/ 3 (acos (/ (- g) h))))) (- 1) (- (/ 3 (acos (/ (- g) h)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ 3 (acos (/ (- g) h)))) (cbrt (/ 3 (acos (/ (- g) h)))))) (/ (cbrt 1) (cbrt (/ 3 (acos (/ (- g) h))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ 3 (acos (/ (- g) h))))) (/ (cbrt 1) (sqrt (/ 3 (acos (/ (- g) h))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 3) (cbrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ (cbrt 1) (/ (cbrt 3) (cbrt (acos (/ (- g) h))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 3) (cbrt 3)) (sqrt (acos (/ (- g) h))))) (/ (cbrt 1) (/ (cbrt 3) (sqrt (acos (/ (- g) h))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 3) (cbrt 3)) 1)) (/ (cbrt 1) (/ (cbrt 3) (acos (/ (- g) h)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 3) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ (cbrt 1) (/ (sqrt 3) (cbrt (acos (/ (- g) h))))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 3) (sqrt (acos (/ (- g) h))))) (/ (cbrt 1) (/ (sqrt 3) (sqrt (acos (/ (- g) h))))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 3) 1)) (/ (cbrt 1) (/ (sqrt 3) (acos (/ (- g) h)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ (cbrt 1) (/ 3 (cbrt (acos (/ (- g) h))))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (acos (/ (- g) h))))) (/ (cbrt 1) (/ 3 (sqrt (acos (/ (- g) h))))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ 3 (acos (/ (- g) h)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ 3 (acos (/ (- g) h)))) (/ (* (cbrt 1) (cbrt 1)) 3) (/ (cbrt 1) (/ 1 (acos (/ (- g) h)))) (/ (sqrt 1) (* (cbrt (/ 3 (acos (/ (- g) h)))) (cbrt (/ 3 (acos (/ (- g) h)))))) (/ (sqrt 1) (cbrt (/ 3 (acos (/ (- g) h))))) (/ (sqrt 1) (sqrt (/ 3 (acos (/ (- g) h))))) (/ (sqrt 1) (sqrt (/ 3 (acos (/ (- g) h))))) (/ (sqrt 1) (/ (* (cbrt 3) (cbrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ (sqrt 1) (/ (cbrt 3) (cbrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ (* (cbrt 3) (cbrt 3)) (sqrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ (cbrt 3) (sqrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ (* (cbrt 3) (cbrt 3)) 1)) (/ (sqrt 1) (/ (cbrt 3) (acos (/ (- g) h)))) (/ (sqrt 1) (/ (sqrt 3) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ (sqrt 1) (/ (sqrt 3) (cbrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ (sqrt 3) (sqrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ (sqrt 3) (sqrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ (sqrt 3) 1)) (/ (sqrt 1) (/ (sqrt 3) (acos (/ (- g) h)))) (/ (sqrt 1) (/ 1 (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ (sqrt 1) (/ 3 (cbrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ 1 (sqrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ 3 (sqrt (acos (/ (- g) h))))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ 3 (acos (/ (- g) h)))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ 3 (acos (/ (- g) h)))) (/ (sqrt 1) 3) (/ (sqrt 1) (/ 1 (acos (/ (- g) h)))) (/ 1 (* (cbrt (/ 3 (acos (/ (- g) h)))) (cbrt (/ 3 (acos (/ (- g) h)))))) (/ 1 (cbrt (/ 3 (acos (/ (- g) h))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (/ 1 (/ (* (cbrt 3) (cbrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ 1 (/ (cbrt 3) (cbrt (acos (/ (- g) h))))) (/ 1 (/ (* (cbrt 3) (cbrt 3)) (sqrt (acos (/ (- g) h))))) (/ 1 (/ (cbrt 3) (sqrt (acos (/ (- g) h))))) (/ 1 (/ (* (cbrt 3) (cbrt 3)) 1)) (/ 1 (/ (cbrt 3) (acos (/ (- g) h)))) (/ 1 (/ (sqrt 3) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ 1 (/ (sqrt 3) (cbrt (acos (/ (- g) h))))) (/ 1 (/ (sqrt 3) (sqrt (acos (/ (- g) h))))) (/ 1 (/ (sqrt 3) (sqrt (acos (/ (- g) h))))) (/ 1 (/ (sqrt 3) 1)) (/ 1 (/ (sqrt 3) (acos (/ (- g) h)))) (/ 1 (/ 1 (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ 1 (/ 3 (cbrt (acos (/ (- g) h))))) (/ 1 (/ 1 (sqrt (acos (/ (- g) h))))) (/ 1 (/ 3 (sqrt (acos (/ (- g) h))))) (/ 1 (/ 1 1)) (/ 1 (/ 3 (acos (/ (- g) h)))) (/ 1 1) (/ 1 (/ 3 (acos (/ (- g) h)))) (/ 1 3) (/ 1 (/ 1 (acos (/ (- g) h)))) (/ 1 (/ 3 (acos (/ (- g) h)))) (/ (/ 3 (acos (/ (- g) h))) 1) (/ 1 (* (cbrt (/ 3 (acos (/ (- g) h)))) (cbrt (/ 3 (acos (/ (- g) h)))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (/ 1 (/ (* (cbrt 3) (cbrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ 1 (/ (* (cbrt 3) (cbrt 3)) (sqrt (acos (/ (- g) h))))) (/ 1 (/ (* (cbrt 3) (cbrt 3)) 1)) (/ 1 (/ (sqrt 3) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ 1 (/ (sqrt 3) (sqrt (acos (/ (- g) h))))) (/ 1 (/ (sqrt 3) 1)) (/ 1 (/ 1 (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))))) (/ 1 (/ 1 (sqrt (acos (/ (- g) h))))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 3) (/ (/ 3 (acos (/ (- g) h))) (cbrt 1)) (/ (/ 3 (acos (/ (- g) h))) (sqrt 1)) (/ (/ 3 (acos (/ (- g) h))) 1) (/ 1 3) (real->posit16 (/ 1 (/ 3 (acos (/ (- g) h))))) (expm1 (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (log1p (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (* 2/3 PI) (log (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (exp (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (* (cbrt (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (cbrt (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))))) (cbrt (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (* (* (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h))))) (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (sqrt (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (sqrt (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (real->posit16 (fma 2/3 PI (/ 1 (/ 3 (acos (/ (- g) h)))))) (expm1 (acos (/ (- g) h))) (log1p (acos (/ (- g) h))) (/ PI 2) (asin (/ (- g) h)) (acos (/ g h)) (log (acos (/ (- g) h))) (exp (acos (/ (- g) h))) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (cbrt (acos (/ (- g) h))) (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (sqrt (acos (/ (- g) h))) (sqrt (acos (/ (- g) h))) (real->posit16 (acos (/ (- g) h))) (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) (* 1/3 (acos (* -1 (/ g h)))) (* 1/3 (acos (* -1 (/ g h)))) (* 1/3 (acos (* -1 (/ g h)))) (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) (acos (* -1 (/ g h))) (acos (* -1 (/ g h))) (acos (* -1 (/ g h))) 3.838 * * [simplify]: iteration 1: (192 enodes) 4.107 * * [simplify]: iteration 2: (393 enodes) 4.317 * * [simplify]: iteration 3: (788 enodes) 4.745 * * [simplify]: iteration 4: (1626 enodes) 17.170 * * [simplify]: Extracting #0: cost 68 inf + 0 17.171 * * [simplify]: Extracting #1: cost 316 inf + 3 17.176 * * [simplify]: Extracting #2: cost 723 inf + 2121 17.183 * * [simplify]: Extracting #3: cost 682 inf + 14577 17.195 * * [simplify]: Extracting #4: cost 466 inf + 73804 17.242 * * [simplify]: Extracting #5: cost 99 inf + 203337 17.304 * * [simplify]: Extracting #6: cost 0 inf + 244264 17.374 * [simplify]: Simplified to: (expm1 (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (log1p (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (* (cos (* 2/3 PI)) (cos (* (acos (/ (- g) h)) 1/3))) (* (sin (* 2/3 PI)) (sin (* (acos (/ (- g) h)) 1/3))) (log (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (exp (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (* (cbrt (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (cbrt (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))))) (cbrt (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (* (* (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (sqrt (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (sqrt (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (real->posit16 (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (expm1 (* (acos (/ (- g) h)) 1/3)) (log1p (* (acos (/ (- g) h)) 1/3)) -1 (log (* (acos (/ (- g) h)) 1/3)) (log (* (acos (/ (- g) h)) 1/3)) (log (* (acos (/ (- g) h)) 1/3)) (log (* (acos (/ (- g) h)) 1/3)) (log (* (acos (/ (- g) h)) 1/3)) (log (* (acos (/ (- g) h)) 1/3)) (log (* (acos (/ (- g) h)) 1/3)) (exp (* (acos (/ (- g) h)) 1/3)) (* (* (* 1/27 (acos (/ (- g) h))) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* (* 1/27 (acos (/ (- g) h))) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (cbrt (* (acos (/ (- g) h)) 1/3)) (cbrt (* (acos (/ (- g) h)) 1/3))) (cbrt (* (acos (/ (- g) h)) 1/3)) (* (* (* 1/27 (acos (/ (- g) h))) (acos (/ (- g) h))) (acos (/ (- g) h))) (sqrt (* (acos (/ (- g) h)) 1/3)) (sqrt (* (acos (/ (- g) h)) 1/3)) -1 (/ -3 (acos (/ (- g) h))) (/ 1 (* (cbrt (/ 3 (acos (/ (- g) h)))) (cbrt (/ 3 (acos (/ (- g) h)))))) (/ 1 (cbrt (/ 3 (acos (/ (- g) h))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (* (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3) (cbrt 3))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3)) (/ (/ 1 (cbrt 3)) (cbrt 3)) (/ (acos (/ (- g) h)) (cbrt 3)) (* (cbrt (acos (/ (- g) h))) (/ (cbrt (acos (/ (- g) h))) (sqrt 3))) (/ (cbrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ 1 (sqrt 3)) (/ (acos (/ (- g) h)) (sqrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt (acos (/ (- g) h))) 1/3) (sqrt (acos (/ (- g) h))) (* (sqrt (acos (/ (- g) h))) 1/3) 1 (* (acos (/ (- g) h)) 1/3) 1 (* (acos (/ (- g) h)) 1/3) 1/3 (acos (/ (- g) h)) (/ 1 (* (cbrt (/ 3 (acos (/ (- g) h)))) (cbrt (/ 3 (acos (/ (- g) h)))))) (/ 1 (cbrt (/ 3 (acos (/ (- g) h))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (* (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3) (cbrt 3))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3)) (/ (/ 1 (cbrt 3)) (cbrt 3)) (/ (acos (/ (- g) h)) (cbrt 3)) (* (cbrt (acos (/ (- g) h))) (/ (cbrt (acos (/ (- g) h))) (sqrt 3))) (/ (cbrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ 1 (sqrt 3)) (/ (acos (/ (- g) h)) (sqrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt (acos (/ (- g) h))) 1/3) (sqrt (acos (/ (- g) h))) (* (sqrt (acos (/ (- g) h))) 1/3) 1 (* (acos (/ (- g) h)) 1/3) 1 (* (acos (/ (- g) h)) 1/3) 1/3 (acos (/ (- g) h)) (/ 1 (* (cbrt (/ 3 (acos (/ (- g) h)))) (cbrt (/ 3 (acos (/ (- g) h)))))) (/ 1 (cbrt (/ 3 (acos (/ (- g) h))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (* (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3) (cbrt 3))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3)) (/ (/ 1 (cbrt 3)) (cbrt 3)) (/ (acos (/ (- g) h)) (cbrt 3)) (* (cbrt (acos (/ (- g) h))) (/ (cbrt (acos (/ (- g) h))) (sqrt 3))) (/ (cbrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ 1 (sqrt 3)) (/ (acos (/ (- g) h)) (sqrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt (acos (/ (- g) h))) 1/3) (sqrt (acos (/ (- g) h))) (* (sqrt (acos (/ (- g) h))) 1/3) 1 (* (acos (/ (- g) h)) 1/3) 1 (* (acos (/ (- g) h)) 1/3) 1/3 (acos (/ (- g) h)) (* (acos (/ (- g) h)) 1/3) (/ 3 (acos (/ (- g) h))) (/ 1 (* (cbrt (/ 3 (acos (/ (- g) h)))) (cbrt (/ 3 (acos (/ (- g) h)))))) (/ 1 (sqrt (/ 3 (acos (/ (- g) h))))) (* (/ (cbrt (acos (/ (- g) h))) (cbrt 3)) (/ (cbrt (acos (/ (- g) h))) (cbrt 3))) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3) (cbrt 3))) (/ (/ 1 (cbrt 3)) (cbrt 3)) (* (cbrt (acos (/ (- g) h))) (/ (cbrt (acos (/ (- g) h))) (sqrt 3))) (/ (sqrt (acos (/ (- g) h))) (sqrt 3)) (/ 1 (sqrt 3)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt (acos (/ (- g) h))) 1 1 1/3 (/ 3 (acos (/ (- g) h))) (/ 3 (acos (/ (- g) h))) (/ 3 (acos (/ (- g) h))) 1/3 (real->posit16 (* (acos (/ (- g) h)) 1/3)) (expm1 (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (log1p (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (* 2/3 PI) (log (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (exp (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (* (cbrt (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (cbrt (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)))) (cbrt (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (* (* (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)) (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (sqrt (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (sqrt (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (real->posit16 (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (expm1 (acos (/ (- g) h))) (log1p (acos (/ (- g) h))) (/ PI 2) (asin (/ (- g) h)) (acos (/ g h)) (log (acos (/ (- g) h))) (exp (acos (/ (- g) h))) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (cbrt (acos (/ (- g) h))) (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (sqrt (acos (/ (- g) h))) (sqrt (acos (/ (- g) h))) (real->posit16 (acos (/ (- g) h))) (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (cos (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI))) (* (acos (/ (- g) h)) 1/3) (* (acos (/ (- g) h)) 1/3) (* (acos (/ (- g) h)) 1/3) (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)) (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)) (fma (acos (/ (- g) h)) 1/3 (* 2/3 PI)) (acos (/ (- g) h)) (acos (/ (- g) h)) (acos (/ (- g) h)) 17.384 * * * [progress]: adding candidates to table 18.448 * * [progress]: iteration 3 / 4 18.448 * * * [progress]: picking best candidate 18.466 * * * * [pick]: Picked # 18.466 * * * [progress]: localizing error 18.517 * * * [progress]: generating rewritten candidates 18.517 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 18.525 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 18.535 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 18.545 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 18.563 * * * [progress]: generating series expansions 18.563 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 18.563 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 18.563 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 18.563 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 18.563 * * * [progress]: simplifying candidates 18.563 * * * * [progress]: [ 1 / 66 ] simplifiying candidate # 18.563 * * * * [progress]: [ 2 / 66 ] simplifiying candidate # 18.563 * * * * [progress]: [ 3 / 66 ] simplifiying candidate # 18.563 * * * * [progress]: [ 4 / 66 ] simplifiying candidate # 18.563 * * * * [progress]: [ 5 / 66 ] simplifiying candidate # 18.563 * * * * [progress]: [ 6 / 66 ] simplifiying candidate # 18.563 * * * * [progress]: [ 7 / 66 ] simplifiying candidate # 18.563 * * * * [progress]: [ 8 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 9 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 10 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 18.564 * * * * [progress]: [ 11 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 12 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 13 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 14 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 15 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 16 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 17 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 18 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 19 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 20 / 66 ] simplifiying candidate #real (real->posit16 (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 18.564 * * * * [progress]: [ 21 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 22 / 66 ] simplifiying candidate # 18.564 * * * * [progress]: [ 23 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 24 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 25 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 26 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 27 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 28 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 29 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 30 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 31 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 32 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 33 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 34 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 35 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 36 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 37 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 38 / 66 ] simplifiying candidate # 18.565 * * * * [progress]: [ 39 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 40 / 66 ] simplifiying candidate #real (real->posit16 (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 18.566 * * * * [progress]: [ 41 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 42 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 43 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 44 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 45 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 46 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 47 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 48 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 49 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 50 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 51 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 52 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 53 / 66 ] simplifiying candidate # 18.566 * * * * [progress]: [ 54 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 55 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 56 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 57 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 58 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 59 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 60 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 61 / 66 ] simplifiying candidate #real (real->posit16 (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 18.567 * * * * [progress]: [ 62 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 63 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 64 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 65 / 66 ] simplifiying candidate # 18.567 * * * * [progress]: [ 66 / 66 ] simplifiying candidate # 18.569 * [simplify]: Simplifying: (expm1 (cos (* 2/3 PI))) (log1p (cos (* 2/3 PI))) (log (cos (* 2/3 PI))) (exp (cos (* 2/3 PI))) (* (cbrt (cos (* 2/3 PI))) (cbrt (cos (* 2/3 PI)))) (cbrt (cos (* 2/3 PI))) (* (* (cos (* 2/3 PI)) (cos (* 2/3 PI))) (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (expm1 (sin (* 2/3 PI))) (log1p (sin (* 2/3 PI))) (log (sin (* 2/3 PI))) (exp (sin (* 2/3 PI))) (* (cbrt (sin (* 2/3 PI))) (cbrt (sin (* 2/3 PI)))) (cbrt (sin (* 2/3 PI))) (* (* (sin (* 2/3 PI)) (sin (* 2/3 PI))) (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI))) (real->posit16 (sin (* 2/3 PI))) (expm1 (* 2/3 PI)) (log1p (* 2/3 PI)) (* 2/3 PI) (+ (log 2/3) (log PI)) (log (* 2/3 PI)) (exp (* 2/3 PI)) (* (* (* 2/3 2/3) 2/3) (* (* PI PI) PI)) (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)) (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)) (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)) (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)) (* 2/3 (* (cbrt PI) (cbrt PI))) (* 2/3 (sqrt PI)) (* 2/3 1) (* (cbrt 2/3) PI) (* (sqrt 2/3) PI) (* 2/3 PI) (real->posit16 (* 2/3 PI)) (expm1 (* 2/3 PI)) (log1p (* 2/3 PI)) (* 2/3 PI) (+ (log 2/3) (log PI)) (log (* 2/3 PI)) (exp (* 2/3 PI)) (* (* (* 2/3 2/3) 2/3) (* (* PI PI) PI)) (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)) (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)) (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)) (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)) (* 2/3 (* (cbrt PI) (cbrt PI))) (* 2/3 (sqrt PI)) (* 2/3 1) (* (cbrt 2/3) PI) (* (sqrt 2/3) PI) (* 2/3 PI) (real->posit16 (* 2/3 PI)) (* (cos (* 2/3 PI)) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3))) (* (cos (* 2/3 PI)) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3))) (* (cos (* 2/3 PI)) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3))) (* (cos (* 2/3 PI)) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3))) 18.570 * * [simplify]: iteration 1: (66 enodes) 18.591 * * [simplify]: iteration 2: (100 enodes) 18.611 * * [simplify]: iteration 3: (141 enodes) 18.660 * * [simplify]: iteration 4: (201 enodes) 18.724 * * [simplify]: iteration 5: (268 enodes) 18.795 * * [simplify]: iteration 6: (417 enodes) 18.952 * * [simplify]: iteration 7: (738 enodes) 19.425 * * [simplify]: iteration 8: (1582 enodes) 21.038 * * [simplify]: Extracting #0: cost 36 inf + 0 21.039 * * [simplify]: Extracting #1: cost 293 inf + 1 21.046 * * [simplify]: Extracting #2: cost 644 inf + 5749 21.061 * * [simplify]: Extracting #3: cost 647 inf + 12959 21.076 * * [simplify]: Extracting #4: cost 444 inf + 120063 21.128 * * [simplify]: Extracting #5: cost 95 inf + 384971 21.193 * * [simplify]: Extracting #6: cost 10 inf + 458690 21.283 * * [simplify]: Extracting #7: cost 9 inf + 458173 21.373 * * [simplify]: Extracting #8: cost 6 inf + 458338 21.425 * * [simplify]: Extracting #9: cost 2 inf + 459269 21.484 * * [simplify]: Extracting #10: cost 0 inf + 460099 21.552 * [simplify]: Simplified to: (expm1 (cos (* 2/3 PI))) (log1p (cos (* 2/3 PI))) (log (cos (* 2/3 PI))) (exp (cos (* 2/3 PI))) (* (cbrt (cos (* 2/3 PI))) (cbrt (cos (* 2/3 PI)))) (cbrt (cos (* 2/3 PI))) (* (* (cos (* 2/3 PI)) (cos (* 2/3 PI))) (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (expm1 (sin (* 2/3 PI))) (log1p (sin (* 2/3 PI))) (log (sin (* 2/3 PI))) (exp (sin (* 2/3 PI))) (* (cbrt (sin (* 2/3 PI))) (cbrt (sin (* 2/3 PI)))) (cbrt (sin (* 2/3 PI))) (* (sin (* 2/3 PI)) (* (sin (* 2/3 PI)) (sin (* 2/3 PI)))) (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI))) (real->posit16 (sin (* 2/3 PI))) (expm1 (* 2/3 PI)) (log1p (* 2/3 PI)) (* 2/3 PI) (log (* 2/3 PI)) (log (* 2/3 PI)) (exp (* 2/3 PI)) (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)) (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)) (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)) (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)) (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)) (* (cbrt PI) (* 2/3 (cbrt PI))) (* 2/3 (sqrt PI)) 2/3 (* (cbrt 2/3) PI) (* PI (sqrt 2/3)) (* 2/3 PI) (real->posit16 (* 2/3 PI)) (expm1 (* 2/3 PI)) (log1p (* 2/3 PI)) (* 2/3 PI) (log (* 2/3 PI)) (log (* 2/3 PI)) (exp (* 2/3 PI)) (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)) (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)) (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)) (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)) (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)) (* (cbrt PI) (* 2/3 (cbrt PI))) (* 2/3 (sqrt PI)) 2/3 (* (cbrt 2/3) PI) (* PI (sqrt 2/3)) (* 2/3 PI) (real->posit16 (* 2/3 PI)) (* (cos (* 2/3 PI)) (cos (/ (acos (- (/ g h))) 3))) (* (sin (/ (acos (- (/ g h))) 3)) (sin (* 2/3 PI))) (* (cos (* 2/3 PI)) (cos (/ (acos (- (/ g h))) 3))) (* (sin (/ (acos (- (/ g h))) 3)) (sin (* 2/3 PI))) (* (cos (* 2/3 PI)) (cos (/ (acos (- (/ g h))) 3))) (* (sin (/ (acos (- (/ g h))) 3)) (sin (* 2/3 PI))) (* (cos (* 2/3 PI)) (cos (/ (acos (- (/ g h))) 3))) (* (sin (/ (acos (- (/ g h))) 3)) (sin (* 2/3 PI))) 21.557 * * * [progress]: adding candidates to table 22.245 * * [progress]: iteration 4 / 4 22.245 * * * [progress]: picking best candidate 22.261 * * * * [pick]: Picked #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.261 * * * [progress]: localizing error 22.349 * * * [progress]: generating rewritten candidates 22.349 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 22.357 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 22.362 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1) 22.368 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 22.376 * * * [progress]: generating series expansions 22.376 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 22.376 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 22.376 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1) 22.376 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 22.376 * * * [progress]: simplifying candidates 22.376 * * * * [progress]: [ 1 / 66 ] simplifiying candidate #real (real->posit16 (log1p (expm1 (cos (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.376 * * * * [progress]: [ 2 / 66 ] simplifiying candidate #real (real->posit16 (expm1 (log1p (cos (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.376 * * * * [progress]: [ 3 / 66 ] simplifiying candidate #real (real->posit16 (pow (cos (* 2/3 PI)) 1))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.376 * * * * [progress]: [ 4 / 66 ] simplifiying candidate #real (real->posit16 (exp (log (cos (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.376 * * * * [progress]: [ 5 / 66 ] simplifiying candidate #real (real->posit16 (log (exp (cos (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.376 * * * * [progress]: [ 6 / 66 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (cos (* 2/3 PI))) (cbrt (cos (* 2/3 PI)))) (cbrt (cos (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 7 / 66 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (cos (* 2/3 PI)) (cos (* 2/3 PI))) (cos (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 8 / 66 ] simplifiying candidate #real (real->posit16 (* (sqrt (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 9 / 66 ] simplifiying candidate #real (real->posit16 (* 1 (cos (* 2/3 PI))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 10 / 66 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (cos (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 11 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (log1p (expm1 (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 12 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (expm1 (log1p (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 13 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (pow (* 2/3 PI) 1)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 14 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (pow (* 2/3 PI) 1)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 15 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (exp (+ (log 2/3) (log PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 16 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (exp (log (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 17 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (log (exp (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 18 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (cbrt (* (* (* 2/3 2/3) 2/3) (* (* PI PI) PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 19 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 20 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (cbrt (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 21 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 22 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 1 (* 2/3 PI))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 23 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 24 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* (* 2/3 (* (cbrt PI) (cbrt PI))) (cbrt PI))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 25 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* (* 2/3 (sqrt PI)) (sqrt PI))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 26 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* (* 2/3 1) PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 27 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* (* (cbrt 2/3) (cbrt 2/3)) (* (cbrt 2/3) PI))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 28 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* (sqrt 2/3) (* (sqrt 2/3) PI))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 29 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 1 (* 2/3 PI))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 30 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (posit16->real (real->posit16 (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.377 * * * * [progress]: [ 31 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* PI 2/3)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 32 / 66 ] simplifiying candidate #real (real->posit16 (cos (log1p (expm1 (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 33 / 66 ] simplifiying candidate #real (real->posit16 (cos (expm1 (log1p (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 34 / 66 ] simplifiying candidate #real (real->posit16 (cos (pow (* 2/3 PI) 1)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 35 / 66 ] simplifiying candidate #real (real->posit16 (cos (pow (* 2/3 PI) 1)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 36 / 66 ] simplifiying candidate #real (real->posit16 (cos (exp (+ (log 2/3) (log PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 37 / 66 ] simplifiying candidate #real (real->posit16 (cos (exp (log (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 38 / 66 ] simplifiying candidate #real (real->posit16 (cos (log (exp (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 39 / 66 ] simplifiying candidate #real (real->posit16 (cos (cbrt (* (* (* 2/3 2/3) 2/3) (* (* PI PI) PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 40 / 66 ] simplifiying candidate #real (real->posit16 (cos (* (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 41 / 66 ] simplifiying candidate #real (real->posit16 (cos (cbrt (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 42 / 66 ] simplifiying candidate #real (real->posit16 (cos (* (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 43 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 1 (* 2/3 PI))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 44 / 66 ] simplifiying candidate #real (real->posit16 (cos (* (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 45 / 66 ] simplifiying candidate #real (real->posit16 (cos (* (* 2/3 (* (cbrt PI) (cbrt PI))) (cbrt PI))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 46 / 66 ] simplifiying candidate #real (real->posit16 (cos (* (* 2/3 (sqrt PI)) (sqrt PI))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 47 / 66 ] simplifiying candidate #real (real->posit16 (cos (* (* 2/3 1) PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 48 / 66 ] simplifiying candidate #real (real->posit16 (cos (* (* (cbrt 2/3) (cbrt 2/3)) (* (cbrt 2/3) PI))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 49 / 66 ] simplifiying candidate #real (real->posit16 (cos (* (sqrt 2/3) (* (sqrt 2/3) PI))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 50 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 1 (* 2/3 PI))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 51 / 66 ] simplifiying candidate #real (real->posit16 (cos (posit16->real (real->posit16 (* 2/3 PI)))))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 52 / 66 ] simplifiying candidate #real (real->posit16 (cos (* PI 2/3)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 53 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (log1p (expm1 (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 54 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (expm1 (log1p (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.378 * * * * [progress]: [ 55 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (pow (sin (* 2/3 PI)) 1) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 56 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (exp (log (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 57 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (log (exp (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 58 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (* (cbrt (sin (* 2/3 PI))) (cbrt (sin (* 2/3 PI)))) (cbrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 59 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (cbrt (* (* (sin (* 2/3 PI)) (sin (* 2/3 PI))) (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 60 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 61 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* 1 (sin (* 2/3 PI))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 62 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (posit16->real (real->posit16 (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 63 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 64 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 65 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * * * * [progress]: [ 66 / 66 ] simplifiying candidate #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> 22.379 * [simplify]: Simplifying: (expm1 (cos (* 2/3 PI))) (log1p (cos (* 2/3 PI))) (log (cos (* 2/3 PI))) (exp (cos (* 2/3 PI))) (* (cbrt (cos (* 2/3 PI))) (cbrt (cos (* 2/3 PI)))) (cbrt (cos (* 2/3 PI))) (* (* (cos (* 2/3 PI)) (cos (* 2/3 PI))) (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (expm1 (* 2/3 PI)) (log1p (* 2/3 PI)) (* 2/3 PI) (+ (log 2/3) (log PI)) (log (* 2/3 PI)) (exp (* 2/3 PI)) (* (* (* 2/3 2/3) 2/3) (* (* PI PI) PI)) (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)) (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)) (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)) (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)) (* 2/3 (* (cbrt PI) (cbrt PI))) (* 2/3 (sqrt PI)) (* 2/3 1) (* (cbrt 2/3) PI) (* (sqrt 2/3) PI) (* 2/3 PI) (real->posit16 (* 2/3 PI)) (expm1 (* 2/3 PI)) (log1p (* 2/3 PI)) (* 2/3 PI) (+ (log 2/3) (log PI)) (log (* 2/3 PI)) (exp (* 2/3 PI)) (* (* (* 2/3 2/3) 2/3) (* (* PI PI) PI)) (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)) (* (* (* 2/3 PI) (* 2/3 PI)) (* 2/3 PI)) (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)) (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)) (* 2/3 (* (cbrt PI) (cbrt PI))) (* 2/3 (sqrt PI)) (* 2/3 1) (* (cbrt 2/3) PI) (* (sqrt 2/3) PI) (* 2/3 PI) (real->posit16 (* 2/3 PI)) (expm1 (sin (* 2/3 PI))) (log1p (sin (* 2/3 PI))) (log (sin (* 2/3 PI))) (exp (sin (* 2/3 PI))) (* (cbrt (sin (* 2/3 PI))) (cbrt (sin (* 2/3 PI)))) (cbrt (sin (* 2/3 PI))) (* (* (sin (* 2/3 PI)) (sin (* 2/3 PI))) (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI))) (real->posit16 (sin (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) 22.380 * * [simplify]: iteration 1: (55 enodes) 22.392 * * [simplify]: iteration 2: (85 enodes) 22.420 * * [simplify]: iteration 3: (127 enodes) 22.479 * * [simplify]: iteration 4: (191 enodes) 22.551 * * [simplify]: iteration 5: (252 enodes) 22.655 * * [simplify]: iteration 6: (401 enodes) 22.827 * * [simplify]: iteration 7: (723 enodes) 23.294 * * [simplify]: iteration 8: (1627 enodes) 26.070 * * [simplify]: Extracting #0: cost 34 inf + 0 26.071 * * [simplify]: Extracting #1: cost 319 inf + 1 26.075 * * [simplify]: Extracting #2: cost 676 inf + 5124 26.080 * * [simplify]: Extracting #3: cost 653 inf + 13563 26.100 * * [simplify]: Extracting #4: cost 435 inf + 140208 26.167 * * [simplify]: Extracting #5: cost 92 inf + 366770 26.250 * * [simplify]: Extracting #6: cost 0 inf + 430208 26.332 * * [simplify]: Extracting #7: cost 0 inf + 429477 26.429 * [simplify]: Simplified to: (expm1 (cos (* 2/3 PI))) (log1p (cos (* 2/3 PI))) (log (cos (* 2/3 PI))) (exp (cos (* 2/3 PI))) (* (cbrt (cos (* 2/3 PI))) (cbrt (cos (* 2/3 PI)))) (cbrt (cos (* 2/3 PI))) (* (* (cos (* 2/3 PI)) (cos (* 2/3 PI))) (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI))) (sqrt (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (expm1 (* 2/3 PI)) (log1p (* 2/3 PI)) (* 2/3 PI) (log (* 2/3 PI)) (log (* 2/3 PI)) (exp (* 2/3 PI)) (* PI (* (* PI PI) 8/27)) (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)) (* PI (* (* PI PI) 8/27)) (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)) (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)) (* (* (cbrt PI) (cbrt PI)) 2/3) (* (sqrt PI) 2/3) 2/3 (* (cbrt 2/3) PI) (* (sqrt 2/3) PI) (* 2/3 PI) (real->posit16 (* 2/3 PI)) (expm1 (* 2/3 PI)) (log1p (* 2/3 PI)) (* 2/3 PI) (log (* 2/3 PI)) (log (* 2/3 PI)) (exp (* 2/3 PI)) (* PI (* (* PI PI) 8/27)) (* (cbrt (* 2/3 PI)) (cbrt (* 2/3 PI))) (cbrt (* 2/3 PI)) (* PI (* (* PI PI) 8/27)) (sqrt (* 2/3 PI)) (sqrt (* 2/3 PI)) (* (sqrt 2/3) (sqrt PI)) (* (sqrt 2/3) (sqrt PI)) (* (* (cbrt PI) (cbrt PI)) 2/3) (* (sqrt PI) 2/3) 2/3 (* (cbrt 2/3) PI) (* (sqrt 2/3) PI) (* 2/3 PI) (real->posit16 (* 2/3 PI)) (expm1 (sin (* 2/3 PI))) (log1p (sin (* 2/3 PI))) (log (sin (* 2/3 PI))) (exp (sin (* 2/3 PI))) (* (cbrt (sin (* 2/3 PI))) (cbrt (sin (* 2/3 PI)))) (cbrt (sin (* 2/3 PI))) (* (* (sin (* 2/3 PI)) (sin (* 2/3 PI))) (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI))) (real->posit16 (sin (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) (real->posit16 (cos (* 2/3 PI))) 26.435 * * * [progress]: adding candidates to table 27.831 * [progress]: [Phase 3 of 3] Extracting. 27.831 * * [regime]: Finding splitpoints for: (#real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> # #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))>) 27.831 * * * [regime-changes]: Trying 6 branch expressions: ((- g) (/ (- g) h) (acos (/ (- g) h)) (/ (acos (/ (- g) h)) 3) h g) 27.831 * * * * [regimes]: Trying to branch on (- g) from (#real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> # #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))>) 27.883 * * * * [regimes]: Trying to branch on (/ (- g) h) from (#real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> # #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))>) 27.945 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (#real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> # #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))>) 27.993 * * * * [regimes]: Trying to branch on (/ (acos (/ (- g) h)) 3) from (#real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> # #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))>) 28.037 * * * * [regimes]: Trying to branch on h from (#real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> # #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))>) 28.106 * * * * [regimes]: Trying to branch on g from (#real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (sin (* 2/3 PI)) (sin (/ (acos (/ (- g) h)) 3)))) 2))> # #real (real->posit16 (cos (* 2/3 PI)))) (cos (/ (acos (/ (- g) h)) 3))) (* (* (sqrt (sin (* 2/3 PI))) (sqrt (sin (* 2/3 PI)))) (sin (/ (acos (/ (- g) h)) 3)))) 2))>) 28.162 * * * [regime]: Found split indices: #