10.593 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.195 * * * [progress]: [2/2] Setting up program. 0.198 * [progress]: [Phase 2 of 3] Improving. 0.199 * [simplify]: Simplifying using # : (*.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.204 * * [simplify]: iteration 0 : 56 enodes (cost 16 ) 0.205 * * [simplify]: iteration 1 : 56 enodes (cost 16 ) 0.205 * [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.205 * * [progress]: iteration 1 / 4 0.205 * * * [progress]: picking best candidate 0.208 * * * * [pick]: Picked # 0.208 * * * [progress]: localizing error 0.220 * * * [progress]: generating rewritten candidates 0.220 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.225 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.236 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.251 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.257 * * * [progress]: generating series expansions 0.257 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.257 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.257 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.257 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.257 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.257 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.257 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.257 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.257 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.257 * [taylor]: Taking taylor expansion of PI in h 0.257 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.257 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.257 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.257 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.257 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.257 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.257 * [taylor]: Taking taylor expansion of PI in g 0.257 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.257 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.258 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.258 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.258 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.258 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.258 * [taylor]: Taking taylor expansion of PI in g 0.258 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.258 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.258 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.258 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.258 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.258 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.258 * [taylor]: Taking taylor expansion of PI in h 0.258 * [taylor]: Taking taylor expansion of 0 in h 0.259 * [taylor]: Taking taylor expansion of 0 in h 0.259 * [taylor]: Taking taylor expansion of 0 in h 0.259 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.259 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.259 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.259 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.259 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.260 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.260 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.260 * [taylor]: Taking taylor expansion of PI in h 0.260 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.260 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.260 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.260 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.260 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.260 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.260 * [taylor]: Taking taylor expansion of PI in g 0.260 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.260 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.260 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.260 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.260 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.260 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.260 * [taylor]: Taking taylor expansion of PI in g 0.260 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.260 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.260 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.260 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.260 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.260 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.260 * [taylor]: Taking taylor expansion of PI in h 0.261 * [taylor]: Taking taylor expansion of 0 in h 0.261 * [taylor]: Taking taylor expansion of 0 in h 0.261 * [taylor]: Taking taylor expansion of 0 in h 0.262 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.262 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.262 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.262 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.262 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) 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.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.262 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.262 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.262 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) 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 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.262 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.262 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.262 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) 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 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.262 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.262 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.262 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) 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.263 * [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.264 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.264 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.264 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.264 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.264 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.264 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.264 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) 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 (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g 0.265 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.265 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.265 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.265 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.265 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.265 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.265 * [taylor]: Taking taylor expansion of PI in g 0.265 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g 0.265 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.265 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.265 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.265 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.265 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.265 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.265 * [taylor]: Taking taylor expansion of PI in g 0.266 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.266 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.266 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.266 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) 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.268 * [taylor]: Taking taylor expansion of 0 in h 0.269 * [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 (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.271 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.271 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 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.6666666666666666 PI) in h 0.271 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.271 * [taylor]: Taking taylor expansion of PI in h 0.271 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.271 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) 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.6666666666666666 PI) in g 0.271 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.271 * [taylor]: Taking taylor expansion of PI in g 0.272 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.272 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.272 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.272 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.272 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.272 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.272 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.272 * [taylor]: Taking taylor expansion of PI in g 0.273 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.273 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.273 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.273 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.273 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.273 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.273 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.273 * [taylor]: Taking taylor expansion of PI in h 0.274 * [taylor]: Taking taylor expansion of 0 in h 0.275 * [taylor]: Taking taylor expansion of 0 in h 0.276 * [taylor]: Taking taylor expansion of 0 in h 0.276 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.276 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.276 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.276 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.276 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.276 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.277 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.277 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.277 * [taylor]: Taking taylor expansion of PI in h 0.277 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.277 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.277 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.277 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.277 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.277 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.277 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.277 * [taylor]: Taking taylor expansion of PI in g 0.277 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.277 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.277 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.277 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.278 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.278 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.278 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.278 * [taylor]: Taking taylor expansion of PI in g 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.280 * [taylor]: Taking taylor expansion of 0 in h 0.281 * [taylor]: Taking taylor expansion of 0 in h 0.282 * [taylor]: Taking taylor expansion of 0 in h 0.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.282 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0 0.282 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.282 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.282 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.282 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.282 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.282 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.282 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.282 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.282 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) 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 (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.283 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.283 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.283 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.283 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.283 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.283 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) 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.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 in h 0.284 * [taylor]: Taking taylor expansion of 0 in h 0.284 * [taylor]: Taking taylor expansion of 0 in h 0.285 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.285 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.285 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.285 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 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.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.3333333333333333 (acos (* -1 (/ h g)))) in h 0.285 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.285 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.285 * [taylor]: Taking taylor expansion of 0 in h 0.286 * [taylor]: Taking taylor expansion of 0 in h 0.286 * [taylor]: Taking taylor expansion of 0 in h 0.286 * * * [progress]: simplifying candidates 0.287 * [simplify]: Simplifying using # : (-.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 (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 (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 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)) (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))) (*.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)))) 0.344 * * [simplify]: iteration 0 : 5326 enodes (cost 1073 ) 0.349 * [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)) (*.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)))) (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 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)) (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))) (*.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) 0.350 * * * [progress]: adding candidates to table 0.444 * * [progress]: iteration 2 / 4 0.444 * * * [progress]: picking best candidate 0.452 * * * * [pick]: Picked # 0.452 * * * [progress]: localizing error 0.480 * * * [progress]: generating rewritten candidates 0.480 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 0.491 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2) 0.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2) 0.498 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1) 0.505 * * * [progress]: generating series expansions 0.505 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 0.505 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2) 0.505 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2) 0.505 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1) 0.506 * * * [progress]: simplifying candidates 0.507 * [simplify]: Simplifying using # : (*.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.552 * * [simplify]: iteration 0 : 4957 enodes (cost 690 ) 0.552 * * [simplify]: iteration 1 : 4957 enodes (cost 690 ) 0.556 * [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.557 * * * [progress]: adding candidates to table 0.689 * * [progress]: iteration 3 / 4 0.689 * * * [progress]: picking best candidate 0.694 * * * * [pick]: Picked # 0.694 * * * [progress]: localizing error 0.708 * * * [progress]: generating rewritten candidates 0.708 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 0.712 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 0.723 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2) 0.726 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.748 * * * [progress]: generating series expansions 0.748 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 0.748 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 0.748 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2) 0.748 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.748 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in (g h) around 0 0.748 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h 0.748 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h 0.748 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 0.748 * [taylor]: Taking taylor expansion of 1.0 in h 0.748 * [taylor]: Taking taylor expansion of PI in h 0.748 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h 0.748 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.748 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 0.748 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g 0.748 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g 0.749 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 0.749 * [taylor]: Taking taylor expansion of 1.0 in g 0.749 * [taylor]: Taking taylor expansion of PI in g 0.749 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g 0.749 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.749 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 0.749 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g 0.749 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g 0.749 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 0.749 * [taylor]: Taking taylor expansion of 1.0 in g 0.749 * [taylor]: Taking taylor expansion of PI in g 0.749 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g 0.749 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.749 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g 0.750 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h 0.750 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h 0.750 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 0.750 * [taylor]: Taking taylor expansion of 1.0 in h 0.750 * [taylor]: Taking taylor expansion of PI in h 0.750 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h 0.750 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.750 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h 0.751 * [taylor]: Taking taylor expansion of 0 in h 0.752 * [taylor]: Taking taylor expansion of 0 in h 0.753 * [taylor]: Taking taylor expansion of 0 in h 0.753 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0 0.753 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h 0.753 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h 0.753 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 0.753 * [taylor]: Taking taylor expansion of 1.0 in h 0.753 * [taylor]: Taking taylor expansion of PI in h 0.753 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h 0.753 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.753 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.754 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g 0.754 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g 0.754 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 0.754 * [taylor]: Taking taylor expansion of 1.0 in g 0.754 * [taylor]: Taking taylor expansion of PI in g 0.754 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g 0.754 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.754 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.754 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g 0.754 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g 0.754 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 0.754 * [taylor]: Taking taylor expansion of 1.0 in g 0.754 * [taylor]: Taking taylor expansion of PI in g 0.754 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g 0.754 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.754 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.755 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h 0.755 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h 0.755 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 0.755 * [taylor]: Taking taylor expansion of 1.0 in h 0.755 * [taylor]: Taking taylor expansion of PI in h 0.755 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h 0.755 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.755 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.758 * [taylor]: Taking taylor expansion of 0 in h 0.759 * [taylor]: Taking taylor expansion of 0 in h 0.760 * [taylor]: Taking taylor expansion of 0 in h 0.761 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0 0.761 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h 0.761 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h 0.761 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 0.761 * [taylor]: Taking taylor expansion of 1.0 in h 0.761 * [taylor]: Taking taylor expansion of PI in h 0.761 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h 0.761 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.761 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.761 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g 0.761 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g 0.761 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 0.761 * [taylor]: Taking taylor expansion of 1.0 in g 0.761 * [taylor]: Taking taylor expansion of PI in g 0.761 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g 0.761 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.761 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.762 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g 0.762 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g 0.762 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g 0.762 * [taylor]: Taking taylor expansion of 1.0 in g 0.762 * [taylor]: Taking taylor expansion of PI in g 0.762 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g 0.762 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.762 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g 0.762 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h 0.762 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h 0.762 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h 0.762 * [taylor]: Taking taylor expansion of 1.0 in h 0.762 * [taylor]: Taking taylor expansion of PI in h 0.762 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h 0.762 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.762 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h 0.764 * [taylor]: Taking taylor expansion of 0 in h 0.765 * [taylor]: Taking taylor expansion of 0 in h 0.766 * [taylor]: Taking taylor expansion of 0 in h 0.766 * * * [progress]: simplifying candidates 0.767 * [simplify]: Simplifying using # : (-.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 PI.f64 3.0))) (log.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (exp.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)))) (cbrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (*.f64 (*.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (sqrt.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (+.f64 (*.f64 (*.f64 2.0 PI.f64) 3.0) (*.f64 3.0 PI.f64)) (*.f64 3.0 3.0) (+.f64 (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3) (pow.f64 (/.f64 PI.f64 3.0) 3)) (+.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (-.f64 (*.f64 (/.f64 PI.f64 3.0) (/.f64 PI.f64 3.0)) (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)))) (-.f64 (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 (*.f64 2.0 PI.f64) 3.0)) (*.f64 (/.f64 PI.f64 3.0) (/.f64 PI.f64 3.0))) (-.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (+.f64 (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0))) (/.f64 1 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))) (+.f64 (/.f64 2.0 (sqrt.f64 3.0)) (/.f64 1 (sqrt.f64 3.0))) (+.f64 (/.f64 2.0 1) (/.f64 1 1)) (+.f64 (/.f64 2.0 1) 1) (+.f64 (*.f64 2.0 PI.f64) PI.f64) (+.f64 (/.f64 2.0 1) 1) (-.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 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0))) (cos.f64 (neg.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 (neg.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cos.f64 (-.f64 (/.f64 PI.f64 3.0) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (sin.f64 (-.f64 (/.f64 PI.f64 3.0) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (/.f64 PI.f64 2) 3.0))) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (/.f64 PI.f64 2) 3.0))) (sin.f64 (/.f64 (asin.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))) (log.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (exp.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (cbrt.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (cbrt.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0))))) (cbrt.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (*.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0))) (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (sqrt.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (sqrt.f64 (cos.f64 (-.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (/.f64 PI.f64 3.0)) (cos.f64 (-.f64 (*.f64 1.0 PI.f64) (*.f64 0.3333333333333333 (acos.f64 (/.f64 g h))))) (cos.f64 (-.f64 (*.f64 1.0 PI.f64) (*.f64 0.3333333333333333 (acos.f64 (/.f64 g h))))) (cos.f64 (-.f64 (*.f64 1.0 PI.f64) (*.f64 0.3333333333333333 (acos.f64 (/.f64 g h))))) 0.811 * * [simplify]: iteration 0 : 5026 enodes (cost 806 ) 0.816 * [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) (pow.f64 (exp.f64 (/.f64 PI.f64 3.0)) (+.f64 2.0 1)) (log.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (pow.f64 (exp.f64 (/.f64 PI.f64 3.0)) (+.f64 2.0 1)) (*.f64 (cbrt.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (cbrt.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)))) (cbrt.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (pow.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) 3) (sqrt.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (sqrt.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0))) (*.f64 PI.f64 (+.f64 3.0 (*.f64 2.0 3.0))) (*.f64 3.0 3.0) (+.f64 (pow.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) 3) (pow.f64 (/.f64 PI.f64 3.0) 3)) (*.f64 (/.f64 PI.f64 3.0) (+.f64 (/.f64 PI.f64 3.0) (*.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (+.f64 -1 2.0)))) (*.f64 (/.f64 PI.f64 3.0) (-.f64 (*.f64 2.0 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (/.f64 PI.f64 3.0))) (*.f64 (/.f64 PI.f64 3.0) (+.f64 2.0 -1)) (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (+.f64 (/.f64 2.0 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0))) (/.f64 1 (*.f64 (cbrt.f64 3.0) (cbrt.f64 3.0)))) (+.f64 (/.f64 2.0 (sqrt.f64 3.0)) (/.f64 1 (sqrt.f64 3.0))) (+.f64 2.0 1) (+.f64 2.0 1) (+.f64 PI.f64 (*.f64 2.0 PI.f64)) (+.f64 2.0 1) (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) (*.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 (neg.f64 (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cos.f64 (-.f64 (/.f64 PI.f64 3.0) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (sin.f64 (-.f64 (/.f64 PI.f64 3.0) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (cos.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (*.f64 1/2 (/.f64 PI.f64 3.0)))) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3.0))) (*.f64 (sin.f64 (+.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0) (*.f64 1/2 (/.f64 PI.f64 3.0)))) (sin.f64 (/.f64 (asin.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))) (log.f64 (cos.f64 (-.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (exp.f64 (cos.f64 (-.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (cbrt.f64 (cos.f64 (-.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (cbrt.f64 (cos.f64 (-.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0))))) (cbrt.f64 (cos.f64 (-.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (pow.f64 (cos.f64 (-.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0))) 3) (sqrt.f64 (cos.f64 (-.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (sqrt.f64 (cos.f64 (-.f64 (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (/.f64 (acos.f64 (/.f64 g h)) 3.0)))) (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (*.f64 (+.f64 2.0 1) (/.f64 PI.f64 3.0)) (cos.f64 (-.f64 (*.f64 PI.f64 1.0) (*.f64 (acos.f64 (/.f64 g h)) 0.3333333333333333))) (cos.f64 (-.f64 (*.f64 PI.f64 1.0) (*.f64 (acos.f64 (/.f64 g h)) 0.3333333333333333))) (cos.f64 (-.f64 (*.f64 PI.f64 1.0) (*.f64 (acos.f64 (/.f64 g h)) 0.3333333333333333))) 0.816 * * * [progress]: adding candidates to table 0.904 * * [progress]: iteration 4 / 4 0.904 * * * [progress]: picking best candidate 0.909 * * * * [pick]: Picked # 0.909 * * * [progress]: localizing error 0.928 * * * [progress]: generating rewritten candidates 0.928 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.930 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 0.936 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 0.941 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.944 * * * [progress]: generating series expansions 0.944 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.944 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 0.944 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 0.944 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.944 * * * [progress]: simplifying candidates 0.945 * [simplify]: Simplifying using # : (log.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (exp.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (*.f64 (cbrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (cbrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))) (cbrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (*.f64 (*.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (sqrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (sqrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (-.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 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (exp.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (cbrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))) (cbrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (sqrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (sqrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (*.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 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 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 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))) 1.031 * * [simplify]: iteration 0 : 4716 enodes (cost 504 ) 1.031 * * [simplify]: iteration 1 : 4716 enodes (cost 504 ) 1.034 * [simplify]: Simplified to: (log.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (exp.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (*.f64 (cbrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (cbrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))) (cbrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (pow.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) 3) (sqrt.f64 (cos.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (sqrt.f64 (cos.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)) (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 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (exp.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (cbrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)))) (cbrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (pow.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (sqrt.f64 (sin.f64 (/.f64 (*.f64 2.0 PI.f64) 3.0))) (*.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 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 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 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))) 1.034 * * * [progress]: adding candidates to table 1.110 * [progress]: [Phase 3 of 3] Extracting. 1.110 * * [regime]: Finding splitpoints for: (# #) 1.111 * * * [regime-changes]: Trying 6 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) h g) 1.111 * * * * [regimes]: Trying to branch on (neg.f64 g) from (# #) 1.143 * * * * [regimes]: Trying to branch on (/.f64 (neg.f64 g) h) from (# #) 1.176 * * * * [regimes]: Trying to branch on (acos.f64 (/.f64 (neg.f64 g) h)) from (# #) 1.201 * * * * [regimes]: Trying to branch on (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3.0) from (# #) 1.228 * * * * [regimes]: Trying to branch on h from (# #) 1.259 * * * * [regimes]: Trying to branch on g from (# #) 1.291 * * * [regime]: Found split indices: #