4.080 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.199 * * * [progress]: [2/2] Setting up program.
0.202 * [progress]: [Phase 2 of 3] Improving.
0.202 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
0.208 * * [simplify]: iteration  0 :  56  enodes  (cost  16 )
0.208 * * [simplify]: iteration  1 :  56  enodes  (cost  16 )
0.208 * [simplify]: Simplified to:
   (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
0.209 * * [progress]: iteration 1 / 4
0.209 * * * [progress]: picking best candidate
0.211 * * * * [pick]: Picked  #<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))>
0.211 * * * [progress]: localizing error
0.224 * * * [progress]: generating rewritten candidates
0.224 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.230 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.240 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
0.244 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.261 * * * [progress]: generating series expansions
0.261 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.261 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.261 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.261 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.261 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.261 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.261 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.261 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.261 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.261 * [taylor]: Taking taylor expansion of PI in h
0.261 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.261 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.261 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.261 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.261 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.261 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.261 * [taylor]: Taking taylor expansion of PI in g
0.261 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.261 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.262 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.262 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.262 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.262 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.262 * [taylor]: Taking taylor expansion of PI in g
0.262 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.262 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.262 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.262 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.262 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.262 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.262 * [taylor]: Taking taylor expansion of PI in h
0.262 * [taylor]: Taking taylor expansion of 0 in h
0.263 * [taylor]: Taking taylor expansion of 0 in h
0.263 * [taylor]: Taking taylor expansion of 0 in h
0.263 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.263 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.263 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.264 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.264 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.264 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.264 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.264 * [taylor]: Taking taylor expansion of PI in h
0.264 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.264 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.264 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.264 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.264 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.264 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.264 * [taylor]: Taking taylor expansion of PI in g
0.264 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.264 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.264 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.264 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.264 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.264 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.264 * [taylor]: Taking taylor expansion of PI in g
0.264 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.264 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.264 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.264 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.264 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.264 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.264 * [taylor]: Taking taylor expansion of PI in h
0.265 * [taylor]: Taking taylor expansion of 0 in h
0.265 * [taylor]: Taking taylor expansion of 0 in h
0.265 * [taylor]: Taking taylor expansion of 0 in h
0.266 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.266 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.266 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.266 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.266 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.266 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.266 * [taylor]: Taking taylor expansion of PI in h
0.266 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.266 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.266 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.266 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.266 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.266 * [taylor]: Taking taylor expansion of PI in g
0.266 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.266 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.266 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.266 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.266 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.266 * [taylor]: Taking taylor expansion of PI in g
0.266 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.267 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.267 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.267 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.267 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.267 * [taylor]: Taking taylor expansion of PI in h
0.267 * [taylor]: Taking taylor expansion of 0 in h
0.267 * [taylor]: Taking taylor expansion of 0 in h
0.268 * [taylor]: Taking taylor expansion of 0 in h
0.268 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
0.268 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0
0.268 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.268 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.268 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.268 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.268 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.268 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.268 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.268 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.268 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.268 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.268 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.268 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.269 * [taylor]: Taking taylor expansion of 0 in h
0.269 * [taylor]: Taking taylor expansion of 0 in h
0.269 * [taylor]: Taking taylor expansion of 0 in h
0.269 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.269 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.269 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.269 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.269 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.269 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.269 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.270 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.270 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.270 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.270 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.270 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.270 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.270 * [taylor]: Taking taylor expansion of 0 in h
0.270 * [taylor]: Taking taylor expansion of 0 in h
0.270 * [taylor]: Taking taylor expansion of 0 in h
0.271 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.271 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.271 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.271 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.271 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.271 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.271 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.271 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.271 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.271 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.271 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.271 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.271 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.271 * [taylor]: Taking taylor expansion of 0 in h
0.272 * [taylor]: Taking taylor expansion of 0 in h
0.272 * [taylor]: Taking taylor expansion of 0 in h
0.272 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.272 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.272 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.272 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.272 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.272 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.272 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.272 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.272 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.272 * [taylor]: Taking taylor expansion of PI in h
0.273 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.273 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.273 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.273 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.273 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.273 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.273 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.273 * [taylor]: Taking taylor expansion of PI in g
0.273 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.273 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.273 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.273 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.273 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.273 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.273 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.273 * [taylor]: Taking taylor expansion of PI in g
0.274 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.274 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.274 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.274 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.274 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.274 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.274 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.274 * [taylor]: Taking taylor expansion of PI in h
0.275 * [taylor]: Taking taylor expansion of 0 in h
0.276 * [taylor]: Taking taylor expansion of 0 in h
0.278 * [taylor]: Taking taylor expansion of 0 in h
0.278 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.278 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.278 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.278 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.278 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.278 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.278 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.278 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.278 * [taylor]: Taking taylor expansion of PI in h
0.278 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.279 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.279 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.279 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.279 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.279 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.279 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.279 * [taylor]: Taking taylor expansion of PI in g
0.279 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.279 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.279 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.279 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.279 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.279 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.279 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.279 * [taylor]: Taking taylor expansion of PI in g
0.280 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.280 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.280 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.280 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.280 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.280 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.280 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.280 * [taylor]: Taking taylor expansion of PI in h
0.281 * [taylor]: Taking taylor expansion of 0 in h
0.282 * [taylor]: Taking taylor expansion of 0 in h
0.283 * [taylor]: Taking taylor expansion of 0 in h
0.284 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.284 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.284 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.284 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.284 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.284 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.284 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.284 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.284 * [taylor]: Taking taylor expansion of PI in h
0.284 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.284 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.284 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.284 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.284 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.284 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.284 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.284 * [taylor]: Taking taylor expansion of PI in g
0.285 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.285 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.285 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.285 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.285 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.285 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.285 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.285 * [taylor]: Taking taylor expansion of PI in g
0.286 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.286 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.286 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.286 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.286 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.286 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.286 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.286 * [taylor]: Taking taylor expansion of PI in h
0.287 * [taylor]: Taking taylor expansion of 0 in h
0.288 * [taylor]: Taking taylor expansion of 0 in h
0.290 * [taylor]: Taking taylor expansion of 0 in h
0.290 * * * [progress]: simplifying candidates
0.291 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 2.0) (log.f64 PI.f64)) (log.f64 3.0))
  (-.f64 (log.f64 (*.f64 2.0 PI.f64)) (log.f64 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 PI.f64) (*.f64 2.0 PI.f64)) (*.f64 2.0 PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (*.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 2.0 1)
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (/.f64 (*.f64 2.0 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (*.f64 2.0 PI.f64) (sqrt.f64 3.0))
  (/.f64 (*.f64 2.0 PI.f64) 1)
  (/.f64 3.0 PI.f64)
  (*.f64 (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (exp.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (log.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (exp.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (*.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (+.f64 (*.f64 (*.f64 2.0 PI.f64) 3.0) (*.f64 3.0 (acos.f64 (/.f64 (neg.f64 g) h))))
  (*.f64 3.0 3.0)
  (+.f64 (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) 3))
  (+.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (-.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (-.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (-.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (+.f64 (*.f64 2.0 PI.f64) (acos.f64 (/.f64 (neg.f64 g) h)))
  (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (/.f64 PI.f64 2) 3.0))
  (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))
  (-.f64 (log.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (log.f64 3.0))
  (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (exp.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (/.f64 (*.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (acos.f64 (/.f64 (neg.f64 g) h))) (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 (*.f64 3.0 3.0) 3.0))
  (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (neg.f64 (acos.f64 (/.f64 (neg.f64 g) h)))
  (neg.f64 3.0)
  (/.f64 (/.f64 PI.f64 2) 3.0)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3.0)
  (/.f64 PI.f64 3.0)
  (/.f64 (acos.f64 (/.f64 g h)) 3.0)
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (sqrt.f64 3.0))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) 1)
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3.0)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3.0))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 1)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3.0)
  (/.f64 1 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (cbrt.f64 3.0))
  (/.f64 1 (sqrt.f64 3.0))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3.0))
  (/.f64 1 1)
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (acos.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3.0))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 1)
  (/.f64 3.0 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3.0 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3.0 (acos.f64 (/.f64 (neg.f64 g) h)))
  (*.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (/.f64 PI.f64 2) 3.0))) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (/.f64 PI.f64 2) 3.0))) (sin.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (log.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (exp.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (*.f64 (cbrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))
  (cbrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (*.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (sqrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (sqrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64))
  (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64))
  (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64))
  (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h))))
  (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h))))
  (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h))))
  (cos.f64 (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64)))
  (cos.f64 (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64)))
  (cos.f64 (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64)))
