12.289 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 0.032 * * [simplify]: iteration 0 : 32 enodes (cost 10 ) 0.034 * * [simplify]: iteration 1 : 91 enodes (cost 10 ) 0.036 * * [simplify]: iteration 2 : 275 enodes (cost 10 ) 0.041 * * [simplify]: iteration 3 : 672 enodes (cost 10 ) 0.050 * * [simplify]: iteration 4 : 1303 enodes (cost 10 ) 0.064 * * [simplify]: iteration 5 : 1737 enodes (cost 10 ) 0.078 * * [simplify]: iteration 6 : 1802 enodes (cost 10 ) 0.092 * * [simplify]: iteration 7 : 1802 enodes (cost 10 ) 0.093 * [simplify]: Simplified to: (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 0.093 * * [progress]: iteration 1 / 4 0.093 * * * [progress]: picking best candidate 0.095 * * * * [pick]: Picked # 0.095 * * * [progress]: localizing error 0.110 * * * [progress]: generating rewritten candidates 0.110 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.138 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 0.145 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.176 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.194 * * * [progress]: generating series expansions 0.194 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.195 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI)))) in (v) around 0 0.195 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI)))) in v 0.195 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.195 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI))) in v 0.195 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 0.195 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 0.195 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.195 * [taylor]: Taking taylor expansion of 2.0 in v 0.195 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.195 * [taylor]: Taking taylor expansion of 6.0 in v 0.195 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.195 * [taylor]: Taking taylor expansion of v in v 0.197 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (pow v 2)) PI)) in v 0.197 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.197 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.197 * [taylor]: Taking taylor expansion of 1.0 in v 0.197 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.197 * [taylor]: Taking taylor expansion of v in v 0.197 * [taylor]: Taking taylor expansion of PI in v 0.199 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI)))) in v 0.199 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.199 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI))) in v 0.199 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 0.199 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 0.199 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.199 * [taylor]: Taking taylor expansion of 2.0 in v 0.199 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.199 * [taylor]: Taking taylor expansion of 6.0 in v 0.199 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.199 * [taylor]: Taking taylor expansion of v in v 0.201 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (pow v 2)) PI)) in v 0.201 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.201 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.201 * [taylor]: Taking taylor expansion of 1.0 in v 0.201 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.201 * [taylor]: Taking taylor expansion of v in v 0.201 * [taylor]: Taking taylor expansion of PI in v 0.333 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)))) in (v) around 0 0.333 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)))) in v 0.333 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.333 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 0.333 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 0.333 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.333 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.333 * [taylor]: Taking taylor expansion of 2.0 in v 0.333 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.333 * [taylor]: Taking taylor expansion of 6.0 in v 0.333 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.333 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.333 * [taylor]: Taking taylor expansion of v in v 0.338 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.338 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.338 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.338 * [taylor]: Taking taylor expansion of 1.0 in v 0.338 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.338 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.338 * [taylor]: Taking taylor expansion of v in v 0.339 * [taylor]: Taking taylor expansion of PI in v 0.340 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)))) in v 0.340 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.340 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 0.340 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 0.340 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.340 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.340 * [taylor]: Taking taylor expansion of 2.0 in v 0.340 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.340 * [taylor]: Taking taylor expansion of 6.0 in v 0.340 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.340 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.340 * [taylor]: Taking taylor expansion of v in v 0.345 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.345 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.345 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.345 * [taylor]: Taking taylor expansion of 1.0 in v 0.345 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.345 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.345 * [taylor]: Taking taylor expansion of v in v 0.345 * [taylor]: Taking taylor expansion of PI in v 0.483 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)))) in (v) around 0 0.483 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)))) in v 0.483 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.483 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 0.483 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 0.483 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.483 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.483 * [taylor]: Taking taylor expansion of 2.0 in v 0.483 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.483 * [taylor]: Taking taylor expansion of 6.0 in v 0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.483 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.483 * [taylor]: Taking taylor expansion of v in v 0.488 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.488 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.488 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.488 * [taylor]: Taking taylor expansion of 1.0 in v 0.488 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.488 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.488 * [taylor]: Taking taylor expansion of v in v 0.489 * [taylor]: Taking taylor expansion of PI in v 0.490 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)))) in v 0.490 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.490 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 0.490 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 0.490 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.490 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.490 * [taylor]: Taking taylor expansion of 2.0 in v 0.490 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.490 * [taylor]: Taking taylor expansion of 6.0 in v 0.490 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.490 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.490 * [taylor]: Taking taylor expansion of v in v 0.495 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.495 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.495 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.495 * [taylor]: Taking taylor expansion of 1.0 in v 0.495 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.495 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.495 * [taylor]: Taking taylor expansion of v in v 0.495 * [taylor]: Taking taylor expansion of PI in v 0.629 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 0.630 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0 0.630 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.630 * [taylor]: Taking taylor expansion of 6.0 in v 0.630 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.630 * [taylor]: Taking taylor expansion of v in v 0.630 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.630 * [taylor]: Taking taylor expansion of 6.0 in v 0.630 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.630 * [taylor]: Taking taylor expansion of v in v 0.638 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 0.638 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 0.638 * [taylor]: Taking taylor expansion of 6.0 in v 0.638 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.638 * [taylor]: Taking taylor expansion of v in v 0.638 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 0.638 * [taylor]: Taking taylor expansion of 6.0 in v 0.638 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.638 * [taylor]: Taking taylor expansion of v in v 0.646 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 0.646 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 0.646 * [taylor]: Taking taylor expansion of 6.0 in v 0.646 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.646 * [taylor]: Taking taylor expansion of v in v 0.646 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 0.647 * [taylor]: Taking taylor expansion of 6.0 in v 0.647 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.647 * [taylor]: Taking taylor expansion of v in v 0.654 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.655 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI))) in (v) around 0 0.655 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI))) in v 0.655 * [taylor]: Taking taylor expansion of 3.0 in v 0.655 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI)) in v 0.655 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 0.655 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.655 * [taylor]: Taking taylor expansion of 2.0 in v 0.655 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.655 * [taylor]: Taking taylor expansion of 6.0 in v 0.655 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.655 * [taylor]: Taking taylor expansion of v in v 0.656 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.656 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.656 * [taylor]: Taking taylor expansion of 1.0 in v 0.656 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.656 * [taylor]: Taking taylor expansion of v in v 0.656 * [taylor]: Taking taylor expansion of PI in v 0.656 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI))) in v 0.656 * [taylor]: Taking taylor expansion of 3.0 in v 0.656 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI)) in v 0.656 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 0.656 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.656 * [taylor]: Taking taylor expansion of 2.0 in v 0.656 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.657 * [taylor]: Taking taylor expansion of 6.0 in v 0.657 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.657 * [taylor]: Taking taylor expansion of v in v 0.658 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.658 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.658 * [taylor]: Taking taylor expansion of 1.0 in v 0.658 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.658 * [taylor]: Taking taylor expansion of v in v 0.658 * [taylor]: Taking taylor expansion of PI in v 0.732 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI))) in (v) around 0 0.732 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 0.732 * [taylor]: Taking taylor expansion of 3.0 in v 0.732 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.732 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.732 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.732 * [taylor]: Taking taylor expansion of 2.0 in v 0.732 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.732 * [taylor]: Taking taylor expansion of 6.0 in v 0.732 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.732 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.732 * [taylor]: Taking taylor expansion of v in v 0.737 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.737 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.737 * [taylor]: Taking taylor expansion of 1.0 in v 0.737 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.737 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.737 * [taylor]: Taking taylor expansion of v in v 0.737 * [taylor]: Taking taylor expansion of PI in v 0.737 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 0.738 * [taylor]: Taking taylor expansion of 3.0 in v 0.738 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.738 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.738 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.738 * [taylor]: Taking taylor expansion of 2.0 in v 0.738 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.738 * [taylor]: Taking taylor expansion of 6.0 in v 0.738 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.738 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.738 * [taylor]: Taking taylor expansion of v in v 0.742 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.742 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.742 * [taylor]: Taking taylor expansion of 1.0 in v 0.742 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.742 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.742 * [taylor]: Taking taylor expansion of v in v 0.743 * [taylor]: Taking taylor expansion of PI in v 0.835 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI))) in (v) around 0 0.835 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 0.835 * [taylor]: Taking taylor expansion of 3.0 in v 0.835 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.835 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.835 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.835 * [taylor]: Taking taylor expansion of 2.0 in v 0.835 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.835 * [taylor]: Taking taylor expansion of 6.0 in v 0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.835 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.835 * [taylor]: Taking taylor expansion of v in v 0.839 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.839 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.839 * [taylor]: Taking taylor expansion of 1.0 in v 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.839 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.839 * [taylor]: Taking taylor expansion of v in v 0.840 * [taylor]: Taking taylor expansion of PI in v 0.840 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 0.840 * [taylor]: Taking taylor expansion of 3.0 in v 0.840 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.840 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.840 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.840 * [taylor]: Taking taylor expansion of 2.0 in v 0.840 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.840 * [taylor]: Taking taylor expansion of 6.0 in v 0.840 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.840 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.840 * [taylor]: Taking taylor expansion of v in v 0.844 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.844 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.844 * [taylor]: Taking taylor expansion of 1.0 in v 0.844 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.844 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.844 * [taylor]: Taking taylor expansion of v in v 0.844 * [taylor]: Taking taylor expansion of PI in v 0.943 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.943 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 1.0 (pow v 2)) PI)) in (v) around 0 0.943 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 1.0 (pow v 2)) PI)) in v 0.943 * [taylor]: Taking taylor expansion of 3.0 in v 0.943 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.943 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.943 * [taylor]: Taking taylor expansion of 1.0 in v 0.943 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.943 * [taylor]: Taking taylor expansion of v in v 0.943 * [taylor]: Taking taylor expansion of PI in v 0.943 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 1.0 (pow v 2)) PI)) in v 0.943 * [taylor]: Taking taylor expansion of 3.0 in v 0.943 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.943 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.943 * [taylor]: Taking taylor expansion of 1.0 in v 0.943 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.943 * [taylor]: Taking taylor expansion of v in v 0.943 * [taylor]: Taking taylor expansion of PI in v 0.972 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 1.0 (/ 1 (pow v 2))) PI)) in (v) around 0 0.972 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.972 * [taylor]: Taking taylor expansion of 3.0 in v 0.972 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.972 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.972 * [taylor]: Taking taylor expansion of 1.0 in v 0.972 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.972 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.972 * [taylor]: Taking taylor expansion of v in v 0.973 * [taylor]: Taking taylor expansion of PI in v 0.973 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.973 * [taylor]: Taking taylor expansion of 3.0 in v 0.973 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.973 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.973 * [taylor]: Taking taylor expansion of 1.0 in v 0.973 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.973 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.973 * [taylor]: Taking taylor expansion of v in v 0.974 * [taylor]: Taking taylor expansion of PI in v 1.008 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 1.0 (/ 1 (pow v 2))) PI)) in (v) around 0 1.009 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 1.009 * [taylor]: Taking taylor expansion of 3.0 in v 1.009 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 1.009 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.009 * [taylor]: Taking taylor expansion of 1.0 in v 1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.009 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.009 * [taylor]: Taking taylor expansion of v in v 1.009 * [taylor]: Taking taylor expansion of PI in v 1.009 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 1.009 * [taylor]: Taking taylor expansion of 3.0 in v 1.009 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 1.009 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.009 * [taylor]: Taking taylor expansion of 1.0 in v 1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.009 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.009 * [taylor]: Taking taylor expansion of v in v 1.010 * [taylor]: Taking taylor expansion of PI in v 1.050 * * * [progress]: simplifying candidates 1.052 * [simplify]: Simplifying using # : (expm1 (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log1p (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (- (log 4.0) (+ (+ (+ (log 3.0) (log PI)) (log (- 1.0 (* v v)))) (log (sqrt (- 2.0 (* 6.0 (* v v))))))) (- (log 4.0) (+ (+ (log (* 3.0 PI)) (log (- 1.0 (* v v)))) (log (sqrt (- 2.0 (* 6.0 (* v v))))))) (- (log 4.0) (+ (log (* (* 3.0 PI) (- 1.0 (* v v)))) (log (sqrt (- 2.0 (* 6.0 (* v v))))))) (- (log 4.0) (log (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (exp (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (* (* 4.0 4.0) 4.0) (* (* (* (* (* 3.0 3.0) 3.0) (* (* PI PI) PI)) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (* (* 4.0 4.0) 4.0) (* (* (* (* (* 3.0 PI) (* 3.0 PI)) (* 3.0 PI)) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (* (* 4.0 4.0) 4.0) (* (* (* (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (* (* 4.0 4.0) 4.0) (* (* (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (cbrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (cbrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (cbrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (* (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (sqrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (sqrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (- 4.0) (- (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (* (cbrt 4.0) (cbrt 4.0)) (* (* 3.0 PI) (- 1.0 (* v v)))) (/ (cbrt 4.0) (sqrt (- 2.0 (* 6.0 (* v v))))) (/ (sqrt 4.0) (* (* 3.0 PI) (- 1.0 (* v v)))) (/ (sqrt 4.0) (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 1 (* (* 3.0 PI) (- 1.0 (* v v)))) (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 1 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) 4.0) (/ 4.0 (* (* 3.0 PI) (- 1.0 (* v v)))) (/ (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (cbrt 4.0)) (/ (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt 4.0)) (/ (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) 4.0) (/ 4.0 (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (/ 4.0 (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (/ 4.0 (* (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* v v)))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (/ 4.0 (* (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* v v)))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (/ 4.0 (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 (* (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (expm1 (* 6.0 (* v v))) (log1p (* 6.0 (* v v))) (* 6.0 (* v v)) (* 6.0 (* v v)) (+ (log 6.0) (+ (log v) (log v))) (+ (log 6.0) (log (* v v))) (log (* 6.0 (* v v))) (exp (* 6.0 (* v v))) (* (* (* 6.0 6.0) 6.0) (* (* (* v v) v) (* (* v v) v))) (* (* (* 6.0 6.0) 6.0) (* (* (* v v) (* v v)) (* v v))) (* (cbrt (* 6.0 (* v v))) (cbrt (* 6.0 (* v v)))) (cbrt (* 6.0 (* v v))) (* (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 6.0 (* v v))) (sqrt (* 6.0 (* v v))) (sqrt (* 6.0 (* v v))) (* (sqrt 6.0) v) (* (sqrt 6.0) v) (* 6.0 v) (* (cbrt 6.0) (* v v)) (* (sqrt 6.0) (* v v)) (* 6.0 (* v v)) (expm1 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log1p (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (+ (+ (+ (log 3.0) (log PI)) (log (- 1.0 (* v v)))) (log (sqrt (- 2.0 (* 6.0 (* v v)))))) (+ (+ (log (* 3.0 PI)) (log (- 1.0 (* v v)))) (log (sqrt (- 2.0 (* 6.0 (* v v)))))) (+ (log (* (* 3.0 PI) (- 1.0 (* v v)))) (log (sqrt (- 2.0 (* 6.0 (* v v)))))) (log (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (exp (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* (* (* 3.0 3.0) 3.0) (* (* PI PI) PI)) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* (* (* 3.0 PI) (* 3.0 PI)) (* 3.0 PI)) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (cbrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (cbrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (cbrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (sqrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (sqrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v))))))) (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* v v)))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (+ 1.0 (* v v)) (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v))))))) (* (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* v v)))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (+ 1.0 (* v v)) (sqrt (+ 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (* (cbrt (sqrt (- 2.0 (* 6.0 (* v v))))) (cbrt (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (* (cbrt (- 2.0 (* 6.0 (* v v)))) (cbrt (- 2.0 (* 6.0 (* v v))))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt 1)) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) 1) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (expm1 (* (* 3.0 PI) (- 1.0 (* v v)))) (log1p (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (- 1.0 (* v v))) (+ (+ (log 3.0) (log PI)) (log (- 1.0 (* v v)))) (+ (log (* 3.0 PI)) (log (- 1.0 (* v v)))) (log (* (* 3.0 PI) (- 1.0 (* v v)))) (exp (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* (* (* 3.0 3.0) 3.0) (* (* PI PI) PI)) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))) (* (* (* (* 3.0 PI) (* 3.0 PI)) (* 3.0 PI)) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))) (* (cbrt (* (* 3.0 PI) (- 1.0 (* v v)))) (cbrt (* (* 3.0 PI) (- 1.0 (* v v))))) (cbrt (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* 3.0 PI) (- 1.0 (* v v)))) (sqrt (* (* 3.0 PI) (- 1.0 (* v v)))) (sqrt (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* 3.0 PI) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* v v)))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) (fma (sqrt 1.0) (sqrt 1.0) (- (* v v)))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) (fma 1 1.0 (- (* v v)))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) 1.0) (* (* 3.0 PI) (- (* v v))) (* (* 3.0 PI) 1.0) (* (* 3.0 PI) (- (* v v))) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* v v))) (* 3.0 PI)) (* (fma (- v) v (* v v)) (* 3.0 PI)) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* v v))) (* 3.0 PI)) (* (fma (- v) v (* v v)) (* 3.0 PI)) (* (fma 1 1.0 (- (* v v))) (* 3.0 PI)) (* (fma (- v) v (* v v)) (* 3.0 PI)) (* 1.0 (* 3.0 PI)) (* (- (* v v)) (* 3.0 PI)) (* 1.0 (* 3.0 PI)) (* (- (* v v)) (* 3.0 PI)) (* (* 3.0 PI) (* (cbrt (- 1.0 (* v v))) (cbrt (- 1.0 (* v v))))) (* (* 3.0 PI) (sqrt (- 1.0 (* v v)))) (* (* 3.0 PI) 1) (* (* 3.0 PI) (+ (sqrt 1.0) v)) (* PI (- 1.0 (* v v))) (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* v v)))) (- (+ (* 1.3333333333333333 (/ (* (pow v 4) (sqrt 0.5)) PI)) (+ (* 1.0 (/ (pow v 2) (* (sqrt 0.5) PI))) (+ (* 1.3333333333333333 (/ (sqrt 0.5) PI)) (+ (* 1.3333333333333333 (/ (* (pow v 2) (sqrt 0.5)) PI)) (+ (* 1.0 (/ (pow v 4) (* (sqrt 0.5) PI))) (* 3.0 (/ (pow v 4) (* PI (sqrt 0.5))))))))) (* 0.375 (/ (pow v 4) (* (pow (sqrt 0.5) 3) PI)))) (- (+ (* 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 5) PI)))) (+ (* 0.0005144032921810699 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (* (pow v 7) PI)))) (* 0.04938271604938271 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 7) PI)))))) (+ (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 7) PI))) (+ (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 3) PI))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI)))))) (- (+ (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 7) PI))) (+ (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 3) PI))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI))))) (+ (* 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 5) PI)))) (+ (* 0.0005144032921810699 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (* (pow v 7) PI)))) (* 0.04938271604938271 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 7) PI))))))) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (- (+ (* 3.0 (* (sqrt 2.0) PI)) (* 9.0 (/ (* (pow v 4) PI) (sqrt 2.0)))) (+ (* 9.0 (/ (* (pow v 2) PI) (sqrt 2.0))) (+ (* 13.5 (/ (* (pow v 4) PI) (pow (sqrt 2.0) 3))) (* 3.0 (* (sqrt 2.0) (* (pow v 2) PI)))))) (- (+ (* 3.0 (* v (* (sqrt (- 6.0)) PI))) (+ (* 1.5 (/ PI (* v (pow (sqrt (- 6.0)) 3)))) (* 3.0 (/ PI (* v (sqrt (- 6.0))))))) (+ (* 3.0 (* (pow v 3) (* (sqrt (- 6.0)) PI))) (* 3.0 (/ (* v PI) (sqrt (- 6.0)))))) (- (+ (* 3.0 (* (pow v 3) (* (sqrt (- 6.0)) PI))) (* 3.0 (/ (* v PI) (sqrt (- 6.0))))) (+ (* 3.0 (* v (* (sqrt (- 6.0)) PI))) (+ (* 1.5 (/ PI (* v (pow (sqrt (- 6.0)) 3)))) (* 3.0 (/ PI (* v (sqrt (- 6.0)))))))) (- (* 3.0 PI) (* 3.0 (* (pow v 2) PI))) (- (* 3.0 PI) (* 3.0 (* (pow v 2) PI))) (- (* 3.0 PI) (* 3.0 (* (pow v 2) PI))) 1.063 * * [simplify]: iteration 0 : 955 enodes (cost 1468 ) 1.083 * * [simplify]: iteration 1 : 4696 enodes (cost 1282 ) 1.165 * * [simplify]: iteration 2 : 5001 enodes (cost 1281 ) 1.178 * [simplify]: Simplified to: (expm1 (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log1p (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (exp (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3) (pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3) (pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3) (pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3) (* (cbrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (cbrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (cbrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3) (sqrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (sqrt (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (- 4.0) (- (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (* (cbrt 4.0) (cbrt 4.0)) (* (* 3.0 PI) (- 1.0 (* v v)))) (/ (cbrt 4.0) (sqrt (- 2.0 (* 6.0 (* v v))))) (/ (sqrt 4.0) (* (* 3.0 PI) (- 1.0 (* v v)))) (/ (sqrt 4.0) (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 1 (* (* 3.0 PI) (- 1.0 (* v v)))) (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 1 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) 4.0) (/ 4.0 (* (* 3.0 PI) (- 1.0 (* v v)))) (/ (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (cbrt 4.0)) (/ (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt 4.0)) (/ (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) 4.0) (/ 4.0 (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (/ 4.0 (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))))) (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (/ 4.0 (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (expm1 (* 6.0 (* v v))) (log1p (* 6.0 (* v v))) (* 6.0 (* v v)) (* 6.0 (* v v)) (log (* 6.0 (* v v))) (log (* 6.0 (* v v))) (log (* 6.0 (* v v))) (exp (* 6.0 (* v v))) (pow (* 6.0 (* v v)) 3) (pow (* 6.0 (* v v)) 3) (* (cbrt (* 6.0 (* v v))) (cbrt (* 6.0 (* v v)))) (cbrt (* 6.0 (* v v))) (pow (* 6.0 (* v v)) 3) (sqrt (* 6.0 (* v v))) (sqrt (* 6.0 (* v v))) (* (sqrt 6.0) v) (* (sqrt 6.0) v) (* 6.0 v) (* (cbrt 6.0) (* v v)) (* (sqrt 6.0) (* v v)) (* 6.0 (* v v)) (expm1 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log1p (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (log (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (exp (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (pow (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) 3) (pow (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) 3) (pow (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) 3) (* (cbrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (cbrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (cbrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (pow (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) 3) (sqrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (sqrt (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v))))) (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (sqrt (+ 2.0 (* 6.0 (* v v)))) (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v))))) (* 3.0 (* (* (* PI (fma v v 1.0)) (- 1.0 (* v v))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (* (+ 1.0 (* v v)) (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v))))))) (* 3.0 (* (* (* PI (fma v v 1.0)) (- 1.0 (* v v))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (* (+ 1.0 (* v v)) (sqrt (+ 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (* (cbrt (sqrt (- 2.0 (* 6.0 (* v v))))) (cbrt (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (* 3.0 PI) (* (- 1.0 (* v v)) (fabs (cbrt (- 2.0 (* 6.0 (* v v))))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt 1)) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* 3.0 PI) (- 1.0 (* v v))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* 3.0 (* (* (* PI (fma v v 1.0)) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (expm1 (* (* 3.0 PI) (- 1.0 (* v v)))) (log1p (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (- 1.0 (* v v))) (log (* (* 3.0 PI) (- 1.0 (* v v)))) (log (* (* 3.0 PI) (- 1.0 (* v v)))) (log (* (* 3.0 PI) (- 1.0 (* v v)))) (exp (* (* 3.0 PI) (- 1.0 (* v v)))) (pow (* (* 3.0 PI) (- 1.0 (* v v))) 3) (pow (* (* 3.0 PI) (- 1.0 (* v v))) 3) (* (cbrt (* (* 3.0 PI) (- 1.0 (* v v)))) (cbrt (* (* 3.0 PI) (- 1.0 (* v v))))) (cbrt (* (* 3.0 PI) (- 1.0 (* v v)))) (pow (* (* 3.0 PI) (- 1.0 (* v v))) 3) (sqrt (* (* 3.0 PI) (- 1.0 (* v v)))) (sqrt (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* 3.0 PI) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* v v)))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) 1.0) (* (* 3.0 PI) (- (* v v))) (* (* 3.0 PI) 1.0) (* (* 3.0 PI) (- (* v v))) (* (* 3.0 PI) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* v v)))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) (- 1.0 (* v v))) (* (* 3.0 PI) (fma (- v) v (* v v))) (* (* 3.0 PI) 1.0) (* (* 3.0 PI) (- (* v v))) (* (* 3.0 PI) 1.0) (* (* 3.0 PI) (- (* v v))) (* (* 3.0 PI) (* (cbrt (- 1.0 (* v v))) (cbrt (- 1.0 (* v v))))) (* (* 3.0 PI) (sqrt (- 1.0 (* v v)))) (* 3.0 PI) (* (* 3.0 PI) (+ (sqrt 1.0) v)) (* PI (- 1.0 (* v v))) (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3))) (* (* (* 3.0 PI) (fma v v 1.0)) (- 1.0 (* v v))) (fma (- 0.375) (/ (pow v 4) (* (pow (sqrt 0.5) 3) PI)) (+ (+ (fma 1.3333333333333333 (/ (* (pow v 4) (sqrt 0.5)) PI) (* 1.0 (/ (pow v 2) (* (sqrt 0.5) PI)))) (fma 1.3333333333333333 (/ (sqrt 0.5) PI) (* 1.3333333333333333 (/ (* (pow v 2) (sqrt 0.5)) PI)))) (* (/ (pow v 4) (* PI (sqrt 0.5))) (+ 1.0 3.0)))) (fma 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 5) PI))) (- (fma 0.0005144032921810699 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (* (pow v 7) PI))) (* 0.04938271604938271 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 7) PI))))) (fma 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 7) PI)) (fma 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 3) PI)) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI))))))) (fma 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 7) PI)) (- (fma 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 3) PI)) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI)))) (fma 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 5) PI))) (fma 0.0005144032921810699 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (* (pow v 7) PI))) (* 0.04938271604938271 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 7) PI)))))))) (* 6.0 (* v v)) (* 6.0 (* v v)) (* 6.0 (* v v)) (fma (* 3.0 (sqrt 2.0)) PI (- (* 9.0 (/ (* (pow v 4) PI) (sqrt 2.0))) (fma 9.0 (/ (* (pow v 2) PI) (sqrt 2.0)) (fma 13.5 (/ (* (pow v 4) PI) (pow (sqrt 2.0) 3)) (* 3.0 (* (sqrt 2.0) (* (pow v 2) PI))))))) (fma (* 3.0 v) (* (sqrt (- 6.0)) PI) (- (fma 1.5 (/ PI (* v (pow (sqrt (- 6.0)) 3))) (* 3.0 (/ PI (* v (sqrt (- 6.0)))))) (fma 3.0 (* (pow v 3) (* (sqrt (- 6.0)) PI)) (* 3.0 (/ (* v PI) (sqrt (- 6.0))))))) (fma (* 3.0 (pow v 3)) (* (sqrt (- 6.0)) PI) (- (* 3.0 (/ (* v PI) (sqrt (- 6.0)))) (fma 3.0 (* v (* (sqrt (- 6.0)) PI)) (fma 1.5 (/ PI (* v (pow (sqrt (- 6.0)) 3))) (* 3.0 (/ PI (* v (sqrt (- 6.0))))))))) (* 3.0 (- PI (* (pow v 2) PI))) (* 3.0 (- PI (* (pow v 2) PI))) (* 3.0 (- PI (* (pow v 2) PI))) 1.179 * * * [progress]: adding candidates to table 1.687 * * [progress]: iteration 2 / 4 1.687 * * * [progress]: picking best candidate 1.694 * * * * [pick]: Picked # 1.694 * * * [progress]: localizing error 1.710 * * * [progress]: generating rewritten candidates 1.710 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 2) 1.720 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 1.734 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.752 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.778 * * * [progress]: generating series expansions 1.778 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1 2) 1.778 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0 1.778 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.778 * [taylor]: Taking taylor expansion of 6.0 in v 1.778 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.778 * [taylor]: Taking taylor expansion of v in v 1.778 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.778 * [taylor]: Taking taylor expansion of 6.0 in v 1.778 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.778 * [taylor]: Taking taylor expansion of v in v 1.787 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.787 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.787 * [taylor]: Taking taylor expansion of 6.0 in v 1.787 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.787 * [taylor]: Taking taylor expansion of v in v 1.788 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.788 * [taylor]: Taking taylor expansion of 6.0 in v 1.788 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.788 * [taylor]: Taking taylor expansion of v in v 1.795 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.795 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.795 * [taylor]: Taking taylor expansion of 6.0 in v 1.795 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.795 * [taylor]: Taking taylor expansion of v in v 1.799 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.799 * [taylor]: Taking taylor expansion of 6.0 in v 1.799 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.799 * [taylor]: Taking taylor expansion of v in v 1.807 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 1.807 * [approximate]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (- 1.0 (pow v 2))) in (v) around 0 1.807 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (- 1.0 (pow v 2))) in v 1.807 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 1.807 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 1.807 * [taylor]: Taking taylor expansion of 2.0 in v 1.807 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.807 * [taylor]: Taking taylor expansion of 6.0 in v 1.807 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.807 * [taylor]: Taking taylor expansion of v in v 1.808 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 1.809 * [taylor]: Taking taylor expansion of 1.0 in v 1.809 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.809 * [taylor]: Taking taylor expansion of v in v 1.809 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (- 1.0 (pow v 2))) in v 1.809 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 1.809 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 1.809 * [taylor]: Taking taylor expansion of 2.0 in v 1.809 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.809 * [taylor]: Taking taylor expansion of 6.0 in v 1.809 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.809 * [taylor]: Taking taylor expansion of v in v 1.810 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 1.810 * [taylor]: Taking taylor expansion of 1.0 in v 1.810 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.810 * [taylor]: Taking taylor expansion of v in v 1.851 * [approximate]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in (v) around 0 1.851 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in v 1.851 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.851 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.851 * [taylor]: Taking taylor expansion of 2.0 in v 1.851 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.851 * [taylor]: Taking taylor expansion of 6.0 in v 1.851 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.851 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.851 * [taylor]: Taking taylor expansion of v in v 1.855 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.855 * [taylor]: Taking taylor expansion of 1.0 in v 1.855 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.855 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.855 * [taylor]: Taking taylor expansion of v in v 1.855 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in v 1.856 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.856 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.856 * [taylor]: Taking taylor expansion of 2.0 in v 1.856 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.856 * [taylor]: Taking taylor expansion of 6.0 in v 1.856 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.856 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.856 * [taylor]: Taking taylor expansion of v in v 1.860 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.860 * [taylor]: Taking taylor expansion of 1.0 in v 1.860 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.860 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.860 * [taylor]: Taking taylor expansion of v in v 1.920 * [approximate]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in (v) around 0 1.920 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in v 1.920 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.920 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.920 * [taylor]: Taking taylor expansion of 2.0 in v 1.920 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.920 * [taylor]: Taking taylor expansion of 6.0 in v 1.920 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.920 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.920 * [taylor]: Taking taylor expansion of v in v 1.925 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.925 * [taylor]: Taking taylor expansion of 1.0 in v 1.925 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.925 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.925 * [taylor]: Taking taylor expansion of v in v 1.925 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in v 1.925 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.925 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.925 * [taylor]: Taking taylor expansion of 2.0 in v 1.925 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.925 * [taylor]: Taking taylor expansion of 6.0 in v 1.925 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.925 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.925 * [taylor]: Taking taylor expansion of v in v 1.930 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.930 * [taylor]: Taking taylor expansion of 1.0 in v 1.930 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.930 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.930 * [taylor]: Taking taylor expansion of v in v 1.990 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.991 * [approximate]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (fma v v 1.0) (- 1.0 (pow v 2)))) in (v) around 0 1.991 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (fma v v 1.0) (- 1.0 (pow v 2)))) in v 1.991 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 1.991 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 1.991 * [taylor]: Taking taylor expansion of 2.0 in v 1.991 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.991 * [taylor]: Taking taylor expansion of 6.0 in v 1.991 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.991 * [taylor]: Taking taylor expansion of v in v 1.992 * [taylor]: Taking taylor expansion of (* (fma v v 1.0) (- 1.0 (pow v 2))) in v 1.992 * [taylor]: Taking taylor expansion of (fma v v 1.0) in v 1.992 * [taylor]: Rewrote expression to (+ (* v v) 1.0) 1.992 * [taylor]: Taking taylor expansion of (* v v) in v 1.992 * [taylor]: Taking taylor expansion of v in v 1.992 * [taylor]: Taking taylor expansion of v in v 1.992 * [taylor]: Taking taylor expansion of 1.0 in v 1.992 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 1.992 * [taylor]: Taking taylor expansion of 1.0 in v 1.992 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.992 * [taylor]: Taking taylor expansion of v in v 1.992 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (fma v v 1.0) (- 1.0 (pow v 2)))) in v 1.992 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 1.992 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 1.992 * [taylor]: Taking taylor expansion of 2.0 in v 1.993 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.993 * [taylor]: Taking taylor expansion of 6.0 in v 1.993 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.993 * [taylor]: Taking taylor expansion of v in v 1.994 * [taylor]: Taking taylor expansion of (* (fma v v 1.0) (- 1.0 (pow v 2))) in v 1.994 * [taylor]: Taking taylor expansion of (fma v v 1.0) in v 1.994 * [taylor]: Rewrote expression to (+ (* v v) 1.0) 1.994 * [taylor]: Taking taylor expansion of (* v v) in v 1.994 * [taylor]: Taking taylor expansion of v in v 1.994 * [taylor]: Taking taylor expansion of v in v 1.994 * [taylor]: Taking taylor expansion of 1.0 in v 1.994 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 1.994 * [taylor]: Taking taylor expansion of 1.0 in v 1.994 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.994 * [taylor]: Taking taylor expansion of v in v 2.039 * [approximate]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) (fma (/ 1 v) (/ 1 v) 1.0))) in (v) around 0 2.039 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) (fma (/ 1 v) (/ 1 v) 1.0))) in v 2.039 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.039 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.039 * [taylor]: Taking taylor expansion of 2.0 in v 2.039 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.039 * [taylor]: Taking taylor expansion of 6.0 in v 2.039 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.039 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.039 * [taylor]: Taking taylor expansion of v in v 2.043 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) (fma (/ 1 v) (/ 1 v) 1.0)) in v 2.043 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 2.043 * [taylor]: Taking taylor expansion of 1.0 in v 2.043 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.043 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.043 * [taylor]: Taking taylor expansion of v in v 2.043 * [taylor]: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) 1.0) in v 2.043 * [taylor]: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) 1.0) 2.044 * [taylor]: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v 2.044 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.044 * [taylor]: Taking taylor expansion of v in v 2.044 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.044 * [taylor]: Taking taylor expansion of v in v 2.044 * [taylor]: Taking taylor expansion of 1.0 in v 2.044 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) (fma (/ 1 v) (/ 1 v) 1.0))) in v 2.044 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.044 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.044 * [taylor]: Taking taylor expansion of 2.0 in v 2.044 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.044 * [taylor]: Taking taylor expansion of 6.0 in v 2.044 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.044 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.044 * [taylor]: Taking taylor expansion of v in v 2.048 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) (fma (/ 1 v) (/ 1 v) 1.0)) in v 2.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 2.048 * [taylor]: Taking taylor expansion of 1.0 in v 2.048 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.048 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.048 * [taylor]: Taking taylor expansion of v in v 2.049 * [taylor]: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) 1.0) in v 2.049 * [taylor]: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) 1.0) 2.049 * [taylor]: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v 2.049 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.049 * [taylor]: Taking taylor expansion of v in v 2.049 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.049 * [taylor]: Taking taylor expansion of v in v 2.050 * [taylor]: Taking taylor expansion of 1.0 in v 2.117 * [approximate]: Taking taylor expansion of (* (* (fma (/ -1 v) (/ -1 v) 1.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in (v) around 0 2.117 * [taylor]: Taking taylor expansion of (* (* (fma (/ -1 v) (/ -1 v) 1.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 2.117 * [taylor]: Taking taylor expansion of (* (fma (/ -1 v) (/ -1 v) 1.0) (- 1.0 (/ 1 (pow v 2)))) in v 2.117 * [taylor]: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) 1.0) in v 2.118 * [taylor]: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) 1.0) 2.118 * [taylor]: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v 2.118 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.118 * [taylor]: Taking taylor expansion of -1 in v 2.118 * [taylor]: Taking taylor expansion of v in v 2.118 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.118 * [taylor]: Taking taylor expansion of -1 in v 2.118 * [taylor]: Taking taylor expansion of v in v 2.118 * [taylor]: Taking taylor expansion of 1.0 in v 2.118 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 2.118 * [taylor]: Taking taylor expansion of 1.0 in v 2.118 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.118 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.118 * [taylor]: Taking taylor expansion of v in v 2.119 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.119 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.119 * [taylor]: Taking taylor expansion of 2.0 in v 2.119 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.119 * [taylor]: Taking taylor expansion of 6.0 in v 2.119 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.119 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.119 * [taylor]: Taking taylor expansion of v in v 2.123 * [taylor]: Taking taylor expansion of (* (* (fma (/ -1 v) (/ -1 v) 1.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 2.123 * [taylor]: Taking taylor expansion of (* (fma (/ -1 v) (/ -1 v) 1.0) (- 1.0 (/ 1 (pow v 2)))) in v 2.123 * [taylor]: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) 1.0) in v 2.123 * [taylor]: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) 1.0) 2.123 * [taylor]: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v 2.124 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.124 * [taylor]: Taking taylor expansion of -1 in v 2.124 * [taylor]: Taking taylor expansion of v in v 2.124 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.124 * [taylor]: Taking taylor expansion of -1 in v 2.124 * [taylor]: Taking taylor expansion of v in v 2.124 * [taylor]: Taking taylor expansion of 1.0 in v 2.124 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 2.124 * [taylor]: Taking taylor expansion of 1.0 in v 2.124 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.124 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.124 * [taylor]: Taking taylor expansion of v in v 2.125 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.125 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.125 * [taylor]: Taking taylor expansion of 2.0 in v 2.125 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.125 * [taylor]: Taking taylor expansion of 6.0 in v 2.125 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.125 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.125 * [taylor]: Taking taylor expansion of v in v 2.196 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.197 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI))))) in (v) around 0 2.197 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI))))) in v 2.197 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 2.197 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI)))) in v 2.197 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 2.197 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 2.197 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 2.197 * [taylor]: Taking taylor expansion of 2.0 in v 2.197 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 2.197 * [taylor]: Taking taylor expansion of 6.0 in v 2.197 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.197 * [taylor]: Taking taylor expansion of v in v 2.199 * [taylor]: Taking taylor expansion of (/ 1 (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI))) in v 2.199 * [taylor]: Taking taylor expansion of (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI)) in v 2.199 * [taylor]: Taking taylor expansion of (fma v v 1.0) in v 2.199 * [taylor]: Rewrote expression to (+ (* v v) 1.0) 2.199 * [taylor]: Taking taylor expansion of (* v v) in v 2.199 * [taylor]: Taking taylor expansion of v in v 2.199 * [taylor]: Taking taylor expansion of v in v 2.199 * [taylor]: Taking taylor expansion of 1.0 in v 2.199 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 2.199 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 2.199 * [taylor]: Taking taylor expansion of 1.0 in v 2.199 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.199 * [taylor]: Taking taylor expansion of v in v 2.200 * [taylor]: Taking taylor expansion of PI in v 2.203 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI))))) in v 2.203 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 2.203 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI)))) in v 2.203 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 2.203 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 2.203 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 2.203 * [taylor]: Taking taylor expansion of 2.0 in v 2.203 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 2.203 * [taylor]: Taking taylor expansion of 6.0 in v 2.203 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.203 * [taylor]: Taking taylor expansion of v in v 2.205 * [taylor]: Taking taylor expansion of (/ 1 (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI))) in v 2.205 * [taylor]: Taking taylor expansion of (* (fma v v 1.0) (* (- 1.0 (pow v 2)) PI)) in v 2.205 * [taylor]: Taking taylor expansion of (fma v v 1.0) in v 2.205 * [taylor]: Rewrote expression to (+ (* v v) 1.0) 2.205 * [taylor]: Taking taylor expansion of (* v v) in v 2.205 * [taylor]: Taking taylor expansion of v in v 2.205 * [taylor]: Taking taylor expansion of v in v 2.205 * [taylor]: Taking taylor expansion of 1.0 in v 2.205 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 2.205 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 2.205 * [taylor]: Taking taylor expansion of 1.0 in v 2.205 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.205 * [taylor]: Taking taylor expansion of v in v 2.205 * [taylor]: Taking taylor expansion of PI in v 2.330 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))))) in (v) around 0 2.330 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))))) in v 2.330 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 2.330 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI)))) in v 2.330 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 2.330 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.330 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.330 * [taylor]: Taking taylor expansion of 2.0 in v 2.330 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.330 * [taylor]: Taking taylor expansion of 6.0 in v 2.330 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.330 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.330 * [taylor]: Taking taylor expansion of v in v 2.336 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 2.336 * [taylor]: Taking taylor expansion of (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 2.336 * [taylor]: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) 1.0) in v 2.336 * [taylor]: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) 1.0) 2.336 * [taylor]: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v 2.336 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.336 * [taylor]: Taking taylor expansion of v in v 2.336 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.336 * [taylor]: Taking taylor expansion of v in v 2.337 * [taylor]: Taking taylor expansion of 1.0 in v 2.337 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 2.337 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 2.337 * [taylor]: Taking taylor expansion of 1.0 in v 2.337 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.337 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.337 * [taylor]: Taking taylor expansion of v in v 2.337 * [taylor]: Taking taylor expansion of PI in v 2.340 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))))) in v 2.340 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 2.340 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) (/ 1 (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI)))) in v 2.340 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 2.340 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.340 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.340 * [taylor]: Taking taylor expansion of 2.0 in v 2.340 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.340 * [taylor]: Taking taylor expansion of 6.0 in v 2.340 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.340 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.340 * [taylor]: Taking taylor expansion of v in v 2.345 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 2.345 * [taylor]: Taking taylor expansion of (* (fma (/ 1 v) (/ 1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 2.345 * [taylor]: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) 1.0) in v 2.345 * [taylor]: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) 1.0) 2.345 * [taylor]: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v 2.345 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.345 * [taylor]: Taking taylor expansion of v in v 2.345 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.345 * [taylor]: Taking taylor expansion of v in v 2.346 * [taylor]: Taking taylor expansion of 1.0 in v 2.346 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 2.346 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 2.346 * [taylor]: Taking taylor expansion of 1.0 in v 2.346 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.346 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.346 * [taylor]: Taking taylor expansion of v in v 2.346 * [taylor]: Taking taylor expansion of PI in v 2.482 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in (v) around 0 2.482 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in v 2.482 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 2.482 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v 2.482 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 2.482 * [taylor]: Taking taylor expansion of (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 2.482 * [taylor]: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) 1.0) in v 2.482 * [taylor]: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) 1.0) 2.482 * [taylor]: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v 2.482 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.482 * [taylor]: Taking taylor expansion of -1 in v 2.482 * [taylor]: Taking taylor expansion of v in v 2.483 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.483 * [taylor]: Taking taylor expansion of -1 in v 2.483 * [taylor]: Taking taylor expansion of v in v 2.483 * [taylor]: Taking taylor expansion of 1.0 in v 2.483 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 2.483 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 2.483 * [taylor]: Taking taylor expansion of 1.0 in v 2.483 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.483 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.483 * [taylor]: Taking taylor expansion of v in v 2.483 * [taylor]: Taking taylor expansion of PI in v 2.486 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 2.486 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.486 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.486 * [taylor]: Taking taylor expansion of 2.0 in v 2.486 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.486 * [taylor]: Taking taylor expansion of 6.0 in v 2.486 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.486 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.486 * [taylor]: Taking taylor expansion of v in v 2.491 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in v 2.491 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 2.491 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v 2.491 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v 2.491 * [taylor]: Taking taylor expansion of (* (fma (/ -1 v) (/ -1 v) 1.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 2.491 * [taylor]: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) 1.0) in v 2.491 * [taylor]: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) 1.0) 2.491 * [taylor]: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v 2.491 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.491 * [taylor]: Taking taylor expansion of -1 in v 2.491 * [taylor]: Taking taylor expansion of v in v 2.492 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.492 * [taylor]: Taking taylor expansion of -1 in v 2.492 * [taylor]: Taking taylor expansion of v in v 2.492 * [taylor]: Taking taylor expansion of 1.0 in v 2.492 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 2.492 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 2.492 * [taylor]: Taking taylor expansion of 1.0 in v 2.492 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.492 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.492 * [taylor]: Taking taylor expansion of v in v 2.493 * [taylor]: Taking taylor expansion of PI in v 2.495 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 2.495 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.495 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.495 * [taylor]: Taking taylor expansion of 2.0 in v 2.495 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.495 * [taylor]: Taking taylor expansion of 6.0 in v 2.495 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.495 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.495 * [taylor]: Taking taylor expansion of v in v 2.622 * * * [progress]: simplifying candidates 2.624 * [simplify]: Simplifying using # : (expm1 (* 6.0 (* v v))) (log1p (* 6.0 (* v v))) (* 6.0 (* v v)) (* 6.0 (* v v)) (+ (log 6.0) (+ (log v) (log v))) (+ (log 6.0) (log (* v v))) (log (* 6.0 (* v v))) (exp (* 6.0 (* v v))) (* (* (* 6.0 6.0) 6.0) (* (* (* v v) v) (* (* v v) v))) (* (* (* 6.0 6.0) 6.0) (* (* (* v v) (* v v)) (* v v))) (* (cbrt (* 6.0 (* v v))) (cbrt (* 6.0 (* v v)))) (cbrt (* 6.0 (* v v))) (* (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 6.0 (* v v))) (sqrt (* 6.0 (* v v))) (sqrt (* 6.0 (* v v))) (* (sqrt 6.0) v) (* (sqrt 6.0) v) (* 6.0 v) (* (cbrt 6.0) (* v v)) (* (sqrt 6.0) (* v v)) (* 6.0 (* v v)) (expm1 (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log1p (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (+ (log (- 1.0 (* v v))) (log (sqrt (- 2.0 (* 6.0 (* v v)))))) (log (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (exp (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (cbrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (cbrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (cbrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (sqrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (sqrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v))))))) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ 2.0 (* 6.0 (* v v))))) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (+ 1.0 (* v v)) (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v))))))) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (+ 1.0 (* v v)) (sqrt (+ 2.0 (* 6.0 (* v v))))) (* (sqrt (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (sqrt (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (sqrt (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (sqrt (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (* (cbrt (sqrt (- 2.0 (* 6.0 (* v v))))) (cbrt (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (- 1.0 (* v v)) (sqrt (* (cbrt (- 2.0 (* 6.0 (* v v)))) (cbrt (- 2.0 (* 6.0 (* v v))))))) (* (- 1.0 (* v v)) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt 1)) (* (- 1.0 (* v v)) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) 1) (* (cbrt (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (sqrt (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- (sqrt 1.0) v) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (expm1 (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log1p (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (+ (log (fma v v 1.0)) (+ (log (- 1.0 (* v v))) (log (sqrt (- 2.0 (* 6.0 (* v v))))))) (+ (log (fma v v 1.0)) (log (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (exp (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (* (* (fma v v 1.0) (fma v v 1.0)) (fma v v 1.0)) (* (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (* (* (fma v v 1.0) (fma v v 1.0)) (fma v v 1.0)) (* (* (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (cbrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (cbrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (cbrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (* (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (sqrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (sqrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fma v v 1.0) (- 1.0 (* v v))) (* (cbrt (fma v v 1.0)) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (sqrt (fma v v 1.0)) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (* (fma v v 1.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) (expm1 (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log1p (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (- (log 4.0) (+ (log 3.0) (log PI))) (+ (log (fma v v 1.0)) (+ (log (- 1.0 (* v v))) (log (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (- (log 4.0) (+ (log 3.0) (log PI))) (+ (log (fma v v 1.0)) (log (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (- (log 4.0) (+ (log 3.0) (log PI))) (log (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (- (log 4.0) (log (* 3.0 PI))) (+ (log (fma v v 1.0)) (+ (log (- 1.0 (* v v))) (log (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (- (log 4.0) (log (* 3.0 PI))) (+ (log (fma v v 1.0)) (log (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (- (log 4.0) (log (* 3.0 PI))) (log (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (log (/ 4.0 (* 3.0 PI))) (+ (log (fma v v 1.0)) (+ (log (- 1.0 (* v v))) (log (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (log (/ 4.0 (* 3.0 PI))) (+ (log (fma v v 1.0)) (log (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (log (/ 4.0 (* 3.0 PI))) (log (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (exp (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (/ (* (* 4.0 4.0) 4.0) (* (* (* 3.0 3.0) 3.0) (* (* PI PI) PI))) (* (* (* (fma v v 1.0) (fma v v 1.0)) (fma v v 1.0)) (* (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (/ (* (* 4.0 4.0) 4.0) (* (* (* 3.0 3.0) 3.0) (* (* PI PI) PI))) (* (* (* (fma v v 1.0) (fma v v 1.0)) (fma v v 1.0)) (* (* (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (/ (* (* 4.0 4.0) 4.0) (* (* (* 3.0 3.0) 3.0) (* (* PI PI) PI))) (* (* (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (/ (* (* 4.0 4.0) 4.0) (* (* (* 3.0 PI) (* 3.0 PI)) (* 3.0 PI))) (* (* (* (fma v v 1.0) (fma v v 1.0)) (fma v v 1.0)) (* (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (/ (* (* 4.0 4.0) 4.0) (* (* (* 3.0 PI) (* 3.0 PI)) (* 3.0 PI))) (* (* (* (fma v v 1.0) (fma v v 1.0)) (fma v v 1.0)) (* (* (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (/ (* (* 4.0 4.0) 4.0) (* (* (* 3.0 PI) (* 3.0 PI)) (* 3.0 PI))) (* (* (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (* (* (/ 4.0 (* 3.0 PI)) (/ 4.0 (* 3.0 PI))) (/ 4.0 (* 3.0 PI))) (* (* (* (fma v v 1.0) (fma v v 1.0)) (fma v v 1.0)) (* (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v))) (* (* (sqrt (- 2.0 (* 6.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (* (* (/ 4.0 (* 3.0 PI)) (/ 4.0 (* 3.0 PI))) (/ 4.0 (* 3.0 PI))) (* (* (* (fma v v 1.0) (fma v v 1.0)) (fma v v 1.0)) (* (* (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (* (* (/ 4.0 (* 3.0 PI)) (/ 4.0 (* 3.0 PI))) (/ 4.0 (* 3.0 PI))) (* (* (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (* (cbrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (cbrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))))) (cbrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (* (* (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (sqrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (sqrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (/ 4.0 (* 3.0 PI))) (- (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (* (cbrt (/ 4.0 (* 3.0 PI))) (cbrt (/ 4.0 (* 3.0 PI)))) (fma v v 1.0)) (/ (cbrt (/ 4.0 (* 3.0 PI))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (sqrt (/ 4.0 (* 3.0 PI))) (fma v v 1.0)) (/ (sqrt (/ 4.0 (* 3.0 PI))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) 3.0) (fma v v 1.0)) (/ (/ (cbrt 4.0) PI) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (/ (sqrt 4.0) 3.0) (fma v v 1.0)) (/ (/ (sqrt 4.0) PI) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (/ 1 3.0) (fma v v 1.0)) (/ (/ 4.0 PI) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 1 (fma v v 1.0)) (/ (/ 4.0 (* 3.0 PI)) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 (fma v v 1.0)) (/ (/ 1 (* 3.0 PI)) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 1 (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 (* 3.0 PI))) (/ (/ 4.0 (* 3.0 PI)) (fma v v 1.0)) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (cbrt (/ 4.0 (* 3.0 PI)))) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (sqrt (/ 4.0 (* 3.0 PI)))) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (cbrt 4.0) PI)) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (sqrt 4.0) PI)) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 PI)) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 (* 3.0 PI))) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 1 (* 3.0 PI))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* 3.0 PI)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (- (+ (* 1.0 (sqrt 2.0)) (* 3.0 (/ (pow v 4) (sqrt 2.0)))) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (+ (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))) (* (sqrt 2.0) (pow v 2))))) (- (+ (* 0.5 (/ 1 (* v (pow (sqrt (- 6.0)) 3)))) (+ (* 1.0 (* v (sqrt (- 6.0)))) (* 1.0 (/ 1 (* v (sqrt (- 6.0))))))) (+ (* 1.0 (/ v (sqrt (- 6.0)))) (* (pow v 3) (sqrt (- 6.0))))) (- (+ (* 1.0 (/ v (sqrt (- 6.0)))) (* (pow v 3) (sqrt (- 6.0)))) (+ (* 0.5 (/ 1 (* v (pow (sqrt (- 6.0)) 3)))) (+ (* 1.0 (* v (sqrt (- 6.0)))) (* 1.0 (/ 1 (* v (sqrt (- 6.0)))))))) (- (* 1.0 (sqrt 2.0)) (+ (* (sqrt 2.0) (pow v 4)) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)))))) (- (+ (* 1.0 (* v (sqrt (- 6.0)))) (* 0.5 (/ v (pow (sqrt (- 6.0)) 3)))) (+ (* (pow v 5) (sqrt (- 6.0))) (* 1.0 (/ (pow v 3) (sqrt (- 6.0)))))) (- (+ (* (pow v 5) (sqrt (- 6.0))) (* 1.0 (/ (pow v 3) (sqrt (- 6.0))))) (+ (* 1.0 (* v (sqrt (- 6.0)))) (* 0.5 (/ v (pow (sqrt (- 6.0)) 3))))) (- (+ (* 1.3333333333333333 (/ (* (pow v 4) (sqrt 0.5)) PI)) (+ (* 1.0 (/ (pow v 2) (* PI (sqrt 0.5)))) (+ (* 1.3333333333333333 (/ (sqrt 0.5) PI)) (* 3.0 (/ (pow v 4) (* PI (sqrt 0.5))))))) (* 0.375 (/ (pow v 4) (* (pow (sqrt 0.5) 3) PI)))) (- (+ (* 0.0005144032921810699 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (* (pow v 9) PI)))) (+ (* 0.012345679012345678 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 9) PI)))) (* 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 7) PI)))))) (+ (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 9) PI))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI))))) (- (+ (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 9) PI))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI)))) (+ (* 0.0005144032921810699 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (* (pow v 9) PI)))) (+ (* 0.012345679012345678 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 9) PI)))) (* 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 7) PI))))))) 2.637 * * [simplify]: iteration 0 : 995 enodes (cost 1911 ) 2.657 * * [simplify]: iteration 1 : 4706 enodes (cost 1639 ) 2.732 * * [simplify]: iteration 2 : 5001 enodes (cost 1639 ) 2.746 * [simplify]: Simplified to: (expm1 (* 6.0 (* v v))) (log1p (* 6.0 (* v v))) (* 6.0 (* v v)) (* 6.0 (* v v)) (log (* 6.0 (* v v))) (log (* 6.0 (* v v))) (log (* 6.0 (* v v))) (exp (* 6.0 (* v v))) (pow (* 6.0 (* v v)) 3) (pow (* 6.0 (* v v)) 3) (* (cbrt (* 6.0 (* v v))) (cbrt (* 6.0 (* v v)))) (cbrt (* 6.0 (* v v))) (pow (* 6.0 (* v v)) 3) (sqrt (* 6.0 (* v v))) (sqrt (* 6.0 (* v v))) (* (sqrt 6.0) v) (* (sqrt 6.0) v) (* 6.0 v) (* (cbrt 6.0) (* v v)) (* (sqrt 6.0) (* v v)) (* 6.0 (* v v)) (expm1 (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log1p (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (log (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (exp (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (pow (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) 3) (* (cbrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (cbrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (cbrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (pow (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) 3) (sqrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (sqrt (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (+ (* (pow v 2) (fma v v 1.0)) (* 1.0 1.0))) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (sqrt (+ 2.0 (* 6.0 (* v v)))) (+ (* (pow v 2) (fma v v 1.0)) (* 1.0 1.0))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (* (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (fma v v 1.0)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (* (sqrt (+ 2.0 (* 6.0 (* v v)))) (fma v v 1.0)) (* (sqrt (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (sqrt (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (sqrt (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (sqrt (- 1.0 (* v v))) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (* (cbrt (sqrt (- 2.0 (* 6.0 (* v v))))) (cbrt (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fabs (cbrt (- 2.0 (* 6.0 (* v v))))) (- 1.0 (* v v))) (* (- 1.0 (* v v)) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (- 1.0 (* v v)) (sqrt 1)) (* (- 1.0 (* v v)) (sqrt (sqrt (- 2.0 (* 6.0 (* v v)))))) (- 1.0 (* v v)) (* (cbrt (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (sqrt (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- (sqrt 1.0) v) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (expm1 (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log1p (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (log (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (log (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (exp (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (pow (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3) (pow (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3) (* (cbrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (cbrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (cbrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (pow (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3) (sqrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (sqrt (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (* (fma v v 1.0) (- 1.0 (* v v))) (* (cbrt (fma v v 1.0)) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (sqrt (fma v v 1.0)) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (* (* (fma v v 1.0) (fma v v 1.0)) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (* (* (fma v v 1.0) (fma v v 1.0)) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3))))) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))))) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (fma v v 1.0)) (expm1 (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log1p (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (log (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (exp (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (* (cbrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (cbrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))))) (cbrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (pow (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) 3) (sqrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (sqrt (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))) (- (/ 4.0 (* 3.0 PI))) (- (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (* (cbrt (/ 4.0 (* 3.0 PI))) (cbrt (/ 4.0 (* 3.0 PI)))) (fma v v 1.0)) (/ (cbrt (/ 4.0 (* 3.0 PI))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (sqrt (/ 4.0 (* 3.0 PI))) (fma v v 1.0)) (/ (sqrt (/ 4.0 (* 3.0 PI))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) 3.0) (fma v v 1.0)) (/ (/ (cbrt 4.0) PI) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (/ (sqrt 4.0) 3.0) (fma v v 1.0)) (/ (/ (sqrt 4.0) PI) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (/ 1 3.0) (fma v v 1.0)) (/ (/ 4.0 PI) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 1 (fma v v 1.0)) (/ (/ 4.0 (* 3.0 PI)) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 (fma v v 1.0)) (/ (/ 1 (* 3.0 PI)) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 1 (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 (* 3.0 PI))) (/ (/ 4.0 (* 3.0 PI)) (fma v v 1.0)) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (cbrt (/ 4.0 (* 3.0 PI)))) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (sqrt (/ 4.0 (* 3.0 PI)))) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (cbrt 4.0) PI)) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (sqrt 4.0) PI)) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 PI)) (/ (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ 4.0 (* 3.0 PI))) (* (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* 3.0 PI)) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))))) (/ (/ (/ (/ 4.0 (* 3.0 PI)) (fma v v 1.0)) (* (fma v v 1.0) (- 1.0 (* v v)))) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (/ (/ (/ (/ 4.0 (* 3.0 PI)) (fma v v 1.0)) (* (fma v v 1.0) (- 1.0 (* v v)))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))))) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 2.0 (* 6.0 (* v v))))))) (/ (/ (/ (/ 4.0 (* 3.0 PI)) (fma v v 1.0)) (* (fma v v 1.0) (- 1.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* (fma v v 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))) (* 3.0 PI)) (* 6.0 (* v v)) (* 6.0 (* v v)) (* 6.0 (* v v)) (fma (sqrt 2.0) 1.0 (- (* 3.0 (/ (pow v 4) (sqrt 2.0))) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))))) (+ (fma 1.0 (fma (sqrt (- 6.0)) v (/ 1 (* v (sqrt (- 6.0))))) (- (fma 1.0 (/ v (sqrt (- 6.0))) (* (pow v 3) (sqrt (- 6.0)))))) (/ 0.5 (* v (pow (sqrt (- 6.0)) 3)))) (fma 1.0 (/ v (sqrt (- 6.0))) (- (* (pow v 3) (sqrt (- 6.0))) (fma 0.5 (/ 1 (* v (pow (sqrt (- 6.0)) 3))) (fma 1.0 (* v (sqrt (- 6.0))) (* 1.0 (/ 1 (* v (sqrt (- 6.0))))))))) (fma 1.0 (sqrt 2.0) (- (fma (sqrt 2.0) (pow v 4) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))))))) (fma (* 1.0 v) (sqrt (- 6.0)) (- (* 0.5 (/ v (pow (sqrt (- 6.0)) 3))) (fma (pow v 5) (sqrt (- 6.0)) (* 1.0 (/ (pow v 3) (sqrt (- 6.0))))))) (fma (sqrt (- 6.0)) (pow v 5) (- (* 1.0 (/ (pow v 3) (sqrt (- 6.0)))) (fma 1.0 (* v (sqrt (- 6.0))) (* 0.5 (/ v (pow (sqrt (- 6.0)) 3)))))) (fma 1.3333333333333333 (/ (* (pow v 4) (sqrt 0.5)) PI) (- (fma 1.0 (/ (pow v 2) (* PI (sqrt 0.5))) (fma 1.3333333333333333 (/ (sqrt 0.5) PI) (* 3.0 (/ (pow v 4) (* PI (sqrt 0.5)))))) (* 0.375 (/ (pow v 4) (* (pow (sqrt 0.5) 3) PI))))) (fma 0.0005144032921810699 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (* (pow v 9) PI))) (- (fma 0.012345679012345678 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 9) PI))) (* 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 7) PI))))) (fma 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 9) PI)) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI)))))) (fma 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 9) PI)) (- (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI))) (fma 0.0005144032921810699 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (* (pow v 9) PI))) (fma 0.012345679012345678 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 9) PI))) (* 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (* (pow v 7) PI)))))))) 2.747 * * * [progress]: adding candidates to table 3.202 * * [progress]: iteration 3 / 4 3.202 * * * [progress]: picking best candidate 3.207 * * * * [pick]: Picked # 3.207 * * * [progress]: localizing error 3.239 * * * [progress]: generating rewritten candidates 3.239 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 3 2 3 2 2) 3.241 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 3 2 3 3) 3.248 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 3 2 2) 3.257 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 3 2) 3.263 * * * [progress]: generating series expansions 3.263 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 3 2 3 2 2) 3.263 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 3 2 3 3) 3.264 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in (v) around 0 3.264 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.264 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.264 * [taylor]: Taking taylor expansion of 2.0 in v 3.265 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.265 * [taylor]: Taking taylor expansion of v in v 3.265 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.265 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.265 * [taylor]: Taking taylor expansion of 2.0 in v 3.265 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.265 * [taylor]: Taking taylor expansion of v in v 3.279 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in (v) around 0 3.279 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in v 3.279 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.279 * [taylor]: Taking taylor expansion of 2.0 in v 3.280 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.280 * [taylor]: Taking taylor expansion of v in v 3.281 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in v 3.281 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.281 * [taylor]: Taking taylor expansion of 2.0 in v 3.281 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.281 * [taylor]: Taking taylor expansion of v in v 3.294 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in (v) around 0 3.294 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in v 3.294 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.294 * [taylor]: Taking taylor expansion of 2.0 in v 3.295 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.295 * [taylor]: Taking taylor expansion of v in v 3.296 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in v 3.296 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.296 * [taylor]: Taking taylor expansion of 2.0 in v 3.296 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.296 * [taylor]: Taking taylor expansion of v in v 3.308 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 3 2 2) 3.309 * [approximate]: Taking taylor expansion of (/ (pow v 2) (sqrt 2.0)) in (v) around 0 3.309 * [taylor]: Taking taylor expansion of (/ (pow v 2) (sqrt 2.0)) in v 3.309 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.309 * [taylor]: Taking taylor expansion of v in v 3.309 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.309 * [taylor]: Taking taylor expansion of 2.0 in v 3.310 * [taylor]: Taking taylor expansion of (/ (pow v 2) (sqrt 2.0)) in v 3.310 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.310 * [taylor]: Taking taylor expansion of v in v 3.310 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.310 * [taylor]: Taking taylor expansion of 2.0 in v 3.324 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in (v) around 0 3.325 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in v 3.325 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.325 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.325 * [taylor]: Taking taylor expansion of 2.0 in v 3.325 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.326 * [taylor]: Taking taylor expansion of v in v 3.327 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in v 3.327 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.327 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.327 * [taylor]: Taking taylor expansion of 2.0 in v 3.328 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.328 * [taylor]: Taking taylor expansion of v in v 3.354 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in (v) around 0 3.354 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in v 3.354 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.354 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.354 * [taylor]: Taking taylor expansion of 2.0 in v 3.355 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.355 * [taylor]: Taking taylor expansion of v in v 3.356 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in v 3.356 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.356 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.357 * [taylor]: Taking taylor expansion of 2.0 in v 3.357 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.357 * [taylor]: Taking taylor expansion of v in v 3.375 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 3 2) 3.377 * [approximate]: Taking taylor expansion of (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) in (v) around 0 3.377 * [taylor]: Taking taylor expansion of (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) in v 3.377 * [taylor]: Rewrote expression to (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) 3.377 * [taylor]: Taking taylor expansion of (* 3.0 (/ (pow v 2) (sqrt 2.0))) in v 3.377 * [taylor]: Taking taylor expansion of 3.0 in v 3.377 * [taylor]: Taking taylor expansion of (/ (pow v 2) (sqrt 2.0)) in v 3.377 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.377 * [taylor]: Taking taylor expansion of v in v 3.377 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.377 * [taylor]: Taking taylor expansion of 2.0 in v 3.378 * [taylor]: Taking taylor expansion of (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))) in v 3.379 * [taylor]: Rewrote expression to (+ (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))) (* (sqrt 2.0) (pow v 2))) 3.379 * [taylor]: Taking taylor expansion of (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))) in v 3.379 * [taylor]: Taking taylor expansion of 4.5 in v 3.379 * [taylor]: Taking taylor expansion of (/ (pow v 4) (pow (sqrt 2.0) 3)) in v 3.379 * [taylor]: Taking taylor expansion of (pow v 4) in v 3.379 * [taylor]: Taking taylor expansion of v in v 3.379 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 3) in v 3.379 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.379 * [taylor]: Taking taylor expansion of 2.0 in v 3.383 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.383 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.383 * [taylor]: Taking taylor expansion of 2.0 in v 3.383 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.384 * [taylor]: Taking taylor expansion of v in v 3.384 * [taylor]: Taking taylor expansion of (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) in v 3.384 * [taylor]: Rewrote expression to (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) 3.384 * [taylor]: Taking taylor expansion of (* 3.0 (/ (pow v 2) (sqrt 2.0))) in v 3.384 * [taylor]: Taking taylor expansion of 3.0 in v 3.384 * [taylor]: Taking taylor expansion of (/ (pow v 2) (sqrt 2.0)) in v 3.384 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.384 * [taylor]: Taking taylor expansion of v in v 3.384 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.384 * [taylor]: Taking taylor expansion of 2.0 in v 3.385 * [taylor]: Taking taylor expansion of (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))) in v 3.385 * [taylor]: Rewrote expression to (+ (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))) (* (sqrt 2.0) (pow v 2))) 3.385 * [taylor]: Taking taylor expansion of (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))) in v 3.385 * [taylor]: Taking taylor expansion of 4.5 in v 3.385 * [taylor]: Taking taylor expansion of (/ (pow v 4) (pow (sqrt 2.0) 3)) in v 3.385 * [taylor]: Taking taylor expansion of (pow v 4) in v 3.385 * [taylor]: Taking taylor expansion of v in v 3.385 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 3) in v 3.386 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.386 * [taylor]: Taking taylor expansion of 2.0 in v 3.389 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.390 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.390 * [taylor]: Taking taylor expansion of 2.0 in v 3.390 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.390 * [taylor]: Taking taylor expansion of v in v 3.488 * [approximate]: Taking taylor expansion of (fma 3.0 (/ 1 (* (sqrt 2.0) (pow v 2))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) in (v) around 0 3.488 * [taylor]: Taking taylor expansion of (fma 3.0 (/ 1 (* (sqrt 2.0) (pow v 2))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) in v 3.488 * [taylor]: Rewrote expression to (+ (* 3.0 (/ 1 (* (sqrt 2.0) (pow v 2)))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) 3.488 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* (sqrt 2.0) (pow v 2)))) in v 3.488 * [taylor]: Taking taylor expansion of 3.0 in v 3.488 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in v 3.488 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.488 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.488 * [taylor]: Taking taylor expansion of 2.0 in v 3.489 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.489 * [taylor]: Taking taylor expansion of v in v 3.490 * [taylor]: Taking taylor expansion of (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2))) in v 3.491 * [taylor]: Rewrote expression to (+ (* 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4)))) (/ (sqrt 2.0) (pow v 2))) 3.491 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4)))) in v 3.491 * [taylor]: Taking taylor expansion of 4.5 in v 3.491 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) in v 3.491 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 3) (pow v 4)) in v 3.491 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 3) in v 3.491 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.491 * [taylor]: Taking taylor expansion of 2.0 in v 3.491 * [taylor]: Taking taylor expansion of (pow v 4) in v 3.491 * [taylor]: Taking taylor expansion of v in v 3.496 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in v 3.496 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.496 * [taylor]: Taking taylor expansion of 2.0 in v 3.497 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.497 * [taylor]: Taking taylor expansion of v in v 3.497 * [taylor]: Taking taylor expansion of (fma 3.0 (/ 1 (* (sqrt 2.0) (pow v 2))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) in v 3.498 * [taylor]: Rewrote expression to (+ (* 3.0 (/ 1 (* (sqrt 2.0) (pow v 2)))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) 3.498 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* (sqrt 2.0) (pow v 2)))) in v 3.498 * [taylor]: Taking taylor expansion of 3.0 in v 3.498 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in v 3.498 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.498 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.498 * [taylor]: Taking taylor expansion of 2.0 in v 3.498 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.498 * [taylor]: Taking taylor expansion of v in v 3.500 * [taylor]: Taking taylor expansion of (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2))) in v 3.500 * [taylor]: Rewrote expression to (+ (* 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4)))) (/ (sqrt 2.0) (pow v 2))) 3.500 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4)))) in v 3.500 * [taylor]: Taking taylor expansion of 4.5 in v 3.500 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) in v 3.500 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 3) (pow v 4)) in v 3.500 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 3) in v 3.500 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.500 * [taylor]: Taking taylor expansion of 2.0 in v 3.501 * [taylor]: Taking taylor expansion of (pow v 4) in v 3.501 * [taylor]: Taking taylor expansion of v in v 3.512 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in v 3.512 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.512 * [taylor]: Taking taylor expansion of 2.0 in v 3.512 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.512 * [taylor]: Taking taylor expansion of v in v 3.620 * [approximate]: Taking taylor expansion of (fma 3.0 (/ 1 (* (sqrt 2.0) (pow v 2))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) in (v) around 0 3.621 * [taylor]: Taking taylor expansion of (fma 3.0 (/ 1 (* (sqrt 2.0) (pow v 2))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) in v 3.621 * [taylor]: Rewrote expression to (+ (* 3.0 (/ 1 (* (sqrt 2.0) (pow v 2)))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) 3.621 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* (sqrt 2.0) (pow v 2)))) in v 3.621 * [taylor]: Taking taylor expansion of 3.0 in v 3.621 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in v 3.621 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.621 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.621 * [taylor]: Taking taylor expansion of 2.0 in v 3.621 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.621 * [taylor]: Taking taylor expansion of v in v 3.623 * [taylor]: Taking taylor expansion of (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2))) in v 3.623 * [taylor]: Rewrote expression to (+ (* 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4)))) (/ (sqrt 2.0) (pow v 2))) 3.623 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4)))) in v 3.623 * [taylor]: Taking taylor expansion of 4.5 in v 3.623 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) in v 3.623 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 3) (pow v 4)) in v 3.623 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 3) in v 3.623 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.623 * [taylor]: Taking taylor expansion of 2.0 in v 3.624 * [taylor]: Taking taylor expansion of (pow v 4) in v 3.624 * [taylor]: Taking taylor expansion of v in v 3.629 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in v 3.629 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.629 * [taylor]: Taking taylor expansion of 2.0 in v 3.629 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.629 * [taylor]: Taking taylor expansion of v in v 3.630 * [taylor]: Taking taylor expansion of (fma 3.0 (/ 1 (* (sqrt 2.0) (pow v 2))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) in v 3.630 * [taylor]: Rewrote expression to (+ (* 3.0 (/ 1 (* (sqrt 2.0) (pow v 2)))) (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2)))) 3.630 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* (sqrt 2.0) (pow v 2)))) in v 3.630 * [taylor]: Taking taylor expansion of 3.0 in v 3.630 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow v 2))) in v 3.630 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow v 2)) in v 3.630 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.630 * [taylor]: Taking taylor expansion of 2.0 in v 3.631 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.631 * [taylor]: Taking taylor expansion of v in v 3.633 * [taylor]: Taking taylor expansion of (fma 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) (/ (sqrt 2.0) (pow v 2))) in v 3.633 * [taylor]: Rewrote expression to (+ (* 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4)))) (/ (sqrt 2.0) (pow v 2))) 3.633 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4)))) in v 3.633 * [taylor]: Taking taylor expansion of 4.5 in v 3.633 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.0) 3) (pow v 4))) in v 3.633 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 3) (pow v 4)) in v 3.633 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 3) in v 3.633 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.633 * [taylor]: Taking taylor expansion of 2.0 in v 3.633 * [taylor]: Taking taylor expansion of (pow v 4) in v 3.633 * [taylor]: Taking taylor expansion of v in v 3.638 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow v 2)) in v 3.638 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v 3.638 * [taylor]: Taking taylor expansion of 2.0 in v 3.639 * [taylor]: Taking taylor expansion of (pow v 2) in v 3.639 * [taylor]: Taking taylor expansion of v in v 3.745 * * * [progress]: simplifying candidates 3.754 * [simplify]: Simplifying using # : (expm1 (pow (sqrt 2.0) 3)) (log1p (pow (sqrt 2.0) 3)) (* (log (sqrt 2.0)) 3) (* (log (sqrt 2.0)) 3) (* 1/2 3) (* 1 3) (* (/ 1 2) 3) (pow (sqrt 2.0) (* (cbrt 3) (cbrt 3))) (pow (sqrt 2.0) (sqrt 3)) (pow (sqrt 2.0) 1) (pow (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 3) (pow (cbrt (sqrt 2.0)) 3) (pow (sqrt (* (cbrt 2.0) (cbrt 2.0))) 3) (pow (sqrt (cbrt 2.0)) 3) (pow (sqrt (sqrt 2.0)) 3) (pow (sqrt (sqrt 2.0)) 3) (pow (sqrt 1) 3) (pow (sqrt 2.0) 3) (pow (sqrt (sqrt 2.0)) 3) (pow (sqrt (sqrt 2.0)) 3) (pow 1 3) (pow (sqrt 2.0) 3) (* (sqrt 2.0) (sqrt 2.0)) (log (pow (sqrt 2.0) 3)) (exp (pow (sqrt 2.0) 3)) (* (cbrt (pow (sqrt 2.0) 3)) (cbrt (pow (sqrt 2.0) 3))) (cbrt (pow (sqrt 2.0) 3)) (* (* (pow (sqrt 2.0) 3) (pow (sqrt 2.0) 3)) (pow (sqrt 2.0) 3)) (pow (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 3) (pow (cbrt (sqrt 2.0)) 3) (pow (sqrt (* (cbrt 2.0) (cbrt 2.0))) 3) (pow (sqrt (cbrt 2.0)) 3) (pow (sqrt (sqrt 2.0)) 3) (pow (sqrt (sqrt 2.0)) 3) (pow (sqrt 1) 3) (pow (sqrt 2.0) 3) (pow (sqrt (sqrt 2.0)) 3) (pow (sqrt (sqrt 2.0)) 3) (pow 1 3) (pow (sqrt 2.0) 3) (* (sqrt 2.0) (sqrt 2.0)) (/ 3 2) (sqrt (pow (sqrt 2.0) 3)) (sqrt (pow (sqrt 2.0) 3)) (pow (sqrt 2.0) (/ 3 2)) (pow (sqrt 2.0) (/ 3 2)) (expm1 (* (sqrt 2.0) (pow v 2))) (log1p (* (sqrt 2.0) (pow v 2))) (+ (log (sqrt 2.0)) (* (log v) 2)) (+ (log (sqrt 2.0)) (* (log v) 2)) (+ (log (sqrt 2.0)) (log (pow v 2))) (log (* (sqrt 2.0) (pow v 2))) (exp (* (sqrt 2.0) (pow v 2))) (* (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* (pow v 2) (pow v 2)) (pow v 2))) (* (cbrt (* (sqrt 2.0) (pow v 2))) (cbrt (* (sqrt 2.0) (pow v 2)))) (cbrt (* (sqrt 2.0) (pow v 2))) (* (* (* (sqrt 2.0) (pow v 2)) (* (sqrt 2.0) (pow v 2))) (* (sqrt 2.0) (pow v 2))) (sqrt (* (sqrt 2.0) (pow v 2))) (sqrt (* (sqrt 2.0) (pow v 2))) (* (sqrt (sqrt 2.0)) (pow (sqrt v) 2)) (* (sqrt (sqrt 2.0)) (pow (sqrt v) 2)) (* (sqrt (sqrt 2.0)) v) (* (sqrt (sqrt 2.0)) v) (* (sqrt (sqrt 2.0)) (sqrt (pow v 2))) (* (sqrt (sqrt 2.0)) (sqrt (pow v 2))) (* (sqrt (sqrt 2.0)) (pow v (/ 2 2))) (* (sqrt (sqrt 2.0)) (pow v (/ 2 2))) (* (sqrt (sqrt 2.0)) (pow (sqrt v) 2)) (* (sqrt (sqrt 2.0)) (pow (sqrt v) 2)) (* (sqrt (sqrt 2.0)) v) (* (sqrt (sqrt 2.0)) v) (* (sqrt (sqrt 2.0)) (sqrt (pow v 2))) (* (sqrt (sqrt 2.0)) (sqrt (pow v 2))) (* (sqrt (sqrt 2.0)) (pow v (/ 2 2))) (* (sqrt (sqrt 2.0)) (pow v (/ 2 2))) (* (sqrt 2.0) (pow (* (cbrt v) (cbrt v)) 2)) (* (sqrt 2.0) (pow (sqrt v) 2)) (* (sqrt 2.0) (pow 1 2)) (* (sqrt 2.0) v) (* (sqrt 2.0) (* (cbrt (pow v 2)) (cbrt (pow v 2)))) (* (sqrt 2.0) (sqrt (pow v 2))) (* (sqrt 2.0) 1) (* (sqrt 2.0) (pow v (/ 2 2))) (* (cbrt (sqrt 2.0)) (pow v 2)) (* (sqrt (cbrt 2.0)) (pow v 2)) (* (sqrt (sqrt 2.0)) (pow v 2)) (* (sqrt 2.0) (pow v 2)) (* (sqrt (sqrt 2.0)) (pow v 2)) (* (sqrt 2.0) (pow v 2)) (expm1 (/ (pow v 2) (sqrt 2.0))) (log1p (/ (pow v 2) (sqrt 2.0))) (- (* (log v) 2) (log (sqrt 2.0))) (- (* (log v) 2) (log (sqrt 2.0))) (- (log (pow v 2)) (log (sqrt 2.0))) (log (/ (pow v 2) (sqrt 2.0))) (exp (/ (pow v 2) (sqrt 2.0))) (/ (* (* (pow v 2) (pow v 2)) (pow v 2)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (pow v 2) (sqrt 2.0))) (cbrt (/ (pow v 2) (sqrt 2.0)))) (cbrt (/ (pow v 2) (sqrt 2.0))) (* (* (/ (pow v 2) (sqrt 2.0)) (/ (pow v 2) (sqrt 2.0))) (/ (pow v 2) (sqrt 2.0))) (sqrt (/ (pow v 2) (sqrt 2.0))) (sqrt (/ (pow v 2) (sqrt 2.0))) (- (pow v 2)) (- (sqrt 2.0)) (/ (pow (* (cbrt v) (cbrt v)) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (cbrt v) 2) (cbrt (sqrt 2.0))) (/ (pow (* (cbrt v) (cbrt v)) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (cbrt v) 2) (sqrt (cbrt 2.0))) (/ (pow (* (cbrt v) (cbrt v)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt v) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt v) (cbrt v)) 2) (sqrt 1)) (/ (pow (cbrt v) 2) (sqrt 2.0)) (/ (pow (* (cbrt v) (cbrt v)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt v) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt v) (cbrt v)) 2) 1) (/ (pow (cbrt v) 2) (sqrt 2.0)) (/ (pow (sqrt v) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (sqrt v) 2) (cbrt (sqrt 2.0))) (/ (pow (sqrt v) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (sqrt v) 2) (sqrt (cbrt 2.0))) (/ (pow (sqrt v) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt v) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt v) 2) (sqrt 1)) (/ (pow (sqrt v) 2) (sqrt 2.0)) (/ (pow (sqrt v) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt v) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt v) 2) 1) (/ (pow (sqrt v) 2) (sqrt 2.0)) (/ (pow 1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow v 2) (cbrt (sqrt 2.0))) (/ (pow 1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow v 2) (sqrt (cbrt 2.0))) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) (sqrt 1)) (/ (pow v 2) (sqrt 2.0)) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) 1) (/ (pow v 2) (sqrt 2.0)) (/ v (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ v (cbrt (sqrt 2.0))) (/ v (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ v (sqrt (cbrt 2.0))) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt 1)) (/ v (sqrt 2.0)) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt (sqrt 2.0))) (/ v 1) (/ v (sqrt 2.0)) (/ (* (cbrt (pow v 2)) (cbrt (pow v 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow v 2)) (cbrt (sqrt 2.0))) (/ (* (cbrt (pow v 2)) (cbrt (pow v 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (pow v 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow v 2)) (cbrt (pow v 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow v 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow v 2)) (cbrt (pow v 2))) (sqrt 1)) (/ (cbrt (pow v 2)) (sqrt 2.0)) (/ (* (cbrt (pow v 2)) (cbrt (pow v 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow v 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow v 2)) (cbrt (pow v 2))) 1) (/ (cbrt (pow v 2)) (sqrt 2.0)) (/ (sqrt (pow v 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow v 2)) (cbrt (sqrt 2.0))) (/ (sqrt (pow v 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow v 2)) (sqrt (cbrt 2.0))) (/ (sqrt (pow v 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow v 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow v 2)) (sqrt 1)) (/ (sqrt (pow v 2)) (sqrt 2.0)) (/ (sqrt (pow v 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow v 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow v 2)) 1) (/ (sqrt (pow v 2)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow v 2) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow v 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (pow v 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt (sqrt 2.0))) (/ 1 1) (/ (pow v 2) (sqrt 2.0)) (/ (pow v (/ 2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow v (/ 2 2)) (cbrt (sqrt 2.0))) (/ (pow v (/ 2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow v (/ 2 2)) (sqrt (cbrt 2.0))) (/ (pow v (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow v (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow v (/ 2 2)) (sqrt 1)) (/ (pow v (/ 2 2)) (sqrt 2.0)) (/ (pow v (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow v (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow v (/ 2 2)) 1) (/ (pow v (/ 2 2)) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow v 2)) (/ (pow v 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow v 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow v 2) (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt 1)) (/ (pow v 2) (sqrt (sqrt 2.0))) (/ (pow v 2) 1) (/ (sqrt 2.0) (pow (cbrt v) 2)) (/ (sqrt 2.0) (pow (sqrt v) 2)) (/ (sqrt 2.0) (pow v 2)) (/ (sqrt 2.0) v) (/ (sqrt 2.0) (cbrt (pow v 2))) (/ (sqrt 2.0) (sqrt (pow v 2))) (/ (sqrt 2.0) (pow v 2)) (/ (sqrt 2.0) (pow v (/ 2 2))) (expm1 (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (log1p (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (* 3.0 (/ (pow v 2) (sqrt 2.0))) (log (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (exp (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (* (cbrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (cbrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))))) (cbrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (* (* (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (sqrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (sqrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (* (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (fma (sqrt 2.0) 1.0 (- (* 3.0 (/ (pow v 4) (sqrt 2.0))) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))))))) (+ 1.0 (* v v))) (* (sqrt 2.0) (pow v 2)) (* (sqrt 2.0) (pow v 2)) (* (sqrt 2.0) (pow v 2)) (/ (pow v 2) (sqrt 2.0)) (/ (pow v 2) (sqrt 2.0)) (/ (pow v 2) (sqrt 2.0)) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (+ (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))) (* (sqrt 2.0) (pow v 2)))) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (+ (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))) (* (sqrt 2.0) (pow v 2)))) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (+ (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))) (* (sqrt 2.0) (pow v 2)))) 3.762 * * [simplify]: iteration 0 : 415 enodes (cost 1055 ) 3.772 * * [simplify]: iteration 1 : 2370 enodes (cost 877 ) 3.823 * * [simplify]: iteration 2 : 5001 enodes (cost 869 ) 3.828 * [simplify]: Simplified to: (expm1 (pow (sqrt 2.0) 3)) (log1p (pow (sqrt 2.0) 3)) (log (pow (sqrt 2.0) 3)) (log (pow (sqrt 2.0) 3)) 3/2 3 3/2 (pow (sqrt 2.0) (* (cbrt 3) (cbrt 3))) (pow (sqrt 2.0) (sqrt 3)) (sqrt 2.0) 2.0 (sqrt 2.0) (pow (fabs (cbrt 2.0)) 3) (pow (sqrt (cbrt 2.0)) 3) (pow (sqrt 2.0) 3/2) (pow (sqrt 2.0) 3/2) 1 (pow (sqrt 2.0) 3) (pow (sqrt 2.0) 3/2) (pow (sqrt 2.0) 3/2) 1 (pow (sqrt 2.0) 3) 2.0 (log (pow (sqrt 2.0) 3)) (exp (pow (sqrt 2.0) 3)) 2.0 (sqrt 2.0) (pow (pow (sqrt 2.0) 3) 3) 2.0 (sqrt 2.0) (pow (fabs (cbrt 2.0)) 3) (pow (sqrt (cbrt 2.0)) 3) (pow (sqrt 2.0) 3/2) (pow (sqrt 2.0) 3/2) 1 (pow (sqrt 2.0) 3) (pow (sqrt 2.0) 3/2) (pow (sqrt 2.0) 3/2) 1 (pow (sqrt 2.0) 3) 2.0 3/2 (sqrt (pow (sqrt 2.0) 3)) (sqrt (pow (sqrt 2.0) 3)) (pow (sqrt 2.0) 3/2) (pow (sqrt 2.0) 3/2) (expm1 (* (sqrt 2.0) (pow v 2))) (log1p (* (sqrt 2.0) (pow v 2))) (log (* (sqrt 2.0) (pow v 2))) (log (* (sqrt 2.0) (pow v 2))) (log (* (sqrt 2.0) (pow v 2))) (log (* (sqrt 2.0) (pow v 2))) (exp (* (sqrt 2.0) (pow v 2))) (pow (* (sqrt 2.0) (pow v 2)) 3) (* (cbrt (* (sqrt 2.0) (pow v 2))) (cbrt (* (sqrt 2.0) (pow v 2)))) (cbrt (* (sqrt 2.0) (pow v 2))) (pow (* (sqrt 2.0) (pow v 2)) 3) (sqrt (* (sqrt 2.0) (pow v 2))) (sqrt (* (sqrt 2.0) (pow v 2))) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs v)) (* (sqrt (sqrt 2.0)) (fabs v)) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs v)) (* (sqrt (sqrt 2.0)) (fabs v)) (* v (sqrt (sqrt 2.0))) (* v (sqrt (sqrt 2.0))) (* (sqrt 2.0) (pow (cbrt v) 4)) (* (sqrt 2.0) v) (sqrt 2.0) (* (sqrt 2.0) v) (* (sqrt 2.0) (* (cbrt (pow v 2)) (cbrt (pow v 2)))) (* (sqrt 2.0) (fabs v)) (sqrt 2.0) (* (sqrt 2.0) v) (* (cbrt (sqrt 2.0)) (pow v 2)) (* (sqrt (cbrt 2.0)) (pow v 2)) (* (sqrt (sqrt 2.0)) (pow v 2)) (* (sqrt 2.0) (pow v 2)) (* (sqrt (sqrt 2.0)) (pow v 2)) (* (sqrt 2.0) (pow v 2)) (expm1 (/ (pow v 2) (sqrt 2.0))) (log1p (/ (pow v 2) (sqrt 2.0))) (log (/ (pow v 2) (sqrt 2.0))) (log (/ (pow v 2) (sqrt 2.0))) (log (/ (pow v 2) (sqrt 2.0))) (log (/ (pow v 2) (sqrt 2.0))) (exp (/ (pow v 2) (sqrt 2.0))) (pow (/ (pow v 2) (sqrt 2.0)) 3) (* (cbrt (/ (pow v 2) (sqrt 2.0))) (cbrt (/ (pow v 2) (sqrt 2.0)))) (cbrt (/ (pow v 2) (sqrt 2.0))) (pow (/ (pow v 2) (sqrt 2.0)) 3) (sqrt (/ (pow v 2) (sqrt 2.0))) (sqrt (/ (pow v 2) (sqrt 2.0))) (- (pow v 2)) (- (sqrt 2.0)) (/ (pow (cbrt v) 4) (cbrt 2.0)) (/ (pow (cbrt v) 2) (cbrt (sqrt 2.0))) (/ (pow (cbrt v) 4) (* (fabs (cbrt 2.0)) 1)) (/ (pow (cbrt v) 2) (sqrt (cbrt 2.0))) (/ (pow (cbrt v) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt v) 2) (sqrt (sqrt 2.0))) (pow (cbrt v) 4) (/ (pow (cbrt v) 2) (sqrt 2.0)) (/ (pow (cbrt v) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt v) 2) (sqrt (sqrt 2.0))) (pow (cbrt v) 4) (/ (pow (cbrt v) 2) (sqrt 2.0)) (/ v (cbrt 2.0)) (/ v (cbrt (sqrt 2.0))) (/ v (* (fabs (cbrt 2.0)) 1)) (/ v (sqrt (cbrt 2.0))) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt (sqrt 2.0))) v (/ v (sqrt 2.0)) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt (sqrt 2.0))) v (/ v (sqrt 2.0)) (/ 1 (cbrt 2.0)) (/ (pow v 2) (cbrt (sqrt 2.0))) (/ 1 (/ (fabs (cbrt 2.0)) 1)) (/ (pow v 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt (sqrt 2.0))) 1 (/ (pow v 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt (sqrt 2.0))) 1 (/ (pow v 2) (sqrt 2.0)) (/ v (cbrt 2.0)) (/ v (cbrt (sqrt 2.0))) (/ v (* (fabs (cbrt 2.0)) 1)) (/ v (sqrt (cbrt 2.0))) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt (sqrt 2.0))) v (/ v (sqrt 2.0)) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt (sqrt 2.0))) v (/ v (sqrt 2.0)) (* (/ (cbrt (pow v 2)) (cbrt 2.0)) (cbrt (pow v 2))) (/ (cbrt (pow v 2)) (cbrt (sqrt 2.0))) (/ (cbrt (pow v 2)) (/ (fabs (cbrt 2.0)) (cbrt (pow v 2)))) (/ (cbrt (pow v 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow v 2)) (cbrt (pow v 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow v 2)) (pow (sqrt 2.0) 1/2)) (* (cbrt (pow v 2)) (cbrt (pow v 2))) (/ (cbrt (pow v 2)) (sqrt 2.0)) (/ (* (cbrt (pow v 2)) (cbrt (pow v 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow v 2)) (pow (sqrt 2.0) 1/2)) (* (cbrt (pow v 2)) (cbrt (pow v 2))) (/ (cbrt (pow v 2)) (sqrt 2.0)) (/ (fabs v) (cbrt 2.0)) (/ (fabs v) (cbrt (sqrt 2.0))) (/ (fabs v) (* (fabs (cbrt 2.0)) 1)) (/ (sqrt (pow v 2)) (sqrt (cbrt 2.0))) (/ (fabs v) (pow (sqrt 2.0) 1/2)) (/ (fabs v) (pow (sqrt 2.0) 1/2)) (fabs v) (/ (fabs v) (sqrt 2.0)) (/ (fabs v) (pow (sqrt 2.0) 1/2)) (/ (fabs v) (pow (sqrt 2.0) 1/2)) (fabs v) (/ (fabs v) (sqrt 2.0)) (/ 1 (cbrt 2.0)) (/ (pow v 2) (cbrt (sqrt 2.0))) (/ 1 (/ (fabs (cbrt 2.0)) 1)) (/ (pow v 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt (sqrt 2.0))) 1 (/ (pow v 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow v 2) (sqrt (sqrt 2.0))) 1 (/ (pow v 2) (sqrt 2.0)) (/ v (cbrt 2.0)) (/ v (cbrt (sqrt 2.0))) (/ v (* (fabs (cbrt 2.0)) 1)) (/ v (sqrt (cbrt 2.0))) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt (sqrt 2.0))) v (/ v (sqrt 2.0)) (/ v (sqrt (sqrt 2.0))) (/ v (sqrt (sqrt 2.0))) v (/ v (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow v 2)) (/ v (/ (cbrt 2.0) v)) (/ v (/ (fabs (cbrt 2.0)) v)) (/ (pow v 2) (sqrt (sqrt 2.0))) (pow v 2) (/ (pow v 2) (sqrt (sqrt 2.0))) (pow v 2) (/ (sqrt 2.0) (pow (cbrt v) 2)) (/ (sqrt 2.0) v) (/ (sqrt 2.0) (pow v 2)) (/ (sqrt 2.0) v) (/ (sqrt 2.0) (cbrt (pow v 2))) (/ (sqrt 2.0) (fabs v)) (/ (sqrt 2.0) (pow v 2)) (/ (sqrt 2.0) v) (expm1 (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (log1p (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (* 3.0 (/ (pow v 2) (sqrt 2.0))) (log (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (exp (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (* (cbrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (cbrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))))) (cbrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (pow (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) 3) (sqrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (sqrt (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))) (* (fma v v 1.0) (/ (/ 4.0 (* 3.0 PI)) (* (fma v v 1.0) (fma (sqrt 2.0) 1.0 (- (* 3.0 (/ (pow v 4) (sqrt 2.0))) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2))))))))) (* (sqrt 2.0) (pow v 2)) (* (sqrt 2.0) (pow v 2)) (* (sqrt 2.0) (pow v 2)) (/ (pow v 2) (sqrt 2.0)) (/ (pow v 2) (sqrt 2.0)) (/ (pow v 2) (sqrt 2.0)) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) (fma 3.0 (/ (pow v 2) (sqrt 2.0)) (fma 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3)) (* (sqrt 2.0) (pow v 2)))) 3.829 * * * [progress]: adding candidates to table 4.450 * [progress]: [Phase 3 of 3] Extracting. 4.450 * * [regime]: Finding splitpoints for: (# #) 4.452 * * * [regime-changes]: Trying 4 branch expressions: ((* v v) (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) v) 4.452 * * * * [regimes]: Trying to branch on (* v v) from (# #) 4.465 * * * * [regimes]: Trying to branch on (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) from (# #) 4.480 * * * * [regimes]: Trying to branch on (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) from (# #) 4.500 * * * * [regimes]: Trying to branch on v from (# #) 4.513 * * * [regime]: Found split indices: #