30.251 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.095 * * * [progress]: [2/2] Setting up program. 0.099 * [progress]: [Phase 2 of 3] Improving. 0.099 * [simplify]: Simplifying: (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 0.099 * * [simplify]: iteration 0: 14 enodes 0.102 * * [simplify]: iteration 1: 21 enodes 0.106 * * [simplify]: iteration 2: 25 enodes 0.110 * * [simplify]: iteration 3: 28 enodes 0.115 * * [simplify]: iteration 4: 29 enodes 0.120 * * [simplify]: iteration complete: 29 enodes 0.120 * * [simplify]: Extracting #0: cost 1 inf + 0 0.120 * * [simplify]: Extracting #1: cost 3 inf + 0 0.120 * * [simplify]: Extracting #2: cost 3 inf + 1 0.120 * * [simplify]: Extracting #3: cost 5 inf + 1 0.120 * * [simplify]: Extracting #4: cost 13 inf + 1 0.120 * * [simplify]: Extracting #5: cost 12 inf + 3 0.120 * * [simplify]: Extracting #6: cost 9 inf + 23 0.121 * * [simplify]: Extracting #7: cost 9 inf + 24 0.121 * * [simplify]: Extracting #8: cost 8 inf + 25 0.121 * * [simplify]: Extracting #9: cost 4 inf + 39 0.121 * * [simplify]: Extracting #10: cost 2 inf + 59 0.121 * * [simplify]: Extracting #11: cost 0 inf + 89 0.121 * [simplify]: Simplified to: (* (cos (+ (/ (acos (/ (- g) h)) 3.0) (/ (* 2.0 PI) 3.0))) 2.0) 0.126 * * [progress]: iteration 1 / 4 0.126 * * * [progress]: picking best candidate 0.146 * * * * [pick]: Picked # 0.146 * * * [progress]: localizing error 0.170 * * * [progress]: generating rewritten candidates 0.171 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.178 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.234 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.257 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.263 * * * [progress]: generating series expansions 0.263 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.263 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.265 * [backup-simplify]: Simplify (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.265 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.265 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.265 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.265 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.265 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.265 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.265 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.266 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.266 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.266 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.266 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.266 * [taylor]: Taking taylor expansion of PI in h 0.266 * [backup-simplify]: Simplify PI into PI 0.266 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.266 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.267 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.267 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.268 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.268 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g 0.268 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.268 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.268 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.268 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.268 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.268 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.268 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.268 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.268 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.268 * [taylor]: Taking taylor expansion of PI in g 0.268 * [backup-simplify]: Simplify PI into PI 0.268 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.268 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.269 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.269 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.270 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.270 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g 0.270 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.270 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.270 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.270 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.270 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.270 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.270 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.270 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.270 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.270 * [taylor]: Taking taylor expansion of PI in g 0.270 * [backup-simplify]: Simplify PI into PI 0.270 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.270 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.271 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.271 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.271 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.272 * [backup-simplify]: Simplify (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 1) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.273 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into 0 0.273 * [backup-simplify]: Simplify (- 0) into 0 0.273 * [backup-simplify]: Simplify (+ (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.273 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.273 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.273 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.273 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.273 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.273 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.273 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.274 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.274 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.274 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.274 * [taylor]: Taking taylor expansion of PI in h 0.274 * [backup-simplify]: Simplify PI into PI 0.274 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.274 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.274 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.275 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.275 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.276 * [backup-simplify]: Simplify (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 1) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.276 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into 0 0.276 * [backup-simplify]: Simplify (- 0) into 0 0.277 * [backup-simplify]: Simplify (+ (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.277 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.278 * [backup-simplify]: Simplify (+ 0) into 0 0.279 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.279 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.280 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.280 * [backup-simplify]: Simplify (+ 0 0) into 0 0.280 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.281 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.281 * [backup-simplify]: Simplify (- 0) into 0 0.282 * [backup-simplify]: Simplify (+ 0 0) into 0 0.282 * [taylor]: Taking taylor expansion of 0 in h 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (+ 0) into 0 0.283 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.283 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.283 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.284 * [backup-simplify]: Simplify (+ 0 0) into 0 0.284 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.285 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.285 * [backup-simplify]: Simplify (- 0) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.285 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.287 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.287 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.288 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.288 * [backup-simplify]: Simplify (+ 0 0) into 0 0.288 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.289 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.289 * [backup-simplify]: Simplify (- 0) into 0 0.290 * [backup-simplify]: Simplify (+ 0 0) into 0 0.290 * [taylor]: Taking taylor expansion of 0 in h 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.291 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.292 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.292 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.292 * [backup-simplify]: Simplify (+ 0 0) into 0 0.293 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.294 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.294 * [backup-simplify]: Simplify (- 0) into 0 0.294 * [backup-simplify]: Simplify (+ 0 0) into 0 0.294 * [backup-simplify]: Simplify 0 into 0 0.295 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.296 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.296 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.297 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.297 * [backup-simplify]: Simplify (+ 0 0) into 0 0.298 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.299 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.299 * [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.300 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.301 * [backup-simplify]: Simplify (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3.0))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.301 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.301 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.301 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.301 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.301 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.301 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.301 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.301 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.301 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.301 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.301 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.301 * [taylor]: Taking taylor expansion of PI in h 0.301 * [backup-simplify]: Simplify PI into PI 0.301 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.301 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.302 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.302 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.303 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.303 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.303 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.303 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.303 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.303 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.303 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.303 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.303 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.303 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.303 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.303 * [taylor]: Taking taylor expansion of PI in g 0.303 * [backup-simplify]: Simplify PI into PI 0.303 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.303 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.304 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.304 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.305 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.305 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.305 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.305 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.305 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.305 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.305 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.305 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.305 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.305 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.305 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.305 * [taylor]: Taking taylor expansion of PI in g 0.305 * [backup-simplify]: Simplify PI into PI 0.305 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.305 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.306 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.306 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.306 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.307 * [backup-simplify]: Simplify (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 1) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.307 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0 0.308 * [backup-simplify]: Simplify (- 0) into 0 0.308 * [backup-simplify]: Simplify (+ (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.308 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.308 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.308 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.308 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.308 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.308 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.308 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.308 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.308 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.308 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.308 * [taylor]: Taking taylor expansion of PI in h 0.308 * [backup-simplify]: Simplify PI into PI 0.308 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.309 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.309 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.310 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.310 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.310 * [backup-simplify]: Simplify (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 1) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.311 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0 0.311 * [backup-simplify]: Simplify (- 0) into 0 0.312 * [backup-simplify]: Simplify (+ (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.312 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.312 * [backup-simplify]: Simplify (+ 0) into 0 0.313 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.313 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.314 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.314 * [backup-simplify]: Simplify (+ 0 0) into 0 0.315 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.315 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.316 * [backup-simplify]: Simplify (- 0) into 0 0.316 * [backup-simplify]: Simplify (+ 0 0) into 0 0.316 * [taylor]: Taking taylor expansion of 0 in h 0.316 * [backup-simplify]: Simplify 0 into 0 0.316 * [backup-simplify]: Simplify 0 into 0 0.316 * [backup-simplify]: Simplify (+ 0) into 0 0.317 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.317 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.318 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.318 * [backup-simplify]: Simplify (+ 0 0) into 0 0.318 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.319 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.319 * [backup-simplify]: Simplify (- 0) into 0 0.319 * [backup-simplify]: Simplify (+ 0 0) into 0 0.319 * [backup-simplify]: Simplify 0 into 0 0.320 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.321 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.321 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.322 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.322 * [backup-simplify]: Simplify (+ 0 0) into 0 0.323 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.328 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.328 * [backup-simplify]: Simplify (- 0) into 0 0.328 * [backup-simplify]: Simplify (+ 0 0) into 0 0.328 * [taylor]: Taking taylor expansion of 0 in h 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.330 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.330 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.331 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.331 * [backup-simplify]: Simplify (+ 0 0) into 0 0.332 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.332 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.332 * [backup-simplify]: Simplify (- 0) into 0 0.333 * [backup-simplify]: Simplify (+ 0 0) into 0 0.333 * [backup-simplify]: Simplify 0 into 0 0.333 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.334 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.335 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.336 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.336 * [backup-simplify]: Simplify (+ 0 0) into 0 0.337 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.338 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.338 * [backup-simplify]: Simplify (- 0) into 0 0.338 * [backup-simplify]: Simplify (+ 0 0) into 0 0.338 * [taylor]: Taking taylor expansion of 0 in h 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.339 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.340 * [backup-simplify]: Simplify (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3.0))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.340 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.340 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.340 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.340 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.340 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.340 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.340 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.340 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.340 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.340 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.340 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.340 * [taylor]: Taking taylor expansion of PI in h 0.340 * [backup-simplify]: Simplify PI into PI 0.340 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.340 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.341 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.341 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.342 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.342 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.342 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.342 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.342 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.342 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.342 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.342 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.342 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.342 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.342 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.342 * [taylor]: Taking taylor expansion of PI in g 0.342 * [backup-simplify]: Simplify PI into PI 0.342 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.342 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.343 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.343 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.344 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.344 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.344 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.344 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.344 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.344 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.344 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.344 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.344 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.344 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.344 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.344 * [taylor]: Taking taylor expansion of PI in g 0.344 * [backup-simplify]: Simplify PI into PI 0.344 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.344 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.345 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.345 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.345 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.346 * [backup-simplify]: Simplify (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 1) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.346 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0 0.347 * [backup-simplify]: Simplify (- 0) into 0 0.347 * [backup-simplify]: Simplify (+ (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.347 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.347 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.347 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.347 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.347 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.347 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.347 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.347 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.347 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.347 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.347 * [taylor]: Taking taylor expansion of PI in h 0.347 * [backup-simplify]: Simplify PI into PI 0.347 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.348 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.348 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.349 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.349 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.349 * [backup-simplify]: Simplify (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 1) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.350 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0 0.350 * [backup-simplify]: Simplify (- 0) into 0 0.351 * [backup-simplify]: Simplify (+ (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.351 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0.351 * [backup-simplify]: Simplify (+ 0) into 0 0.352 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.352 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.353 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.353 * [backup-simplify]: Simplify (+ 0 0) into 0 0.353 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.354 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.354 * [backup-simplify]: Simplify (- 0) into 0 0.355 * [backup-simplify]: Simplify (+ 0 0) into 0 0.355 * [taylor]: Taking taylor expansion of 0 in h 0.355 * [backup-simplify]: Simplify 0 into 0 0.355 * [backup-simplify]: Simplify 0 into 0 0.355 * [backup-simplify]: Simplify (+ 0) into 0 0.356 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.356 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.356 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.357 * [backup-simplify]: Simplify (+ 0 0) into 0 0.357 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.358 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.358 * [backup-simplify]: Simplify (- 0) into 0 0.358 * [backup-simplify]: Simplify (+ 0 0) into 0 0.358 * [backup-simplify]: Simplify 0 into 0 0.359 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.361 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.362 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.363 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.364 * [backup-simplify]: Simplify (+ 0 0) into 0 0.365 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.366 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.366 * [backup-simplify]: Simplify (- 0) into 0 0.367 * [backup-simplify]: Simplify (+ 0 0) into 0 0.367 * [taylor]: Taking taylor expansion of 0 in h 0.367 * [backup-simplify]: Simplify 0 into 0 0.367 * [backup-simplify]: Simplify 0 into 0 0.367 * [backup-simplify]: Simplify 0 into 0 0.368 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.369 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.370 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.371 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.372 * [backup-simplify]: Simplify (+ 0 0) into 0 0.372 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.373 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.374 * [backup-simplify]: Simplify (- 0) into 0 0.374 * [backup-simplify]: Simplify (+ 0 0) into 0 0.374 * [backup-simplify]: Simplify 0 into 0 0.376 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.377 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.378 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.380 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.380 * [backup-simplify]: Simplify (+ 0 0) into 0 0.381 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.383 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.383 * [backup-simplify]: Simplify (- 0) into 0 0.384 * [backup-simplify]: Simplify (+ 0 0) into 0 0.384 * [taylor]: Taking taylor expansion of 0 in h 0.384 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.385 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.386 * [backup-simplify]: Simplify (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.386 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.386 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.386 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.386 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.386 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.386 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.386 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.386 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.386 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.386 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.386 * [taylor]: Taking taylor expansion of PI in h 0.386 * [backup-simplify]: Simplify PI into PI 0.386 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.386 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.387 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.387 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.387 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.387 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.387 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.387 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.387 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.387 * [taylor]: Taking taylor expansion of PI in g 0.387 * [backup-simplify]: Simplify PI into PI 0.387 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.387 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.387 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.387 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.387 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.387 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.387 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.387 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.387 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.387 * [taylor]: Taking taylor expansion of PI in g 0.387 * [backup-simplify]: Simplify PI into PI 0.388 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.388 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.389 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.389 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.389 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.389 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.389 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.389 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.389 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.389 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.389 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.389 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.389 * [taylor]: Taking taylor expansion of PI in h 0.389 * [backup-simplify]: Simplify PI into PI 0.389 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.390 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.391 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.391 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.392 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.392 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.393 * [backup-simplify]: Simplify (+ 0 0) into 0 0.393 * [taylor]: Taking taylor expansion of 0 in h 0.393 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.394 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.394 * [backup-simplify]: Simplify (+ 0 0) into 0 0.394 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.396 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.397 * [backup-simplify]: Simplify (+ 0 0) into 0 0.397 * [taylor]: Taking taylor expansion of 0 in h 0.397 * [backup-simplify]: Simplify 0 into 0 0.397 * [backup-simplify]: Simplify 0 into 0 0.397 * [backup-simplify]: Simplify 0 into 0 0.398 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.398 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.399 * [backup-simplify]: Simplify (+ 0 0) into 0 0.399 * [backup-simplify]: Simplify 0 into 0 0.400 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.401 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.401 * [backup-simplify]: Simplify (+ 0 0) into 0 0.401 * [taylor]: Taking taylor expansion of 0 in h 0.402 * [backup-simplify]: Simplify 0 into 0 0.402 * [backup-simplify]: Simplify 0 into 0 0.402 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.403 * [backup-simplify]: Simplify (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3.0)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.403 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.403 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.404 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.404 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.404 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.404 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.404 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.404 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.404 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.404 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.404 * [taylor]: Taking taylor expansion of PI in h 0.404 * [backup-simplify]: Simplify PI into PI 0.404 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.404 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.404 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.404 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.404 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.404 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.404 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.404 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.404 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.404 * [taylor]: Taking taylor expansion of PI in g 0.404 * [backup-simplify]: Simplify PI into PI 0.404 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.404 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.404 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.404 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.404 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.404 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.404 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.404 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.405 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.405 * [taylor]: Taking taylor expansion of PI in g 0.405 * [backup-simplify]: Simplify PI into PI 0.405 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.405 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.406 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.406 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.406 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.406 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.406 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.406 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.406 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.406 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.406 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.406 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.406 * [taylor]: Taking taylor expansion of PI in h 0.406 * [backup-simplify]: Simplify PI into PI 0.406 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.407 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.407 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.408 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.409 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.409 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.410 * [backup-simplify]: Simplify (+ 0 0) into 0 0.410 * [taylor]: Taking taylor expansion of 0 in h 0.410 * [backup-simplify]: Simplify 0 into 0 0.410 * [backup-simplify]: Simplify 0 into 0 0.410 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.411 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.411 * [backup-simplify]: Simplify (+ 0 0) into 0 0.411 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.413 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.413 * [backup-simplify]: Simplify (+ 0 0) into 0 0.413 * [taylor]: Taking taylor expansion of 0 in h 0.413 * [backup-simplify]: Simplify 0 into 0 0.414 * [backup-simplify]: Simplify 0 into 0 0.414 * [backup-simplify]: Simplify 0 into 0 0.414 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.415 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.416 * [backup-simplify]: Simplify (+ 0 0) into 0 0.416 * [backup-simplify]: Simplify 0 into 0 0.417 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.418 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.418 * [backup-simplify]: Simplify (+ 0 0) into 0 0.418 * [taylor]: Taking taylor expansion of 0 in h 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify 0 into 0 0.419 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.420 * [backup-simplify]: Simplify (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3.0)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.420 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.420 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.420 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.420 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.420 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.420 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.421 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.421 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.421 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.421 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.421 * [taylor]: Taking taylor expansion of PI in h 0.421 * [backup-simplify]: Simplify PI into PI 0.421 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.421 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.421 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.421 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.421 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.421 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.421 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.421 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.421 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.421 * [taylor]: Taking taylor expansion of PI in g 0.421 * [backup-simplify]: Simplify PI into PI 0.421 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.421 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.421 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.421 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.421 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.421 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.421 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.421 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.421 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.421 * [taylor]: Taking taylor expansion of PI in g 0.421 * [backup-simplify]: Simplify PI into PI 0.422 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.422 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.423 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.423 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.423 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.423 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.423 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.423 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.423 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.423 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.423 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.423 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.423 * [taylor]: Taking taylor expansion of PI in h 0.423 * [backup-simplify]: Simplify PI into PI 0.423 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.424 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.425 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.425 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.426 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.426 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.427 * [backup-simplify]: Simplify (+ 0 0) into 0 0.427 * [taylor]: Taking taylor expansion of 0 in h 0.427 * [backup-simplify]: Simplify 0 into 0 0.427 * [backup-simplify]: Simplify 0 into 0 0.427 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.428 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.429 * [backup-simplify]: Simplify (+ 0 0) into 0 0.429 * [backup-simplify]: Simplify 0 into 0 0.429 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.430 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.431 * [backup-simplify]: Simplify (+ 0 0) 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 (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.433 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.433 * [backup-simplify]: Simplify (+ 0 0) into 0 0.433 * [backup-simplify]: Simplify 0 into 0 0.434 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.435 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.436 * [backup-simplify]: Simplify (+ 0 0) 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 (+ (* 0.3333333333333333 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.437 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.437 * [backup-simplify]: Simplify (/ (acos (/ (- g) h)) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.437 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0 0.437 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.437 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.437 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.437 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.437 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.437 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.437 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.437 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.437 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.437 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.437 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.437 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.437 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.437 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.437 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.438 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.438 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.438 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.438 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.438 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.438 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.438 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.438 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.439 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) 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.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.440 * [backup-simplify]: Simplify 0 into 0 0.440 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.440 * [taylor]: Taking taylor expansion of 0 in h 0.440 * [backup-simplify]: Simplify 0 into 0 0.441 * [backup-simplify]: Simplify 0 into 0 0.441 * [backup-simplify]: Simplify 0 into 0 0.441 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.442 * [backup-simplify]: Simplify 0 into 0 0.443 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.443 * [taylor]: Taking taylor expansion of 0 in h 0.443 * [backup-simplify]: Simplify 0 into 0 0.443 * [backup-simplify]: Simplify 0 into 0 0.443 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.443 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.443 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.443 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.443 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.443 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.444 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.444 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.444 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.444 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.444 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.444 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.444 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.444 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.444 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.444 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.444 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.444 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.444 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.444 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.445 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.445 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.445 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.445 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.445 * [taylor]: Taking taylor expansion of 0 in h 0.446 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.446 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) 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 0 into 0 0.448 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.448 * [backup-simplify]: Simplify 0 into 0 0.449 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.450 * [taylor]: Taking taylor expansion of 0 in h 0.450 * [backup-simplify]: Simplify 0 into 0 0.450 * [backup-simplify]: Simplify 0 into 0 0.450 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.450 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.450 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.450 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.450 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.450 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.450 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.450 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.450 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.450 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.450 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.450 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.451 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.451 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.451 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.451 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.451 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.451 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.451 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.451 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.451 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.451 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.451 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.451 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.451 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.451 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.452 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.452 * [taylor]: Taking taylor expansion of 0 in h 0.452 * [backup-simplify]: Simplify 0 into 0 0.452 * [backup-simplify]: Simplify 0 into 0 0.453 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.453 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.454 * [taylor]: Taking taylor expansion of 0 in h 0.454 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.457 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.458 * [taylor]: Taking taylor expansion of 0 in h 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.458 * * * [progress]: simplifying candidates 0.460 * [simplify]: Simplifying: (- (+ (log 2.0) (log PI)) (log 3.0)) (- (log (* 2.0 PI)) (log 3.0)) (log (/ (* 2.0 PI) 3.0)) (exp (/ (* 2.0 PI) 3.0)) (/ (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* 3.0 3.0) 3.0)) (/ (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0))) (cbrt (/ (* 2.0 PI) 3.0)) (* (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (/ (* 2.0 PI) 3.0)) (sqrt (/ (* 2.0 PI) 3.0)) (sqrt (/ (* 2.0 PI) 3.0)) (- (* 2.0 PI)) (- 3.0) (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 2.0 (sqrt 3.0)) (/ PI (sqrt 3.0)) (/ 2.0 1) (/ PI 3.0) (/ 1 3.0) (/ 3.0 (* 2.0 PI)) (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (* 2.0 PI) (sqrt 3.0)) (/ (* 2.0 PI) 1) (/ 3.0 PI) (* (cos (/ (* 2.0 PI) 3.0)) (cos (/ (acos (/ (- g) h)) 3.0))) (* (sin (/ (* 2.0 PI) 3.0)) (sin (/ (acos (/ (- g) h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ (- g) h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ (- g) h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (log (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (exp (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (* (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (* (exp (/ (* 2.0 PI) 3.0)) (exp (/ (acos (/ (- g) h)) 3.0))) (log (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (exp (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (* (* (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (+ (* (* 2.0 PI) 3.0) (* 3.0 (acos (/ (- g) h)))) (* 3.0 3.0) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ (acos (/ (- g) h)) 3.0) 3)) (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)) (* (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0))) (- (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))) (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (- (log (acos (/ (- g) h))) (log 3.0)) (log (/ (acos (/ (- g) h)) 3.0)) (exp (/ (acos (/ (- g) h)) 3.0)) (/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ (acos (/ (- g) h)) 3.0)) (cbrt (/ (acos (/ (- g) h)) 3.0))) (cbrt (/ (acos (/ (- g) h)) 3.0)) (* (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)) (/ (acos (/ (- g) h)) 3.0)) (sqrt (/ (acos (/ (- g) h)) 3.0)) (sqrt (/ (acos (/ (- g) h)) 3.0)) (- (acos (/ (- g) h))) (- 3.0) (/ (/ PI 2) 3.0) (/ (asin (/ (- g) h)) 3.0) (/ PI 3.0) (/ (acos (/ g h)) 3.0) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3.0)) (/ (cbrt (acos (/ (- g) h))) (sqrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) 1) (/ (cbrt (acos (/ (- g) h))) 3.0) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) 1) (/ (sqrt (acos (/ (- g) h))) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (/ (- g) h)) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)) (/ 1 1) (/ (acos (/ (- g) h)) 3.0) (/ 1 3.0) (/ 3.0 (acos (/ (- g) h))) (/ (acos (/ (- g) h)) (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)) (/ (acos (/ (- g) h)) 1) (/ 3.0 (cbrt (acos (/ (- g) h)))) (/ 3.0 (sqrt (acos (/ (- g) h)))) (/ 3.0 (acos (/ (- g) h))) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.461 * * [simplify]: iteration 0: 159 enodes 0.501 * * [simplify]: iteration 1: 332 enodes 0.656 * * [simplify]: iteration 2: 1227 enodes 1.284 * * [simplify]: iteration complete: 5001 enodes 1.284 * * [simplify]: Extracting #0: cost 84 inf + 0 1.287 * * [simplify]: Extracting #1: cost 749 inf + 2 1.295 * * [simplify]: Extracting #2: cost 1579 inf + 155 1.307 * * [simplify]: Extracting #3: cost 1354 inf + 3375 1.334 * * [simplify]: Extracting #4: cost 422 inf + 9950 1.347 * * [simplify]: Extracting #5: cost 356 inf + 10529 1.360 * * [simplify]: Extracting #6: cost 229 inf + 11902 1.372 * * [simplify]: Extracting #7: cost 55 inf + 14884 1.384 * * [simplify]: Extracting #8: cost 0 inf + 16449 1.397 * [simplify]: Simplified to: (log (* (/ PI 3.0) 2.0)) (log (* (/ PI 3.0) 2.0)) (log (* (/ PI 3.0) 2.0)) (pow (exp (/ 2.0 3.0)) PI) (pow (* (/ PI 3.0) 2.0) 3) (pow (* (/ PI 3.0) 2.0) 3) (* (cbrt (* (/ PI 3.0) 2.0)) (cbrt (* (/ PI 3.0) 2.0))) (cbrt (* (/ PI 3.0) 2.0)) (pow (* (/ PI 3.0) 2.0) 3) (sqrt (* (/ PI 3.0) 2.0)) (sqrt (* (/ PI 3.0) 2.0)) (* PI (- 2.0)) (- 3.0) (/ (/ 2.0 (cbrt 3.0)) (cbrt 3.0)) (/ PI (cbrt 3.0)) (/ 2.0 (sqrt 3.0)) (/ PI (sqrt 3.0)) 2.0 (/ PI 3.0) (/ 1 3.0) (/ (/ 3.0 2.0) PI) (* (/ 2.0 (cbrt 3.0)) (/ PI (cbrt 3.0))) (/ (* PI 2.0) (sqrt 3.0)) (* PI 2.0) (/ 3.0 PI) (* (cos (* (/ PI 3.0) 2.0)) (cos (/ (acos (- (/ g h))) 3.0))) (* (sin (/ (acos (- (/ g h))) 3.0)) (sin (* (/ PI 3.0) 2.0))) (* (cos (/ (asin (- (/ g h))) 3.0)) (cos (+ (/ (/ PI 3.0) 2) (* (/ PI 3.0) 2.0)))) (* (sin (+ (/ (/ PI 3.0) 2) (* (/ PI 3.0) 2.0))) (sin (/ (asin (- (/ g h))) 3.0))) (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (/ (acos (/ g h)) 3.0))) (log (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)))) (exp (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)))) (* (cbrt (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)))) (cbrt (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))))) (cbrt (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)))) (pow (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) 3) (sqrt (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)))) (sqrt (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)))) (exp (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) (log (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) (exp (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) (* (cbrt (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) (cbrt (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)))) (cbrt (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) (pow (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)) 3) (sqrt (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) (sqrt (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) (* 3.0 (+ (acos (- (/ g h))) (* PI 2.0))) (* 3.0 3.0) (+ (pow (* (/ PI 3.0) 2.0) 3) (pow (/ (acos (- (/ g h))) 3.0) 3)) (+ (* (/ 2.0 3.0) (/ (* (* PI PI) 2.0) 3.0)) (* (/ (acos (- (/ g h))) 3.0) (- (/ (acos (- (/ g h))) 3.0) (* (/ PI 3.0) 2.0)))) (* (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)) (- (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) (- (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)) (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0)) (+ (* PI 2.0) (acos (- (/ g h)))) (+ (/ (/ PI 3.0) 2) (* (/ PI 3.0) 2.0)) (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (log (/ (acos (- (/ g h))) 3.0)) (log (/ (acos (- (/ g h))) 3.0)) (exp (/ (acos (- (/ g h))) 3.0)) (pow (/ (acos (- (/ g h))) 3.0) 3) (* (cbrt (/ (acos (- (/ g h))) 3.0)) (cbrt (/ (acos (- (/ g h))) 3.0))) (cbrt (/ (acos (- (/ g h))) 3.0)) (pow (/ (acos (- (/ g h))) 3.0) 3) (sqrt (/ (acos (- (/ g h))) 3.0)) (sqrt (/ (acos (- (/ g h))) 3.0)) (- (acos (- (/ g h)))) (- 3.0) (/ (/ PI 3.0) 2) (/ (asin (- (/ g h))) 3.0) (/ PI 3.0) (/ (acos (/ g h)) 3.0) (* (/ (cbrt (acos (- (/ g h)))) (cbrt 3.0)) (/ (cbrt (acos (- (/ g h)))) (cbrt 3.0))) (/ (cbrt (acos (- (/ g h)))) (cbrt 3.0)) (/ (* (cbrt (acos (- (/ g h)))) (cbrt (acos (- (/ g h))))) (sqrt 3.0)) (/ (cbrt (acos (- (/ g h)))) (sqrt 3.0)) (* (cbrt (acos (- (/ g h)))) (cbrt (acos (- (/ g h))))) (/ (cbrt (acos (- (/ g h)))) 3.0) (/ (/ (sqrt (acos (- (/ g h)))) (cbrt 3.0)) (cbrt 3.0)) (/ (sqrt (acos (- (/ g h)))) (cbrt 3.0)) (/ (sqrt (acos (- (/ g h)))) (sqrt 3.0)) (/ (sqrt (acos (- (/ g h)))) (sqrt 3.0)) (sqrt (acos (- (/ g h)))) (/ (sqrt (acos (- (/ g h)))) 3.0) (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (/ (acos (- (/ g h))) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (acos (- (/ g h))) (sqrt 3.0)) 1 (/ (acos (- (/ g h))) 3.0) (/ 1 3.0) (/ 3.0 (acos (- (/ g h)))) (/ (acos (- (/ g h))) (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (- (/ g h))) (sqrt 3.0)) (acos (- (/ g h))) (/ 3.0 (cbrt (acos (- (/ g h))))) (/ 3.0 (sqrt (acos (- (/ g h))))) (/ 3.0 (acos (- (/ g h)))) (* (cos (+ (* (/ PI 3.0) 2.0) (/ (acos (- (/ g h))) 3.0))) 2.0) (cos (+ (* 0.3333333333333333 (acos (- (/ g h)))) (* PI 0.6666666666666666))) (cos (+ (* 0.3333333333333333 (acos (- (/ g h)))) (* PI 0.6666666666666666))) (cos (+ (* 0.3333333333333333 (acos (- (/ g h)))) (* PI 0.6666666666666666))) (+ (* 0.3333333333333333 (acos (- (/ g h)))) (* PI 0.6666666666666666)) (+ (* 0.3333333333333333 (acos (- (/ g h)))) (* PI 0.6666666666666666)) (+ (* 0.3333333333333333 (acos (- (/ g h)))) (* PI 0.6666666666666666)) (* 0.3333333333333333 (acos (- (/ g h)))) (* 0.3333333333333333 (acos (- (/ g h)))) (* 0.3333333333333333 (acos (- (/ g h)))) 1.398 * * * [progress]: adding candidates to table 1.928 * * [progress]: iteration 2 / 4 1.928 * * * [progress]: picking best candidate 1.959 * * * * [pick]: Picked # 1.959 * * * [progress]: localizing error 2.046 * * * [progress]: generating rewritten candidates 2.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.089 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 2.114 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 2.127 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1) 2.134 * * * [progress]: generating series expansions 2.134 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.134 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 2.134 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 2.134 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1) 2.134 * * * [progress]: simplifying candidates 2.135 * [simplify]: Simplifying: (* (sin (/ PI 3.0)) (cos (* (/ PI 3.0) 2.0))) (* (cos (/ PI 3.0)) (sin (* (/ PI 3.0) 2.0))) (log (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (exp (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (* (cbrt (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (cbrt (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))))) (cbrt (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (* (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (sqrt (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (sqrt (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (* (exp (/ PI 3.0)) (exp (* (/ PI 3.0) 2.0))) (log (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (exp (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (* (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (* (* (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sqrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sqrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (+ (* PI 3.0) (* 3.0 (* PI 2.0))) (* 3.0 3.0) (+ (pow (/ PI 3.0) 3) (pow (* (/ PI 3.0) 2.0) 3)) (+ (* (/ PI 3.0) (/ PI 3.0)) (- (* (* (/ PI 3.0) 2.0) (* (/ PI 3.0) 2.0)) (* (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (- (* (/ PI 3.0) (/ PI 3.0)) (* (* (/ PI 3.0) 2.0) (* (/ PI 3.0) 2.0))) (- (/ PI 3.0) (* (/ PI 3.0) 2.0)) (* (exp (/ PI 3.0)) (exp (* (/ PI 3.0) 2.0))) (log (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (exp (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (* (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (* (* (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sqrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sqrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (+ (* PI 3.0) (* 3.0 (* PI 2.0))) (* 3.0 3.0) (+ (pow (/ PI 3.0) 3) (pow (* (/ PI 3.0) 2.0) 3)) (+ (* (/ PI 3.0) (/ PI 3.0)) (- (* (* (/ PI 3.0) 2.0) (* (/ PI 3.0) 2.0)) (* (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (- (* (/ PI 3.0) (/ PI 3.0)) (* (* (/ PI 3.0) 2.0) (* (/ PI 3.0) 2.0))) (- (/ PI 3.0) (* (/ PI 3.0) 2.0)) (- (log PI) (log 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0)) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0)) (/ (cbrt PI) (sqrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 3.0) (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) 1) (/ (sqrt PI) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) (/ 1 1) (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ PI (* (cbrt 3.0) (cbrt 3.0))) (/ PI (sqrt 3.0)) (/ PI 1) (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (* 2.0 (+ (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (/ (acos (/ g h)) 3.0))))) (* 2.0 (+ (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (/ (acos (/ g h)) 3.0))))) (* 2.0 (+ (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (/ (acos (/ g h)) 3.0))))) (* 2.0 (+ (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (/ (acos (/ g h)) 3.0))))) 2.136 * * [simplify]: iteration 0: 101 enodes 2.172 * * [simplify]: iteration 1: 212 enodes 2.241 * * [simplify]: iteration 2: 641 enodes 2.965 * * [simplify]: iteration 3: 3357 enodes 4.251 * * [simplify]: iteration complete: 5001 enodes 4.251 * * [simplify]: Extracting #0: cost 52 inf + 0 4.253 * * [simplify]: Extracting #1: cost 559 inf + 6 4.260 * * [simplify]: Extracting #2: cost 1390 inf + 555 4.278 * * [simplify]: Extracting #3: cost 934 inf + 5135 4.289 * * [simplify]: Extracting #4: cost 144 inf + 11486 4.299 * * [simplify]: Extracting #5: cost 13 inf + 12648 4.309 * * [simplify]: Extracting #6: cost 15 inf + 12630 4.320 * * [simplify]: Extracting #7: cost 12 inf + 12631 4.330 * * [simplify]: Extracting #8: cost 11 inf + 12635 4.341 * * [simplify]: Extracting #9: cost 6 inf + 12689 4.352 * * [simplify]: Extracting #10: cost 0 inf + 12811 4.366 * * [simplify]: Extracting #11: cost 0 inf + 12809 4.377 * [simplify]: Simplified to: (* (sin (/ PI 3.0)) (cos (/ 2.0 (/ 3.0 PI)))) (* (sin (/ 2.0 (/ 3.0 PI))) (cos (/ PI 3.0))) (log (sin (* (/ PI 3.0) (+ 1 2.0)))) (exp (sin (* (/ PI 3.0) (+ 1 2.0)))) (* (cbrt (sin (* (/ PI 3.0) (+ 1 2.0)))) (cbrt (sin (* (/ PI 3.0) (+ 1 2.0))))) (cbrt (sin (* (/ PI 3.0) (+ 1 2.0)))) (pow (sin (* (/ PI 3.0) (+ 1 2.0))) 3) (sqrt (sin (* (/ PI 3.0) (+ 1 2.0)))) (sqrt (sin (* (/ PI 3.0) (+ 1 2.0)))) (pow (exp (+ 1 2.0)) (/ PI 3.0)) (log (* (/ PI 3.0) (+ 1 2.0))) (pow (exp (+ 1 2.0)) (/ PI 3.0)) (* (cbrt (* (/ PI 3.0) (+ 1 2.0))) (cbrt (* (/ PI 3.0) (+ 1 2.0)))) (cbrt (* (/ PI 3.0) (+ 1 2.0))) (pow (* (/ PI 3.0) (+ 1 2.0)) 3) (sqrt (* (/ PI 3.0) (+ 1 2.0))) (sqrt (* (/ PI 3.0) (+ 1 2.0))) (* 3.0 (* (+ 1 2.0) PI)) (* 3.0 3.0) (* (+ (pow 2.0 3) 1) (pow (/ PI 3.0) 3)) (* (/ PI 3.0) (+ (/ PI 3.0) (* (/ PI 3.0) (- (* 2.0 2.0) 2.0)))) (* (/ PI 3.0) (- (/ PI 3.0) (* 2.0 (/ 2.0 (/ 3.0 PI))))) (* (+ (- 2.0) 1) (/ PI 3.0)) (pow (exp (+ 1 2.0)) (/ PI 3.0)) (log (* (/ PI 3.0) (+ 1 2.0))) (pow (exp (+ 1 2.0)) (/ PI 3.0)) (* (cbrt (* (/ PI 3.0) (+ 1 2.0))) (cbrt (* (/ PI 3.0) (+ 1 2.0)))) (cbrt (* (/ PI 3.0) (+ 1 2.0))) (pow (* (/ PI 3.0) (+ 1 2.0)) 3) (sqrt (* (/ PI 3.0) (+ 1 2.0))) (sqrt (* (/ PI 3.0) (+ 1 2.0))) (* 3.0 (* (+ 1 2.0) PI)) (* 3.0 3.0) (* (+ (pow 2.0 3) 1) (pow (/ PI 3.0) 3)) (* (/ PI 3.0) (+ (/ PI 3.0) (* (/ PI 3.0) (- (* 2.0 2.0) 2.0)))) (* (/ PI 3.0) (- (/ PI 3.0) (* 2.0 (/ 2.0 (/ 3.0 PI))))) (* (+ (- 2.0) 1) (/ PI 3.0)) (log (/ PI 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (pow (/ PI 3.0) 3) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (pow (/ PI 3.0) 3) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (* (/ (cbrt PI) (cbrt 3.0)) (/ (cbrt PI) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (cbrt PI) (/ (sqrt 3.0) (cbrt PI))) (/ (cbrt PI) (sqrt 3.0)) (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 3.0) (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (sqrt PI) (/ (sqrt PI) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) 1 (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ (/ PI (cbrt 3.0)) (cbrt 3.0)) (/ PI (sqrt 3.0)) PI (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (* 2.0 (+ (* (sin (* (/ PI 3.0) (+ 1 2.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (* (/ PI 3.0) (+ 1 2.0))) (cos (/ (acos (/ g h)) 3.0))))) (* 2.0 (+ (* (sin (* (/ PI 3.0) (+ 1 2.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (* (/ PI 3.0) (+ 1 2.0))) (cos (/ (acos (/ g h)) 3.0))))) (* 2.0 (+ (* (sin (* (/ PI 3.0) (+ 1 2.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (* (/ PI 3.0) (+ 1 2.0))) (cos (/ (acos (/ g h)) 3.0))))) (* 2.0 (+ (* (sin (* (/ PI 3.0) (+ 1 2.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (* (/ PI 3.0) (+ 1 2.0))) (cos (/ (acos (/ g h)) 3.0))))) 4.377 * * * [progress]: adding candidates to table 4.874 * * [progress]: iteration 3 / 4 4.874 * * * [progress]: picking best candidate 4.901 * * * * [pick]: Picked # 4.901 * * * [progress]: localizing error 4.945 * * * [progress]: generating rewritten candidates 4.945 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1) 4.952 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 4.960 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 4.990 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 5.103 * * * [progress]: generating series expansions 5.103 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1) 5.103 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 5.103 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 5.103 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 5.105 * [backup-simplify]: Simplify (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.105 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in (g h) around 0 5.106 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h 5.106 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h 5.106 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 5.106 * [taylor]: Taking taylor expansion of 1.0 in h 5.106 * [backup-simplify]: Simplify 1.0 into 1.0 5.106 * [taylor]: Taking taylor expansion of PI in h 5.106 * [backup-simplify]: Simplify PI into PI 5.106 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h 5.106 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.106 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.106 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 5.106 * [backup-simplify]: Simplify (acos (/ g h)) into (acos (/ g h)) 5.106 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.106 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ g h))) into (* 0.3333333333333333 (acos (/ g h))) 5.106 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ g h)))) into (- (* 0.3333333333333333 (acos (/ g h)))) 5.107 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ g h))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) 5.107 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.108 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.108 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g 5.108 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g 5.108 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 5.108 * [taylor]: Taking taylor expansion of 1.0 in g 5.108 * [backup-simplify]: Simplify 1.0 into 1.0 5.108 * [taylor]: Taking taylor expansion of PI in g 5.108 * [backup-simplify]: Simplify PI into PI 5.108 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g 5.108 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.108 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.108 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 5.108 * [backup-simplify]: Simplify (acos (/ g h)) into (acos (/ g h)) 5.108 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.108 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ g h))) into (* 0.3333333333333333 (acos (/ g h))) 5.108 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ g h)))) into (- (* 0.3333333333333333 (acos (/ g h)))) 5.109 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ g h))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) 5.109 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.110 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.110 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g 5.110 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g 5.110 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 5.110 * [taylor]: Taking taylor expansion of 1.0 in g 5.110 * [backup-simplify]: Simplify 1.0 into 1.0 5.110 * [taylor]: Taking taylor expansion of PI in g 5.110 * [backup-simplify]: Simplify PI into PI 5.110 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g 5.110 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.110 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.110 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 5.110 * [backup-simplify]: Simplify (acos (/ g h)) into (acos (/ g h)) 5.110 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.110 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ g h))) into (* 0.3333333333333333 (acos (/ g h))) 5.110 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ g h)))) into (- (* 0.3333333333333333 (acos (/ g h)))) 5.111 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ g h))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) 5.111 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.111 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.112 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.112 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) into 0 5.113 * [backup-simplify]: Simplify (- 0) into 0 5.113 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.113 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h 5.113 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h 5.113 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 5.113 * [taylor]: Taking taylor expansion of 1.0 in h 5.113 * [backup-simplify]: Simplify 1.0 into 1.0 5.113 * [taylor]: Taking taylor expansion of PI in h 5.113 * [backup-simplify]: Simplify PI into PI 5.113 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h 5.113 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.113 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.113 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 5.113 * [backup-simplify]: Simplify (acos (/ g h)) into (acos (/ g h)) 5.114 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.114 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ g h))) into (* 0.3333333333333333 (acos (/ g h))) 5.114 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ g h)))) into (- (* 0.3333333333333333 (acos (/ g h)))) 5.114 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ g h))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) 5.115 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.116 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.116 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.117 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) into 0 5.118 * [backup-simplify]: Simplify (- 0) into 0 5.118 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.119 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.120 * [backup-simplify]: Simplify (+ 0) into 0 5.121 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (* 0 1)) into 0 5.122 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0 5.122 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ g h)))) into 0 5.122 * [backup-simplify]: Simplify (- 0) into 0 5.123 * [backup-simplify]: Simplify (+ 0 0) into 0 5.124 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.125 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (* 0 0)) into 0 5.125 * [backup-simplify]: Simplify (- 0) into 0 5.125 * [backup-simplify]: Simplify (+ 0 0) into 0 5.125 * [taylor]: Taking taylor expansion of 0 in h 5.126 * [backup-simplify]: Simplify 0 into 0 5.126 * [backup-simplify]: Simplify 0 into 0 5.126 * [backup-simplify]: Simplify (+ 0) into 0 5.127 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (* 0 1)) into 0 5.128 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0 5.128 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ g h)))) into 0 5.129 * [backup-simplify]: Simplify (- 0) into 0 5.129 * [backup-simplify]: Simplify (+ 0 0) into 0 5.130 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.131 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (* 0 0)) into 0 5.131 * [backup-simplify]: Simplify (- 0) into 0 5.131 * [backup-simplify]: Simplify (+ 0 0) into 0 5.131 * [backup-simplify]: Simplify 0 into 0 5.132 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 5.134 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (* 0 1))) into 0 5.134 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0 5.135 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ g h))))) into 0 5.135 * [backup-simplify]: Simplify (- 0) into 0 5.135 * [backup-simplify]: Simplify (+ 0 0) into 0 5.136 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.137 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (* 0 0))) into 0 5.137 * [backup-simplify]: Simplify (- 0) into 0 5.137 * [backup-simplify]: Simplify (+ 0 0) into 0 5.137 * [taylor]: Taking taylor expansion of 0 in h 5.137 * [backup-simplify]: Simplify 0 into 0 5.137 * [backup-simplify]: Simplify 0 into 0 5.137 * [backup-simplify]: Simplify 0 into 0 5.138 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 5.138 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (* 0 1))) into 0 5.139 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0 5.140 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ g h))))) into 0 5.140 * [backup-simplify]: Simplify (- 0) into 0 5.140 * [backup-simplify]: Simplify (+ 0 0) into 0 5.140 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.141 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (* 0 0))) into 0 5.141 * [backup-simplify]: Simplify (- 0) into 0 5.142 * [backup-simplify]: Simplify (+ 0 0) into 0 5.142 * [backup-simplify]: Simplify 0 into 0 5.142 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 5.143 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.144 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 5.144 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ g h)))))) into 0 5.145 * [backup-simplify]: Simplify (- 0) into 0 5.145 * [backup-simplify]: Simplify (+ 0 0) into 0 5.146 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 5.148 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 5.149 * [backup-simplify]: Simplify (- 0) into 0 5.149 * [backup-simplify]: Simplify (+ 0 0) into 0 5.149 * [taylor]: Taking taylor expansion of 0 in h 5.149 * [backup-simplify]: Simplify 0 into 0 5.149 * [backup-simplify]: Simplify 0 into 0 5.149 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.151 * [backup-simplify]: Simplify (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ (/ 1 g) (/ 1 h))) 3.0))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.151 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0 5.151 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h 5.151 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h 5.151 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 5.151 * [taylor]: Taking taylor expansion of 1.0 in h 5.151 * [backup-simplify]: Simplify 1.0 into 1.0 5.151 * [taylor]: Taking taylor expansion of PI in h 5.151 * [backup-simplify]: Simplify PI into PI 5.151 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h 5.151 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.151 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.151 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 5.151 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g)) 5.151 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.152 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g))) 5.152 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g)))) 5.152 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) 5.152 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.153 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.153 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g 5.153 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g 5.153 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 5.153 * [taylor]: Taking taylor expansion of 1.0 in g 5.153 * [backup-simplify]: Simplify 1.0 into 1.0 5.153 * [taylor]: Taking taylor expansion of PI in g 5.153 * [backup-simplify]: Simplify PI into PI 5.153 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g 5.153 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.153 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.153 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 5.153 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g)) 5.153 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.153 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g))) 5.154 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g)))) 5.154 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) 5.154 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.155 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.155 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g 5.155 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g 5.155 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 5.155 * [taylor]: Taking taylor expansion of 1.0 in g 5.155 * [backup-simplify]: Simplify 1.0 into 1.0 5.155 * [taylor]: Taking taylor expansion of PI in g 5.155 * [backup-simplify]: Simplify PI into PI 5.155 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g 5.155 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.155 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.155 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 5.155 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g)) 5.155 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.155 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g))) 5.155 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g)))) 5.156 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) 5.156 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.157 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.157 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.158 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into 0 5.158 * [backup-simplify]: Simplify (- 0) into 0 5.158 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.158 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h 5.158 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h 5.158 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 5.158 * [taylor]: Taking taylor expansion of 1.0 in h 5.158 * [backup-simplify]: Simplify 1.0 into 1.0 5.158 * [taylor]: Taking taylor expansion of PI in h 5.158 * [backup-simplify]: Simplify PI into PI 5.158 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h 5.158 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.158 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.158 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 5.158 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g)) 5.159 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.159 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g))) 5.159 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g)))) 5.159 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) 5.160 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.160 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.161 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.161 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into 0 5.161 * [backup-simplify]: Simplify (- 0) into 0 5.162 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.162 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.163 * [backup-simplify]: Simplify (+ 0) into 0 5.164 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 1)) into 0 5.165 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0 5.165 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ h g)))) into 0 5.165 * [backup-simplify]: Simplify (- 0) into 0 5.166 * [backup-simplify]: Simplify (+ 0 0) into 0 5.167 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.168 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 0)) into 0 5.168 * [backup-simplify]: Simplify (- 0) into 0 5.169 * [backup-simplify]: Simplify (+ 0 0) into 0 5.169 * [taylor]: Taking taylor expansion of 0 in h 5.169 * [backup-simplify]: Simplify 0 into 0 5.169 * [backup-simplify]: Simplify 0 into 0 5.169 * [backup-simplify]: Simplify (+ 0) into 0 5.170 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 1)) into 0 5.171 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0 5.172 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ h g)))) into 0 5.172 * [backup-simplify]: Simplify (- 0) into 0 5.172 * [backup-simplify]: Simplify (+ 0 0) into 0 5.173 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.174 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 0)) into 0 5.175 * [backup-simplify]: Simplify (- 0) into 0 5.175 * [backup-simplify]: Simplify (+ 0 0) into 0 5.175 * [backup-simplify]: Simplify 0 into 0 5.176 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 5.177 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 1))) into 0 5.179 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0 5.179 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ h g))))) into 0 5.180 * [backup-simplify]: Simplify (- 0) into 0 5.180 * [backup-simplify]: Simplify (+ 0 0) into 0 5.181 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.182 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 0))) into 0 5.183 * [backup-simplify]: Simplify (- 0) into 0 5.183 * [backup-simplify]: Simplify (+ 0 0) into 0 5.183 * [taylor]: Taking taylor expansion of 0 in h 5.183 * [backup-simplify]: Simplify 0 into 0 5.183 * [backup-simplify]: Simplify 0 into 0 5.183 * [backup-simplify]: Simplify 0 into 0 5.184 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 5.185 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 1))) into 0 5.187 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0 5.187 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ h g))))) into 0 5.188 * [backup-simplify]: Simplify (- 0) into 0 5.188 * [backup-simplify]: Simplify (+ 0 0) into 0 5.189 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.190 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 0))) into 0 5.191 * [backup-simplify]: Simplify (- 0) into 0 5.191 * [backup-simplify]: Simplify (+ 0 0) into 0 5.191 * [backup-simplify]: Simplify 0 into 0 5.192 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 5.194 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.195 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 5.196 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ h g)))))) into 0 5.196 * [backup-simplify]: Simplify (- 0) into 0 5.197 * [backup-simplify]: Simplify (+ 0 0) into 0 5.198 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 5.200 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 5.200 * [backup-simplify]: Simplify (- 0) into 0 5.200 * [backup-simplify]: Simplify (+ 0 0) into 0 5.200 * [taylor]: Taking taylor expansion of 0 in h 5.200 * [backup-simplify]: Simplify 0 into 0 5.201 * [backup-simplify]: Simplify 0 into 0 5.201 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ (/ 1 h) (/ 1 g)))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.204 * [backup-simplify]: Simplify (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ (/ 1 (- g)) (/ 1 (- h)))) 3.0))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.204 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0 5.204 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h 5.204 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h 5.204 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 5.204 * [taylor]: Taking taylor expansion of 1.0 in h 5.204 * [backup-simplify]: Simplify 1.0 into 1.0 5.204 * [taylor]: Taking taylor expansion of PI in h 5.204 * [backup-simplify]: Simplify PI into PI 5.204 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h 5.204 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.204 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.204 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 5.204 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g)) 5.205 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.205 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g))) 5.205 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g)))) 5.206 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) 5.207 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.207 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.207 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g 5.207 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g 5.207 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 5.207 * [taylor]: Taking taylor expansion of 1.0 in g 5.207 * [backup-simplify]: Simplify 1.0 into 1.0 5.207 * [taylor]: Taking taylor expansion of PI in g 5.208 * [backup-simplify]: Simplify PI into PI 5.208 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g 5.208 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.208 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.208 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 5.208 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g)) 5.208 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.208 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g))) 5.208 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g)))) 5.209 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) 5.210 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.211 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.211 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g 5.211 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g 5.211 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 5.211 * [taylor]: Taking taylor expansion of 1.0 in g 5.211 * [backup-simplify]: Simplify 1.0 into 1.0 5.211 * [taylor]: Taking taylor expansion of PI in g 5.211 * [backup-simplify]: Simplify PI into PI 5.211 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g 5.211 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 5.211 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.211 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 5.211 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g)) 5.212 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.212 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g))) 5.212 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g)))) 5.212 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) 5.213 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.214 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.215 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.215 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into 0 5.216 * [backup-simplify]: Simplify (- 0) into 0 5.216 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.216 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h 5.216 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h 5.217 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 5.217 * [taylor]: Taking taylor expansion of 1.0 in h 5.217 * [backup-simplify]: Simplify 1.0 into 1.0 5.217 * [taylor]: Taking taylor expansion of PI in h 5.217 * [backup-simplify]: Simplify PI into PI 5.217 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h 5.217 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 5.217 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 5.217 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 5.217 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g)) 5.217 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI) 5.217 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g))) 5.218 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g)))) 5.218 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) 5.219 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.220 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.220 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.221 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into 0 5.221 * [backup-simplify]: Simplify (- 0) into 0 5.222 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.223 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 5.223 * [backup-simplify]: Simplify (+ 0) into 0 5.224 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 1)) into 0 5.225 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0 5.226 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ h g)))) into 0 5.226 * [backup-simplify]: Simplify (- 0) into 0 5.226 * [backup-simplify]: Simplify (+ 0 0) into 0 5.227 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.228 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 0)) into 0 5.229 * [backup-simplify]: Simplify (- 0) into 0 5.229 * [backup-simplify]: Simplify (+ 0 0) into 0 5.229 * [taylor]: Taking taylor expansion of 0 in h 5.229 * [backup-simplify]: Simplify 0 into 0 5.229 * [backup-simplify]: Simplify 0 into 0 5.230 * [backup-simplify]: Simplify (+ 0) into 0 5.231 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 1)) into 0 5.231 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0 5.232 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ h g)))) into 0 5.232 * [backup-simplify]: Simplify (- 0) into 0 5.233 * [backup-simplify]: Simplify (+ 0 0) into 0 5.233 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.234 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 0)) into 0 5.235 * [backup-simplify]: Simplify (- 0) into 0 5.235 * [backup-simplify]: Simplify (+ 0 0) into 0 5.235 * [backup-simplify]: Simplify 0 into 0 5.236 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 5.237 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 1))) into 0 5.238 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0 5.239 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ h g))))) into 0 5.240 * [backup-simplify]: Simplify (- 0) into 0 5.240 * [backup-simplify]: Simplify (+ 0 0) into 0 5.241 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.242 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 0))) into 0 5.242 * [backup-simplify]: Simplify (- 0) into 0 5.243 * [backup-simplify]: Simplify (+ 0 0) into 0 5.243 * [taylor]: Taking taylor expansion of 0 in h 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 5.245 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 1))) into 0 5.246 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0 5.247 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ h g))))) into 0 5.248 * [backup-simplify]: Simplify (- 0) into 0 5.248 * [backup-simplify]: Simplify (+ 0 0) into 0 5.249 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.250 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 0))) into 0 5.250 * [backup-simplify]: Simplify (- 0) into 0 5.251 * [backup-simplify]: Simplify (+ 0 0) into 0 5.251 * [backup-simplify]: Simplify 0 into 0 5.252 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 5.253 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.254 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 5.255 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ h g)))))) into 0 5.256 * [backup-simplify]: Simplify (- 0) into 0 5.256 * [backup-simplify]: Simplify (+ 0 0) into 0 5.258 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 5.259 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 5.259 * [backup-simplify]: Simplify (- 0) into 0 5.260 * [backup-simplify]: Simplify (+ 0 0) into 0 5.260 * [taylor]: Taking taylor expansion of 0 in h 5.260 * [backup-simplify]: Simplify 0 into 0 5.260 * [backup-simplify]: Simplify 0 into 0 5.260 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ (/ 1 (- h)) (/ 1 (- g))))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.261 * * * [progress]: simplifying candidates 5.263 * [simplify]: Simplifying: (- (log PI) (log 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0)) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0)) (/ (cbrt PI) (sqrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 3.0) (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) 1) (/ (sqrt PI) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) (/ 1 1) (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ PI (* (cbrt 3.0) (cbrt 3.0))) (/ PI (sqrt 3.0)) (/ PI 1) (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (- (log PI) (log 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0)) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0)) (/ (cbrt PI) (sqrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 3.0) (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) 1) (/ (sqrt PI) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) (/ 1 1) (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ PI (* (cbrt 3.0) (cbrt 3.0))) (/ PI (sqrt 3.0)) (/ PI 1) (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (* (exp (/ PI 3.0)) (exp (* (/ PI 3.0) 2.0))) (log (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (exp (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (* (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (cbrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (* (* (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sqrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sqrt (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (+ (* PI 3.0) (* 3.0 (* PI 2.0))) (* 3.0 3.0) (+ (pow (/ PI 3.0) 3) (pow (* (/ PI 3.0) 2.0) 3)) (+ (* (/ PI 3.0) (/ PI 3.0)) (- (* (* (/ PI 3.0) 2.0) (* (/ PI 3.0) 2.0)) (* (/ PI 3.0) (* (/ PI 3.0) 2.0)))) (- (* (/ PI 3.0) (/ PI 3.0)) (* (* (/ PI 3.0) 2.0) (* (/ PI 3.0) 2.0))) (- (/ PI 3.0) (* (/ PI 3.0) 2.0)) (* (cos (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (cos (- (/ (acos (/ g h)) 3.0)))) (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (- (/ (acos (/ g h)) 3.0)))) (* (cos (/ PI 3.0)) (cos (- (* (/ PI 3.0) 2.0) (/ (acos (/ g h)) 3.0)))) (* (sin (/ PI 3.0)) (sin (- (* (/ PI 3.0) 2.0) (/ (acos (/ g h)) 3.0)))) (* (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0))) (* (sin (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0))) (* (cos (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (cos (- (/ (acos (/ g h)) 3.0)))) (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (- (/ (acos (/ g h)) 3.0)))) (* (cos (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ PI 3.0) (* (/ PI 3.0) 2.0))) (sin (/ (acos (/ g h)) 3.0))) (log (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (exp (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (* (cbrt (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (cbrt (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0))))) (cbrt (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (* (* (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0))) (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (sqrt (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (sqrt (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (* 2.0 (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (* 2.0 (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (* 2.0 (cos (- (+ (/ PI 3.0) (* (/ PI 3.0) 2.0)) (/ (acos (/ g h)) 3.0)))) (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 5.265 * * [simplify]: iteration 0: 126 enodes 5.316 * * [simplify]: iteration 1: 248 enodes 5.399 * * [simplify]: iteration 2: 688 enodes 6.207 * * [simplify]: iteration 3: 3334 enodes 7.056 * * [simplify]: iteration complete: 5004 enodes 7.056 * * [simplify]: Extracting #0: cost 58 inf + 0 7.058 * * [simplify]: Extracting #1: cost 524 inf + 2 7.064 * * [simplify]: Extracting #2: cost 1309 inf + 293 7.074 * * [simplify]: Extracting #3: cost 1008 inf + 3938 7.085 * * [simplify]: Extracting #4: cost 316 inf + 9577 7.095 * * [simplify]: Extracting #5: cost 101 inf + 11413 7.105 * * [simplify]: Extracting #6: cost 45 inf + 11847 7.113 * * [simplify]: Extracting #7: cost 35 inf + 11910 7.118 * * [simplify]: Extracting #8: cost 23 inf + 12021 7.127 * * [simplify]: Extracting #9: cost 8 inf + 12244 7.132 * * [simplify]: Extracting #10: cost 0 inf + 12408 7.138 * * [simplify]: Extracting #11: cost 0 inf + 12407 7.148 * [simplify]: Simplified to: (log (/ PI 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (pow (/ PI 3.0) 3) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (pow (/ PI 3.0) 3) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0)) (/ (cbrt PI) (sqrt 3.0)) (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 3.0) (/ (/ (sqrt PI) (cbrt 3.0)) (cbrt 3.0)) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (sqrt PI) (/ (sqrt PI) 3.0) (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) 1 (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ PI (* (cbrt 3.0) (cbrt 3.0))) (/ PI (sqrt 3.0)) PI (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (log (/ PI 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (pow (/ PI 3.0) 3) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (pow (/ PI 3.0) 3) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0)) (/ (cbrt PI) (sqrt 3.0)) (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 3.0) (/ (/ (sqrt PI) (cbrt 3.0)) (cbrt 3.0)) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (sqrt PI) (/ (sqrt PI) 3.0) (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) 1 (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ PI (* (cbrt 3.0) (cbrt 3.0))) (/ PI (sqrt 3.0)) PI (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (exp (/ (* (+ 1 2.0) PI) 3.0)) (log (/ (* (+ 1 2.0) PI) 3.0)) (exp (/ (* (+ 1 2.0) PI) 3.0)) (* (cbrt (/ (* (+ 1 2.0) PI) 3.0)) (cbrt (/ (* (+ 1 2.0) PI) 3.0))) (cbrt (/ (* (+ 1 2.0) PI) 3.0)) (pow (/ (* (+ 1 2.0) PI) 3.0) 3) (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (* PI (+ 3.0 (* 2.0 3.0))) (* 3.0 3.0) (* (+ (pow 2.0 3) 1) (pow (/ PI 3.0) 3)) (* (/ PI 3.0) (+ (/ PI 3.0) (* (/ PI 3.0) (- (* 2.0 2.0) 2.0)))) (* (- (/ PI 3.0) (* 2.0 (/ 2.0 (/ 3.0 PI)))) (/ PI 3.0)) (* (+ (- 2.0) 1) (/ PI 3.0)) (* (cos (/ (acos (/ g h)) 3.0)) (cos (/ (* (+ 1 2.0) PI) 3.0))) (* (- (sin (/ (* (+ 1 2.0) PI) 3.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (- (/ 2.0 (/ 3.0 PI)) (/ (acos (/ g h)) 3.0))) (cos (/ PI 3.0))) (* (sin (/ PI 3.0)) (sin (- (/ 2.0 (/ 3.0 PI)) (/ (acos (/ g h)) 3.0)))) (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (* (sin (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sin (/ (asin (/ g h)) 3.0))) (* (cos (/ (acos (/ g h)) 3.0)) (cos (/ (* (+ 1 2.0) PI) 3.0))) (* (- (sin (/ (* (+ 1 2.0) PI) 3.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (/ (acos (/ g h)) 3.0)) (cos (/ (* (+ 1 2.0) PI) 3.0))) (* (sin (/ (acos (/ g h)) 3.0)) (sin (/ (* (+ 1 2.0) PI) 3.0))) (log (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (exp (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (* (cbrt (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (cbrt (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0))))) (cbrt (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (pow (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0))) 3) (sqrt (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (sqrt (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (* 2.0 (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (* 2.0 (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (* 2.0 (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (acos (/ g h)) 3.0)))) (cos (- (* PI 1.0) (* (acos (/ g h)) 0.3333333333333333))) (cos (- (* PI 1.0) (* (acos (/ g h)) 0.3333333333333333))) (cos (- (* PI 1.0) (* (acos (/ g h)) 0.3333333333333333))) 7.149 * * * [progress]: adding candidates to table 7.622 * * [progress]: iteration 4 / 4 7.623 * * * [progress]: picking best candidate 7.646 * * * * [pick]: Picked # 7.646 * * * [progress]: localizing error 7.725 * * * [progress]: generating rewritten candidates 7.725 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 2 1) 7.733 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2 1) 7.740 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 7.805 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 7.868 * * * [progress]: generating series expansions 7.868 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 2 1) 7.868 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2 1) 7.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 7.868 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 7.868 * * * [progress]: simplifying candidates 7.871 * [simplify]: Simplifying: (- (log PI) (log 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0)) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0)) (/ (cbrt PI) (sqrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 3.0) (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) 1) (/ (sqrt PI) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) (/ 1 1) (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ PI (* (cbrt 3.0) (cbrt 3.0))) (/ PI (sqrt 3.0)) (/ PI 1) (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (- (log PI) (log 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0)) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0)) (/ (cbrt PI) (sqrt 3.0)) (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 3.0) (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) 1) (/ (sqrt PI) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) (/ 1 1) (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ PI (* (cbrt 3.0) (cbrt 3.0))) (/ PI (sqrt 3.0)) (/ PI 1) (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (/ (exp (/ (* (+ 1 2.0) PI) 3.0)) (exp (/ (/ PI 3.0) 2))) (log (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (exp (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (* (cbrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (cbrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (cbrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (* (* (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)) (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sqrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sqrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (- (* (* (+ 1 2.0) PI) 2) (* 3.0 (/ PI 3.0))) (* 3.0 2) (- (pow (/ (* (+ 1 2.0) PI) 3.0) 3) (pow (/ (/ PI 3.0) 2) 3)) (+ (* (/ (* (+ 1 2.0) PI) 3.0) (/ (* (+ 1 2.0) PI) 3.0)) (+ (* (/ (/ PI 3.0) 2) (/ (/ PI 3.0) 2)) (* (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (- (/ (/ PI 3.0) 2)) (- (* (/ (* (+ 1 2.0) PI) 3.0) (/ (* (+ 1 2.0) PI) 3.0)) (* (/ (/ PI 3.0) 2) (/ (/ PI 3.0) 2))) (+ (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)) (+ (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (sqrt (/ (/ PI 3.0) 2))) (- (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (sqrt (/ (/ PI 3.0) 2))) (+ (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (/ (sqrt (/ PI 3.0)) (sqrt 2))) (- (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (/ (sqrt (/ PI 3.0)) (sqrt 2))) (+ (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (/ (/ (sqrt PI) (sqrt 3.0)) (sqrt 2))) (- (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (/ (/ (sqrt PI) (sqrt 3.0)) (sqrt 2))) (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)) (- (/ (/ PI 3.0) 2)) (/ (exp (/ (* (+ 1 2.0) PI) 3.0)) (exp (/ (/ PI 3.0) 2))) (log (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (exp (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (* (cbrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (cbrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (cbrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (* (* (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)) (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sqrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sqrt (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (- (* (* (+ 1 2.0) PI) 2) (* 3.0 (/ PI 3.0))) (* 3.0 2) (- (pow (/ (* (+ 1 2.0) PI) 3.0) 3) (pow (/ (/ PI 3.0) 2) 3)) (+ (* (/ (* (+ 1 2.0) PI) 3.0) (/ (* (+ 1 2.0) PI) 3.0)) (+ (* (/ (/ PI 3.0) 2) (/ (/ PI 3.0) 2)) (* (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (- (/ (/ PI 3.0) 2)) (- (* (/ (* (+ 1 2.0) PI) 3.0) (/ (* (+ 1 2.0) PI) 3.0)) (* (/ (/ PI 3.0) 2) (/ (/ PI 3.0) 2))) (+ (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)) (+ (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (sqrt (/ (/ PI 3.0) 2))) (- (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (sqrt (/ (/ PI 3.0) 2))) (+ (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (/ (sqrt (/ PI 3.0)) (sqrt 2))) (- (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (/ (sqrt (/ PI 3.0)) (sqrt 2))) (+ (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (/ (/ (sqrt PI) (sqrt 3.0)) (sqrt 2))) (- (sqrt (/ (* (+ 1 2.0) PI) 3.0)) (/ (/ (sqrt PI) (sqrt 3.0)) (sqrt 2))) (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)) (- (/ (/ PI 3.0) 2)) (* 2.0 (- (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (* (sin (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sin (/ (asin (/ g h)) 3.0))))) (* 2.0 (- (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (* (sin (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sin (/ (asin (/ g h)) 3.0))))) (* 2.0 (- (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (* (sin (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sin (/ (asin (/ g h)) 3.0))))) (* 2.0 (- (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2)))) (* (sin (- (/ (* (+ 1 2.0) PI) 3.0) (/ (/ PI 3.0) 2))) (sin (/ (asin (/ g h)) 3.0))))) 7.873 * * [simplify]: iteration 0: 106 enodes 7.897 * * [simplify]: iteration 1: 219 enodes 7.963 * * [simplify]: iteration 2: 617 enodes 8.641 * * [simplify]: iteration 3: 3263 enodes 9.359 * * [simplify]: iteration complete: 5002 enodes 9.359 * * [simplify]: Extracting #0: cost 52 inf + 0 9.361 * * [simplify]: Extracting #1: cost 789 inf + 2 9.365 * * [simplify]: Extracting #2: cost 1350 inf + 1194 9.371 * * [simplify]: Extracting #3: cost 1328 inf + 4998 9.379 * * [simplify]: Extracting #4: cost 381 inf + 11611 9.392 * * [simplify]: Extracting #5: cost 37 inf + 15902 9.399 * * [simplify]: Extracting #6: cost 23 inf + 16104 9.407 * * [simplify]: Extracting #7: cost 21 inf + 16106 9.413 * * [simplify]: Extracting #8: cost 20 inf + 16109 9.420 * * [simplify]: Extracting #9: cost 19 inf + 16113 9.427 * * [simplify]: Extracting #10: cost 15 inf + 16156 9.434 * * [simplify]: Extracting #11: cost 3 inf + 16359 9.441 * * [simplify]: Extracting #12: cost 0 inf + 16454 9.452 * * [simplify]: Extracting #13: cost 0 inf + 16453 9.466 * [simplify]: Simplified to: (log (/ PI 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (pow (/ PI 3.0) 3) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (pow (/ PI 3.0) 3) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (* (/ (cbrt PI) (cbrt 3.0)) (/ (cbrt PI) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (cbrt PI) (/ (sqrt 3.0) (cbrt PI))) (/ (cbrt PI) (sqrt 3.0)) (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 3.0) (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (sqrt PI) (/ (sqrt PI) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) 1 (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ (/ PI (cbrt 3.0)) (cbrt 3.0)) (/ PI (sqrt 3.0)) PI (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (log (/ PI 3.0)) (log (/ PI 3.0)) (exp (/ PI 3.0)) (pow (/ PI 3.0) 3) (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0))) (cbrt (/ PI 3.0)) (pow (/ PI 3.0) 3) (sqrt (/ PI 3.0)) (sqrt (/ PI 3.0)) (- PI) (- 3.0) (* (/ (cbrt PI) (cbrt 3.0)) (/ (cbrt PI) (cbrt 3.0))) (/ (cbrt PI) (cbrt 3.0)) (/ (cbrt PI) (/ (sqrt 3.0) (cbrt PI))) (/ (cbrt PI) (sqrt 3.0)) (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 3.0) (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt PI) (cbrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (/ (sqrt PI) (sqrt 3.0)) (sqrt PI) (/ (sqrt PI) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ PI (sqrt 3.0)) 1 (/ PI 3.0) (/ 1 3.0) (/ 3.0 PI) (/ (/ PI (cbrt 3.0)) (cbrt 3.0)) (/ PI (sqrt 3.0)) PI (/ 3.0 (cbrt PI)) (/ 3.0 (sqrt PI)) (/ 3.0 PI) (/ (pow (exp (/ (+ 1 2.0) 3.0)) PI) (sqrt (exp (/ PI 3.0)))) (log (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (/ (pow (exp (/ (+ 1 2.0) 3.0)) PI) (sqrt (exp (/ PI 3.0)))) (* (cbrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (cbrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)))) (cbrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (pow (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)) 3) (sqrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (sqrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (- (* (* PI 2) (+ 1 2.0)) (* 3.0 (/ PI 3.0))) (* 2 3.0) (- (pow (/ (+ 1 2.0) (/ 3.0 PI)) 3) (pow (/ (/ PI 3.0) 2) 3)) (+ (/ (* (+ (/ (/ PI 3.0) 2) (/ (+ 1 2.0) (/ 3.0 PI))) (* PI (+ 1 2.0))) 3.0) (/ (/ (/ PI 3.0) (/ 3.0 PI)) 4)) (/ (- PI) (* 2 3.0)) (- (/ (/ (+ 1 2.0) (/ 3.0 PI)) (/ 3.0 (* PI (+ 1 2.0)))) (/ (/ (/ PI 3.0) (/ 3.0 PI)) 4)) (+ (/ (/ PI 3.0) 2) (/ (+ 1 2.0) (/ 3.0 PI))) (+ (sqrt (/ (/ PI 3.0) 2)) (sqrt (/ (+ 1 2.0) (/ 3.0 PI)))) (- (sqrt (/ (+ 1 2.0) (/ 3.0 PI))) (sqrt (/ (/ PI 3.0) 2))) (+ (sqrt (/ (+ 1 2.0) (/ 3.0 PI))) (/ (sqrt (/ PI 3.0)) (sqrt 2))) (- (sqrt (/ (+ 1 2.0) (/ 3.0 PI))) (/ (sqrt (/ PI 3.0)) (sqrt 2))) (+ (/ (/ (sqrt PI) (sqrt 3.0)) (sqrt 2)) (sqrt (/ (+ 1 2.0) (/ 3.0 PI)))) (- (sqrt (/ (+ 1 2.0) (/ 3.0 PI))) (/ (/ (sqrt PI) (sqrt 3.0)) (sqrt 2))) (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)) (/ (- PI) (* 2 3.0)) (/ (pow (exp (/ (+ 1 2.0) 3.0)) PI) (sqrt (exp (/ PI 3.0)))) (log (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (/ (pow (exp (/ (+ 1 2.0) 3.0)) PI) (sqrt (exp (/ PI 3.0)))) (* (cbrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (cbrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)))) (cbrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (pow (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)) 3) (sqrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (sqrt (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))) (- (* (* PI 2) (+ 1 2.0)) (* 3.0 (/ PI 3.0))) (* 2 3.0) (- (pow (/ (+ 1 2.0) (/ 3.0 PI)) 3) (pow (/ (/ PI 3.0) 2) 3)) (+ (/ (* (+ (/ (/ PI 3.0) 2) (/ (+ 1 2.0) (/ 3.0 PI))) (* PI (+ 1 2.0))) 3.0) (/ (/ (/ PI 3.0) (/ 3.0 PI)) 4)) (/ (- PI) (* 2 3.0)) (- (/ (/ (+ 1 2.0) (/ 3.0 PI)) (/ 3.0 (* PI (+ 1 2.0)))) (/ (/ (/ PI 3.0) (/ 3.0 PI)) 4)) (+ (/ (/ PI 3.0) 2) (/ (+ 1 2.0) (/ 3.0 PI))) (+ (sqrt (/ (/ PI 3.0) 2)) (sqrt (/ (+ 1 2.0) (/ 3.0 PI)))) (- (sqrt (/ (+ 1 2.0) (/ 3.0 PI))) (sqrt (/ (/ PI 3.0) 2))) (+ (sqrt (/ (+ 1 2.0) (/ 3.0 PI))) (/ (sqrt (/ PI 3.0)) (sqrt 2))) (- (sqrt (/ (+ 1 2.0) (/ 3.0 PI))) (/ (sqrt (/ PI 3.0)) (sqrt 2))) (+ (/ (/ (sqrt PI) (sqrt 3.0)) (sqrt 2)) (sqrt (/ (+ 1 2.0) (/ 3.0 PI)))) (- (sqrt (/ (+ 1 2.0) (/ 3.0 PI))) (/ (/ (sqrt PI) (sqrt 3.0)) (sqrt 2))) (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)) (/ (- PI) (* 2 3.0)) (* (- (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)))) (* (sin (/ (asin (/ g h)) 3.0)) (sin (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))))) 2.0) (* (- (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)))) (* (sin (/ (asin (/ g h)) 3.0)) (sin (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))))) 2.0) (* (- (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)))) (* (sin (/ (asin (/ g h)) 3.0)) (sin (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))))) 2.0) (* (- (* (cos (/ (asin (/ g h)) 3.0)) (cos (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2)))) (* (sin (/ (asin (/ g h)) 3.0)) (sin (- (/ (+ 1 2.0) (/ 3.0 PI)) (/ (/ PI 3.0) 2))))) 2.0) 9.467 * * * [progress]: adding candidates to table 10.270 * [progress]: [Phase 3 of 3] Extracting. 10.270 * * [regime]: Finding splitpoints for: (# # # # # #) 10.272 * * * [regime-changes]: Trying 2 branch expressions: (h g) 10.272 * * * * [regimes]: Trying to branch on h from (# # # # # #) 10.373 * * * * [regimes]: Trying to branch on g from (# # # # # #) 10.481 * * * [regime]: Found split indices: #