0.346 * * [simplify]: iteration  0 :  5326  enodes  (cost  1073 )
0.351 * [simplify]: Simplified to:
   (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  2.0
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (*.f64 PI.f64 (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0))))
  (*.f64 PI.f64 (/.f64 2.0 (sqrt.f64 3.0)))
  (*.f64 2.0 PI.f64)
  (/.f64 3.0 PI.f64)
  (exp.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (log.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (exp.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (pow.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) 3)
  (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 3.0 (+.f64 (*.f64 2.0 PI.f64) (acos.f64 (/.f64 (neg.f64 g) h))))
  (*.f64 3.0 3.0)
  (+.f64 (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) 3))
  (+.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (/.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (-.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (*.f64 2.0 PI.f64))) 3.0))
  (-.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (-.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (+.f64 (*.f64 2.0 PI.f64) (acos.f64 (/.f64 (neg.f64 g) h)))
  (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (/.f64 PI.f64 3.0) 2))
  (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))
  (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (exp.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) 3)
  (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) 3)
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (neg.f64 (acos.f64 (/.f64 (neg.f64 g) h)))
  (neg.f64 3.0)
  (/.f64 (/.f64 PI.f64 3.0) 2)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3.0)
  (/.f64 PI.f64 3.0)
  (/.f64 (acos.f64 (/.f64 g h)) 3.0)
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (sqrt.f64 3.0))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3.0))
  (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3.0)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3.0))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3.0))
  (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3.0)
  (/.f64 1 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (cbrt.f64 3.0))
  (/.f64 1 (sqrt.f64 3.0))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3.0))
  1
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (acos.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3.0))
  (acos.f64 (/.f64 (neg.f64 g) h))
  (/.f64 3.0 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3.0 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3.0 (acos.f64 (/.f64 (neg.f64 g) h)))
  (*.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (/.f64 PI.f64 3.0) 2))) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (/.f64 PI.f64 3.0) 2))) (sin.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (log.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (exp.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (*.f64 (cbrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))
  (cbrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (pow.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) 3)
  (sqrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (sqrt.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666))
  (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666))
  (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666))
  (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333)
  (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333)
  (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333)
  (cos.f64 (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666)))
  (cos.f64 (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666)))
  (cos.f64 (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666)))
