23.370 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.101 * * * [progress]: [2/2] Setting up program.
0.107 * [progress]: [Phase 2 of 3] Improving.
0.107 * [simplify]: Simplifying:
  (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
0.157 * * [progress]: iteration 1 / 4
0.157 * * * [progress]: picking best candidate
0.162 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))>
0.162 * * * [progress]: localizing error
0.178 * * * [progress]: generating rewritten candidates
0.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.189 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.259 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.287 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.301 * * * [progress]: generating series expansions
0.302 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.302 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.304 * [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.304 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.304 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.304 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.304 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.304 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.304 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.304 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.304 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.304 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.304 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.304 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.304 * [taylor]: Taking taylor expansion of PI in h
0.304 * [backup-simplify]: Simplify PI into PI
0.304 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.305 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.306 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.306 * [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.307 * [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.307 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.307 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.307 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.307 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.307 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.307 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.307 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.307 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.307 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.307 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.307 * [taylor]: Taking taylor expansion of PI in g
0.307 * [backup-simplify]: Simplify PI into PI
0.307 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.308 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.308 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.309 * [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.314 * [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.314 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.314 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.314 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.314 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.314 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.314 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.314 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.314 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.314 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.314 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.314 * [taylor]: Taking taylor expansion of PI in g
0.314 * [backup-simplify]: Simplify PI into PI
0.314 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.315 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.315 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.316 * [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.316 * [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.317 * [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.317 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into 0
0.318 * [backup-simplify]: Simplify (- 0) into 0
0.318 * [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.318 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.318 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.318 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.318 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.318 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.318 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.318 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.318 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.318 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.318 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.318 * [taylor]: Taking taylor expansion of PI in h
0.318 * [backup-simplify]: Simplify PI into PI
0.318 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.319 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.319 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.320 * [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.320 * [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.320 * [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.321 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into 0
0.321 * [backup-simplify]: Simplify (- 0) into 0
0.322 * [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.322 * [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.322 * [backup-simplify]: Simplify (+ 0) into 0
0.323 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.323 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.324 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.324 * [backup-simplify]: Simplify (+ 0 0) into 0
0.325 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.325 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.325 * [backup-simplify]: Simplify (- 0) into 0
0.326 * [backup-simplify]: Simplify (+ 0 0) into 0
0.326 * [taylor]: Taking taylor expansion of 0 in h
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify (+ 0) into 0
0.327 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.327 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.328 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.328 * [backup-simplify]: Simplify (+ 0 0) into 0
0.328 * [backup-simplify]: Simplify (+ (* 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)) into 0
0.329 * [backup-simplify]: Simplify (- 0) into 0
0.329 * [backup-simplify]: Simplify (+ 0 0) into 0
0.329 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.331 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.331 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.332 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.332 * [backup-simplify]: Simplify (+ 0 0) into 0
0.333 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.334 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.334 * [backup-simplify]: Simplify (- 0) into 0
0.334 * [backup-simplify]: Simplify (+ 0 0) into 0
0.334 * [taylor]: Taking taylor expansion of 0 in h
0.334 * [backup-simplify]: Simplify 0 into 0
0.334 * [backup-simplify]: Simplify 0 into 0
0.334 * [backup-simplify]: Simplify 0 into 0
0.335 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.336 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.337 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.338 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.338 * [backup-simplify]: Simplify (+ 0 0) into 0
0.340 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.341 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.342 * [backup-simplify]: Simplify (- 0) into 0
0.342 * [backup-simplify]: Simplify (+ 0 0) into 0
0.342 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.345 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.347 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0
0.348 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.348 * [backup-simplify]: Simplify (+ 0 0) into 0
0.350 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.351 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.352 * [backup-simplify]: Simplify (- 0) into 0
0.352 * [backup-simplify]: Simplify (+ 0 0) into 0
0.352 * [taylor]: Taking taylor expansion of 0 in h
0.352 * [backup-simplify]: Simplify 0 into 0
0.352 * [backup-simplify]: Simplify 0 into 0
0.353 * [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.354 * [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.354 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.354 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.354 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.355 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.355 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.355 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.355 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.355 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.355 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.355 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.355 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.355 * [taylor]: Taking taylor expansion of PI in h
0.355 * [backup-simplify]: Simplify PI into PI
0.355 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.356 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.356 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.357 * [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.358 * [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.358 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.358 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.358 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.358 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.358 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.358 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.358 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.358 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.358 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.358 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.358 * [taylor]: Taking taylor expansion of PI in g
0.358 * [backup-simplify]: Simplify PI into PI
0.358 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.359 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.360 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.360 * [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.361 * [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.361 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.361 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.361 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.361 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.361 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.361 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.361 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.361 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.362 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.362 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.362 * [taylor]: Taking taylor expansion of PI in g
0.362 * [backup-simplify]: Simplify PI into PI
0.362 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.362 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.363 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.364 * [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.364 * [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.365 * [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.365 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0
0.365 * [backup-simplify]: Simplify (- 0) into 0
0.366 * [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.366 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.366 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.366 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.366 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.366 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.366 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.366 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.366 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.366 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.366 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.366 * [taylor]: Taking taylor expansion of PI in h
0.366 * [backup-simplify]: Simplify PI into PI
0.366 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.366 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.367 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.367 * [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.368 * [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.368 * [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.369 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0
0.369 * [backup-simplify]: Simplify (- 0) into 0
0.369 * [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.370 * [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.370 * [backup-simplify]: Simplify (+ 0) into 0
0.371 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.371 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.371 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.372 * [backup-simplify]: Simplify (+ 0 0) into 0
0.372 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.373 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.373 * [backup-simplify]: Simplify (- 0) into 0
0.373 * [backup-simplify]: Simplify (+ 0 0) into 0
0.373 * [taylor]: Taking taylor expansion of 0 in h
0.373 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify (+ 0) into 0
0.374 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.374 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.375 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.375 * [backup-simplify]: Simplify (+ 0 0) into 0
0.376 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.376 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.377 * [backup-simplify]: Simplify (- 0) into 0
0.377 * [backup-simplify]: Simplify (+ 0 0) into 0
0.377 * [backup-simplify]: Simplify 0 into 0
0.377 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.378 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.379 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.379 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.380 * [backup-simplify]: Simplify (+ 0 0) into 0
0.380 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.381 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.381 * [backup-simplify]: Simplify (- 0) into 0
0.381 * [backup-simplify]: Simplify (+ 0 0) into 0
0.381 * [taylor]: Taking taylor expansion of 0 in h
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [backup-simplify]: Simplify 0 into 0
0.382 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.383 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.383 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.384 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.384 * [backup-simplify]: Simplify (+ 0 0) into 0
0.385 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.385 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.385 * [backup-simplify]: Simplify (- 0) into 0
0.386 * [backup-simplify]: Simplify (+ 0 0) into 0
0.386 * [backup-simplify]: Simplify 0 into 0
0.386 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.387 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.388 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.389 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.389 * [backup-simplify]: Simplify (+ 0 0) into 0
0.390 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.390 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.391 * [backup-simplify]: Simplify (- 0) into 0
0.391 * [backup-simplify]: Simplify (+ 0 0) into 0
0.391 * [taylor]: Taking taylor expansion of 0 in h
0.391 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify 0 into 0
0.391 * [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.393 * [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.393 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.393 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.393 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.393 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.393 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.393 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.393 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.393 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.393 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.393 * [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.394 * [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.395 * [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.396 * [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 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.396 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.396 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.396 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.396 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.396 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.396 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.396 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.396 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.396 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.396 * [taylor]: Taking taylor expansion of PI in g
0.396 * [backup-simplify]: Simplify PI into PI
0.397 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.397 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.398 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.399 * [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.399 * [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.399 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.400 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.400 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.400 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.400 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.400 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.400 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.400 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.400 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.400 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.400 * [taylor]: Taking taylor expansion of PI in g
0.400 * [backup-simplify]: Simplify PI into PI
0.400 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.401 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.401 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.402 * [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.403 * [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.403 * [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.404 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0
0.405 * [backup-simplify]: Simplify (- 0) into 0
0.405 * [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.405 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.405 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.405 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.405 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.405 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.406 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.406 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.406 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.406 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.406 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.406 * [taylor]: Taking taylor expansion of PI in h
0.406 * [backup-simplify]: Simplify PI into PI
0.406 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.406 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.407 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.408 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))
0.408 * [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.409 * [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.410 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0
0.410 * [backup-simplify]: Simplify (- 0) into 0
0.411 * [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.412 * [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.412 * [backup-simplify]: Simplify (+ 0) into 0
0.413 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.414 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.415 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.415 * [backup-simplify]: Simplify (+ 0 0) into 0
0.416 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.417 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.417 * [backup-simplify]: Simplify (- 0) into 0
0.418 * [backup-simplify]: Simplify (+ 0 0) into 0
0.418 * [taylor]: Taking taylor expansion of 0 in h
0.418 * [backup-simplify]: Simplify 0 into 0
0.418 * [backup-simplify]: Simplify 0 into 0
0.418 * [backup-simplify]: Simplify (+ 0) into 0
0.419 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.420 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.421 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.421 * [backup-simplify]: Simplify (+ 0 0) into 0
0.422 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.423 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.423 * [backup-simplify]: Simplify (- 0) into 0
0.424 * [backup-simplify]: Simplify (+ 0 0) into 0
0.424 * [backup-simplify]: Simplify 0 into 0
0.425 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.426 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.427 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.428 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.428 * [backup-simplify]: Simplify (+ 0 0) into 0
0.429 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.430 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.431 * [backup-simplify]: Simplify (- 0) into 0
0.431 * [backup-simplify]: Simplify (+ 0 0) into 0
0.431 * [taylor]: Taking taylor expansion of 0 in h
0.431 * [backup-simplify]: Simplify 0 into 0
0.431 * [backup-simplify]: Simplify 0 into 0
0.431 * [backup-simplify]: Simplify 0 into 0
0.432 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.440 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.441 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) 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.444 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.445 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.445 * [backup-simplify]: Simplify (- 0) into 0
0.446 * [backup-simplify]: Simplify (+ 0 0) into 0
0.446 * [backup-simplify]: Simplify 0 into 0
0.447 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.448 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.450 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.451 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.451 * [backup-simplify]: Simplify (+ 0 0) into 0
0.453 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.454 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.455 * [backup-simplify]: Simplify (- 0) into 0
0.455 * [backup-simplify]: Simplify (+ 0 0) into 0
0.455 * [taylor]: Taking taylor expansion of 0 in h
0.455 * [backup-simplify]: Simplify 0 into 0
0.455 * [backup-simplify]: Simplify 0 into 0
0.456 * [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.456 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.458 * [backup-simplify]: Simplify (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.458 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.458 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.458 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.458 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.458 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.458 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.458 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.458 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.458 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.458 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.458 * [taylor]: Taking taylor expansion of PI in h
0.458 * [backup-simplify]: Simplify PI into PI
0.458 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.458 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.458 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.458 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.458 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.458 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.458 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.458 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.458 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.459 * [taylor]: Taking taylor expansion of PI in g
0.459 * [backup-simplify]: Simplify PI into PI
0.459 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.459 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.459 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.459 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.459 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.459 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.459 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.459 * [taylor]: Taking taylor expansion of PI in g
0.459 * [backup-simplify]: Simplify PI into PI
0.459 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.460 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.460 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.460 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.460 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.461 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.461 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.461 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.461 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.461 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.461 * [taylor]: Taking taylor expansion of PI in h
0.461 * [backup-simplify]: Simplify PI into PI
0.461 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.461 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.462 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.463 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.463 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.464 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.464 * [backup-simplify]: Simplify (+ 0 0) into 0
0.464 * [taylor]: Taking taylor expansion of 0 in h
0.464 * [backup-simplify]: Simplify 0 into 0
0.464 * [backup-simplify]: Simplify 0 into 0
0.465 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.466 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.466 * [backup-simplify]: Simplify (+ 0 0) into 0
0.466 * [backup-simplify]: Simplify 0 into 0
0.467 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.468 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.468 * [backup-simplify]: Simplify (+ 0 0) into 0
0.468 * [taylor]: Taking taylor expansion of 0 in h
0.468 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.470 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.471 * [backup-simplify]: Simplify (+ 0 0) into 0
0.471 * [backup-simplify]: Simplify 0 into 0
0.472 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0
0.473 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.474 * [backup-simplify]: Simplify (+ 0 0) into 0
0.474 * [taylor]: Taking taylor expansion of 0 in h
0.474 * [backup-simplify]: Simplify 0 into 0
0.474 * [backup-simplify]: Simplify 0 into 0
0.474 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.476 * [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.476 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.476 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.476 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.476 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.476 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.476 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.476 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.476 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.476 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.476 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.476 * [taylor]: Taking taylor expansion of PI in h
0.476 * [backup-simplify]: Simplify PI into PI
0.476 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.476 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.476 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.476 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.476 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.477 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.477 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.477 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.477 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.477 * [taylor]: Taking taylor expansion of PI in g
0.477 * [backup-simplify]: Simplify PI into PI
0.477 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.477 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.477 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.477 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.477 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.477 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.477 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.477 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.477 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.477 * [taylor]: Taking taylor expansion of PI in g
0.477 * [backup-simplify]: Simplify PI into PI
0.477 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.478 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.479 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.479 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.479 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.479 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.479 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.479 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.479 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.479 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.479 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.479 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.479 * [taylor]: Taking taylor expansion of PI in h
0.479 * [backup-simplify]: Simplify PI into PI
0.479 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.480 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.480 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.481 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.481 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.482 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.482 * [backup-simplify]: Simplify (+ 0 0) into 0
0.483 * [taylor]: Taking taylor expansion of 0 in h
0.483 * [backup-simplify]: Simplify 0 into 0
0.483 * [backup-simplify]: Simplify 0 into 0
0.483 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.484 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.484 * [backup-simplify]: Simplify (+ 0 0) into 0
0.484 * [backup-simplify]: Simplify 0 into 0
0.485 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.486 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.486 * [backup-simplify]: Simplify (+ 0 0) into 0
0.487 * [taylor]: Taking taylor expansion of 0 in h
0.487 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify 0 into 0
0.487 * [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.489 * [backup-simplify]: Simplify (+ 0 0) into 0
0.489 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.491 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.492 * [backup-simplify]: Simplify (+ 0 0) into 0
0.492 * [taylor]: Taking taylor expansion of 0 in h
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [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.494 * [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.494 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.494 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.494 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.494 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.494 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.494 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.494 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.494 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.494 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.494 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.494 * [taylor]: Taking taylor expansion of PI in h
0.494 * [backup-simplify]: Simplify PI into PI
0.494 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.494 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.494 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.494 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.494 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.495 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.495 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.495 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.495 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.495 * [taylor]: Taking taylor expansion of PI in g
0.495 * [backup-simplify]: Simplify PI into PI
0.495 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.495 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.495 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.495 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.495 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.495 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.495 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.495 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.495 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.495 * [taylor]: Taking taylor expansion of PI in g
0.495 * [backup-simplify]: Simplify PI into PI
0.495 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.496 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.497 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.497 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.497 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.497 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.497 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.497 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.497 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.497 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.497 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.497 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.497 * [taylor]: Taking taylor expansion of PI in h
0.497 * [backup-simplify]: Simplify PI into PI
0.497 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.498 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.498 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.499 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.500 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.500 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.501 * [backup-simplify]: Simplify (+ 0 0) into 0
0.501 * [taylor]: Taking taylor expansion of 0 in h
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.502 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.502 * [backup-simplify]: Simplify (+ 0 0) into 0
0.503 * [backup-simplify]: Simplify 0 into 0
0.503 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.504 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.505 * [backup-simplify]: Simplify (+ 0 0) into 0
0.505 * [taylor]: Taking taylor expansion of 0 in h
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify 0 into 0
0.506 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.507 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.507 * [backup-simplify]: Simplify (+ 0 0) into 0
0.507 * [backup-simplify]: Simplify 0 into 0
0.509 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.511 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.512 * [backup-simplify]: Simplify (+ 0 0) into 0
0.512 * [taylor]: Taking taylor expansion of 0 in h
0.512 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify 0 into 0
0.513 * [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.513 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.513 * [backup-simplify]: Simplify (/ (acos (/ (- g) h)) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.513 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0
0.513 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.513 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.513 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.513 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.513 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.513 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.513 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.513 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.513 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.514 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.514 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.514 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.514 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.514 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.514 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.514 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.514 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.514 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.514 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.514 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.514 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.514 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.514 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.515 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.515 * [taylor]: Taking taylor expansion of 0 in h
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.516 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.517 * [taylor]: Taking taylor expansion of 0 in h
0.517 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify 0 into 0
0.518 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.518 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0
0.519 * [taylor]: Taking taylor expansion of 0 in h
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.520 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.520 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.520 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.520 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.520 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.520 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.520 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.520 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.520 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.520 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.520 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.520 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.520 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.520 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.520 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.520 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.520 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.520 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.521 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.521 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.521 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.521 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.521 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.521 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.521 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.522 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.522 * [taylor]: Taking taylor expansion of 0 in h
0.522 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.522 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.523 * [taylor]: Taking taylor expansion of 0 in h
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 0 into 0
0.524 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.524 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.526 * [taylor]: Taking taylor expansion of 0 in h
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.526 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.526 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.526 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.526 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.526 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.526 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.527 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.527 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.527 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.527 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.527 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.527 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.527 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.527 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.527 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.527 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.527 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.527 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.527 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.527 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.527 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.527 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.528 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.528 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.528 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.529 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.529 * [taylor]: Taking taylor expansion of 0 in h
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.529 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.530 * [taylor]: Taking taylor expansion of 0 in h
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.531 * [backup-simplify]: Simplify 0 into 0
0.533 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.533 * [taylor]: Taking taylor expansion of 0 in h
0.533 * [backup-simplify]: Simplify 0 into 0
0.533 * [backup-simplify]: Simplify 0 into 0
0.533 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g)))))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.533 * * * [progress]: simplifying candidates
0.536 * [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))))
2.552 * * * [progress]: adding candidates to table
2.913 * * [progress]: iteration 2 / 4
2.913 * * * [progress]: picking best candidate
2.931 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.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.932 * * * [progress]: localizing error
2.967 * * * [progress]: generating rewritten candidates
2.967 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
3.010 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
3.040 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
3.079 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1)
3.091 * * * [progress]: generating series expansions
3.091 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
3.091 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
3.091 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
3.091 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1)
3.091 * * * [progress]: simplifying candidates
3.092 * [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)))
5.036 * * * [progress]: adding candidates to table
5.464 * * [progress]: iteration 3 / 4
5.464 * * * [progress]: picking best candidate
5.470 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))>
5.470 * * * [progress]: localizing error
5.489 * * * [progress]: generating rewritten candidates
5.489 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
5.510 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2)
5.519 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
5.568 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
5.805 * * * [progress]: generating series expansions
5.805 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
5.805 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2)
5.805 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
5.805 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
5.807 * [backup-simplify]: Simplify (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.807 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in (g h) around 0
5.807 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h
5.807 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h
5.807 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
5.807 * [taylor]: Taking taylor expansion of 1.0 in h
5.807 * [backup-simplify]: Simplify 1.0 into 1.0
5.807 * [taylor]: Taking taylor expansion of PI in h
5.807 * [backup-simplify]: Simplify PI into PI
5.807 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h
5.807 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
5.807 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.807 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
5.807 * [backup-simplify]: Simplify (acos (/ g h)) into (acos (/ g h))
5.808 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.808 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ g h))) into (* 0.3333333333333333 (acos (/ g h)))
5.808 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ g h)))) into (- (* 0.3333333333333333 (acos (/ g h))))
5.808 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ g h))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))
5.809 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.809 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.809 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g
5.809 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g
5.809 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
5.809 * [taylor]: Taking taylor expansion of 1.0 in g
5.809 * [backup-simplify]: Simplify 1.0 into 1.0
5.809 * [taylor]: Taking taylor expansion of PI in g
5.809 * [backup-simplify]: Simplify PI into PI
5.809 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g
5.809 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
5.809 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.809 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
5.809 * [backup-simplify]: Simplify (acos (/ g h)) into (acos (/ g h))
5.810 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.810 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ g h))) into (* 0.3333333333333333 (acos (/ g h)))
5.810 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ g h)))) into (- (* 0.3333333333333333 (acos (/ g h))))
5.811 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ g h))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))
5.811 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.811 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.811 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g
5.811 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g
5.812 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
5.812 * [taylor]: Taking taylor expansion of 1.0 in g
5.812 * [backup-simplify]: Simplify 1.0 into 1.0
5.812 * [taylor]: Taking taylor expansion of PI in g
5.812 * [backup-simplify]: Simplify PI into PI
5.812 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g
5.812 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
5.812 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.812 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
5.812 * [backup-simplify]: Simplify (acos (/ g h)) into (acos (/ g h))
5.812 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.812 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ g h))) into (* 0.3333333333333333 (acos (/ g h)))
5.812 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ g h)))) into (- (* 0.3333333333333333 (acos (/ g h))))
5.813 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ g h))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))
5.813 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.813 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.814 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.814 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) into 0
5.815 * [backup-simplify]: Simplify (- 0) into 0
5.815 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.815 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h
5.815 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h
5.815 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
5.815 * [taylor]: Taking taylor expansion of 1.0 in h
5.815 * [backup-simplify]: Simplify 1.0 into 1.0
5.815 * [taylor]: Taking taylor expansion of PI in h
5.815 * [backup-simplify]: Simplify PI into PI
5.815 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h
5.815 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
5.815 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.815 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
5.815 * [backup-simplify]: Simplify (acos (/ g h)) into (acos (/ g h))
5.816 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.816 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ g h))) into (* 0.3333333333333333 (acos (/ g h)))
5.816 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ g h)))) into (- (* 0.3333333333333333 (acos (/ g h))))
5.816 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ g h))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))
5.817 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.817 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.817 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.818 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) into 0
5.818 * [backup-simplify]: Simplify (- 0) into 0
5.818 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.819 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.819 * [backup-simplify]: Simplify (+ 0) into 0
5.820 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (* 0 1)) into 0
5.820 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0
5.821 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ g h)))) into 0
5.821 * [backup-simplify]: Simplify (- 0) into 0
5.821 * [backup-simplify]: Simplify (+ 0 0) into 0
5.821 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.822 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (* 0 0)) into 0
5.822 * [backup-simplify]: Simplify (- 0) into 0
5.823 * [backup-simplify]: Simplify (+ 0 0) into 0
5.823 * [taylor]: Taking taylor expansion of 0 in h
5.823 * [backup-simplify]: Simplify 0 into 0
5.823 * [backup-simplify]: Simplify 0 into 0
5.823 * [backup-simplify]: Simplify (+ 0) into 0
5.824 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (* 0 1)) into 0
5.824 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0
5.824 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ g h)))) into 0
5.825 * [backup-simplify]: Simplify (- 0) into 0
5.825 * [backup-simplify]: Simplify (+ 0 0) into 0
5.825 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.826 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (* 0 0)) into 0
5.826 * [backup-simplify]: Simplify (- 0) into 0
5.826 * [backup-simplify]: Simplify (+ 0 0) into 0
5.826 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.828 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (* 0 1))) into 0
5.828 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.829 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ g h))))) into 0
5.829 * [backup-simplify]: Simplify (- 0) into 0
5.830 * [backup-simplify]: Simplify (+ 0 0) into 0
5.830 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.831 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (* 0 0))) into 0
5.831 * [backup-simplify]: Simplify (- 0) into 0
5.831 * [backup-simplify]: Simplify (+ 0 0) into 0
5.831 * [taylor]: Taking taylor expansion of 0 in h
5.831 * [backup-simplify]: Simplify 0 into 0
5.831 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.833 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (* 0 1))) into 0
5.833 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.834 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ g h))))) into 0
5.834 * [backup-simplify]: Simplify (- 0) into 0
5.834 * [backup-simplify]: Simplify (+ 0 0) into 0
5.835 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.835 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (* 0 0))) into 0
5.836 * [backup-simplify]: Simplify (- 0) into 0
5.836 * [backup-simplify]: Simplify (+ 0 0) into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.837 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.838 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.839 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ g h)))))) into 0
5.839 * [backup-simplify]: Simplify (- 0) into 0
5.839 * [backup-simplify]: Simplify (+ 0 0) into 0
5.840 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.841 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.841 * [backup-simplify]: Simplify (- 0) into 0
5.841 * [backup-simplify]: Simplify (+ 0 0) into 0
5.841 * [taylor]: Taking taylor expansion of 0 in h
5.841 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.843 * [backup-simplify]: Simplify (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ (/ 1 g) (/ 1 h))) 3.0))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.843 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0
5.843 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
5.843 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
5.843 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
5.843 * [taylor]: Taking taylor expansion of 1.0 in h
5.843 * [backup-simplify]: Simplify 1.0 into 1.0
5.843 * [taylor]: Taking taylor expansion of PI in h
5.843 * [backup-simplify]: Simplify PI into PI
5.844 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
5.844 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
5.844 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.844 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
5.844 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g))
5.844 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.844 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g)))
5.844 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g))))
5.845 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))
5.846 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.846 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.846 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
5.846 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
5.846 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
5.846 * [taylor]: Taking taylor expansion of 1.0 in g
5.846 * [backup-simplify]: Simplify 1.0 into 1.0
5.846 * [taylor]: Taking taylor expansion of PI in g
5.847 * [backup-simplify]: Simplify PI into PI
5.847 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
5.847 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
5.847 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.847 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
5.847 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g))
5.847 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.847 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g)))
5.847 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g))))
5.848 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))
5.849 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.849 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.849 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
5.849 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
5.849 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
5.850 * [taylor]: Taking taylor expansion of 1.0 in g
5.850 * [backup-simplify]: Simplify 1.0 into 1.0
5.850 * [taylor]: Taking taylor expansion of PI in g
5.850 * [backup-simplify]: Simplify PI into PI
5.850 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
5.850 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
5.850 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.850 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
5.850 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g))
5.850 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.850 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g)))
5.851 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g))))
5.851 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))
5.852 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.853 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.854 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.854 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into 0
5.855 * [backup-simplify]: Simplify (- 0) into 0
5.855 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.855 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
5.855 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
5.855 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
5.855 * [taylor]: Taking taylor expansion of 1.0 in h
5.856 * [backup-simplify]: Simplify 1.0 into 1.0
5.856 * [taylor]: Taking taylor expansion of PI in h
5.856 * [backup-simplify]: Simplify PI into PI
5.856 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
5.856 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
5.856 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.856 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
5.856 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g))
5.856 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.856 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g)))
5.857 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g))))
5.857 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))
5.858 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.858 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.859 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.860 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into 0
5.860 * [backup-simplify]: Simplify (- 0) into 0
5.861 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.862 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.862 * [backup-simplify]: Simplify (+ 0) into 0
5.863 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 1)) into 0
5.864 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0
5.865 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ h g)))) into 0
5.865 * [backup-simplify]: Simplify (- 0) into 0
5.865 * [backup-simplify]: Simplify (+ 0 0) into 0
5.866 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.867 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 0)) into 0
5.867 * [backup-simplify]: Simplify (- 0) into 0
5.868 * [backup-simplify]: Simplify (+ 0 0) into 0
5.868 * [taylor]: Taking taylor expansion of 0 in h
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify (+ 0) into 0
5.869 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 1)) into 0
5.870 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0
5.871 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ h g)))) into 0
5.871 * [backup-simplify]: Simplify (- 0) into 0
5.871 * [backup-simplify]: Simplify (+ 0 0) into 0
5.872 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.873 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 0)) into 0
5.873 * [backup-simplify]: Simplify (- 0) into 0
5.873 * [backup-simplify]: Simplify (+ 0 0) into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.874 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.874 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 1))) into 0
5.875 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.875 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ h g))))) into 0
5.876 * [backup-simplify]: Simplify (- 0) into 0
5.876 * [backup-simplify]: Simplify (+ 0 0) into 0
5.876 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.877 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 0))) into 0
5.877 * [backup-simplify]: Simplify (- 0) into 0
5.882 * [backup-simplify]: Simplify (+ 0 0) into 0
5.882 * [taylor]: Taking taylor expansion of 0 in h
5.882 * [backup-simplify]: Simplify 0 into 0
5.882 * [backup-simplify]: Simplify 0 into 0
5.882 * [backup-simplify]: Simplify 0 into 0
5.883 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.884 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 1))) into 0
5.885 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.885 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ h g))))) into 0
5.885 * [backup-simplify]: Simplify (- 0) into 0
5.886 * [backup-simplify]: Simplify (+ 0 0) into 0
5.886 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.887 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 0))) into 0
5.887 * [backup-simplify]: Simplify (- 0) into 0
5.887 * [backup-simplify]: Simplify (+ 0 0) into 0
5.887 * [backup-simplify]: Simplify 0 into 0
5.888 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.889 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.889 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.890 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ h g)))))) into 0
5.890 * [backup-simplify]: Simplify (- 0) into 0
5.891 * [backup-simplify]: Simplify (+ 0 0) into 0
5.891 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.892 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.892 * [backup-simplify]: Simplify (- 0) into 0
5.893 * [backup-simplify]: Simplify (+ 0 0) into 0
5.893 * [taylor]: Taking taylor expansion of 0 in h
5.893 * [backup-simplify]: Simplify 0 into 0
5.893 * [backup-simplify]: Simplify 0 into 0
5.893 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ (/ 1 h) (/ 1 g)))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.895 * [backup-simplify]: Simplify (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ (/ 1 (- g)) (/ 1 (- h)))) 3.0))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.895 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0
5.895 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
5.895 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
5.895 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
5.895 * [taylor]: Taking taylor expansion of 1.0 in h
5.895 * [backup-simplify]: Simplify 1.0 into 1.0
5.895 * [taylor]: Taking taylor expansion of PI in h
5.895 * [backup-simplify]: Simplify PI into PI
5.895 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
5.895 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
5.895 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.895 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
5.895 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g))
5.895 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.896 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g)))
5.896 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g))))
5.896 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))
5.896 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.897 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.897 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
5.897 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
5.897 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
5.897 * [taylor]: Taking taylor expansion of 1.0 in g
5.897 * [backup-simplify]: Simplify 1.0 into 1.0
5.897 * [taylor]: Taking taylor expansion of PI in g
5.897 * [backup-simplify]: Simplify PI into PI
5.897 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
5.897 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
5.897 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.897 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
5.897 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g))
5.897 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.897 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g)))
5.898 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g))))
5.898 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))
5.898 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.899 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.899 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
5.899 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
5.899 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
5.899 * [taylor]: Taking taylor expansion of 1.0 in g
5.899 * [backup-simplify]: Simplify 1.0 into 1.0
5.899 * [taylor]: Taking taylor expansion of PI in g
5.899 * [backup-simplify]: Simplify PI into PI
5.899 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
5.899 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
5.899 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.899 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
5.899 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g))
5.899 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.899 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g)))
5.899 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g))))
5.900 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))
5.900 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.901 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.901 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.902 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into 0
5.902 * [backup-simplify]: Simplify (- 0) into 0
5.902 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.902 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
5.902 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
5.902 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
5.902 * [taylor]: Taking taylor expansion of 1.0 in h
5.902 * [backup-simplify]: Simplify 1.0 into 1.0
5.902 * [taylor]: Taking taylor expansion of PI in h
5.902 * [backup-simplify]: Simplify PI into PI
5.902 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
5.902 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
5.902 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.902 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
5.903 * [backup-simplify]: Simplify (acos (/ h g)) into (acos (/ h g))
5.903 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
5.903 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (/ h g))) into (* 0.3333333333333333 (acos (/ h g)))
5.903 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (acos (/ h g)))) into (- (* 0.3333333333333333 (acos (/ h g))))
5.903 * [backup-simplify]: Simplify (+ (* 1.0 PI) (- (* 0.3333333333333333 (acos (/ h g))))) into (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))
5.904 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.904 * [backup-simplify]: Simplify (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.905 * [backup-simplify]: Simplify (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 1) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.905 * [backup-simplify]: Simplify (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into 0
5.905 * [backup-simplify]: Simplify (- 0) into 0
5.906 * [backup-simplify]: Simplify (+ (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.906 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))))
5.906 * [backup-simplify]: Simplify (+ 0) into 0
5.907 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 1)) into 0
5.907 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0
5.908 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ h g)))) into 0
5.908 * [backup-simplify]: Simplify (- 0) into 0
5.908 * [backup-simplify]: Simplify (+ 0 0) into 0
5.909 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.909 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 0)) into 0
5.910 * [backup-simplify]: Simplify (- 0) into 0
5.910 * [backup-simplify]: Simplify (+ 0 0) into 0
5.910 * [taylor]: Taking taylor expansion of 0 in h
5.910 * [backup-simplify]: Simplify 0 into 0
5.910 * [backup-simplify]: Simplify 0 into 0
5.910 * [backup-simplify]: Simplify (+ 0) into 0
5.911 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 1)) into 0
5.911 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0
5.912 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (/ h g)))) into 0
5.912 * [backup-simplify]: Simplify (- 0) into 0
5.912 * [backup-simplify]: Simplify (+ 0 0) into 0
5.912 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.913 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (* 0 0)) into 0
5.913 * [backup-simplify]: Simplify (- 0) into 0
5.914 * [backup-simplify]: Simplify (+ 0 0) into 0
5.914 * [backup-simplify]: Simplify 0 into 0
5.914 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.915 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 1))) into 0
5.916 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.916 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ h g))))) into 0
5.917 * [backup-simplify]: Simplify (- 0) into 0
5.917 * [backup-simplify]: Simplify (+ 0 0) into 0
5.918 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.919 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 0))) into 0
5.919 * [backup-simplify]: Simplify (- 0) into 0
5.920 * [backup-simplify]: Simplify (+ 0 0) into 0
5.920 * [taylor]: Taking taylor expansion of 0 in h
5.920 * [backup-simplify]: Simplify 0 into 0
5.920 * [backup-simplify]: Simplify 0 into 0
5.920 * [backup-simplify]: Simplify 0 into 0
5.921 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.922 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 1))) into 0
5.923 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.924 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (/ h g))))) into 0
5.925 * [backup-simplify]: Simplify (- 0) into 0
5.925 * [backup-simplify]: Simplify (+ 0 0) into 0
5.926 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.927 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (* 0 0))) into 0
5.928 * [backup-simplify]: Simplify (- 0) into 0
5.928 * [backup-simplify]: Simplify (+ 0 0) into 0
5.928 * [backup-simplify]: Simplify 0 into 0
5.929 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.930 * [backup-simplify]: Simplify (+ (* (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.932 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.933 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ h g)))))) into 0
5.933 * [backup-simplify]: Simplify (- 0) into 0
5.934 * [backup-simplify]: Simplify (+ 0 0) into 0
5.935 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.937 * [backup-simplify]: Simplify (+ (* (sin (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.937 * [backup-simplify]: Simplify (- 0) into 0
5.937 * [backup-simplify]: Simplify (+ 0 0) into 0
5.937 * [taylor]: Taking taylor expansion of 0 in h
5.937 * [backup-simplify]: Simplify 0 into 0
5.937 * [backup-simplify]: Simplify 0 into 0
5.938 * [backup-simplify]: Simplify (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ (/ 1 (- h)) (/ 1 (- g))))))) into (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
5.938 * * * [progress]: simplifying candidates
5.941 * [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)
  (- (log PI) (log 3.0))
  (log (/ PI 3.0))
  (exp (/ PI 3.0))
  (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0)))
  (cbrt (/ PI 3.0))
  (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (- PI)
  (- 3.0)
  (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt PI) (cbrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0))
  (/ (cbrt PI) (sqrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) 1)
  (/ (cbrt PI) 3.0)
  (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt PI) (cbrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) 1)
  (/ (sqrt PI) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 1 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 PI)
  (/ PI (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (sqrt 3.0))
  (/ PI 1)
  (/ 3.0 (cbrt PI))
  (/ 3.0 (sqrt PI))
  (/ 3.0 PI)
  (* (exp (/ (* 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)
  (* (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)) (cos (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.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))))
  (* (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) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (* (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))) (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))
  (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (* (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))) (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 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))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
