3.214 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.205 * * * [progress]: [2/2] Setting up program. 0.208 * [progress]: [Phase 2 of 3] Improving. 0.208 * [simplify]: Simplifying using # : (*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) 0.214 * * [simplify]: iteration 0 : 53 enodes (cost 14 ) 0.214 * * [simplify]: iteration 1 : 53 enodes (cost 14 ) 0.215 * [simplify]: Simplified to: (*.f64 2 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) 0.218 * * [progress]: iteration 1 / 4 0.218 * * * [progress]: picking best candidate 0.220 * * * * [pick]: Picked # 0.220 * * * [progress]: localizing error 0.232 * * * [progress]: generating rewritten candidates 0.232 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.236 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.243 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.251 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.256 * * * [progress]: generating series expansions 0.256 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.256 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.256 * [approximate]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in (g h) around 0 0.256 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h 0.256 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.256 * [taylor]: Taking taylor expansion of 1/3 in h 0.256 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.256 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.256 * [taylor]: Taking taylor expansion of 2/3 in h 0.256 * [taylor]: Taking taylor expansion of PI in h 0.256 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in g 0.256 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.256 * [taylor]: Taking taylor expansion of 1/3 in g 0.256 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.256 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.256 * [taylor]: Taking taylor expansion of 2/3 in g 0.256 * [taylor]: Taking taylor expansion of PI in g 0.256 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in g 0.256 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.257 * [taylor]: Taking taylor expansion of 1/3 in g 0.257 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.257 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.257 * [taylor]: Taking taylor expansion of 2/3 in g 0.257 * [taylor]: Taking taylor expansion of PI in g 0.257 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h 0.257 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.257 * [taylor]: Taking taylor expansion of 1/3 in h 0.257 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.257 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.257 * [taylor]: Taking taylor expansion of 2/3 in h 0.257 * [taylor]: Taking taylor expansion of PI in h 0.257 * [taylor]: Taking taylor expansion of 0 in h 0.258 * [taylor]: Taking taylor expansion of 0 in h 0.258 * [taylor]: Taking taylor expansion of 0 in h 0.258 * [approximate]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in (g h) around 0 0.258 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.258 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.258 * [taylor]: Taking taylor expansion of 1/3 in h 0.258 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.258 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.258 * [taylor]: Taking taylor expansion of 2/3 in h 0.258 * [taylor]: Taking taylor expansion of PI in h 0.258 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g 0.258 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.259 * [taylor]: Taking taylor expansion of 1/3 in g 0.259 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.259 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.259 * [taylor]: Taking taylor expansion of 2/3 in g 0.259 * [taylor]: Taking taylor expansion of PI in g 0.259 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g 0.259 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.259 * [taylor]: Taking taylor expansion of 1/3 in g 0.259 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.259 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.259 * [taylor]: Taking taylor expansion of 2/3 in g 0.259 * [taylor]: Taking taylor expansion of PI in g 0.259 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.259 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.259 * [taylor]: Taking taylor expansion of 1/3 in h 0.259 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.259 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.259 * [taylor]: Taking taylor expansion of 2/3 in h 0.259 * [taylor]: Taking taylor expansion of PI in h 0.259 * [taylor]: Taking taylor expansion of 0 in h 0.260 * [taylor]: Taking taylor expansion of 0 in h 0.260 * [taylor]: Taking taylor expansion of 0 in h 0.260 * [approximate]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in (g h) around 0 0.260 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.260 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.260 * [taylor]: Taking taylor expansion of 1/3 in h 0.260 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.260 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.260 * [taylor]: Taking taylor expansion of 2/3 in h 0.260 * [taylor]: Taking taylor expansion of PI in h 0.260 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g 0.260 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.260 * [taylor]: Taking taylor expansion of 1/3 in g 0.260 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.261 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.261 * [taylor]: Taking taylor expansion of 2/3 in g 0.261 * [taylor]: Taking taylor expansion of PI in g 0.261 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g 0.261 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.261 * [taylor]: Taking taylor expansion of 1/3 in g 0.261 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.261 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.261 * [taylor]: Taking taylor expansion of 2/3 in g 0.261 * [taylor]: Taking taylor expansion of PI in g 0.261 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.261 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.261 * [taylor]: Taking taylor expansion of 1/3 in h 0.261 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.261 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.261 * [taylor]: Taking taylor expansion of 2/3 in h 0.261 * [taylor]: Taking taylor expansion of PI in h 0.261 * [taylor]: Taking taylor expansion of 0 in h 0.262 * [taylor]: Taking taylor expansion of 0 in h 0.262 * [taylor]: Taking taylor expansion of 0 in h 0.262 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.262 * [approximate]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in (g h) around 0 0.262 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in h 0.262 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h 0.262 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.262 * [taylor]: Taking taylor expansion of 1/3 in h 0.262 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.262 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.262 * [taylor]: Taking taylor expansion of 2/3 in h 0.262 * [taylor]: Taking taylor expansion of PI in h 0.263 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in g 0.263 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in g 0.263 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.263 * [taylor]: Taking taylor expansion of 1/3 in g 0.263 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.263 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.263 * [taylor]: Taking taylor expansion of 2/3 in g 0.263 * [taylor]: Taking taylor expansion of PI in g 0.263 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in g 0.263 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in g 0.263 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.263 * [taylor]: Taking taylor expansion of 1/3 in g 0.263 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.263 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.263 * [taylor]: Taking taylor expansion of 2/3 in g 0.263 * [taylor]: Taking taylor expansion of PI in g 0.264 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in h 0.264 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h 0.264 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.264 * [taylor]: Taking taylor expansion of 1/3 in h 0.264 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.264 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.264 * [taylor]: Taking taylor expansion of 2/3 in h 0.264 * [taylor]: Taking taylor expansion of PI in h 0.265 * [taylor]: Taking taylor expansion of 0 in h 0.266 * [taylor]: Taking taylor expansion of 0 in h 0.267 * [taylor]: Taking taylor expansion of 0 in h 0.267 * [approximate]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in (g h) around 0 0.267 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h 0.267 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.267 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.267 * [taylor]: Taking taylor expansion of 1/3 in h 0.267 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.267 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.267 * [taylor]: Taking taylor expansion of 2/3 in h 0.267 * [taylor]: Taking taylor expansion of PI in h 0.268 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in g 0.268 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g 0.268 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.268 * [taylor]: Taking taylor expansion of 1/3 in g 0.268 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.268 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.268 * [taylor]: Taking taylor expansion of 2/3 in g 0.268 * [taylor]: Taking taylor expansion of PI in g 0.268 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in g 0.268 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g 0.268 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.268 * [taylor]: Taking taylor expansion of 1/3 in g 0.268 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.268 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.268 * [taylor]: Taking taylor expansion of 2/3 in g 0.268 * [taylor]: Taking taylor expansion of PI in g 0.269 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h 0.269 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.269 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.269 * [taylor]: Taking taylor expansion of 1/3 in h 0.269 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.269 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.269 * [taylor]: Taking taylor expansion of 2/3 in h 0.269 * [taylor]: Taking taylor expansion of PI in h 0.270 * [taylor]: Taking taylor expansion of 0 in h 0.271 * [taylor]: Taking taylor expansion of 0 in h 0.272 * [taylor]: Taking taylor expansion of 0 in h 0.273 * [approximate]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in (g h) around 0 0.273 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h 0.273 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.273 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.273 * [taylor]: Taking taylor expansion of 1/3 in h 0.273 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.273 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.273 * [taylor]: Taking taylor expansion of 2/3 in h 0.273 * [taylor]: Taking taylor expansion of PI in h 0.273 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in g 0.273 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g 0.273 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.273 * [taylor]: Taking taylor expansion of 1/3 in g 0.273 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.273 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.273 * [taylor]: Taking taylor expansion of 2/3 in g 0.273 * [taylor]: Taking taylor expansion of PI in g 0.273 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in g 0.274 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g 0.274 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.274 * [taylor]: Taking taylor expansion of 1/3 in g 0.274 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.274 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g 0.274 * [taylor]: Taking taylor expansion of 2/3 in g 0.274 * [taylor]: Taking taylor expansion of PI in g 0.274 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h 0.274 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h 0.274 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.274 * [taylor]: Taking taylor expansion of 1/3 in h 0.274 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.274 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h 0.274 * [taylor]: Taking taylor expansion of 2/3 in h 0.274 * [taylor]: Taking taylor expansion of PI in h 0.275 * [taylor]: Taking taylor expansion of 0 in h 0.279 * [taylor]: Taking taylor expansion of 0 in h 0.280 * [taylor]: Taking taylor expansion of 0 in h 0.280 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.281 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in (g h) around 0 0.281 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.281 * [taylor]: Taking taylor expansion of 1/3 in h 0.281 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.281 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.281 * [taylor]: Taking taylor expansion of 1/3 in g 0.281 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.281 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g 0.281 * [taylor]: Taking taylor expansion of 1/3 in g 0.281 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.281 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h 0.281 * [taylor]: Taking taylor expansion of 1/3 in h 0.281 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.281 * [taylor]: Taking taylor expansion of 0 in h 0.282 * [taylor]: Taking taylor expansion of 0 in h 0.282 * [taylor]: Taking taylor expansion of 0 in h 0.282 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in (g h) around 0 0.282 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.282 * [taylor]: Taking taylor expansion of 1/3 in h 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.282 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.282 * [taylor]: Taking taylor expansion of 1/3 in g 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.282 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.282 * [taylor]: Taking taylor expansion of 1/3 in g 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.282 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.282 * [taylor]: Taking taylor expansion of 1/3 in h 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.283 * [taylor]: Taking taylor expansion of 0 in h 0.283 * [taylor]: Taking taylor expansion of 0 in h 0.283 * [taylor]: Taking taylor expansion of 0 in h 0.283 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in (g h) around 0 0.283 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.283 * [taylor]: Taking taylor expansion of 1/3 in h 0.283 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.283 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.283 * [taylor]: Taking taylor expansion of 1/3 in g 0.283 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.283 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g 0.283 * [taylor]: Taking taylor expansion of 1/3 in g 0.283 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.284 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h 0.284 * [taylor]: Taking taylor expansion of 1/3 in h 0.284 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.284 * [taylor]: Taking taylor expansion of 0 in h 0.284 * [taylor]: Taking taylor expansion of 0 in h 0.284 * [taylor]: Taking taylor expansion of 0 in h 0.284 * * * [progress]: simplifying candidates 0.286 * [simplify]: Simplifying using # : (*.f64 PI.f64 2/3) (+.f64 (log.f64 PI.f64) (log.f64 2/3)) (log.f64 (*.f64 PI.f64 2/3)) (exp.f64 (*.f64 PI.f64 2/3)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 2/3 2/3) 2/3)) (*.f64 (cbrt.f64 (*.f64 PI.f64 2/3)) (cbrt.f64 (*.f64 PI.f64 2/3))) (cbrt.f64 (*.f64 PI.f64 2/3)) (*.f64 (*.f64 (*.f64 PI.f64 2/3) (*.f64 PI.f64 2/3)) (*.f64 PI.f64 2/3)) (sqrt.f64 (*.f64 PI.f64 2/3)) (sqrt.f64 (*.f64 PI.f64 2/3)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 2/3)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 2/3)) (*.f64 PI.f64 (*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))) (*.f64 PI.f64 (sqrt.f64 2/3)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) 2/3) (*.f64 (sqrt.f64 PI.f64) 2/3) (*.f64 PI.f64 2/3) (*.f64 (exp.f64 (*.f64 PI.f64 2/3)) (exp.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (log.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (exp.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (*.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (sqrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (sqrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (+.f64 (pow.f64 (*.f64 PI.f64 2/3) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 3)) (+.f64 (*.f64 (*.f64 PI.f64 2/3) (*.f64 PI.f64 2/3)) (-.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (*.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (-.f64 (*.f64 (*.f64 PI.f64 2/3) (*.f64 PI.f64 2/3)) (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (-.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (+.f64 (*.f64 PI.f64 2/3) (/.f64 (/.f64 PI.f64 2) 3)) (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3)) (*.f64 (cos.f64 (*.f64 PI.f64 2/3)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (sin.f64 (*.f64 PI.f64 2/3)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (/.f64 PI.f64 2) 3))) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (sin.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (/.f64 PI.f64 2) 3))) (sin.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (*.f64 (sin.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (log.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (exp.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (*.f64 (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))) (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (*.f64 (*.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (sqrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (sqrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (-.f64 (log.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (log.f64 3)) (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (exp.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (/.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 3) 3)) (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (neg.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (neg.f64 3) (/.f64 (/.f64 PI.f64 2) 3) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 PI.f64 3) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (sqrt.f64 3)) (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3)) (/.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) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 1) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3) (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (cbrt.f64 3)) (/.f64 1 (sqrt.f64 3)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3)) (/.f64 1 1) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 1 3) (/.f64 3 (acos.f64 (/.f64 (neg.f64 g) h))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 1) (/.f64 3 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (/.f64 3 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (/.f64 3 (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 2 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64)) (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64)) (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64)) (cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64))) (cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64))) (cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64))) (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) 0.353 * * [simplify]: iteration 0 : 5026 enodes (cost 857 ) 0.358 * [simplify]: Simplified to: (*.f64 PI.f64 2/3) (log.f64 (*.f64 PI.f64 2/3)) (log.f64 (*.f64 PI.f64 2/3)) (exp.f64 (*.f64 PI.f64 2/3)) (*.f64 (pow.f64 PI.f64 3) 8/27) (*.f64 (cbrt.f64 (*.f64 PI.f64 2/3)) (cbrt.f64 (*.f64 PI.f64 2/3))) (cbrt.f64 (*.f64 PI.f64 2/3)) (*.f64 (pow.f64 PI.f64 3) 8/27) (sqrt.f64 (*.f64 PI.f64 2/3)) (sqrt.f64 (*.f64 PI.f64 2/3)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 2/3)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 2/3)) (*.f64 PI.f64 (*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))) (*.f64 PI.f64 (sqrt.f64 2/3)) PI.f64 (*.f64 2/3 (cbrt.f64 PI.f64)) (*.f64 2/3 (sqrt.f64 PI.f64)) (*.f64 PI.f64 2/3) (*.f64 (exp.f64 (*.f64 PI.f64 2/3)) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (neg.f64 g) h))))) (log.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (exp.f64 (*.f64 PI.f64 2/3)) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (neg.f64 g) h))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (pow.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) 3) (sqrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (sqrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (+.f64 (*.f64 (pow.f64 PI.f64 3) 8/27) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 3)) (+.f64 (*.f64 (*.f64 PI.f64 PI.f64) 4/9) (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (+.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 9) (*.f64 -2/9 PI.f64)))) (-.f64 (*.f64 (*.f64 PI.f64 PI.f64) 4/9) (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 9))) (-.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (*.f64 PI.f64 5/6) PI.f64 (*.f64 (cos.f64 (*.f64 PI.f64 2/3)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (sin.f64 (*.f64 PI.f64 2/3)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (cos.f64 (*.f64 PI.f64 5/6)) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) (*.f64 (sin.f64 (*.f64 PI.f64 5/6)) (sin.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) 0 (log.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (exp.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (*.f64 (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))) (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (pow.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) 3) (sqrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (sqrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 3) (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 3) (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (neg.f64 (acos.f64 (/.f64 (neg.f64 g) h))) -3 (*.f64 PI.f64 1/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 PI.f64 3) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (sqrt.f64 3)) (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3)) (*.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) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3)) (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3) (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (cbrt.f64 3)) (/.f64 1 (sqrt.f64 3)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3)) 1 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 1/3 (/.f64 3 (acos.f64 (/.f64 (neg.f64 g) h))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3)) (acos.f64 (/.f64 (neg.f64 g) h)) (/.f64 3 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (/.f64 3 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (/.f64 3 (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 2 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 0.358 * * * [progress]: adding candidates to table 0.410 * * [progress]: iteration 2 / 4 0.410 * * * [progress]: picking best candidate 0.413 * * * * [pick]: Picked # 0.413 * * * [progress]: localizing error 0.423 * * * [progress]: generating rewritten candidates 0.423 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1 1 1) 0.427 * * * [progress]: generating series expansions 0.427 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1 1 1) 0.427 * [approximate]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in (g h) around 0 0.427 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h 0.427 * [taylor]: Taking taylor expansion of 1/3 in h 0.427 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 0.428 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in g 0.428 * [taylor]: Taking taylor expansion of 1/3 in g 0.428 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 0.428 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in g 0.428 * [taylor]: Taking taylor expansion of 1/3 in g 0.428 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 0.428 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h 0.428 * [taylor]: Taking taylor expansion of 1/3 in h 0.428 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 0.428 * [taylor]: Taking taylor expansion of 0 in h 0.428 * [taylor]: Taking taylor expansion of 0 in h 0.428 * [taylor]: Taking taylor expansion of 0 in h 0.429 * [approximate]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in (g h) around 0 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h 0.429 * [taylor]: Taking taylor expansion of 1/3 in h 0.429 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g 0.429 * [taylor]: Taking taylor expansion of 1/3 in g 0.429 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g 0.429 * [taylor]: Taking taylor expansion of 1/3 in g 0.429 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h 0.429 * [taylor]: Taking taylor expansion of 1/3 in h 0.429 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.429 * [taylor]: Taking taylor expansion of 0 in h 0.429 * [taylor]: Taking taylor expansion of 0 in h 0.430 * [taylor]: Taking taylor expansion of 0 in h 0.430 * [approximate]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in (g h) around 0 0.430 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h 0.430 * [taylor]: Taking taylor expansion of 1/3 in h 0.430 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.430 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g 0.430 * [taylor]: Taking taylor expansion of 1/3 in g 0.430 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.430 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g 0.430 * [taylor]: Taking taylor expansion of 1/3 in g 0.430 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.430 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h 0.430 * [taylor]: Taking taylor expansion of 1/3 in h 0.430 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.430 * [taylor]: Taking taylor expansion of 0 in h 0.430 * [taylor]: Taking taylor expansion of 0 in h 0.431 * [taylor]: Taking taylor expansion of 0 in h 0.431 * * * [progress]: simplifying candidates 0.431 * [simplify]: Simplifying using # : (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (exp.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (/.f64 (*.f64 (*.f64 (acos.f64 (/.f64 g h)) (acos.f64 (/.f64 g h))) (acos.f64 (/.f64 g h))) (*.f64 (*.f64 3 3) 3)) (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3)) (/.f64 (acos.f64 (/.f64 g h)) 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (neg.f64 (acos.f64 (/.f64 g h))) (neg.f64 3) (/.f64 (/.f64 PI.f64 2) 3) (/.f64 (asin.f64 (/.f64 g h)) 3) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 3)) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) 1) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) 3) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) 1) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) 3) (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 1 (sqrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (/.f64 1 1) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 1 3) (/.f64 3 (acos.f64 (/.f64 g h))) (/.f64 (acos.f64 (/.f64 g h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) 1) (/.f64 3 (cbrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 3 (sqrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 3 (acos.f64 (/.f64 g h))) (*.f64 1/3 (acos.f64 (/.f64 g h))) (*.f64 1/3 (acos.f64 (/.f64 g h))) (*.f64 1/3 (acos.f64 (/.f64 g h))) 0.542 * * [simplify]: iteration 0 : 4696 enodes (cost 297 ) 0.542 * * [simplify]: iteration 1 : 4696 enodes (cost 297 ) 0.545 * [simplify]: Simplified to: (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 g h)))) (/.f64 (pow.f64 (acos.f64 (/.f64 g h)) 3) 27) (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (/.f64 (pow.f64 (acos.f64 (/.f64 g h)) 3) 27) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (neg.f64 (acos.f64 (/.f64 g h))) -3 (/.f64 PI.f64 6) (/.f64 (asin.f64 (/.f64 g h)) 3) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 3)) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)) (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) 3) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)) (sqrt.f64 (acos.f64 (/.f64 g h))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) 3) (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 1 (sqrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) 1 (/.f64 (acos.f64 (/.f64 g h)) 3) 1/3 (/.f64 3 (acos.f64 (/.f64 g h))) (/.f64 (acos.f64 (/.f64 g h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (acos.f64 (/.f64 g h)) (/.f64 3 (cbrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 3 (sqrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 3 (acos.f64 (/.f64 g h))) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3) 0.545 * * * [progress]: adding candidates to table 0.568 * * [progress]: iteration 3 / 4 0.568 * * * [progress]: picking best candidate 0.570 * * * * [pick]: Picked # 0.570 * * * [progress]: localizing error 0.583 * * * [progress]: generating rewritten candidates 0.583 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1 1 2) 0.588 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 1 1) 0.609 * * * [progress]: generating series expansions 0.609 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1 1 2) 0.610 * [approximate]: Taking taylor expansion of (/ (acos (/ g h)) (cbrt 3)) in (g h) around 0 0.610 * [taylor]: Taking taylor expansion of (/ (acos (/ g h)) (cbrt 3)) in h 0.610 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 0.610 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.610 * [taylor]: Taking taylor expansion of 3 in h 0.610 * [taylor]: Taking taylor expansion of (/ (acos (/ g h)) (cbrt 3)) in g 0.610 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 0.610 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.610 * [taylor]: Taking taylor expansion of 3 in g 0.610 * [taylor]: Taking taylor expansion of (/ (acos (/ g h)) (cbrt 3)) in g 0.610 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 0.610 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.610 * [taylor]: Taking taylor expansion of 3 in g 0.611 * [taylor]: Taking taylor expansion of (/ (acos (/ g h)) (cbrt 3)) in h 0.611 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 0.611 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.611 * [taylor]: Taking taylor expansion of 3 in h 0.611 * [taylor]: Taking taylor expansion of 0 in h 0.611 * [taylor]: Taking taylor expansion of 0 in h 0.612 * [taylor]: Taking taylor expansion of 0 in h 0.612 * [approximate]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in (g h) around 0 0.612 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in h 0.612 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.612 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.612 * [taylor]: Taking taylor expansion of 3 in h 0.612 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in g 0.612 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.612 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.612 * [taylor]: Taking taylor expansion of 3 in g 0.612 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in g 0.612 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.613 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.613 * [taylor]: Taking taylor expansion of 3 in g 0.613 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in h 0.613 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.613 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.613 * [taylor]: Taking taylor expansion of 3 in h 0.613 * [taylor]: Taking taylor expansion of 0 in h 0.613 * [taylor]: Taking taylor expansion of 0 in h 0.614 * [taylor]: Taking taylor expansion of 0 in h 0.614 * [approximate]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in (g h) around 0 0.614 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in h 0.614 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.614 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.614 * [taylor]: Taking taylor expansion of 3 in h 0.614 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in g 0.614 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.615 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.615 * [taylor]: Taking taylor expansion of 3 in g 0.615 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in g 0.615 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.615 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.615 * [taylor]: Taking taylor expansion of 3 in g 0.615 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (cbrt 3)) in h 0.615 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.615 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.615 * [taylor]: Taking taylor expansion of 3 in h 0.615 * [taylor]: Taking taylor expansion of 0 in h 0.616 * [taylor]: Taking taylor expansion of 0 in h 0.616 * [taylor]: Taking taylor expansion of 0 in h 0.616 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 1 1) 0.617 * [approximate]: Taking taylor expansion of (/ (acos (/ g h)) (pow (cbrt 3) 3)) in (g h) around 0 0.617 * [taylor]: Taking taylor expansion of (/ (acos (/ g h)) (pow (cbrt 3) 3)) in h 0.617 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 0.617 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in h 0.617 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.617 * [taylor]: Taking taylor expansion of 3 in h 0.617 * [taylor]: Taking taylor expansion of (/ (acos (/ g h)) (pow (cbrt 3) 3)) in g 0.617 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 0.617 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in g 0.617 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.617 * [taylor]: Taking taylor expansion of 3 in g 0.617 * [taylor]: Taking taylor expansion of (/ (acos (/ g h)) (pow (cbrt 3) 3)) in g 0.617 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 0.618 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in g 0.618 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.618 * [taylor]: Taking taylor expansion of 3 in g 0.618 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h 0.618 * [taylor]: Taking taylor expansion of 1/3 in h 0.618 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 0.619 * [taylor]: Taking taylor expansion of 0 in h 0.619 * [taylor]: Taking taylor expansion of 0 in h 0.620 * [taylor]: Taking taylor expansion of 0 in h 0.620 * [approximate]: Taking taylor expansion of (/ (acos (/ h g)) (pow (cbrt 3) 3)) in (g h) around 0 0.620 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (pow (cbrt 3) 3)) in h 0.620 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.620 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in h 0.620 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.620 * [taylor]: Taking taylor expansion of 3 in h 0.621 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (pow (cbrt 3) 3)) in g 0.621 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.621 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in g 0.621 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.621 * [taylor]: Taking taylor expansion of 3 in g 0.621 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (pow (cbrt 3) 3)) in g 0.621 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.621 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in g 0.621 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.621 * [taylor]: Taking taylor expansion of 3 in g 0.621 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h 0.622 * [taylor]: Taking taylor expansion of 1/3 in h 0.622 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.622 * [taylor]: Taking taylor expansion of 0 in h 0.623 * [taylor]: Taking taylor expansion of 0 in h 0.623 * [taylor]: Taking taylor expansion of 0 in h 0.624 * [approximate]: Taking taylor expansion of (/ (acos (/ h g)) (pow (cbrt 3) 3)) in (g h) around 0 0.624 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (pow (cbrt 3) 3)) in h 0.624 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.624 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in h 0.624 * [taylor]: Taking taylor expansion of (cbrt 3) in h 0.624 * [taylor]: Taking taylor expansion of 3 in h 0.624 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (pow (cbrt 3) 3)) in g 0.624 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.624 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in g 0.624 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.624 * [taylor]: Taking taylor expansion of 3 in g 0.625 * [taylor]: Taking taylor expansion of (/ (acos (/ h g)) (pow (cbrt 3) 3)) in g 0.625 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.625 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in g 0.625 * [taylor]: Taking taylor expansion of (cbrt 3) in g 0.625 * [taylor]: Taking taylor expansion of 3 in g 0.625 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h 0.625 * [taylor]: Taking taylor expansion of 1/3 in h 0.625 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.626 * [taylor]: Taking taylor expansion of 0 in h 0.626 * [taylor]: Taking taylor expansion of 0 in h 0.627 * [taylor]: Taking taylor expansion of 0 in h 0.627 * * * [progress]: simplifying candidates 0.629 * [simplify]: Simplifying using # : (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 (cbrt.f64 3))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (exp.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (/.f64 (*.f64 (*.f64 (acos.f64 (/.f64 g h)) (acos.f64 (/.f64 g h))) (acos.f64 (/.f64 g h))) 3) (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (neg.f64 (acos.f64 (/.f64 g h))) (neg.f64 (cbrt.f64 3)) (/.f64 (/.f64 PI.f64 2) (cbrt.f64 3)) (/.f64 (asin.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 (sqrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 1)) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 (cbrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) 1) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 1)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) 1) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 1 (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (cbrt.f64 3))) (/.f64 1 (cbrt.f64 (sqrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (sqrt.f64 3))) (/.f64 1 (cbrt.f64 1)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 1 (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (cbrt.f64 3))) (/.f64 1 (sqrt.f64 (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 (cbrt.f64 3))) (/.f64 1 1) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 1 (cbrt.f64 3)) (/.f64 (cbrt.f64 3) (acos.f64 (/.f64 g h))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (sqrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 1)) (/.f64 (acos.f64 (/.f64 g h)) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) 1) (/.f64 (cbrt.f64 3) (cbrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 (cbrt.f64 3) (sqrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 (cbrt.f64 3) (acos.f64 (/.f64 g h))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (+.f64 (neg.f64 (+.f64 (log.f64 (cbrt.f64 3)) (log.f64 (cbrt.f64 3)))) (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 (cbrt.f64 3)))) (+.f64 (neg.f64 (+.f64 (log.f64 (cbrt.f64 3)) (log.f64 (cbrt.f64 3)))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (+.f64 (neg.f64 (log.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 (cbrt.f64 3)))) (+.f64 (neg.f64 (log.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (+.f64 (-.f64 0 (+.f64 (log.f64 (cbrt.f64 3)) (log.f64 (cbrt.f64 3)))) (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 (cbrt.f64 3)))) (+.f64 (-.f64 0 (+.f64 (log.f64 (cbrt.f64 3)) (log.f64 (cbrt.f64 3)))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (+.f64 (-.f64 0 (log.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 (cbrt.f64 3)))) (+.f64 (-.f64 0 (log.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (+.f64 (-.f64 (log.f64 1) (+.f64 (log.f64 (cbrt.f64 3)) (log.f64 (cbrt.f64 3)))) (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 (cbrt.f64 3)))) (+.f64 (-.f64 (log.f64 1) (+.f64 (log.f64 (cbrt.f64 3)) (log.f64 (cbrt.f64 3)))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (+.f64 (-.f64 (log.f64 1) (log.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 (cbrt.f64 3)))) (+.f64 (-.f64 (log.f64 1) (log.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (+.f64 (log.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 (cbrt.f64 3)))) (+.f64 (log.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (log.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (exp.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 3 3)) (/.f64 (*.f64 (*.f64 (acos.f64 (/.f64 g h)) (acos.f64 (/.f64 g h))) (acos.f64 (/.f64 g h))) 3)) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 3 3)) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (*.f64 (*.f64 (acos.f64 (/.f64 g h)) (acos.f64 (/.f64 g h))) (acos.f64 (/.f64 g h))) 3)) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (*.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (*.f64 (*.f64 (acos.f64 (/.f64 g h)) (acos.f64 (/.f64 g h))) (acos.f64 (/.f64 g h))) 3)) (*.f64 (*.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (*.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (sqrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (sqrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 1 (acos.f64 (/.f64 g h))) (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (cbrt.f64 3)) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3)))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3)))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3)))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3)))) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3)))) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3)))) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3)))) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3)))) (*.f64 (/.f64 1 (cbrt.f64 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (/.f64 1 (cbrt.f64 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (/.f64 1 (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3)))) (*.f64 (/.f64 1 (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3)))) (*.f64 (/.f64 1 (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3)))) (*.f64 (/.f64 1 (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 (sqrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 1))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 (cbrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) 1)) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 1))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) 1)) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 1 (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 1 (cbrt.f64 (sqrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 1 (cbrt.f64 1))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 1 (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 1 (sqrt.f64 (cbrt.f64 3)))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 1 1)) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) 1) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (/.f64 1 (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (acos.f64 (/.f64 g h))) (*.f64 1 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (*.f64 1/3 (acos.f64 (/.f64 g h))) (*.f64 1/3 (acos.f64 (/.f64 g h))) (*.f64 1/3 (acos.f64 (/.f64 g h))) 0.693 * * [simplify]: iteration 0 : 5015 enodes (cost 1410 ) 0.703 * [simplify]: Simplified to: (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (exp.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (/.f64 (pow.f64 (acos.f64 (/.f64 g h)) 3) 3) (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (/.f64 (pow.f64 (acos.f64 (/.f64 g h)) 3) 3) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (neg.f64 (acos.f64 (/.f64 g h))) (neg.f64 (cbrt.f64 3)) (/.f64 (/.f64 PI.f64 2) (cbrt.f64 3)) (/.f64 (asin.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 (pow.f64 (cbrt.f64 3) 2))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 (sqrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 1)) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (*.f64 (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3)))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 (cbrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (pow.f64 (cbrt.f64 3) 2))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 1)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (sqrt.f64 (acos.f64 (/.f64 g h))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (/.f64 1 (cbrt.f64 (pow.f64 (cbrt.f64 3) 2))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (cbrt.f64 3))) (/.f64 1 (cbrt.f64 (sqrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (sqrt.f64 3))) (/.f64 1 (cbrt.f64 1)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 1 (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (cbrt.f64 3))) (/.f64 1 (sqrt.f64 (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 (cbrt.f64 3))) 1 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 1 (cbrt.f64 3)) (/.f64 (cbrt.f64 3) (acos.f64 (/.f64 g h))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (pow.f64 (cbrt.f64 3) 2))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 (sqrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 1)) (/.f64 (acos.f64 (/.f64 g h)) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 (cbrt.f64 3))) (acos.f64 (/.f64 g h)) (/.f64 (cbrt.f64 3) (cbrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 (cbrt.f64 3) (sqrt.f64 (acos.f64 (/.f64 g h)))) (/.f64 (cbrt.f64 3) (acos.f64 (/.f64 g h))) (/.f64 (acos.f64 (/.f64 g h)) 3) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 g h)))) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3) (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (acos.f64 (/.f64 g h)) 3 (*.f64 (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (sqrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 3) 2)))) (*.f64 (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (sqrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 3) 2)))) (*.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (sqrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 3) 2)))) (*.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (sqrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 3) 2)))) (*.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (sqrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 3) 2)))) (*.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (sqrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 3) 2)))) (/.f64 (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (cbrt.f64 3)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (cbrt.f64 3)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (cbrt.f64 3)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (sqrt.f64 (cbrt.f64 3))) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (sqrt.f64 (cbrt.f64 3))) (/.f64 (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (cbrt.f64 3)) (/.f64 (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (cbrt.f64 3)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (cbrt.f64 3)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (cbrt.f64 3)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (sqrt.f64 (cbrt.f64 3))) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3)) (sqrt.f64 (cbrt.f64 3))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 (pow.f64 (cbrt.f64 3) 2))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 (sqrt.f64 3))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (cbrt.f64 1)) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (*.f64 (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3))) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (cbrt.f64 3)))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 (cbrt.f64 3))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (pow.f64 (cbrt.f64 3) 2))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (sqrt.f64 3))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 1)) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 (cbrt.f64 3))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 1 (cbrt.f64 (pow.f64 (cbrt.f64 3) 2))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 3))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 1 (cbrt.f64 1)) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 3))) (pow.f64 (cbrt.f64 3) 2)) (/.f64 1 (pow.f64 (cbrt.f64 3) 2)) (/.f64 1 (pow.f64 (cbrt.f64 3) 2)) (/.f64 (acos.f64 (/.f64 g h)) (pow.f64 (cbrt.f64 3) 2)) (*.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 3) 2)))) (*.f64 (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (sqrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 3) 2)))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 (cbrt.f64 3) 2) (acos.f64 (/.f64 g h)))) (/.f64 (acos.f64 (/.f64 g h)) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (acos.f64 (/.f64 g h)) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) (pow.f64 (cbrt.f64 3) 2)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3) 0.704 * * * [progress]: adding candidates to table 0.786 * [progress]: [Phase 3 of 3] Extracting. 0.786 * * [regime]: Finding splitpoints for: (# #) 0.787 * * * [regime-changes]: Trying 2 branch expressions: (h g) 0.787 * * * * [regimes]: Trying to branch on h from (# #) 0.810 * * * * [regimes]: Trying to branch on g from (# #) 0.831 * * * [regime]: Found split indices: #