0.352 * * * [progress]: adding candidates to table
0.439 * * [progress]: iteration 2 / 4
0.439 * * * [progress]: picking best candidate
0.445 * * * * [pick]: Picked  #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))>
0.445 * * * [progress]: localizing error
0.468 * * * [progress]: generating rewritten candidates
0.468 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.480 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2)
0.483 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2)
0.488 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1)
0.495 * * * [progress]: generating series expansions
0.495 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.495 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2)
0.495 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2)
0.495 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1)
0.495 * * * [progress]: simplifying candidates
0.496 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cos.f64 (/.f64 PI.f64 3.0)))
  (*.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (sin.f64 (/.f64 PI.f64 3.0)))
  (log.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))))
  (exp.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))))
  (*.f64 (cbrt.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)))) (cbrt.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)))))
  (cbrt.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))))
  (*.f64 (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)))) (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))))
  (sqrt.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))))
  (sqrt.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))))
  (-.f64 (log.f64 PI.f64) (log.f64 3.0))
  (log.f64 (/.f64 PI.f64 3.0))
  (exp.f64 (/.f64 PI.f64 3.0))
  (/.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 3.0 3.0) 3.0))
  (*.f64 (cbrt.f64 (/.f64 PI.f64 3.0)) (cbrt.f64 (/.f64 PI.f64 3.0)))
  (cbrt.f64 (/.f64 PI.f64 3.0))
  (*.f64 (*.f64 (/.f64 PI.f64 3.0) (/.f64 PI.f64 3.0)) (/.f64 PI.f64 3.0))
  (sqrt.f64 (/.f64 PI.f64 3.0))
  (sqrt.f64 (/.f64 PI.f64 3.0))
  (neg.f64 PI.f64)
  (neg.f64 3.0)
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (cbrt.f64 PI.f64) (cbrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (sqrt.f64 3.0))
  (/.f64 (cbrt.f64 PI.f64) (sqrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) 1)
  (/.f64 (cbrt.f64 PI.f64) 3.0)
  (/.f64 (sqrt.f64 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (sqrt.f64 PI.f64) (cbrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) 1)
  (/.f64 (sqrt.f64 PI.f64) 3.0)
  (/.f64 1 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 1 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 1 1)
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 PI.f64)
  (/.f64 PI.f64 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 PI.f64 1)
  (/.f64 3.0 (cbrt.f64 PI.f64))
  (/.f64 3.0 (sqrt.f64 PI.f64))
  (/.f64 3.0 PI.f64)
  (-.f64 (log.f64 PI.f64) (log.f64 3.0))
  (log.f64 (/.f64 PI.f64 3.0))
  (exp.f64 (/.f64 PI.f64 3.0))
  (/.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 3.0 3.0) 3.0))
  (*.f64 (cbrt.f64 (/.f64 PI.f64 3.0)) (cbrt.f64 (/.f64 PI.f64 3.0)))
  (cbrt.f64 (/.f64 PI.f64 3.0))
  (*.f64 (*.f64 (/.f64 PI.f64 3.0) (/.f64 PI.f64 3.0)) (/.f64 PI.f64 3.0))
  (sqrt.f64 (/.f64 PI.f64 3.0))
  (sqrt.f64 (/.f64 PI.f64 3.0))
  (neg.f64 PI.f64)
  (neg.f64 3.0)
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (cbrt.f64 PI.f64) (cbrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (sqrt.f64 3.0))
  (/.f64 (cbrt.f64 PI.f64) (sqrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) 1)
  (/.f64 (cbrt.f64 PI.f64) 3.0)
  (/.f64 (sqrt.f64 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (sqrt.f64 PI.f64) (cbrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) 1)
  (/.f64 (sqrt.f64 PI.f64) 3.0)
  (/.f64 1 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 1 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 1 1)
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 PI.f64)
  (/.f64 PI.f64 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 PI.f64 1)
  (/.f64 3.0 (cbrt.f64 PI.f64))
  (/.f64 3.0 (sqrt.f64 PI.f64))
  (/.f64 3.0 PI.f64)
  (-.f64 (+.f64 (log.f64 2.0) (log.f64 PI.f64)) (log.f64 3.0))
  (-.f64 (log.f64 (*.f64 2.0 PI.f64)) (log.f64 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 PI.f64) (*.f64 2.0 PI.f64)) (*.f64 2.0 PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (*.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 2.0 1)
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (/.f64 (*.f64 2.0 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (*.f64 2.0 PI.f64) (sqrt.f64 3.0))
  (/.f64 (*.f64 2.0 PI.f64) 1)
  (/.f64 3.0 PI.f64)
  (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
0.542 * * [simplify]: iteration  0 :  4957  enodes  (cost  690 )
0.542 * * [simplify]: iteration  1 :  4957  enodes  (cost  690 )
0.546 * [simplify]: Simplified to:
   (*.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cos.f64 (/.f64 PI.f64 3.0)))
  (*.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (sin.f64 (/.f64 PI.f64 3.0)))
  (log.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))))
  (exp.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))))
  (*.f64 (cbrt.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)))) (cbrt.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)))))
  (cbrt.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))))
  (pow.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) 3)
  (sqrt.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))))
  (sqrt.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))))
  (log.f64 (/.f64 PI.f64 3.0))
  (log.f64 (/.f64 PI.f64 3.0))
  (exp.f64 (/.f64 PI.f64 3.0))
  (pow.f64 (/.f64 PI.f64 3.0) 3)
  (*.f64 (cbrt.f64 (/.f64 PI.f64 3.0)) (cbrt.f64 (/.f64 PI.f64 3.0)))
  (cbrt.f64 (/.f64 PI.f64 3.0))
  (pow.f64 (/.f64 PI.f64 3.0) 3)
  (sqrt.f64 (/.f64 PI.f64 3.0))
  (sqrt.f64 (/.f64 PI.f64 3.0))
  (neg.f64 PI.f64)
  (neg.f64 3.0)
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (cbrt.f64 PI.f64) (cbrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (sqrt.f64 3.0))
  (/.f64 (cbrt.f64 PI.f64) (sqrt.f64 3.0))
  (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))
  (/.f64 (cbrt.f64 PI.f64) 3.0)
  (/.f64 (sqrt.f64 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (sqrt.f64 PI.f64) (cbrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 3.0))
  (sqrt.f64 PI.f64)
  (/.f64 (sqrt.f64 PI.f64) 3.0)
  (/.f64 1 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 1 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  1
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 PI.f64)
  (/.f64 PI.f64 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  PI.f64
  (/.f64 3.0 (cbrt.f64 PI.f64))
  (/.f64 3.0 (sqrt.f64 PI.f64))
  (/.f64 3.0 PI.f64)
  (log.f64 (/.f64 PI.f64 3.0))
  (log.f64 (/.f64 PI.f64 3.0))
  (exp.f64 (/.f64 PI.f64 3.0))
  (pow.f64 (/.f64 PI.f64 3.0) 3)
  (*.f64 (cbrt.f64 (/.f64 PI.f64 3.0)) (cbrt.f64 (/.f64 PI.f64 3.0)))
  (cbrt.f64 (/.f64 PI.f64 3.0))
  (pow.f64 (/.f64 PI.f64 3.0) 3)
  (sqrt.f64 (/.f64 PI.f64 3.0))
  (sqrt.f64 (/.f64 PI.f64 3.0))
  (neg.f64 PI.f64)
  (neg.f64 3.0)
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (cbrt.f64 PI.f64) (cbrt.f64 3.0))
  (/.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (sqrt.f64 3.0))
  (/.f64 (cbrt.f64 PI.f64) (sqrt.f64 3.0))
  (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))
  (/.f64 (cbrt.f64 PI.f64) 3.0)
  (/.f64 (sqrt.f64 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (sqrt.f64 PI.f64) (cbrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 3.0))
  (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 3.0))
  (sqrt.f64 PI.f64)
  (/.f64 (sqrt.f64 PI.f64) 3.0)
  (/.f64 1 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 1 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  1
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 PI.f64)
  (/.f64 PI.f64 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  PI.f64
  (/.f64 3.0 (cbrt.f64 PI.f64))
  (/.f64 3.0 (sqrt.f64 PI.f64))
  (/.f64 3.0 PI.f64)
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (exp.f64 (/.f64 PI.f64 3.0)) 2.0)
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (*.f64 2.0 (neg.f64 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  2.0
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (*.f64 2.0 (/.f64 PI.f64 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0))))
  (*.f64 2.0 (/.f64 PI.f64 (sqrt.f64 3.0)))
  (*.f64 2.0 PI.f64)
  (/.f64 3.0 PI.f64)
  (*.f64 (cos.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (cos.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (cos.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (cos.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
  (*.f64 (sin.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))
0.547 * * * [progress]: adding candidates to table
0.677 * * [progress]: iteration 3 / 4
0.677 * * * [progress]: picking best candidate
0.680 * * * * [pick]: Picked  #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>
0.680 * * * [progress]: localizing error
0.701 * * * [progress]: generating rewritten candidates
0.701 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
0.706 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1)
0.711 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
0.717 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.728 * * * [progress]: generating series expansions
0.728 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1)
0.728 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1)
0.728 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
0.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.729 * [approximate]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 1/3) in (g h) around 0
0.729 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 1/3) in h
0.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))))) in h
0.729 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) in h
0.729 * [taylor]: Taking taylor expansion of 1/3 in h
0.729 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.729 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.729 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.729 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.729 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.729 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.729 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.729 * [taylor]: Taking taylor expansion of PI in h
0.730 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 1/3) in g
0.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))))) in g
0.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) in g
0.730 * [taylor]: Taking taylor expansion of 1/3 in g
0.730 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.730 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.730 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.730 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.730 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.730 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.730 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.730 * [taylor]: Taking taylor expansion of PI in g
0.730 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 1/3) in g
0.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))))) in g
0.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) in g
0.730 * [taylor]: Taking taylor expansion of 1/3 in g
0.730 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.730 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.730 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.730 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.731 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.731 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.731 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.731 * [taylor]: Taking taylor expansion of PI in g
0.731 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 1/3) in h
0.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))))) in h
0.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))) in h
0.731 * [taylor]: Taking taylor expansion of 1/3 in h
0.731 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.731 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.731 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.731 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.731 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.731 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.731 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.731 * [taylor]: Taking taylor expansion of PI in h
0.733 * [taylor]: Taking taylor expansion of 0 in h
0.734 * [taylor]: Taking taylor expansion of 0 in h
0.736 * [taylor]: Taking taylor expansion of 0 in h
0.737 * [approximate]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in (g h) around 0
0.737 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in h
0.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))))) in h
0.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in h
0.737 * [taylor]: Taking taylor expansion of 1/3 in h
0.737 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.737 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.737 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.737 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.737 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.737 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.737 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.737 * [taylor]: Taking taylor expansion of PI in h
0.737 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in g
0.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))))) in g
0.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in g
0.738 * [taylor]: Taking taylor expansion of 1/3 in g
0.738 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.738 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.738 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.738 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.738 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.738 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.738 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.738 * [taylor]: Taking taylor expansion of PI in g
0.738 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in g
0.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))))) in g
0.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in g
0.738 * [taylor]: Taking taylor expansion of 1/3 in g
0.738 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.738 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.738 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.738 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.738 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.738 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.738 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.738 * [taylor]: Taking taylor expansion of PI in g
0.739 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in h
0.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))))) in h
0.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in h
0.739 * [taylor]: Taking taylor expansion of 1/3 in h
0.739 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.739 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.739 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.739 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.739 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.739 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.739 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.739 * [taylor]: Taking taylor expansion of PI in h
0.740 * [taylor]: Taking taylor expansion of 0 in h
0.742 * [taylor]: Taking taylor expansion of 0 in h
0.744 * [taylor]: Taking taylor expansion of 0 in h
0.744 * [approximate]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in (g h) around 0
0.745 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in h
0.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))))) in h
0.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in h
0.745 * [taylor]: Taking taylor expansion of 1/3 in h
0.745 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.745 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.745 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.745 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.745 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.745 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.745 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.745 * [taylor]: Taking taylor expansion of PI in h
0.745 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in g
0.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))))) in g
0.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in g
0.745 * [taylor]: Taking taylor expansion of 1/3 in g
0.745 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.745 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.745 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.745 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.745 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.745 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.746 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.746 * [taylor]: Taking taylor expansion of PI in g
0.746 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in g
0.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))))) in g
0.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in g
0.746 * [taylor]: Taking taylor expansion of 1/3 in g
0.746 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.746 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.746 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.746 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.746 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.746 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.746 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.746 * [taylor]: Taking taylor expansion of PI in g
0.747 * [taylor]: Taking taylor expansion of (pow (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 1/3) in h
0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))))) in h
0.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)))) in h
0.747 * [taylor]: Taking taylor expansion of 1/3 in h
0.747 * [taylor]: Taking taylor expansion of (log (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.747 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.747 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.747 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.747 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.747 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.747 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.747 * [taylor]: Taking taylor expansion of PI in h
0.748 * [taylor]: Taking taylor expansion of 0 in h
0.750 * [taylor]: Taking taylor expansion of 0 in h
0.752 * [taylor]: Taking taylor expansion of 0 in h
0.752 * * * [progress]: simplifying candidates
0.753 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 2.0) (log.f64 PI.f64)) (log.f64 3.0))
  (-.f64 (log.f64 (*.f64 2.0 PI.f64)) (log.f64 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 PI.f64) (*.f64 2.0 PI.f64)) (*.f64 2.0 PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (*.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 2.0 1)
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (/.f64 (*.f64 2.0 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (*.f64 2.0 PI.f64) (sqrt.f64 3.0))
  (/.f64 (*.f64 2.0 PI.f64) 1)
  (/.f64 3.0 PI.f64)
  (-.f64 (+.f64 (log.f64 2.0) (log.f64 PI.f64)) (log.f64 3.0))
  (-.f64 (log.f64 (*.f64 2.0 PI.f64)) (log.f64 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 PI.f64) (*.f64 2.0 PI.f64)) (*.f64 2.0 PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (*.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 2.0 1)
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (/.f64 (*.f64 2.0 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (*.f64 2.0 PI.f64) (sqrt.f64 3.0))
  (/.f64 (*.f64 2.0 PI.f64) 1)
  (/.f64 3.0 PI.f64)
  (-.f64 (+.f64 (log.f64 2.0) (log.f64 PI.f64)) (log.f64 3.0))
  (-.f64 (log.f64 (*.f64 2.0 PI.f64)) (log.f64 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (/.f64 (*.f64 (*.f64 (*.f64 2.0 PI.f64) (*.f64 2.0 PI.f64)) (*.f64 2.0 PI.f64)) (*.f64 (*.f64 3.0 3.0) 3.0))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (*.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  (/.f64 2.0 1)
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (/.f64 (*.f64 2.0 PI.f64) (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 (*.f64 2.0 PI.f64) (sqrt.f64 3.0))
  (/.f64 (*.f64 2.0 PI.f64) 1)
  (/.f64 3.0 PI.f64)
  (log.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (exp.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))
  (cbrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (cbrt.f64 (/.f64 1 3.0))
  (cbrt.f64 (+.f64 (*.f64 2.0 PI.f64) (acos.f64 (/.f64 (neg.f64 g) h))))
  (cbrt.f64 (+.f64 (*.f64 (*.f64 2.0 PI.f64) 3.0) (*.f64 3.0 (acos.f64 (/.f64 (neg.f64 g) h)))))
  (cbrt.f64 (*.f64 3.0 3.0))
  (cbrt.f64 (+.f64 (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) 3)))
  (cbrt.f64 (+.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (-.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))
  (cbrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (-.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))
  (cbrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (sqrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (sqrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (pow.f64 (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64)) 1/3)
  (pow.f64 (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64)) 1/3)
  (pow.f64 (+.f64 (*.f64 0.3333333333333333 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 0.6666666666666666 PI.f64)) 1/3)
0.802 * * [simplify]: iteration  0 :  4935  enodes  (cost  915 )
0.802 * * [simplify]: iteration  1 :  4935  enodes  (cost  915 )
0.807 * [simplify]: Simplified to:
   (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  2.0
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (*.f64 PI.f64 (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0))))
  (*.f64 2.0 (/.f64 PI.f64 (sqrt.f64 3.0)))
  (*.f64 2.0 PI.f64)
  (/.f64 3.0 PI.f64)
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  2.0
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (*.f64 PI.f64 (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0))))
  (*.f64 2.0 (/.f64 PI.f64 (sqrt.f64 3.0)))
  (*.f64 2.0 PI.f64)
  (/.f64 3.0 PI.f64)
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (log.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (exp.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))
  (cbrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3)
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (sqrt.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))
  (neg.f64 (*.f64 2.0 PI.f64))
  (neg.f64 3.0)
  (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))
  (/.f64 PI.f64 (cbrt.f64 3.0))
  (/.f64 2.0 (sqrt.f64 3.0))
  (/.f64 PI.f64 (sqrt.f64 3.0))
  2.0
  (/.f64 PI.f64 3.0)
  (/.f64 1 3.0)
  (/.f64 3.0 (*.f64 2.0 PI.f64))
  (*.f64 PI.f64 (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0))))
  (*.f64 2.0 (/.f64 PI.f64 (sqrt.f64 3.0)))
  (*.f64 2.0 PI.f64)
  (/.f64 3.0 PI.f64)
  (log.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (exp.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))
  (cbrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (cbrt.f64 (/.f64 1 3.0))
  (cbrt.f64 (+.f64 (*.f64 2.0 PI.f64) (acos.f64 (/.f64 (neg.f64 g) h))))
  (cbrt.f64 (*.f64 3.0 (+.f64 (*.f64 2.0 PI.f64) (acos.f64 (/.f64 (neg.f64 g) h)))))
  (cbrt.f64 (*.f64 3.0 3.0))
  (cbrt.f64 (+.f64 (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) 3)))
  (cbrt.f64 (+.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (/.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (-.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (*.f64 2.0 PI.f64))) 3.0)))
  (cbrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (-.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))
  (cbrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))
  (sqrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (sqrt.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))
  (cbrt.f64 (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666)))
  (cbrt.f64 (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666)))
  (cbrt.f64 (+.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 0.3333333333333333) (*.f64 PI.f64 0.6666666666666666)))