7.945 * * * [progress]: adding candidates to table
8.350 * * [progress]: iteration 4 / 4
8.350 * * * [progress]: picking best candidate
8.365 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (- (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0))) (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0))))))>
8.365 * * * [progress]: localizing error
8.426 * * * [progress]: generating rewritten candidates
8.427 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1)
8.447 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1)
8.491 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 2)
8.496 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1 2)
8.504 * * * [progress]: generating series expansions
8.504 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1)
8.504 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1)
8.504 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 2)
8.505 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1 2)
8.505 * * * [progress]: simplifying candidates
8.506 * [simplify]: Simplifying:
  (* (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 PI) (log 3.0))
  (log (/ PI 3.0))
  (exp (/ PI 3.0))
  (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0)))
  (cbrt (/ PI 3.0))
  (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (- PI)
  (- 3.0)
  (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt PI) (cbrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0))
  (/ (cbrt PI) (sqrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) 1)
  (/ (cbrt PI) 3.0)
  (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt PI) (cbrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) 1)
  (/ (sqrt PI) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 1 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 PI)
  (/ PI (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (sqrt 3.0))
  (/ PI 1)
  (/ 3.0 (cbrt PI))
  (/ 3.0 (sqrt PI))
  (/ 3.0 PI)
  (- (log PI) (log 3.0))
  (log (/ PI 3.0))
  (exp (/ PI 3.0))
  (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0)))
  (cbrt (/ PI 3.0))
  (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (- PI)
  (- 3.0)
  (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt PI) (cbrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0))
  (/ (cbrt PI) (sqrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) 1)
  (/ (cbrt PI) 3.0)
  (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt PI) (cbrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) 1)
  (/ (sqrt PI) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 1 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 PI)
  (/ PI (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (sqrt 3.0))
  (/ PI 1)
  (/ 3.0 (cbrt PI))
  (/ 3.0 (sqrt PI))
  (/ 3.0 PI)
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0)))
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0)))
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0)))
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0)))
9.357 * * * [progress]: adding candidates to table
9.884 * [progress]: [Phase 3 of 3] Extracting.
9.884 * * [regime]: Finding splitpoints for: (#<alt (λ (g h) (* 2.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))))))> #<alt (λ (g h) (* 2.0 (- (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0))) (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))>)
9.886 * * * [regime-changes]: Trying 2 branch expressions: (h g)
9.886 * * * * [regimes]: Trying to branch on h from (#<alt (λ (g h) (* 2.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))))))> #<alt (λ (g h) (* 2.0 (- (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0))) (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))>)
9.918 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g h) (* 2.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))))))> #<alt (λ (g h) (* 2.0 (- (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0))) (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))>)
9.938 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.939 * [simplify]: Simplifying:
  (* 2.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)))))
17.851 * [regime-testing]: Baseline error score: 0.05238399175005048
17.854 * [regime-testing]: Oracle error score: 0.01512689086135767
17.860 * [regime-testing]: End program error score: 0.05238399175005048