12.075 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.099 * * * [progress]: [2/2] Setting up program.
0.103 * [progress]: [Phase 2 of 3] Improving.
0.104 * [simplify]: Simplifying:
  (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
0.141 * * [progress]: iteration 1 / 4
0.141 * * * [progress]: picking best candidate
0.143 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))>
0.143 * * * [progress]: localizing error
0.200 * * * [progress]: generating rewritten candidates
0.200 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.211 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.246 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.288 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.296 * * * [progress]: generating series expansions
0.296 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.296 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.297 * [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.297 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.297 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.297 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.297 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.297 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.297 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.297 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.297 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.297 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.297 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.297 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.298 * [taylor]: Taking taylor expansion of PI in h
0.298 * [backup-simplify]: Simplify PI into PI
0.298 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.298 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.298 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.299 * [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.299 * [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.299 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.299 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.299 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.299 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.299 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.299 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.299 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.299 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.299 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.300 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.300 * [taylor]: Taking taylor expansion of PI in g
0.300 * [backup-simplify]: Simplify PI into PI
0.300 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.300 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.300 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.301 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
0.301 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
0.301 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.301 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.301 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.302 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.302 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.302 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.302 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.302 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.302 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.302 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.302 * [taylor]: Taking taylor expansion of PI in g
0.302 * [backup-simplify]: Simplify PI into PI
0.302 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.302 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.303 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.303 * [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.303 * [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.304 * [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.304 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into 0
0.305 * [backup-simplify]: Simplify (- 0) into 0
0.305 * [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.305 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.305 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.305 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.305 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.305 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.305 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.305 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.305 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.305 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.305 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.305 * [taylor]: Taking taylor expansion of PI in h
0.305 * [backup-simplify]: Simplify PI into PI
0.305 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.306 * [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.307 * [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 * [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.308 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) into 0
0.308 * [backup-simplify]: Simplify (- 0) into 0
0.308 * [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.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.309 * [backup-simplify]: Simplify (+ 0) into 0
0.310 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.310 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.311 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.311 * [backup-simplify]: Simplify (+ 0 0) into 0
0.311 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.312 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.312 * [backup-simplify]: Simplify (- 0) into 0
0.312 * [backup-simplify]: Simplify (+ 0 0) into 0
0.313 * [taylor]: Taking taylor expansion of 0 in h
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify (+ 0) into 0
0.314 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.314 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.315 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.315 * [backup-simplify]: Simplify (+ 0 0) into 0
0.316 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.317 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.318 * [backup-simplify]: Simplify (- 0) into 0
0.318 * [backup-simplify]: Simplify (+ 0 0) into 0
0.318 * [backup-simplify]: Simplify 0 into 0
0.319 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.321 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.322 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.323 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.323 * [backup-simplify]: Simplify (+ 0 0) into 0
0.324 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.326 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.326 * [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 (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.329 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.330 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.331 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.331 * [backup-simplify]: Simplify (+ 0 0) into 0
0.332 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.333 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.333 * [backup-simplify]: Simplify (- 0) into 0
0.334 * [backup-simplify]: Simplify (+ 0 0) into 0
0.334 * [backup-simplify]: Simplify 0 into 0
0.335 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.336 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.338 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0
0.339 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.339 * [backup-simplify]: Simplify (+ 0 0) into 0
0.341 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.342 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.342 * [backup-simplify]: Simplify (- 0) into 0
0.343 * [backup-simplify]: Simplify (+ 0 0) into 0
0.343 * [taylor]: Taking taylor expansion of 0 in h
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify 0 into 0
0.344 * [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.345 * [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.345 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.345 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.345 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.345 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.345 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.345 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.345 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.345 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.346 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.346 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.346 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.346 * [taylor]: Taking taylor expansion of PI in h
0.346 * [backup-simplify]: Simplify PI into PI
0.346 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.346 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.347 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.348 * [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.348 * [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.348 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.348 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.348 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.349 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.349 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.349 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.349 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.349 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.349 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.349 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.349 * [taylor]: Taking taylor expansion of PI in g
0.349 * [backup-simplify]: Simplify PI into PI
0.349 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.350 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.350 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.351 * [backup-simplify]: Simplify (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))
0.352 * [backup-simplify]: Simplify (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) into (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))
0.352 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.352 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.352 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.352 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.352 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.352 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.352 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.352 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.352 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.352 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.352 * [taylor]: Taking taylor expansion of PI in g
0.352 * [backup-simplify]: Simplify PI into PI
0.352 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.353 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.354 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.354 * [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.355 * [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.356 * [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.357 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0
0.357 * [backup-simplify]: Simplify (- 0) into 0
0.358 * [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.358 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.358 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.358 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.358 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.358 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.358 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
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 h
0.358 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.358 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.358 * [taylor]: Taking taylor expansion of PI in h
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.362 * [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.362 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0
0.363 * [backup-simplify]: Simplify (- 0) into 0
0.363 * [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.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.365 * [backup-simplify]: Simplify (+ 0) into 0
0.366 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.366 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.367 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.367 * [backup-simplify]: Simplify (+ 0 0) into 0
0.368 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.369 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.370 * [backup-simplify]: Simplify (- 0) into 0
0.370 * [backup-simplify]: Simplify (+ 0 0) into 0
0.370 * [taylor]: Taking taylor expansion of 0 in h
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 0 into 0
0.371 * [backup-simplify]: Simplify (+ 0) into 0
0.372 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.372 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.373 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.373 * [backup-simplify]: Simplify (+ 0 0) into 0
0.374 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.375 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.376 * [backup-simplify]: Simplify (- 0) into 0
0.376 * [backup-simplify]: Simplify (+ 0 0) into 0
0.376 * [backup-simplify]: Simplify 0 into 0
0.383 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.385 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.386 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.387 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.387 * [backup-simplify]: Simplify (+ 0 0) into 0
0.388 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.389 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.390 * [backup-simplify]: Simplify (- 0) into 0
0.390 * [backup-simplify]: Simplify (+ 0 0) into 0
0.390 * [taylor]: Taking taylor expansion of 0 in h
0.390 * [backup-simplify]: Simplify 0 into 0
0.390 * [backup-simplify]: Simplify 0 into 0
0.390 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.391 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.392 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.393 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.393 * [backup-simplify]: Simplify (+ 0 0) into 0
0.394 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.394 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.395 * [backup-simplify]: Simplify (- 0) into 0
0.395 * [backup-simplify]: Simplify (+ 0 0) into 0
0.395 * [backup-simplify]: Simplify 0 into 0
0.395 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.396 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.397 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.398 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.398 * [backup-simplify]: Simplify (+ 0 0) into 0
0.399 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.400 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.400 * [backup-simplify]: Simplify (- 0) into 0
0.400 * [backup-simplify]: Simplify (+ 0 0) into 0
0.400 * [taylor]: Taking taylor expansion of 0 in h
0.400 * [backup-simplify]: Simplify 0 into 0
0.400 * [backup-simplify]: Simplify 0 into 0
0.401 * [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.402 * [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.402 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.402 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.402 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.402 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.402 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.402 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.402 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.402 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.402 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.402 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.402 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.402 * [taylor]: Taking taylor expansion of PI in h
0.402 * [backup-simplify]: Simplify PI into PI
0.402 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.403 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.403 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.404 * [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.404 * [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.404 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.404 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.404 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.404 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.404 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.404 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.404 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.404 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.404 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.404 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.404 * [taylor]: Taking taylor expansion of PI in g
0.404 * [backup-simplify]: Simplify PI into PI
0.404 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.405 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.405 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.405 * [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.406 * [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.406 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.406 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.406 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.406 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.406 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.406 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
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 g
0.406 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.406 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.406 * [taylor]: Taking taylor expansion of PI in g
0.406 * [backup-simplify]: Simplify PI into PI
0.406 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.407 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.407 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.407 * [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.408 * [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.409 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0
0.409 * [backup-simplify]: Simplify (- 0) into 0
0.409 * [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.409 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.409 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.409 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.409 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.410 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.410 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.410 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.410 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.410 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.410 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.410 * [taylor]: Taking taylor expansion of PI in h
0.410 * [backup-simplify]: Simplify PI into PI
0.410 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.410 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.410 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.411 * [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.411 * [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.412 * [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.412 * [backup-simplify]: Simplify (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) into 0
0.412 * [backup-simplify]: Simplify (- 0) into 0
0.413 * [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.413 * [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.414 * [backup-simplify]: Simplify (+ 0) into 0
0.414 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.415 * [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.416 * [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.417 * [backup-simplify]: Simplify (+ 0 0) into 0
0.417 * [taylor]: Taking taylor expansion of 0 in h
0.417 * [backup-simplify]: Simplify 0 into 0
0.417 * [backup-simplify]: Simplify 0 into 0
0.417 * [backup-simplify]: Simplify (+ 0) into 0
0.418 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
0.418 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.419 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.419 * [backup-simplify]: Simplify (+ 0 0) into 0
0.419 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.420 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
0.420 * [backup-simplify]: Simplify (- 0) into 0
0.420 * [backup-simplify]: Simplify (+ 0 0) into 0
0.420 * [backup-simplify]: Simplify 0 into 0
0.421 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.422 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
0.422 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.423 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.423 * [backup-simplify]: Simplify (+ 0 0) into 0
0.424 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.424 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.424 * [backup-simplify]: Simplify (- 0) into 0
0.425 * [backup-simplify]: Simplify (+ 0 0) into 0
0.425 * [taylor]: Taking taylor expansion of 0 in h
0.425 * [backup-simplify]: Simplify 0 into 0
0.425 * [backup-simplify]: Simplify 0 into 0
0.425 * [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.427 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.427 * [backup-simplify]: Simplify (+ 0 0) into 0
0.428 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.429 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
0.429 * [backup-simplify]: Simplify (- 0) into 0
0.429 * [backup-simplify]: Simplify (+ 0 0) into 0
0.429 * [backup-simplify]: Simplify 0 into 0
0.430 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.431 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.431 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.432 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.432 * [backup-simplify]: Simplify (+ 0 0) into 0
0.433 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.434 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.434 * [backup-simplify]: Simplify (- 0) into 0
0.434 * [backup-simplify]: Simplify (+ 0 0) into 0
0.434 * [taylor]: Taking taylor expansion of 0 in h
0.434 * [backup-simplify]: Simplify 0 into 0
0.435 * [backup-simplify]: Simplify 0 into 0
0.435 * [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.435 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.436 * [backup-simplify]: Simplify (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.436 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.436 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.436 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.436 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.436 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.436 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.436 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.436 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.436 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.436 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.436 * [taylor]: Taking taylor expansion of PI in h
0.436 * [backup-simplify]: Simplify PI into PI
0.436 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.436 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.436 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.436 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.436 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.436 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.436 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.436 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.436 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.436 * [taylor]: Taking taylor expansion of PI in g
0.436 * [backup-simplify]: Simplify PI into PI
0.436 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.436 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.436 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.436 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.436 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.437 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.437 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.437 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.437 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.437 * [taylor]: Taking taylor expansion of PI in g
0.437 * [backup-simplify]: Simplify PI into PI
0.437 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.437 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.438 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.438 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.438 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.438 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.438 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.438 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.438 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.438 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.438 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.438 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.438 * [taylor]: Taking taylor expansion of PI in h
0.438 * [backup-simplify]: Simplify PI into PI
0.438 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.438 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.439 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.439 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.439 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.440 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.440 * [backup-simplify]: Simplify (+ 0 0) into 0
0.440 * [taylor]: Taking taylor expansion of 0 in h
0.440 * [backup-simplify]: Simplify 0 into 0
0.440 * [backup-simplify]: Simplify 0 into 0
0.441 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.441 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.441 * [backup-simplify]: Simplify (+ 0 0) into 0
0.441 * [backup-simplify]: Simplify 0 into 0
0.442 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.443 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.444 * [backup-simplify]: Simplify (+ 0 0) into 0
0.444 * [taylor]: Taking taylor expansion of 0 in h
0.444 * [backup-simplify]: Simplify 0 into 0
0.444 * [backup-simplify]: Simplify 0 into 0
0.444 * [backup-simplify]: Simplify 0 into 0
0.445 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.446 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.446 * [backup-simplify]: Simplify (+ 0 0) into 0
0.446 * [backup-simplify]: Simplify 0 into 0
0.448 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0
0.449 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.449 * [backup-simplify]: Simplify (+ 0 0) into 0
0.449 * [taylor]: Taking taylor expansion of 0 in h
0.450 * [backup-simplify]: Simplify 0 into 0
0.450 * [backup-simplify]: Simplify 0 into 0
0.450 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
0.452 * [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.452 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.452 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.452 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.452 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.453 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.453 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.453 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.453 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.453 * [taylor]: Taking taylor expansion of PI in h
0.453 * [backup-simplify]: Simplify PI into PI
0.453 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.453 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.453 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.453 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.453 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.453 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.453 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.453 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.453 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.453 * [taylor]: Taking taylor expansion of PI in g
0.453 * [backup-simplify]: Simplify PI into PI
0.453 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.453 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.453 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.453 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.453 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.453 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.454 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.454 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.454 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.454 * [taylor]: Taking taylor expansion of PI in g
0.454 * [backup-simplify]: Simplify PI into PI
0.454 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.455 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.455 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.455 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.455 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.455 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.455 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.455 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.456 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.456 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.456 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.456 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.456 * [taylor]: Taking taylor expansion of PI in h
0.456 * [backup-simplify]: Simplify PI into PI
0.456 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.456 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.457 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.458 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.458 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.459 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.460 * [backup-simplify]: Simplify (+ 0 0) into 0
0.460 * [taylor]: Taking taylor expansion of 0 in h
0.460 * [backup-simplify]: Simplify 0 into 0
0.460 * [backup-simplify]: Simplify 0 into 0
0.460 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.461 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.462 * [backup-simplify]: Simplify (+ 0 0) into 0
0.462 * [backup-simplify]: Simplify 0 into 0
0.462 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.464 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 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.464 * [backup-simplify]: Simplify 0 into 0
0.465 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.466 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.466 * [backup-simplify]: Simplify (+ 0 0) into 0
0.466 * [backup-simplify]: Simplify 0 into 0
0.468 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.469 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.469 * [backup-simplify]: Simplify (+ 0 0) into 0
0.469 * [taylor]: Taking taylor expansion of 0 in h
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify 0 into 0
0.470 * [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.472 * [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.472 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.472 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.472 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.472 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.472 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.472 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.472 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.472 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.472 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.472 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.472 * [taylor]: Taking taylor expansion of PI in h
0.472 * [backup-simplify]: Simplify PI into PI
0.472 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.472 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.472 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.472 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.472 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.472 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.472 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.472 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.473 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.473 * [taylor]: Taking taylor expansion of PI in g
0.473 * [backup-simplify]: Simplify PI into PI
0.473 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.473 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.473 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.473 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.473 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.473 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.473 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.473 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.473 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.473 * [taylor]: Taking taylor expansion of PI in g
0.473 * [backup-simplify]: Simplify PI into PI
0.473 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.474 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.475 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.475 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.475 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.475 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.475 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.475 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.475 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.475 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.475 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.475 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.475 * [taylor]: Taking taylor expansion of PI in h
0.475 * [backup-simplify]: Simplify PI into PI
0.475 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.476 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
0.476 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.477 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) into (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))
0.478 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.478 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.479 * [backup-simplify]: Simplify (+ 0 0) into 0
0.479 * [taylor]: Taking taylor expansion of 0 in h
0.479 * [backup-simplify]: Simplify 0 into 0
0.479 * [backup-simplify]: Simplify 0 into 0
0.479 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.480 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
0.481 * [backup-simplify]: Simplify (+ 0 0) into 0
0.481 * [backup-simplify]: Simplify 0 into 0
0.482 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.483 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.483 * [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 into 0
0.484 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.485 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
0.486 * [backup-simplify]: Simplify (+ 0 0) into 0
0.486 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.488 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
0.488 * [backup-simplify]: Simplify (+ 0 0) into 0
0.488 * [taylor]: Taking taylor expansion of 0 in h
0.489 * [backup-simplify]: Simplify 0 into 0
0.489 * [backup-simplify]: Simplify 0 into 0
0.489 * [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.489 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.490 * [backup-simplify]: Simplify (/ (acos (/ (- g) h)) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.490 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0
0.490 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.490 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.490 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.490 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.490 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.490 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.490 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.490 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.490 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.490 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.490 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.490 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.490 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.490 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.490 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.491 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.491 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.491 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.491 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.491 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.491 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
0.491 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.491 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.492 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) 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.493 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ g h))))) into 0
0.493 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.494 * [taylor]: Taking taylor expansion of 0 in h
0.494 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify 0 into 0
0.495 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h)))))) into 0
0.495 * [backup-simplify]: Simplify 0 into 0
0.496 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ g h))))))) into 0
0.496 * [taylor]: Taking taylor expansion of 0 in h
0.496 * [backup-simplify]: Simplify 0 into 0
0.496 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ g h)))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.497 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 g)) (/ 1 h))) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.497 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
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.3333333333333333 (acos (* -1 (/ h g)))) in g
0.497 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.497 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.497 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.497 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.497 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.497 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.497 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.498 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.498 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.498 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.498 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.498 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.498 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.498 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.498 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.498 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.498 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.499 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.499 * [taylor]: Taking taylor expansion of 0 in h
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [backup-simplify]: Simplify 0 into 0
0.500 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.500 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) 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 into 0
0.502 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.502 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) into 0
0.508 * [taylor]: Taking taylor expansion of 0 in h
0.508 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ (/ 1 h) (/ 1 g))))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.508 * [backup-simplify]: Simplify (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) 3.0) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.508 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.508 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.508 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.508 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.508 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.509 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.509 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.509 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.509 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.509 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.509 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.509 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.509 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.509 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.509 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.509 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.509 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.509 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.509 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.509 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.509 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.509 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
0.509 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.509 * [backup-simplify]: Simplify (* 0.3333333333333333 (acos (* -1 (/ h g)))) into (* 0.3333333333333333 (acos (* -1 (/ h g))))
0.510 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.510 * [taylor]: Taking taylor expansion of 0 in h
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (acos (* -1 (/ h g))))) into 0
0.510 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.511 * [taylor]: Taking taylor expansion of 0 in h
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g)))))) into 0
0.512 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (* -1 (/ h g))))))) 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)))))) into (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.513 * * * [progress]: simplifying candidates
0.514 * [simplify]: Simplifying:
  (- (+ (log 2.0) (log PI)) (log 3.0))
  (- (log (* 2.0 PI)) (log 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (* (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 2.0 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (/ (* 2.0 PI) 1)
  (/ 3.0 PI)
  (* (cos (/ (* 2.0 PI) 3.0)) (cos (/ (acos (/ (- g) h)) 3.0)))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (/ (acos (/ (- g) h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ (- g) h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ (- g) h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (log (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (exp (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (exp (/ (* 2.0 PI) 3.0)) (exp (/ (acos (/ (- g) h)) 3.0)))
  (log (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (* (* (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (+ (* (* 2.0 PI) 3.0) (* 3.0 (acos (/ (- g) h))))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ (acos (/ (- g) h)) 3.0) 3))
  (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)) (* (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (- (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
  (+ (* 2.0 PI) (acos (/ (- g) h)))
  (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (- (log (acos (/ (- g) h))) (log 3.0))
  (log (/ (acos (/ (- g) h)) 3.0))
  (exp (/ (acos (/ (- g) h)) 3.0))
  (/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (acos (/ (- g) h)) 3.0)) (cbrt (/ (acos (/ (- g) h)) 3.0)))
  (cbrt (/ (acos (/ (- g) h)) 3.0))
  (* (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)) (/ (acos (/ (- g) h)) 3.0))
  (sqrt (/ (acos (/ (- g) h)) 3.0))
  (sqrt (/ (acos (/ (- g) h)) 3.0))
  (- (acos (/ (- g) h)))
  (- 3.0)
  (/ (/ PI 2) 3.0)
  (/ (asin (/ (- g) h)) 3.0)
  (/ PI 3.0)
  (/ (acos (/ g h)) 3.0)
  (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))
  (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3.0))
  (/ (cbrt (acos (/ (- g) h))) (sqrt 3.0))
  (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) 1)
  (/ (cbrt (acos (/ (- g) h))) 3.0)
  (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (acos (/ (- g) h))) (cbrt 3.0))
  (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0))
  (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0))
  (/ (sqrt (acos (/ (- g) h))) 1)
  (/ (sqrt (acos (/ (- g) h))) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (/ (- g) h)) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (acos (/ (- g) h)) (sqrt 3.0))
  (/ 1 1)
  (/ (acos (/ (- g) h)) 3.0)
  (/ 1 3.0)
  (/ 3.0 (acos (/ (- g) h)))
  (/ (acos (/ (- g) h)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (/ (- g) h)) (sqrt 3.0))
  (/ (acos (/ (- g) h)) 1)
  (/ 3.0 (cbrt (acos (/ (- g) h))))
  (/ 3.0 (sqrt (acos (/ (- g) h))))
  (/ 3.0 (acos (/ (- g) h)))
  (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
2.382 * * * [progress]: adding candidates to table
2.695 * * [progress]: iteration 2 / 4
2.695 * * * [progress]: picking best candidate
2.704 * * * * [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.704 * * * [progress]: localizing error
2.761 * * * [progress]: generating rewritten candidates
2.761 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.825 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
2.852 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
2.877 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1)
2.888 * * * [progress]: generating series expansions
2.888 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.888 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
2.888 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
2.888 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1)
2.888 * * * [progress]: simplifying candidates
2.889 * [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)))
4.628 * * * [progress]: adding candidates to table
5.053 * * [progress]: iteration 3 / 4
5.053 * * * [progress]: picking best candidate
5.059 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))>
5.059 * * * [progress]: localizing error
5.084 * * * [progress]: generating rewritten candidates
5.084 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
5.101 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
5.109 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.138 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
5.203 * * * [progress]: generating series expansions
5.203 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
5.204 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
5.204 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.206 * [backup-simplify]: Simplify (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.206 * [approximate]: Taking taylor expansion of (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) in (g h) around 0
5.206 * [taylor]: Taking taylor expansion of (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) in h
5.206 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))) in h
5.206 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
5.206 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
5.206 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.206 * [taylor]: Taking taylor expansion of PI in h
5.206 * [backup-simplify]: Simplify PI into PI
5.206 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in h
5.206 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
5.206 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
5.206 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.206 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.206 * [taylor]: Taking taylor expansion of 3.0 in h
5.206 * [backup-simplify]: Simplify 3.0 into 3.0
5.206 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.207 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.207 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.208 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.209 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.209 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))) into (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))
5.210 * [backup-simplify]: Simplify (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.211 * [backup-simplify]: Simplify (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.212 * [taylor]: Taking taylor expansion of (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) in g
5.212 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))) in g
5.212 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
5.212 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
5.212 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.212 * [taylor]: Taking taylor expansion of PI in g
5.212 * [backup-simplify]: Simplify PI into PI
5.212 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in g
5.212 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
5.212 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
5.212 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.212 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.212 * [taylor]: Taking taylor expansion of 3.0 in g
5.212 * [backup-simplify]: Simplify 3.0 into 3.0
5.212 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.212 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.213 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.214 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.214 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.215 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))) into (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))
5.216 * [backup-simplify]: Simplify (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.217 * [backup-simplify]: Simplify (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.217 * [taylor]: Taking taylor expansion of (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) in g
5.217 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))) in g
5.217 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
5.217 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
5.217 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.217 * [taylor]: Taking taylor expansion of PI in g
5.217 * [backup-simplify]: Simplify PI into PI
5.217 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in g
5.217 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
5.217 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
5.217 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.217 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.217 * [taylor]: Taking taylor expansion of 3.0 in g
5.217 * [backup-simplify]: Simplify 3.0 into 3.0
5.218 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.218 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.219 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.219 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.220 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.221 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))) into (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))
5.222 * [backup-simplify]: Simplify (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.223 * [backup-simplify]: Simplify (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.224 * [backup-simplify]: Simplify (* (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 1) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.225 * [backup-simplify]: Simplify (* (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) into 0
5.226 * [backup-simplify]: Simplify (- 0) into 0
5.227 * [backup-simplify]: Simplify (+ (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.227 * [taylor]: Taking taylor expansion of (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) in h
5.227 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))) in h
5.227 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
5.227 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
5.227 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.227 * [taylor]: Taking taylor expansion of PI in h
5.227 * [backup-simplify]: Simplify PI into PI
5.227 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in h
5.227 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
5.227 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
5.227 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.227 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.227 * [taylor]: Taking taylor expansion of 3.0 in h
5.227 * [backup-simplify]: Simplify 3.0 into 3.0
5.227 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.228 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.228 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.229 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.229 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.231 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))) into (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))
5.233 * [backup-simplify]: Simplify (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.234 * [backup-simplify]: Simplify (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.236 * [backup-simplify]: Simplify (* (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 1) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.238 * [backup-simplify]: Simplify (* (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) into 0
5.238 * [backup-simplify]: Simplify (- 0) into 0
5.240 * [backup-simplify]: Simplify (+ (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.242 * [backup-simplify]: Simplify (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.248 * [backup-simplify]: Simplify (+ 0) into 0
5.251 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (* 0 1)) into 0
5.252 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
5.253 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.256 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.256 * [backup-simplify]: Simplify (+ 0 0) into 0
5.257 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.259 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (* 0 0)) into 0
5.260 * [backup-simplify]: Simplify (- 0) into 0
5.260 * [backup-simplify]: Simplify (+ 0 0) into 0
5.260 * [taylor]: Taking taylor expansion of 0 in h
5.260 * [backup-simplify]: Simplify 0 into 0
5.260 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify (+ 0) into 0
5.263 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (* 0 1)) into 0
5.264 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
5.264 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.267 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.267 * [backup-simplify]: Simplify (+ 0 0) into 0
5.268 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.270 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (* 0 0)) into 0
5.271 * [backup-simplify]: Simplify (- 0) into 0
5.271 * [backup-simplify]: Simplify (+ 0 0) into 0
5.271 * [backup-simplify]: Simplify 0 into 0
5.272 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.274 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (+ (* 0 0) (* 0 1))) into 0
5.276 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
5.277 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.278 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.281 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.282 * [backup-simplify]: Simplify (+ 0 0) into 0
5.282 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.285 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (+ (* 0 0) (* 0 0))) into 0
5.285 * [backup-simplify]: Simplify (- 0) into 0
5.285 * [backup-simplify]: Simplify (+ 0 0) into 0
5.285 * [taylor]: Taking taylor expansion of 0 in h
5.285 * [backup-simplify]: Simplify 0 into 0
5.285 * [backup-simplify]: Simplify 0 into 0
5.285 * [backup-simplify]: Simplify 0 into 0
5.286 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.288 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (+ (* 0 0) (* 0 1))) into 0
5.289 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
5.290 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.291 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.293 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.293 * [backup-simplify]: Simplify (+ 0 0) into 0
5.293 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.295 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (+ (* 0 0) (* 0 0))) into 0
5.295 * [backup-simplify]: Simplify (- 0) into 0
5.295 * [backup-simplify]: Simplify (+ 0 0) into 0
5.295 * [backup-simplify]: Simplify 0 into 0
5.296 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.297 * [backup-simplify]: Simplify (+ (* (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.298 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.298 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
5.299 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
5.301 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.302 * [backup-simplify]: Simplify (+ 0 0) into 0
5.302 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.304 * [backup-simplify]: Simplify (+ (* (sin (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.305 * [backup-simplify]: Simplify (- 0) into 0
5.305 * [backup-simplify]: Simplify (+ 0 0) into 0
5.305 * [taylor]: Taking taylor expansion of 0 in h
5.305 * [backup-simplify]: Simplify 0 into 0
5.305 * [backup-simplify]: Simplify 0 into 0
5.306 * [backup-simplify]: Simplify (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.307 * [backup-simplify]: Simplify (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- (/ 1 g)) (/ 1 h))) (sqrt 3.0))))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.308 * [approximate]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in (g h) around 0
5.308 * [taylor]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in h
5.308 * [taylor]: Taking taylor expansion of (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) in h
5.308 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in h
5.308 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
5.308 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.308 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.308 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.308 * [taylor]: Taking taylor expansion of 3.0 in h
5.308 * [backup-simplify]: Simplify 3.0 into 3.0
5.308 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.308 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.309 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.310 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.310 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
5.310 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
5.310 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.310 * [taylor]: Taking taylor expansion of PI in h
5.310 * [backup-simplify]: Simplify PI into PI
5.310 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.311 * [backup-simplify]: Simplify (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) into (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))
5.312 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.313 * [backup-simplify]: Simplify (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.313 * [taylor]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in g
5.313 * [taylor]: Taking taylor expansion of (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) in g
5.313 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in g
5.313 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
5.314 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.314 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.314 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.314 * [taylor]: Taking taylor expansion of 3.0 in g
5.314 * [backup-simplify]: Simplify 3.0 into 3.0
5.314 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.314 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.315 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.316 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.316 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
5.316 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
5.316 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.316 * [taylor]: Taking taylor expansion of PI in g
5.316 * [backup-simplify]: Simplify PI into PI
5.316 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.317 * [backup-simplify]: Simplify (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) into (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))
5.318 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.319 * [backup-simplify]: Simplify (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.319 * [taylor]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in g
5.319 * [taylor]: Taking taylor expansion of (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) in g
5.319 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in g
5.319 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
5.319 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.319 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.319 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.319 * [taylor]: Taking taylor expansion of 3.0 in g
5.319 * [backup-simplify]: Simplify 3.0 into 3.0
5.319 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.320 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.321 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.321 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.321 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
5.321 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
5.321 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.321 * [taylor]: Taking taylor expansion of PI in g
5.321 * [backup-simplify]: Simplify PI into PI
5.322 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.323 * [backup-simplify]: Simplify (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) into (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))
5.324 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.325 * [backup-simplify]: Simplify (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.326 * [backup-simplify]: Simplify (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 1) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.327 * [backup-simplify]: Simplify (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) into 0
5.327 * [backup-simplify]: Simplify (- 0) into 0
5.328 * [backup-simplify]: Simplify (+ (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.328 * [taylor]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in h
5.328 * [taylor]: Taking taylor expansion of (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) in h
5.328 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in h
5.328 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
5.328 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.328 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.328 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.328 * [taylor]: Taking taylor expansion of 3.0 in h
5.328 * [backup-simplify]: Simplify 3.0 into 3.0
5.328 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.329 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.330 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.330 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.330 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
5.330 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
5.330 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.330 * [taylor]: Taking taylor expansion of PI in h
5.330 * [backup-simplify]: Simplify PI into PI
5.331 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.332 * [backup-simplify]: Simplify (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) into (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))
5.333 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.334 * [backup-simplify]: Simplify (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.335 * [backup-simplify]: Simplify (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 1) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.336 * [backup-simplify]: Simplify (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) into 0
5.336 * [backup-simplify]: Simplify (- 0) into 0
5.337 * [backup-simplify]: Simplify (+ (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.338 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.338 * [backup-simplify]: Simplify (+ 0) into 0
5.339 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
5.340 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.341 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.342 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
5.342 * [backup-simplify]: Simplify (+ 0 0) into 0
5.342 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.344 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
5.344 * [backup-simplify]: Simplify (- 0) into 0
5.344 * [backup-simplify]: Simplify (+ 0 0) into 0
5.344 * [taylor]: Taking taylor expansion of 0 in h
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify (+ 0) into 0
5.346 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
5.346 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.348 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.348 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
5.348 * [backup-simplify]: Simplify (+ 0 0) into 0
5.349 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.356 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
5.356 * [backup-simplify]: Simplify (- 0) into 0
5.356 * [backup-simplify]: Simplify (+ 0 0) into 0
5.356 * [backup-simplify]: Simplify 0 into 0
5.357 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.358 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
5.359 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.359 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.361 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.362 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
5.362 * [backup-simplify]: Simplify (+ 0 0) into 0
5.363 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.364 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
5.364 * [backup-simplify]: Simplify (- 0) into 0
5.365 * [backup-simplify]: Simplify (+ 0 0) into 0
5.365 * [taylor]: Taking taylor expansion of 0 in h
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.367 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
5.367 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.368 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.370 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.370 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
5.371 * [backup-simplify]: Simplify (+ 0 0) into 0
5.371 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.373 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
5.373 * [backup-simplify]: Simplify (- 0) into 0
5.373 * [backup-simplify]: Simplify (+ 0 0) into 0
5.373 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.375 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.376 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
5.377 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
5.380 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.381 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.382 * [backup-simplify]: Simplify (+ 0 0) into 0
5.383 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.385 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.386 * [backup-simplify]: Simplify (- 0) into 0
5.386 * [backup-simplify]: Simplify (+ 0 0) into 0
5.386 * [taylor]: Taking taylor expansion of 0 in h
5.386 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ (/ 1 h) (/ 1 g)))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.391 * [backup-simplify]: Simplify (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) (sqrt 3.0))))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.391 * [approximate]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in (g h) around 0
5.391 * [taylor]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in h
5.391 * [taylor]: Taking taylor expansion of (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) in h
5.391 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in h
5.391 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
5.391 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.391 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.391 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.391 * [taylor]: Taking taylor expansion of 3.0 in h
5.391 * [backup-simplify]: Simplify 3.0 into 3.0
5.391 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.392 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.393 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.394 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.394 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
5.395 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
5.395 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.395 * [taylor]: Taking taylor expansion of PI in h
5.395 * [backup-simplify]: Simplify PI into PI
5.395 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.397 * [backup-simplify]: Simplify (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) into (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))
5.398 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.400 * [backup-simplify]: Simplify (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.400 * [taylor]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in g
5.400 * [taylor]: Taking taylor expansion of (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) in g
5.400 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in g
5.400 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
5.400 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.400 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.400 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.400 * [taylor]: Taking taylor expansion of 3.0 in g
5.400 * [backup-simplify]: Simplify 3.0 into 3.0
5.401 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.401 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.403 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.404 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.404 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
5.404 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
5.404 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.404 * [taylor]: Taking taylor expansion of PI in g
5.404 * [backup-simplify]: Simplify PI into PI
5.404 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.406 * [backup-simplify]: Simplify (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) into (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))
5.407 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.408 * [backup-simplify]: Simplify (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.408 * [taylor]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in g
5.408 * [taylor]: Taking taylor expansion of (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) in g
5.408 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in g
5.408 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
5.408 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.408 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.408 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.408 * [taylor]: Taking taylor expansion of 3.0 in g
5.408 * [backup-simplify]: Simplify 3.0 into 3.0
5.408 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.409 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.410 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.410 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.410 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
5.410 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
5.410 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.410 * [taylor]: Taking taylor expansion of PI in g
5.410 * [backup-simplify]: Simplify PI into PI
5.411 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.412 * [backup-simplify]: Simplify (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) into (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))
5.413 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.414 * [backup-simplify]: Simplify (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.415 * [backup-simplify]: Simplify (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 1) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.416 * [backup-simplify]: Simplify (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) into 0
5.416 * [backup-simplify]: Simplify (- 0) into 0
5.417 * [backup-simplify]: Simplify (+ (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.417 * [taylor]: Taking taylor expansion of (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) in h
5.417 * [taylor]: Taking taylor expansion of (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) in h
5.417 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in h
5.417 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
5.417 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.417 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.417 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.417 * [taylor]: Taking taylor expansion of 3.0 in h
5.417 * [backup-simplify]: Simplify 3.0 into 3.0
5.418 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.418 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.419 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.419 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.419 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
5.419 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
5.419 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
5.420 * [taylor]: Taking taylor expansion of PI in h
5.420 * [backup-simplify]: Simplify PI into PI
5.420 * [backup-simplify]: Simplify (* 0.6666666666666666 PI) into (* 0.6666666666666666 PI)
5.421 * [backup-simplify]: Simplify (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)) into (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))
5.422 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.423 * [backup-simplify]: Simplify (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.424 * [backup-simplify]: Simplify (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 1) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.425 * [backup-simplify]: Simplify (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) into 0
5.425 * [backup-simplify]: Simplify (- 0) into 0
5.426 * [backup-simplify]: Simplify (+ (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.427 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI)))
5.427 * [backup-simplify]: Simplify (+ 0) into 0
5.429 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
5.429 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.431 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.431 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
5.431 * [backup-simplify]: Simplify (+ 0 0) into 0
5.432 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.433 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
5.433 * [backup-simplify]: Simplify (- 0) into 0
5.433 * [backup-simplify]: Simplify (+ 0 0) into 0
5.433 * [taylor]: Taking taylor expansion of 0 in h
5.433 * [backup-simplify]: Simplify 0 into 0
5.433 * [backup-simplify]: Simplify 0 into 0
5.434 * [backup-simplify]: Simplify (+ 0) into 0
5.435 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (* 0 1)) into 0
5.435 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.437 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.437 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 PI)) into 0
5.438 * [backup-simplify]: Simplify (+ 0 0) into 0
5.438 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.439 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (* 0 0)) into 0
5.440 * [backup-simplify]: Simplify (- 0) into 0
5.440 * [backup-simplify]: Simplify (+ 0 0) into 0
5.440 * [backup-simplify]: Simplify 0 into 0
5.440 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.442 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
5.442 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.443 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.445 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.446 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
5.446 * [backup-simplify]: Simplify (+ 0 0) into 0
5.446 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.448 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
5.448 * [backup-simplify]: Simplify (- 0) into 0
5.448 * [backup-simplify]: Simplify (+ 0 0) into 0
5.448 * [taylor]: Taking taylor expansion of 0 in h
5.448 * [backup-simplify]: Simplify 0 into 0
5.448 * [backup-simplify]: Simplify 0 into 0
5.448 * [backup-simplify]: Simplify 0 into 0
5.449 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.450 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
5.451 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.452 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.464 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.465 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 PI))) into 0
5.465 * [backup-simplify]: Simplify (+ 0 0) into 0
5.466 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.468 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
5.468 * [backup-simplify]: Simplify (- 0) into 0
5.469 * [backup-simplify]: Simplify (+ 0 0) into 0
5.469 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.472 * [backup-simplify]: Simplify (+ (* (cos (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.473 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
5.474 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
5.477 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.479 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.479 * [backup-simplify]: Simplify (+ 0 0) into 0
5.480 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.483 * [backup-simplify]: Simplify (+ (* (sin (+ (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.483 * [backup-simplify]: Simplify (- 0) into 0
5.483 * [backup-simplify]: Simplify (+ 0 0) into 0
5.483 * [taylor]: Taking taylor expansion of 0 in h
5.483 * [backup-simplify]: Simplify 0 into 0
5.483 * [backup-simplify]: Simplify 0 into 0
5.485 * [backup-simplify]: Simplify (cos (+ (/ (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g))))) (pow (sqrt 3.0) 2)) (* 0.6666666666666666 PI))) into (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
5.485 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
5.486 * [backup-simplify]: Simplify (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.486 * [approximate]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in (g h) around 0
5.486 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in h
5.486 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
5.486 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
5.486 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.486 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.486 * [taylor]: Taking taylor expansion of 3.0 in h
5.486 * [backup-simplify]: Simplify 3.0 into 3.0
5.487 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.487 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.488 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.488 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.488 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in g
5.489 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
5.489 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
5.489 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.489 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.489 * [taylor]: Taking taylor expansion of 3.0 in g
5.489 * [backup-simplify]: Simplify 3.0 into 3.0
5.489 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.490 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.491 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.491 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in g
5.491 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
5.491 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
5.491 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.491 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.491 * [taylor]: Taking taylor expansion of 3.0 in g
5.491 * [backup-simplify]: Simplify 3.0 into 3.0
5.491 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.492 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.492 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.493 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.493 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) in h
5.493 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
5.493 * [backup-simplify]: Simplify (acos (* -1 (/ g h))) into (acos (* -1 (/ g h)))
5.493 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.493 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.493 * [taylor]: Taking taylor expansion of 3.0 in h
5.493 * [backup-simplify]: Simplify 3.0 into 3.0
5.494 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.495 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.495 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.496 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.497 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.498 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.498 * [taylor]: Taking taylor expansion of 0 in h
5.498 * [backup-simplify]: Simplify 0 into 0
5.498 * [backup-simplify]: Simplify 0 into 0
5.499 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.501 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.501 * [backup-simplify]: Simplify 0 into 0
5.501 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.502 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.504 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.504 * [taylor]: Taking taylor expansion of 0 in h
5.504 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify 0 into 0
5.505 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.505 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.507 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.507 * [backup-simplify]: Simplify 0 into 0
5.508 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
5.509 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
5.511 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.511 * [taylor]: Taking taylor expansion of 0 in h
5.511 * [backup-simplify]: Simplify 0 into 0
5.511 * [backup-simplify]: Simplify 0 into 0
5.512 * [backup-simplify]: Simplify (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.513 * [backup-simplify]: Simplify (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- (/ 1 g)) (/ 1 h))) (sqrt 3.0))) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.513 * [approximate]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in (g h) around 0
5.513 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in h
5.513 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
5.513 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.513 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.513 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.513 * [taylor]: Taking taylor expansion of 3.0 in h
5.513 * [backup-simplify]: Simplify 3.0 into 3.0
5.514 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.514 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.516 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.517 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.517 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in g
5.517 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
5.517 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.517 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.517 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.517 * [taylor]: Taking taylor expansion of 3.0 in g
5.517 * [backup-simplify]: Simplify 3.0 into 3.0
5.518 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.519 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.520 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.522 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.522 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in g
5.522 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
5.522 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.522 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.522 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.522 * [taylor]: Taking taylor expansion of 3.0 in g
5.523 * [backup-simplify]: Simplify 3.0 into 3.0
5.523 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.525 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.526 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.528 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.528 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in h
5.528 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
5.528 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.528 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.528 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.528 * [taylor]: Taking taylor expansion of 3.0 in h
5.528 * [backup-simplify]: Simplify 3.0 into 3.0
5.528 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.529 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.531 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.532 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.533 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.534 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.537 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.537 * [taylor]: Taking taylor expansion of 0 in h
5.537 * [backup-simplify]: Simplify 0 into 0
5.537 * [backup-simplify]: Simplify 0 into 0
5.538 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.540 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.540 * [backup-simplify]: Simplify 0 into 0
5.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.543 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.546 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.546 * [taylor]: Taking taylor expansion of 0 in h
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify 0 into 0
5.547 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.548 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.552 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.552 * [backup-simplify]: Simplify 0 into 0
5.553 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
5.554 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
5.559 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.559 * [taylor]: Taking taylor expansion of 0 in h
5.559 * [backup-simplify]: Simplify 0 into 0
5.559 * [backup-simplify]: Simplify 0 into 0
5.560 * [backup-simplify]: Simplify (/ (acos (* -1 (/ (/ 1 h) (/ 1 g)))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.561 * [backup-simplify]: Simplify (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- (/ 1 (- g))) (/ 1 (- h)))) (sqrt 3.0))) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.561 * [approximate]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in (g h) around 0
5.561 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in h
5.562 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
5.562 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.562 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.562 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.562 * [taylor]: Taking taylor expansion of 3.0 in h
5.562 * [backup-simplify]: Simplify 3.0 into 3.0
5.562 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.563 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.564 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.565 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.565 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in g
5.565 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
5.566 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.566 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.566 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.566 * [taylor]: Taking taylor expansion of 3.0 in g
5.566 * [backup-simplify]: Simplify 3.0 into 3.0
5.566 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.568 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.569 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.569 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in g
5.569 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
5.569 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.569 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in g
5.569 * [taylor]: Taking taylor expansion of (sqrt 3.0) in g
5.569 * [taylor]: Taking taylor expansion of 3.0 in g
5.569 * [backup-simplify]: Simplify 3.0 into 3.0
5.570 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.572 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.573 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.573 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) in h
5.573 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
5.573 * [backup-simplify]: Simplify (acos (* -1 (/ h g))) into (acos (* -1 (/ h g)))
5.573 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in h
5.573 * [taylor]: Taking taylor expansion of (sqrt 3.0) in h
5.573 * [taylor]: Taking taylor expansion of 3.0 in h
5.573 * [backup-simplify]: Simplify 3.0 into 3.0
5.574 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
5.574 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
5.576 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
5.577 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.578 * [backup-simplify]: Simplify (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2))
5.579 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.581 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.581 * [taylor]: Taking taylor expansion of 0 in h
5.581 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify 0 into 0
5.582 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
5.585 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.585 * [backup-simplify]: Simplify 0 into 0
5.586 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.587 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.591 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.591 * [taylor]: Taking taylor expansion of 0 in h
5.591 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify 0 into 0
5.592 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
5.601 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
5.606 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.606 * [backup-simplify]: Simplify 0 into 0
5.607 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
5.608 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
5.612 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 3.0) 2)) (+ (* (/ (acos (* -1 (/ h g))) (pow (sqrt 3.0) 2)) (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))) (* 0 (/ 0 (pow (sqrt 3.0) 2))))) into 0
5.613 * [taylor]: Taking taylor expansion of 0 in h
5.613 * [backup-simplify]: Simplify 0 into 0
5.613 * [backup-simplify]: Simplify 0 into 0
5.614 * [backup-simplify]: Simplify (/ (acos (* -1 (/ (/ 1 (- h)) (/ 1 (- g))))) (pow (sqrt 3.0) 2)) into (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
5.614 * * * [progress]: simplifying candidates
5.619 * [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)
  (- 1/2)
  (- 1)
  (- (/ 1 2))
  (- (log (sqrt 3.0)))
  (- 0 (log (sqrt 3.0)))
  (- (log 1) (log (sqrt 3.0)))
  (log (/ 1 (sqrt 3.0)))
  (exp (/ 1 (sqrt 3.0)))
  (/ (* (* 1 1) 1) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)))
  (* (cbrt (/ 1 (sqrt 3.0))) (cbrt (/ 1 (sqrt 3.0))))
  (cbrt (/ 1 (sqrt 3.0)))
  (* (* (/ 1 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (/ 1 (sqrt 3.0)))
  (sqrt (/ 1 (sqrt 3.0)))
  (sqrt (/ 1 (sqrt 3.0)))
  (- 1)
  (- (sqrt 3.0))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
  (/ (cbrt 1) (cbrt (sqrt 3.0)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1) (sqrt (cbrt 3.0)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 3.0)))
  (/ (cbrt 1) (sqrt (sqrt 3.0)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))
  (/ (cbrt 1) (sqrt 3.0))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 3.0)))
  (/ (cbrt 1) (sqrt (sqrt 3.0)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sqrt 3.0))
  (/ (sqrt 1) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
  (/ (sqrt 1) (cbrt (sqrt 3.0)))
  (/ (sqrt 1) (sqrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt 1) (sqrt (cbrt 3.0)))
  (/ (sqrt 1) (sqrt (sqrt 3.0)))
  (/ (sqrt 1) (sqrt (sqrt 3.0)))
  (/ (sqrt 1) (sqrt 1))
  (/ (sqrt 1) (sqrt 3.0))
  (/ (sqrt 1) (sqrt (sqrt 3.0)))
  (/ (sqrt 1) (sqrt (sqrt 3.0)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sqrt 3.0))
  (/ 1 (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ 1 (sqrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt 3.0))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 1)
  (/ 1 (sqrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (sqrt 3.0) 1)
  (/ 1 (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
  (/ 1 (sqrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 1)
  (/ (sqrt 3.0) (cbrt 1))
  (/ (sqrt 3.0) (sqrt 1))
  (/ (sqrt 3.0) 1)
  (* (cos (/ (* 2.0 PI) 3.0)) (cos (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))
  (log (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (exp (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (* (* (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))) (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (+ (- (log (sqrt 3.0))) (- (log (acos (/ (- g) h))) (log (sqrt 3.0))))
  (+ (- (log (sqrt 3.0))) (log (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (+ (- 0 (log (sqrt 3.0))) (- (log (acos (/ (- g) h))) (log (sqrt 3.0))))
  (+ (- 0 (log (sqrt 3.0))) (log (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (+ (- (log 1) (log (sqrt 3.0))) (- (log (acos (/ (- g) h))) (log (sqrt 3.0))))
  (+ (- (log 1) (log (sqrt 3.0))) (log (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (+ (log (/ 1 (sqrt 3.0))) (- (log (acos (/ (- g) h))) (log (sqrt 3.0))))
  (+ (log (/ 1 (sqrt 3.0))) (log (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (log (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (exp (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (* (/ (acos (/ (- g) h)) (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (* (* (/ 1 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (/ 1 (sqrt 3.0))) (/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))))
  (* (* (* (/ 1 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (/ 1 (sqrt 3.0))) (* (* (/ (acos (/ (- g) h)) (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (cbrt (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))) (cbrt (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))
  (cbrt (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (* (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (sqrt (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (sqrt (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* 1 (acos (/ (- g) h)))
  (* (sqrt 3.0) (sqrt 3.0))
  (* (sqrt (/ 1 (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (sqrt (/ 1 (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (sqrt (/ 1 (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (sqrt (/ 1 (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (sqrt (/ 1 (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (sqrt (/ 1 (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt 3.0)) (* (cbrt (/ (acos (/ (- g) h)) (sqrt 3.0))) (cbrt (/ (acos (/ (- g) h)) (sqrt 3.0)))))
  (* (/ 1 (sqrt 3.0)) (sqrt (/ (acos (/ (- g) h)) (sqrt 3.0))))
  (* (/ 1 (sqrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))))
  (* (/ 1 (sqrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (/ 1 (sqrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 1)))
  (* (/ 1 (sqrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt 3.0)) (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) 1))
  (* (/ 1 (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))))
  (* (/ 1 (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (/ 1 (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt 1)))
  (* (/ 1 (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt 3.0)) (/ (sqrt (acos (/ (- g) h))) 1))
  (* (/ 1 (sqrt 3.0)) (/ 1 (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))))
  (* (/ 1 (sqrt 3.0)) (/ 1 (sqrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (/ 1 (sqrt 3.0)) (/ 1 (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt 3.0)) (/ 1 (sqrt 1)))
  (* (/ 1 (sqrt 3.0)) (/ 1 (sqrt (sqrt 3.0))))
  (* (/ 1 (sqrt 3.0)) (/ 1 1))
  (* (/ 1 (sqrt 3.0)) 1)
  (* (/ 1 (sqrt 3.0)) (acos (/ (- g) h)))
  (* (cbrt (/ 1 (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (sqrt (/ 1 (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (cbrt 1) (cbrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (cbrt 1) (sqrt (cbrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (cbrt 1) (sqrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (cbrt 1) (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (cbrt 1) (sqrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (cbrt 1) (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (sqrt 1) (cbrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (sqrt 1) (sqrt (cbrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (sqrt 1) (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (sqrt 1) (sqrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ (sqrt 1) (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (cbrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (sqrt (cbrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (sqrt (sqrt 3.0))) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (* (/ 1 (sqrt 3.0)) (acos (/ (- g) h)))
  (* 1 (/ (acos (/ (- g) h)) (sqrt 3.0)))
  (/ 1 (sqrt 3.0))
  (/ (acos (/ (- g) h)) (sqrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (acos (/ (- g) h)) (sqrt 3.0))
  (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
  (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
  (cos (+ (* 0.6666666666666666 PI) (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))))
  (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
  (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
  (/ (acos (* -1 (/ g h))) (pow (sqrt 3.0) 2))
6.914 * * * [progress]: adding candidates to table
7.435 * * [progress]: iteration 4 / 4
7.435 * * * [progress]: picking best candidate
7.438 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>
7.438 * * * [progress]: localizing error
7.508 * * * [progress]: generating rewritten candidates
7.508 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1)
7.530 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1)
7.551 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
7.571 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1)
7.601 * * * [progress]: generating series expansions
7.601 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1)
7.601 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1)
7.601 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
7.601 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1)
7.601 * * * [progress]: simplifying candidates
7.604 * [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 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 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)
  (- 1/2)
  (- 1)
  (- (/ 1 2))
  (- (log (sqrt 3.0)))
  (- 0 (log (sqrt 3.0)))
  (- (log 1) (log (sqrt 3.0)))
  (log (/ 1 (sqrt 3.0)))
  (exp (/ 1 (sqrt 3.0)))
  (/ (* (* 1 1) 1) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)))
  (* (cbrt (/ 1 (sqrt 3.0))) (cbrt (/ 1 (sqrt 3.0))))
  (cbrt (/ 1 (sqrt 3.0)))
  (* (* (/ 1 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (/ 1 (sqrt 3.0)))
  (sqrt (/ 1 (sqrt 3.0)))
  (sqrt (/ 1 (sqrt 3.0)))
  (- 1)
  (- (sqrt 3.0))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
  (/ (cbrt 1) (cbrt (sqrt 3.0)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1) (sqrt (cbrt 3.0)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 3.0)))
  (/ (cbrt 1) (sqrt (sqrt 3.0)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))
  (/ (cbrt 1) (sqrt 3.0))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 3.0)))
  (/ (cbrt 1) (sqrt (sqrt 3.0)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sqrt 3.0))
  (/ (sqrt 1) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
  (/ (sqrt 1) (cbrt (sqrt 3.0)))
  (/ (sqrt 1) (sqrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt 1) (sqrt (cbrt 3.0)))
  (/ (sqrt 1) (sqrt (sqrt 3.0)))
  (/ (sqrt 1) (sqrt (sqrt 3.0)))
  (/ (sqrt 1) (sqrt 1))
  (/ (sqrt 1) (sqrt 3.0))
  (/ (sqrt 1) (sqrt (sqrt 3.0)))
  (/ (sqrt 1) (sqrt (sqrt 3.0)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sqrt 3.0))
  (/ 1 (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ 1 (sqrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt 3.0))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 1)
  (/ 1 (sqrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (sqrt 3.0) 1)
  (/ 1 (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
  (/ 1 (sqrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt (sqrt 3.0)))
  (/ 1 1)
  (/ (sqrt 3.0) (cbrt 1))
  (/ (sqrt 3.0) (sqrt 1))
  (/ (sqrt 3.0) 1)
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))
8.083 * * * [progress]: adding candidates to table
8.707 * [progress]: [Phase 3 of 3] Extracting.
8.707 * * [regime]: Finding splitpoints for: (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<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 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.710 * * * [regime-changes]: Trying 5 branch expressions: ((- g) (/ (- g) h) (acos (/ (- g) h)) h g)
8.710 * * * * [regimes]: Trying to branch on (- g) from (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<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 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.747 * * * * [regimes]: Trying to branch on (- g) from (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.770 * * * * [regimes]: Trying to branch on (/ (- g) h) from (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<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 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.805 * * * * [regimes]: Trying to branch on (/ (- g) h) from (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.830 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<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 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.865 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.882 * * * * [regimes]: Trying to branch on h from (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<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 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.902 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))> #<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 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))) (cbrt (cos (+ (cbrt (pow (/ (* 2.0 PI) 3.0) 3)) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0))))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (* (/ 1 (sqrt 3.0)) (/ (acos (/ (- g) h)) (sqrt 3.0)))))))))>)
8.925 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.925 * [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)))))
16.640 * [regime-testing]: Baseline error score: 0.04933173052998812
16.642 * [regime-testing]: Oracle error score: 0.021096998062528252
16.648 * [regime-testing]: End program error score: 0.04933173052998812