0.807 * * * [progress]: adding candidates to table
0.927 * [progress]: [Phase 3 of 3] Extracting.
0.927 * * [regime]: Finding splitpoints for: (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
0.928 * * * [regime-changes]: Trying 9 branch expressions: ((neg.f64 g) (/.f64 (neg.f64 g) h) (acos.f64 (/.f64 (neg.f64 g) h)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) h g)
0.928 * * * * [regimes]: Trying to branch on (neg.f64 g) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
0.964 * * * * [regimes]: Trying to branch on (neg.f64 g) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
0.995 * * * * [regimes]: Trying to branch on (/.f64 (neg.f64 g) h) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.030 * * * * [regimes]: Trying to branch on (/.f64 (neg.f64 g) h) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.061 * * * * [regimes]: Trying to branch on (acos.f64 (/.f64 (neg.f64 g) h)) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.088 * * * * [regimes]: Trying to branch on (acos.f64 (/.f64 (neg.f64 g) h)) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.110 * * * * [regimes]: Trying to branch on (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.137 * * * * [regimes]: Trying to branch on (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.160 * * * * [regimes]: Trying to branch on (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.189 * * * * [regimes]: Trying to branch on (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.214 * * * * [regimes]: Trying to branch on (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.244 * * * * [regimes]: Trying to branch on (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.272 * * * * [regimes]: Trying to branch on h from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.308 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g h) (*.f64 2.0 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))> #<alt (λ (g h) (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))))))> #<alt (λ (g h) (*.f64 2.0 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0)))))))>)
1.343 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.344 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))))
1.345 * * [simplify]: iteration  0 :  26  enodes  (cost  39 )
1.345 * * [simplify]: iteration  1 :  26  enodes  (cost  39 )
1.345 * [simplify]: Simplified to:
   (*.f64 2.0 (+.f64 (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))))
2.549 * [regime-testing]: End program error score: 0.04827971934117966