84.012 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.059 * * * [progress]: [2/2] Setting up program. 0.061 * [progress]: [Phase 2 of 3] Improving. 0.062 * [simplify]: Simplifying: (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 0.062 * * [simplify]: Extracting # 0 : cost 0 0.062 * * [simplify]: Extracting # 1 : cost 0 0.062 * * [simplify]: Extracting # 2 : cost 0 0.062 * * [simplify]: Extracting # 3 : cost 0 0.062 * * [simplify]: Extracting # 4 : cost 0 0.062 * * [simplify]: Extracting # 5 : cost 0 0.062 * * [simplify]: Extracting # 6 : cost 0 0.062 * * [simplify]: Extracting # 7 : cost 0 0.062 * * [simplify]: Extracting # 8 : cost 0 0.062 * * [simplify]: Extracting # 9 : cost 0 0.062 * * [simplify]: Extracting # 10 : cost 0 0.062 * * [simplify]: Extracting # 11 : cost 0 0.062 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.065 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 0.070 * * [simplify]: Extracting # 0 : cost 0 0.070 * * [simplify]: Extracting # 1 : cost 0 0.070 * * [simplify]: Extracting # 2 : cost 0 0.070 * * [simplify]: iteration 2 : 25 enodes (cost 16 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 0.078 * * [simplify]: Extracting # 1 : cost 0 0.078 * * [simplify]: Extracting # 2 : cost 0 0.078 * * [simplify]: iteration 3 : 28 enodes (cost 16 ) 0.087 * * [simplify]: Extracting # 0 : cost 0 0.087 * * [simplify]: iteration 4 : 29 enodes (cost 16 ) 0.121 * * [simplify]: Extracting # 0 : cost 0 0.121 * * [simplify]: iteration done: 29 enodes (cost 16 ) 0.121 * [simplify]: Simplified to: (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 0.122 * * [progress]: iteration 1 / 4 0.122 * * * [progress]: picking best candidate 0.125 * * * * [pick]: Picked # 0.125 * * * [progress]: localizing error 0.153 * * * [progress]: generating rewritten candidates 0.153 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.168 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.274 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.282 * * * [progress]: generating series expansions 0.282 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.282 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.283 * [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.283 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.283 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.283 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.283 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.284 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.284 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.284 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.285 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.285 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.285 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.285 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.285 * [taylor]: Taking taylor expansion of PI in h 0.285 * [backup-simplify]: Simplify PI into PI 0.285 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.285 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.286 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.286 * [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.287 * [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.287 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g 0.287 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.287 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.287 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.287 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.287 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.287 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.287 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.287 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.287 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.287 * [taylor]: Taking taylor expansion of PI in g 0.287 * [backup-simplify]: Simplify PI into PI 0.287 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.287 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.288 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.288 * [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.289 * [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.289 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g 0.289 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.289 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.289 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.289 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.289 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.289 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.289 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.289 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.289 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.289 * [taylor]: Taking taylor expansion of PI in g 0.289 * [backup-simplify]: Simplify PI into PI 0.289 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.290 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.290 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.291 * [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.291 * [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.292 * [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.292 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into 0 0.292 * [backup-simplify]: Simplify (- 0) into 0 0.293 * [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.293 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.293 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.293 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.293 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.293 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.293 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.293 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.293 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.293 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.293 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.293 * [taylor]: Taking taylor expansion of PI in h 0.293 * [backup-simplify]: Simplify PI into PI 0.293 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.293 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.294 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.294 * [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.295 * [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.295 * [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.296 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into 0 0.296 * [backup-simplify]: Simplify (- 0) into 0 0.296 * [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.297 * [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.297 * [backup-simplify]: Simplify (+ 0) into 0 0.298 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.299 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.300 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.300 * [backup-simplify]: Simplify (+ 0 0) into 0 0.301 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.302 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.302 * [backup-simplify]: Simplify (- 0) into 0 0.302 * [backup-simplify]: Simplify (+ 0 0) into 0 0.302 * [taylor]: Taking taylor expansion of 0 in h 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify (+ 0) into 0 0.304 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.304 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.305 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.306 * [backup-simplify]: Simplify (+ 0 0) into 0 0.306 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.307 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.307 * [backup-simplify]: Simplify (- 0) into 0 0.308 * [backup-simplify]: Simplify (+ 0 0) into 0 0.308 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.310 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.311 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.312 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.312 * [backup-simplify]: Simplify (+ 0 0) into 0 0.313 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.314 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.315 * [backup-simplify]: Simplify (- 0) into 0 0.315 * [backup-simplify]: Simplify (+ 0 0) into 0 0.315 * [taylor]: Taking taylor expansion of 0 in h 0.315 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify 0 into 0 0.316 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.317 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.318 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.319 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.319 * [backup-simplify]: Simplify (+ 0 0) into 0 0.320 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.321 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.321 * [backup-simplify]: Simplify (- 0) into 0 0.321 * [backup-simplify]: Simplify (+ 0 0) into 0 0.321 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.324 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.325 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.326 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.326 * [backup-simplify]: Simplify (+ 0 0) into 0 0.328 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.329 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.330 * [backup-simplify]: Simplify (- 0) into 0 0.330 * [backup-simplify]: Simplify (+ 0 0) into 0 0.330 * [taylor]: Taking taylor expansion of 0 in h 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify 0 into 0 0.331 * [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.332 * [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.332 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.332 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.332 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.332 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.332 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.332 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.332 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.332 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.332 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.332 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.332 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.332 * [taylor]: Taking taylor expansion of PI in h 0.332 * [backup-simplify]: Simplify PI into PI 0.333 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.333 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.334 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.334 * [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.335 * [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.335 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.335 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.335 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.335 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.335 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.335 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.335 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.335 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.335 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.335 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.335 * [taylor]: Taking taylor expansion of PI in g 0.335 * [backup-simplify]: Simplify PI into PI 0.335 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.336 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.336 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.337 * [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.338 * [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.338 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.338 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.338 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.338 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.338 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.338 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.338 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.338 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.338 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.338 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.338 * [taylor]: Taking taylor expansion of PI in g 0.338 * [backup-simplify]: Simplify PI into PI 0.338 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.339 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.339 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.340 * [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.340 * [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.341 * [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.342 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0 0.342 * [backup-simplify]: Simplify (- 0) into 0 0.343 * [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.343 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.343 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.343 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.343 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.343 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.343 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.343 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.343 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.343 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.343 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.343 * [taylor]: Taking taylor expansion of PI in h 0.343 * [backup-simplify]: Simplify PI into PI 0.343 * [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.349 * [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.350 * [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.350 * [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.351 * [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.352 * [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.353 * [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.354 * [backup-simplify]: Simplify (+ 0 0) into 0 0.354 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.355 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.355 * [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.357 * [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.359 * [backup-simplify]: Simplify (+ 0 0) into 0 0.359 * [backup-simplify]: Simplify 0 into 0 0.359 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.360 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.361 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.362 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.362 * [backup-simplify]: Simplify (+ 0 0) into 0 0.363 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.364 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.364 * [backup-simplify]: Simplify (- 0) into 0 0.365 * [backup-simplify]: Simplify (+ 0 0) into 0 0.365 * [taylor]: Taking taylor expansion of 0 in h 0.365 * [backup-simplify]: Simplify 0 into 0 0.365 * [backup-simplify]: Simplify 0 into 0 0.365 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.367 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.368 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.369 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.369 * [backup-simplify]: Simplify (+ 0 0) into 0 0.369 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.370 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.371 * [backup-simplify]: Simplify (- 0) into 0 0.371 * [backup-simplify]: Simplify (+ 0 0) into 0 0.371 * [backup-simplify]: Simplify 0 into 0 0.372 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.373 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.374 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.375 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.376 * [backup-simplify]: Simplify (+ 0 0) into 0 0.377 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.378 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.378 * [backup-simplify]: Simplify (- 0) into 0 0.379 * [backup-simplify]: Simplify (+ 0 0) into 0 0.379 * [taylor]: Taking taylor expansion of 0 in h 0.379 * [backup-simplify]: Simplify 0 into 0 0.379 * [backup-simplify]: Simplify 0 into 0 0.380 * [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.381 * [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.381 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.381 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.381 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.381 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.381 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.381 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.381 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.381 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.381 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.381 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.381 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.381 * [taylor]: Taking taylor expansion of PI in h 0.381 * [backup-simplify]: Simplify PI into PI 0.382 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.382 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.383 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.383 * [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.384 * [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.384 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.384 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.384 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.384 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.384 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.384 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.384 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.384 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.384 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.384 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.384 * [taylor]: Taking taylor expansion of PI in g 0.384 * [backup-simplify]: Simplify PI into PI 0.385 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.385 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.386 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.386 * [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.387 * [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.387 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.387 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.387 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) 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 (/ h g))) in g 0.387 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 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 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.388 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.388 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.389 * [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.390 * [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.390 * [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.391 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0 0.391 * [backup-simplify]: Simplify (- 0) into 0 0.392 * [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.392 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.392 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.392 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.392 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.392 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.392 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.392 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.392 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.392 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.393 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.393 * [taylor]: Taking taylor expansion of PI in h 0.393 * [backup-simplify]: Simplify PI into PI 0.393 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.393 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.394 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.394 * [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.395 * [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.396 * [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.396 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0 0.397 * [backup-simplify]: Simplify (- 0) into 0 0.397 * [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.398 * [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.398 * [backup-simplify]: Simplify (+ 0) into 0 0.399 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.400 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.401 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.401 * [backup-simplify]: Simplify (+ 0 0) into 0 0.402 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.403 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.403 * [backup-simplify]: Simplify (- 0) into 0 0.403 * [backup-simplify]: Simplify (+ 0 0) into 0 0.403 * [taylor]: Taking taylor expansion of 0 in h 0.403 * [backup-simplify]: Simplify 0 into 0 0.403 * [backup-simplify]: Simplify 0 into 0 0.404 * [backup-simplify]: Simplify (+ 0) into 0 0.405 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0 0.405 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.406 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.406 * [backup-simplify]: Simplify (+ 0 0) into 0 0.407 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.408 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0 0.408 * [backup-simplify]: Simplify (- 0) into 0 0.408 * [backup-simplify]: Simplify (+ 0 0) into 0 0.409 * [backup-simplify]: Simplify 0 into 0 0.409 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.411 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) 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.414 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.415 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.415 * [backup-simplify]: Simplify (- 0) into 0 0.415 * [backup-simplify]: Simplify (+ 0 0) into 0 0.415 * [taylor]: Taking taylor expansion of 0 in h 0.415 * [backup-simplify]: Simplify 0 into 0 0.415 * [backup-simplify]: Simplify 0 into 0 0.415 * [backup-simplify]: Simplify 0 into 0 0.416 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.417 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0 0.418 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.419 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.420 * [backup-simplify]: Simplify (+ 0 0) into 0 0.420 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.421 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0 0.422 * [backup-simplify]: Simplify (- 0) into 0 0.422 * [backup-simplify]: Simplify (+ 0 0) into 0 0.422 * [backup-simplify]: Simplify 0 into 0 0.423 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.424 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.425 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.426 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.427 * [backup-simplify]: Simplify (+ 0 0) into 0 0.428 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.429 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.429 * [backup-simplify]: Simplify (- 0) into 0 0.430 * [backup-simplify]: Simplify (+ 0 0) into 0 0.430 * [taylor]: Taking taylor expansion of 0 in h 0.430 * [backup-simplify]: Simplify 0 into 0 0.430 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0.431 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.432 * [backup-simplify]: Simplify (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.432 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.432 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.432 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.432 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.432 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.432 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.432 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.432 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.432 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.432 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.432 * [taylor]: Taking taylor expansion of PI in h 0.432 * [backup-simplify]: Simplify PI into PI 0.432 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.432 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.432 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.432 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.432 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.433 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.433 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.433 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.433 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.433 * [taylor]: Taking taylor expansion of PI in g 0.433 * [backup-simplify]: Simplify PI into PI 0.433 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.433 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.433 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.433 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.433 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.433 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.433 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.433 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.433 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.433 * [taylor]: Taking taylor expansion of PI in g 0.433 * [backup-simplify]: Simplify PI into PI 0.433 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.434 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.435 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.435 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.435 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.435 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.435 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.435 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.435 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.435 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.435 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.435 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.435 * [taylor]: Taking taylor expansion of PI in h 0.435 * [backup-simplify]: Simplify PI into PI 0.435 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.436 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.436 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.437 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.438 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.438 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.439 * [backup-simplify]: Simplify (+ 0 0) 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.6666666666666666 0) (* 0 PI)) into 0 0.441 * [backup-simplify]: Simplify (+ 0 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.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.443 * [backup-simplify]: Simplify (+ 0 0) 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 into 0 0.444 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.445 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.445 * [backup-simplify]: Simplify (+ 0 0) into 0 0.445 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.447 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.447 * [backup-simplify]: Simplify (+ 0 0) into 0 0.447 * [taylor]: Taking taylor expansion of 0 in h 0.447 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify 0 into 0 0.448 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.449 * [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.450 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.450 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 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.6666666666666666 PI) in h 0.450 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.450 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.450 * [taylor]: Taking taylor expansion of PI in h 0.450 * [backup-simplify]: Simplify PI into PI 0.450 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in 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.450 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.450 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.450 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.450 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.450 * [taylor]: Taking taylor expansion of PI in g 0.450 * [backup-simplify]: Simplify PI into PI 0.450 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in 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.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 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.451 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.451 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.451 * [taylor]: Taking taylor expansion of PI in g 0.451 * [backup-simplify]: Simplify PI into PI 0.451 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.451 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.452 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.452 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.452 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.452 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.452 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.452 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.452 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.452 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.452 * [taylor]: Taking taylor expansion of PI in h 0.452 * [backup-simplify]: Simplify PI into PI 0.453 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.453 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.454 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.454 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.455 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.456 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.456 * [backup-simplify]: Simplify (+ 0 0) into 0 0.456 * [taylor]: Taking taylor expansion of 0 in h 0.456 * [backup-simplify]: Simplify 0 into 0 0.456 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.457 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.458 * [backup-simplify]: Simplify (+ 0 0) into 0 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.459 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.460 * [backup-simplify]: Simplify (+ 0 0) into 0 0.460 * [taylor]: Taking taylor expansion of 0 in h 0.460 * [backup-simplify]: Simplify 0 into 0 0.460 * [backup-simplify]: Simplify 0 into 0 0.460 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.462 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.462 * [backup-simplify]: Simplify (+ 0 0) into 0 0.462 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.465 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.465 * [backup-simplify]: Simplify (+ 0 0) into 0 0.465 * [taylor]: Taking taylor expansion of 0 in h 0.465 * [backup-simplify]: Simplify 0 into 0 0.465 * [backup-simplify]: Simplify 0 into 0 0.466 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.467 * [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.468 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.468 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.468 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.468 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.468 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.468 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.468 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.468 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.468 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.468 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.468 * [taylor]: Taking taylor expansion of PI in h 0.468 * [backup-simplify]: Simplify PI into PI 0.468 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.468 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.468 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.468 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.468 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.468 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.468 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.468 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.468 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.468 * [taylor]: Taking taylor expansion of PI in g 0.468 * [backup-simplify]: Simplify PI into PI 0.469 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.469 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.469 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.469 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.469 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.469 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.469 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.469 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.469 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.469 * [taylor]: Taking taylor expansion of PI in g 0.469 * [backup-simplify]: Simplify PI into PI 0.469 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.470 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.471 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.471 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.471 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.471 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.471 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.471 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.471 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.471 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.471 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.471 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.471 * [taylor]: Taking taylor expansion of PI in h 0.471 * [backup-simplify]: Simplify PI into PI 0.471 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.472 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI) 0.473 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.473 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 0.474 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.475 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.475 * [backup-simplify]: Simplify (+ 0 0) into 0 0.475 * [taylor]: Taking taylor expansion of 0 in h 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.476 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0 0.477 * [backup-simplify]: Simplify (+ 0 0) into 0 0.477 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.479 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.485 * [backup-simplify]: Simplify (+ 0 0) into 0 0.485 * [taylor]: Taking taylor expansion of 0 in h 0.485 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.487 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.488 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0 0.488 * [backup-simplify]: Simplify (+ 0 0) into 0 0.488 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.490 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 0.491 * [backup-simplify]: Simplify (+ 0 0) into 0 0.491 * [taylor]: Taking taylor expansion of 0 in h 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify 0 into 0 0.492 * [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.492 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.492 * [backup-simplify]: Simplify (/ (acos (/ (- g) h)) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.492 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0 0.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.492 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.492 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.492 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.492 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.492 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.492 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.492 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.492 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.493 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.493 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.493 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.493 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.493 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.493 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.493 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.493 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.493 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.493 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h))) 0.493 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.493 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.494 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.494 * [taylor]: Taking taylor expansion of 0 in h 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 0 into 0 0.495 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0 0.495 * [backup-simplify]: Simplify 0 into 0 0.496 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.496 * [taylor]: Taking taylor expansion of 0 in h 0.496 * [backup-simplify]: Simplify 0 into 0 0.496 * [backup-simplify]: Simplify 0 into 0 0.496 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0 0.498 * [taylor]: Taking taylor expansion of 0 in h 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.498 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.498 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.498 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.498 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.498 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.498 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.499 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.499 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.499 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.499 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.499 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.499 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.499 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.499 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.499 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.499 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.499 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.499 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.499 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.499 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.500 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.500 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.500 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.500 * [taylor]: Taking taylor expansion of 0 in h 0.500 * [backup-simplify]: Simplify 0 into 0 0.500 * [backup-simplify]: Simplify 0 into 0 0.501 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.501 * [backup-simplify]: Simplify 0 into 0 0.502 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.502 * [taylor]: Taking taylor expansion of 0 in h 0.502 * [backup-simplify]: Simplify 0 into 0 0.502 * [backup-simplify]: Simplify 0 into 0 0.502 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.503 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.504 * [taylor]: Taking taylor expansion of 0 in h 0.504 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.505 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.505 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.505 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.505 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.505 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.505 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.505 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.505 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.505 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.505 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.505 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.505 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.505 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.505 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.505 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.505 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.505 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.506 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.506 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.506 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.506 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333 0.506 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.506 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g))) 0.506 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.506 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g)))) 0.507 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.507 * [taylor]: Taking taylor expansion of 0 in h 0.507 * [backup-simplify]: Simplify 0 into 0 0.507 * [backup-simplify]: Simplify 0 into 0 0.507 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0 0.507 * [backup-simplify]: Simplify 0 into 0 0.508 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.508 * [taylor]: Taking taylor expansion of 0 in h 0.508 * [backup-simplify]: Simplify 0 into 0 0.508 * [backup-simplify]: Simplify 0 into 0 0.508 * [backup-simplify]: Simplify 0 into 0 0.509 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0 0.509 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0 0.511 * [taylor]: Taking taylor expansion of 0 in h 0.511 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) into (* 0.3333333333333333 (acos (* -1 (/ g h)))) 0.512 * * * [progress]: simplifying candidates 0.514 * [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.517 * * [simplify]: Extracting # 0 : cost 0 0.518 * * [simplify]: Extracting # 1 : cost 0 0.518 * * [simplify]: Extracting # 2 : cost 0 0.518 * * [simplify]: Extracting # 3 : cost 0 0.518 * * [simplify]: Extracting # 4 : cost 0 0.519 * * [simplify]: Extracting # 5 : cost 0 0.519 * * [simplify]: Extracting # 6 : cost 0 0.519 * * [simplify]: Extracting # 7 : cost 0 0.520 * * [simplify]: Extracting # 8 : cost 0 0.520 * * [simplify]: Extracting # 9 : cost 0 0.520 * * [simplify]: Extracting # 10 : cost 0 0.521 * * [simplify]: iteration 0 : 159 enodes (cost 1223 ) 0.582 * * [simplify]: Extracting # 0 : cost 0 0.582 * * [simplify]: Extracting # 1 : cost 0 0.583 * * [simplify]: Extracting # 2 : cost 0 0.584 * * [simplify]: Extracting # 3 : cost 0 0.584 * * [simplify]: Extracting # 4 : cost 0 0.585 * * [simplify]: iteration 1 : 332 enodes (cost 1165 ) 0.748 * * [simplify]: Extracting # 0 : cost 0 0.750 * * [simplify]: Extracting # 1 : cost 0 0.751 * * [simplify]: Extracting # 2 : cost 0 0.753 * * [simplify]: Extracting # 3 : cost 0 0.754 * * [simplify]: iteration 2 : 1229 enodes (cost 1075 ) 1.447 * * [simplify]: Extracting # 0 : cost 0 1.467 * * [simplify]: Extracting # 1 : cost 0 1.476 * * [simplify]: Extracting # 2 : cost 0 1.487 * * [simplify]: Extracting # 3 : cost 0 1.493 * * [simplify]: Extracting # 4 : cost 0 1.499 * * [simplify]: iteration done: 5001 enodes (cost 1075 ) 1.500 * [simplify]: Simplified to: (log (/ (* 2.0 PI) 3.0)) (log (/ (* 2.0 PI) 3.0)) (log (/ (* 2.0 PI) 3.0)) (exp (/ (* 2.0 PI) 3.0)) (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ (* 2.0 PI) 3.0) 3) (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0))) (cbrt (/ (* 2.0 PI) 3.0)) (pow (/ (* 2.0 PI) 3.0) 3) (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 (/ 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) (/ 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)))) (pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) 3) (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) (/ (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))) (pow (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) 3) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (* 3.0 (+ (* 2.0 PI) (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)))) (- (* (/ (* 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)) 3.0)) (log (/ (acos (/ (- g) h)) 3.0)) (exp (/ (acos (/ (- g) h)) 3.0)) (pow (/ (acos (/ (- g) h)) 3.0) 3) (* (cbrt (/ (acos (/ (- g) h)) 3.0)) (cbrt (/ (acos (/ (- g) h)) 3.0))) (cbrt (/ (acos (/ (- g) h)) 3.0)) (pow (/ (acos (/ (- g) h)) 3.0) 3) (sqrt (/ (acos (/ (- g) h)) 3.0)) (sqrt (/ (acos (/ (- g) h)) 3.0)) (- (acos (/ (- g) h))) (- 3.0) (/ (/ PI 2) 3.0) (/ (asin (/ (- g) h)) 3.0) (/ PI 3.0) (/ (acos (/ g h)) 3.0) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3.0)) (/ (cbrt (acos (/ (- g) h))) (sqrt 3.0)) (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (/ (cbrt (acos (/ (- g) h))) 3.0) (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (cbrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0)) (sqrt (acos (/ (- g) h))) (/ (sqrt (acos (/ (- g) h))) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (/ (- g) h)) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)) 1 (/ (acos (/ (- g) h)) 3.0) (/ 1 3.0) (/ 3.0 (acos (/ (- g) h))) (/ (acos (/ (- g) h)) (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)) (acos (/ (- g) h)) (/ 3.0 (cbrt (acos (/ (- g) h)))) (/ 3.0 (sqrt (acos (/ (- g) h)))) (/ 3.0 (acos (/ (- g) h))) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cos (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h))))) (cos (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h))))) (cos (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h))))) (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h)))) (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h)))) (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h)))) (* (acos (/ (- g) h)) 0.3333333333333333) (* (acos (/ (- g) h)) 0.3333333333333333) (* (acos (/ (- g) h)) 0.3333333333333333) 1.500 * * * [progress]: adding candidates to table 1.745 * * [progress]: iteration 2 / 4 1.746 * * * [progress]: picking best candidate 1.753 * * * * [pick]: Picked # 1.753 * * * [progress]: localizing error 1.811 * * * [progress]: generating rewritten candidates 1.811 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.873 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 1.909 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 1.944 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1) 1.964 * * * [progress]: generating series expansions 1.964 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.964 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 1.964 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 1.964 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1) 1.964 * * * [progress]: simplifying candidates 1.967 * [simplify]: Simplifying: (* (sin (/ (* 2.0 PI) 3.0)) (cos (/ PI 3.0))) (* (cos (/ (* 2.0 PI) 3.0)) (sin (/ PI 3.0))) (log (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (exp (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (* (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))) (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (* (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (sqrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (sqrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (* (exp (/ (* 2.0 PI) 3.0)) (exp (/ PI 3.0))) (log (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (cbrt (+ (/ (* 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 PI) 3.0) (/ PI 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (+ (* (* 2.0 PI) 3.0) (* 3.0 PI)) (* 3.0 3.0) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3)) (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ PI 3.0) (/ PI 3.0)) (* (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.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 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (+ (/ 2.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (+ (/ 2.0 1) (/ 1 1)) (+ (/ 2.0 1) 1) (+ (* 2.0 PI) PI) (+ (/ 2.0 1) 1) (* (exp (/ (* 2.0 PI) 3.0)) (exp (/ PI 3.0))) (log (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (cbrt (+ (/ (* 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 PI) 3.0) (/ PI 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (+ (* (* 2.0 PI) 3.0) (* 3.0 PI)) (* 3.0 3.0) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3)) (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ PI 3.0) (/ PI 3.0)) (* (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.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 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (+ (/ 2.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (+ (/ 2.0 1) (/ 1 1)) (+ (/ 2.0 1) 1) (+ (* 2.0 PI) PI) (+ (/ 2.0 1) 1) (- (+ (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) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ 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))) (* (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))) (* (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))) 1.969 * * [simplify]: Extracting # 0 : cost 0 1.969 * * [simplify]: Extracting # 1 : cost 0 1.969 * * [simplify]: Extracting # 2 : cost 0 1.969 * * [simplify]: Extracting # 3 : cost 0 1.969 * * [simplify]: Extracting # 4 : cost 0 1.969 * * [simplify]: Extracting # 5 : cost 0 1.970 * * [simplify]: Extracting # 6 : cost 0 1.970 * * [simplify]: Extracting # 7 : cost 0 1.970 * * [simplify]: Extracting # 8 : cost 0 1.970 * * [simplify]: Extracting # 9 : cost 0 1.970 * * [simplify]: iteration 0 : 103 enodes (cost 943 ) 2.000 * * [simplify]: Extracting # 0 : cost 0 2.000 * * [simplify]: Extracting # 1 : cost 0 2.001 * * [simplify]: Extracting # 2 : cost 0 2.001 * * [simplify]: Extracting # 3 : cost 0 2.002 * * [simplify]: Extracting # 4 : cost 0 2.002 * * [simplify]: iteration 1 : 242 enodes (cost 900 ) 2.094 * * [simplify]: Extracting # 0 : cost 0 2.096 * * [simplify]: Extracting # 1 : cost 0 2.097 * * [simplify]: Extracting # 2 : cost 0 2.099 * * [simplify]: Extracting # 3 : cost 0 2.100 * * [simplify]: Extracting # 4 : cost 0 2.102 * * [simplify]: iteration 2 : 962 enodes (cost 824 ) 2.655 * * [simplify]: Extracting # 0 : cost 0 2.677 * * [simplify]: Extracting # 1 : cost 0 2.684 * * [simplify]: Extracting # 2 : cost 0 2.690 * * [simplify]: Extracting # 3 : cost 0 2.695 * * [simplify]: Extracting # 4 : cost 0 2.701 * * [simplify]: Extracting # 5 : cost 0 2.708 * * [simplify]: iteration done: 5000 enodes (cost 804 ) 2.708 * [simplify]: Simplified to: (* (sin (/ (* 2.0 PI) 3.0)) (cos (/ PI 3.0))) (* (cos (/ (* 2.0 PI) 3.0)) (sin (/ PI 3.0))) (log (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (exp (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (* (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))) (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (pow (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) 3) (sqrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (sqrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (log (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (pow (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) 3) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (* 3.0 (+ (* 2.0 PI) PI)) (* 3.0 3.0) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3)) (* (/ PI 3.0) (+ (/ (* (* 2.0 PI) 2.0) 3.0) (- (/ PI 3.0) (/ (* 2.0 PI) 3.0)))) (* (/ PI 3.0) (- (/ (* (* 2.0 PI) 2.0) 3.0) (/ PI 3.0))) (- (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (+ (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (+ (/ 2.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (+ 2.0 1) (+ 2.0 1) (+ PI (* 2.0 PI)) (+ 2.0 1) (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (log (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (pow (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) 3) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (* 3.0 (+ (* 2.0 PI) PI)) (* 3.0 3.0) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3)) (* (/ PI 3.0) (+ (/ (* (* 2.0 PI) 2.0) 3.0) (- (/ PI 3.0) (/ (* 2.0 PI) 3.0)))) (* (/ PI 3.0) (- (/ (* (* 2.0 PI) 2.0) 3.0) (/ PI 3.0))) (- (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (+ (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (+ (/ 2.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (+ 2.0 1) (+ 2.0 1) (+ PI (* 2.0 PI)) (+ 2.0 1) (log (/ (* 2.0 PI) 3.0)) (log (/ (* 2.0 PI) 3.0)) (log (/ (* 2.0 PI) 3.0)) (exp (/ (* 2.0 PI) 3.0)) (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ (* 2.0 PI) 3.0) 3) (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0))) (cbrt (/ (* 2.0 PI) 3.0)) (pow (/ (* 2.0 PI) 3.0) 3) (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 (/ 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) (/ 3.0 PI) (* (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))) (* (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))) (* (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))) (* (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))) 2.709 * * * [progress]: adding candidates to table 3.057 * [progress]: [Phase 3 of 3] Extracting. 3.058 * * [regime]: Finding splitpoints for: (# #) 3.059 * * * [regime-changes]: Trying 9 branch expressions: ((- g) (/ (- g) h) (acos (/ (- g) h)) (/ (acos (/ (- g) h)) 3.0) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) h g) 3.059 * * * * [regimes]: Trying to branch on (- g) from (# #) 3.083 * * * * [regimes]: Trying to branch on (/ (- g) h) from (# #) 3.108 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (# #) 3.125 * * * * [regimes]: Trying to branch on (/ (acos (/ (- g) h)) 3.0) from (# #) 3.145 * * * * [regimes]: Trying to branch on (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) from (# #) 3.166 * * * * [regimes]: Trying to branch on (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) from (# #) 3.187 * * * * [regimes]: Trying to branch on (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) from (# #) 3.213 * * * * [regimes]: Trying to branch on h from (# #) 3.228 * * * * [regimes]: Trying to branch on g from (# #) 3.243 * * * [regime]: Found split indices: #