34.604 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 0.033 * * [simplify]: iteration 0 : 32 enodes (cost 10 ) 0.034 * * [simplify]: iteration 1 : 91 enodes (cost 10 ) 0.037 * * [simplify]: iteration 2 : 275 enodes (cost 10 ) 0.041 * * [simplify]: iteration 3 : 672 enodes (cost 10 ) 0.051 * * [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.092 * [simplify]: Simplified to: (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 0.092 * * [progress]: iteration 1 / 4 0.092 * * * [progress]: picking best candidate 0.094 * * * * [pick]: Picked # 0.095 * * * [progress]: localizing error 0.109 * * * [progress]: generating rewritten candidates 0.109 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.117 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 0.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.123 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.132 * * * [progress]: generating series expansions 0.132 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.133 * [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.133 * [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.133 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.133 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI))) in v 0.133 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 0.133 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 0.133 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.133 * [taylor]: Taking taylor expansion of 2.0 in v 0.133 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.133 * [taylor]: Taking taylor expansion of 6.0 in v 0.133 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.133 * [taylor]: Taking taylor expansion of v in v 0.135 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (pow v 2)) PI)) in v 0.135 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.135 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.135 * [taylor]: Taking taylor expansion of 1.0 in v 0.135 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.135 * [taylor]: Taking taylor expansion of v in v 0.135 * [taylor]: Taking taylor expansion of PI in v 0.137 * [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.137 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.137 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI))) in v 0.137 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 0.137 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 0.137 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.137 * [taylor]: Taking taylor expansion of 2.0 in v 0.137 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.137 * [taylor]: Taking taylor expansion of 6.0 in v 0.137 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.137 * [taylor]: Taking taylor expansion of v in v 0.139 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (pow v 2)) PI)) in v 0.139 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.139 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.139 * [taylor]: Taking taylor expansion of 1.0 in v 0.139 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.139 * [taylor]: Taking taylor expansion of v in v 0.139 * [taylor]: Taking taylor expansion of PI in v 0.263 * [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.263 * [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.263 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.263 * [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.263 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 0.263 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.263 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.263 * [taylor]: Taking taylor expansion of 2.0 in v 0.263 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.263 * [taylor]: Taking taylor expansion of 6.0 in v 0.263 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.263 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.263 * [taylor]: Taking taylor expansion of v in v 0.267 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.267 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.267 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.267 * [taylor]: Taking taylor expansion of 1.0 in v 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.268 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.268 * [taylor]: Taking taylor expansion of v in v 0.268 * [taylor]: Taking taylor expansion of PI in v 0.269 * [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.269 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.269 * [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.270 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 0.270 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.270 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.270 * [taylor]: Taking taylor expansion of 2.0 in v 0.270 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.270 * [taylor]: Taking taylor expansion of 6.0 in v 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.270 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.270 * [taylor]: Taking taylor expansion of v in v 0.278 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.278 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.278 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.278 * [taylor]: Taking taylor expansion of 1.0 in v 0.278 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.278 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.278 * [taylor]: Taking taylor expansion of v in v 0.278 * [taylor]: Taking taylor expansion of PI in v 0.401 * [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.401 * [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.401 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.401 * [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.401 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 0.401 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.401 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.401 * [taylor]: Taking taylor expansion of 2.0 in v 0.401 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.401 * [taylor]: Taking taylor expansion of 6.0 in v 0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.401 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.401 * [taylor]: Taking taylor expansion of v in v 0.405 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.406 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.406 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.406 * [taylor]: Taking taylor expansion of 1.0 in v 0.406 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.406 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.406 * [taylor]: Taking taylor expansion of v in v 0.406 * [taylor]: Taking taylor expansion of PI in v 0.408 * [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.408 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 0.408 * [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.408 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 0.408 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.408 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.408 * [taylor]: Taking taylor expansion of 2.0 in v 0.408 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.408 * [taylor]: Taking taylor expansion of 6.0 in v 0.408 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.408 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.408 * [taylor]: Taking taylor expansion of v in v 0.412 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.412 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.412 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.412 * [taylor]: Taking taylor expansion of 1.0 in v 0.412 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.412 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.412 * [taylor]: Taking taylor expansion of v in v 0.413 * [taylor]: Taking taylor expansion of PI in v 0.539 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 0.539 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0 0.539 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.539 * [taylor]: Taking taylor expansion of 6.0 in v 0.539 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.539 * [taylor]: Taking taylor expansion of v in v 0.539 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.539 * [taylor]: Taking taylor expansion of 6.0 in v 0.539 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.539 * [taylor]: Taking taylor expansion of v in v 0.547 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 0.547 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 0.548 * [taylor]: Taking taylor expansion of 6.0 in v 0.548 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.548 * [taylor]: Taking taylor expansion of v in v 0.548 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 0.548 * [taylor]: Taking taylor expansion of 6.0 in v 0.548 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.548 * [taylor]: Taking taylor expansion of v in v 0.555 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 0.555 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 0.555 * [taylor]: Taking taylor expansion of 6.0 in v 0.555 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.556 * [taylor]: Taking taylor expansion of v in v 0.556 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 0.556 * [taylor]: Taking taylor expansion of 6.0 in v 0.556 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.556 * [taylor]: Taking taylor expansion of v in v 0.563 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.563 * [approximate]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in (v) around 0 0.563 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 0.563 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.563 * [taylor]: Taking taylor expansion of 2.0 in v 0.564 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.564 * [taylor]: Taking taylor expansion of 6.0 in v 0.564 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.564 * [taylor]: Taking taylor expansion of v in v 0.565 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 0.565 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.565 * [taylor]: Taking taylor expansion of 2.0 in v 0.565 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.565 * [taylor]: Taking taylor expansion of 6.0 in v 0.565 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.565 * [taylor]: Taking taylor expansion of v in v 0.584 * [approximate]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in (v) around 0 0.584 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.584 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.584 * [taylor]: Taking taylor expansion of 2.0 in v 0.584 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.584 * [taylor]: Taking taylor expansion of 6.0 in v 0.584 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.584 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.584 * [taylor]: Taking taylor expansion of v in v 0.588 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.588 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.588 * [taylor]: Taking taylor expansion of 2.0 in v 0.588 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.588 * [taylor]: Taking taylor expansion of 6.0 in v 0.588 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.588 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.588 * [taylor]: Taking taylor expansion of v in v 0.611 * [approximate]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in (v) around 0 0.611 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.611 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.611 * [taylor]: Taking taylor expansion of 2.0 in v 0.612 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.612 * [taylor]: Taking taylor expansion of 6.0 in v 0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.612 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.612 * [taylor]: Taking taylor expansion of v in v 0.616 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.616 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.616 * [taylor]: Taking taylor expansion of 2.0 in v 0.616 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.616 * [taylor]: Taking taylor expansion of 6.0 in v 0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.616 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.616 * [taylor]: Taking taylor expansion of v in v 0.640 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.641 * [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.641 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI))) in v 0.641 * [taylor]: Taking taylor expansion of 3.0 in v 0.641 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI)) in v 0.641 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 0.641 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.641 * [taylor]: Taking taylor expansion of 2.0 in v 0.641 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.641 * [taylor]: Taking taylor expansion of 6.0 in v 0.641 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.641 * [taylor]: Taking taylor expansion of v in v 0.642 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.642 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.642 * [taylor]: Taking taylor expansion of 1.0 in v 0.642 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.642 * [taylor]: Taking taylor expansion of v in v 0.642 * [taylor]: Taking taylor expansion of PI in v 0.642 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI))) in v 0.642 * [taylor]: Taking taylor expansion of 3.0 in v 0.642 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* (- 1.0 (pow v 2)) PI)) in v 0.642 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 0.642 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 0.642 * [taylor]: Taking taylor expansion of 2.0 in v 0.642 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 0.642 * [taylor]: Taking taylor expansion of 6.0 in v 0.642 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.642 * [taylor]: Taking taylor expansion of v in v 0.643 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 0.643 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 0.643 * [taylor]: Taking taylor expansion of 1.0 in v 0.644 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.644 * [taylor]: Taking taylor expansion of v in v 0.644 * [taylor]: Taking taylor expansion of PI in v 0.715 * [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.715 * [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.715 * [taylor]: Taking taylor expansion of 3.0 in v 0.715 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.715 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.715 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.715 * [taylor]: Taking taylor expansion of 2.0 in v 0.715 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.715 * [taylor]: Taking taylor expansion of 6.0 in v 0.715 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.715 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.715 * [taylor]: Taking taylor expansion of v in v 0.719 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.719 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.719 * [taylor]: Taking taylor expansion of 1.0 in v 0.719 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.719 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.719 * [taylor]: Taking taylor expansion of v in v 0.719 * [taylor]: Taking taylor expansion of PI in v 0.720 * [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.720 * [taylor]: Taking taylor expansion of 3.0 in v 0.720 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.720 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.720 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.720 * [taylor]: Taking taylor expansion of 2.0 in v 0.720 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.720 * [taylor]: Taking taylor expansion of 6.0 in v 0.720 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.720 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.720 * [taylor]: Taking taylor expansion of v in v 0.724 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.724 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.724 * [taylor]: Taking taylor expansion of 1.0 in v 0.724 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.724 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.724 * [taylor]: Taking taylor expansion of v in v 0.724 * [taylor]: Taking taylor expansion of PI in v 0.809 * [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.809 * [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.809 * [taylor]: Taking taylor expansion of 3.0 in v 0.809 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.809 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.809 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.809 * [taylor]: Taking taylor expansion of 2.0 in v 0.809 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.809 * [taylor]: Taking taylor expansion of 6.0 in v 0.809 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.809 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.809 * [taylor]: Taking taylor expansion of v in v 0.813 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.813 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.813 * [taylor]: Taking taylor expansion of 1.0 in v 0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.813 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.813 * [taylor]: Taking taylor expansion of v in v 0.814 * [taylor]: Taking taylor expansion of PI in v 0.814 * [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.814 * [taylor]: Taking taylor expansion of 3.0 in v 0.814 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 0.814 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 0.814 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 0.814 * [taylor]: Taking taylor expansion of 2.0 in v 0.814 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 0.814 * [taylor]: Taking taylor expansion of 6.0 in v 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.814 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.814 * [taylor]: Taking taylor expansion of v in v 0.821 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 0.821 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 0.821 * [taylor]: Taking taylor expansion of 1.0 in v 0.821 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 0.821 * [taylor]: Taking taylor expansion of (pow v 2) in v 0.821 * [taylor]: Taking taylor expansion of v in v 0.821 * [taylor]: Taking taylor expansion of PI in v 0.905 * * * [progress]: simplifying candidates 0.906 * [simplify]: Simplifying using # : (- 4.0) (- (* (* (* 3.0 PI) (- 1.0 (* v v))) (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)))) (/ 4.0 (* 3.0 PI)) (/ 4.0 3.0) (/ 4.0 PI) (/ 4.0 (- 1.0 (* v v))) (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 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)))))) (* 6.0 v) (* 6.0 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)))))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.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))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* PI (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (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))))) (- (+ (* 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)) (- (sqrt 2.0) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))))) (- (+ (* v (sqrt (- 6.0))) (* 1.0 (/ 1 (* v (sqrt (- 6.0)))))) (* 0.5 (/ 1 (* (pow v 3) (pow (sqrt (- 6.0)) 3))))) (- (* 0.5 (/ 1 (* (pow v 3) (pow (sqrt (- 6.0)) 3)))) (+ (* v (sqrt (- 6.0))) (* 1.0 (/ 1 (* v (sqrt (- 6.0))))))) (- (+ (* 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)))))))) 0.913 * * [simplify]: iteration 0 : 620 enodes (cost 622 ) 0.923 * * [simplify]: iteration 1 : 2537 enodes (cost 608 ) 0.963 * * [simplify]: iteration 2 : 5002 enodes (cost 604 ) 0.966 * [simplify]: Simplified to: (- 4.0) (- (* (* (* 3.0 PI) (- 1.0 (* v v))) (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)))) (/ 4.0 (* 3.0 PI)) (/ 4.0 3.0) (/ 4.0 PI) (/ 4.0 (- 1.0 (* v v))) (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 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))))))) (* 6.0 v) (* 6.0 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)))))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.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))))) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* PI (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (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)))))) (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)) (- (sqrt 2.0) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))))) (fma (- 0.5) (/ 1 (* (pow v 3) (pow (sqrt (- 6.0)) 3))) (fma (sqrt (- 6.0)) v (/ (/ 1.0 (sqrt (- 6.0))) v))) (fma 0.5 (/ 1 (* (pow v 3) (pow (sqrt (- 6.0)) 3))) (- (fma v (sqrt (- 6.0)) (* 1.0 (/ 1 (* v (sqrt (- 6.0)))))))) (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) (fma (* (pow v 3) (sqrt (- 6.0))) PI (/ (* 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)))))))) (fma (fma (* (pow v 3) (sqrt (- 6.0))) PI (/ (* v PI) (sqrt (- 6.0)))) 3.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))))))))) 0.966 * * * [progress]: adding candidates to table 1.132 * * [progress]: iteration 2 / 4 1.132 * * * [progress]: picking best candidate 1.138 * * * * [pick]: Picked # 1.138 * * * [progress]: localizing error 1.164 * * * [progress]: generating rewritten candidates 1.164 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 2 2) 1.168 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2) 1.171 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1) 1.174 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 2 1) 1.178 * * * [progress]: generating series expansions 1.178 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 2 2) 1.178 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0 1.178 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.178 * [taylor]: Taking taylor expansion of 6.0 in v 1.178 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.178 * [taylor]: Taking taylor expansion of v in v 1.178 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.178 * [taylor]: Taking taylor expansion of 6.0 in v 1.178 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.179 * [taylor]: Taking taylor expansion of v in v 1.187 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.187 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.187 * [taylor]: Taking taylor expansion of 6.0 in v 1.187 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.187 * [taylor]: Taking taylor expansion of v in v 1.188 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.188 * [taylor]: Taking taylor expansion of 6.0 in v 1.188 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.188 * [taylor]: Taking taylor expansion of v in v 1.195 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.195 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.195 * [taylor]: Taking taylor expansion of 6.0 in v 1.195 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.195 * [taylor]: Taking taylor expansion of v in v 1.196 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.196 * [taylor]: Taking taylor expansion of 6.0 in v 1.196 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.196 * [taylor]: Taking taylor expansion of v in v 1.203 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2) 1.203 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0 1.203 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.203 * [taylor]: Taking taylor expansion of 6.0 in v 1.203 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.203 * [taylor]: Taking taylor expansion of v in v 1.203 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.203 * [taylor]: Taking taylor expansion of 6.0 in v 1.203 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.203 * [taylor]: Taking taylor expansion of v in v 1.213 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.213 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.213 * [taylor]: Taking taylor expansion of 6.0 in v 1.214 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.214 * [taylor]: Taking taylor expansion of v in v 1.214 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.214 * [taylor]: Taking taylor expansion of 6.0 in v 1.214 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.214 * [taylor]: Taking taylor expansion of v in v 1.221 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.221 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.221 * [taylor]: Taking taylor expansion of 6.0 in v 1.221 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.222 * [taylor]: Taking taylor expansion of v in v 1.222 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.222 * [taylor]: Taking taylor expansion of 6.0 in v 1.222 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.222 * [taylor]: Taking taylor expansion of v in v 1.229 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1) 1.229 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0 1.229 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.229 * [taylor]: Taking taylor expansion of 6.0 in v 1.229 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.229 * [taylor]: Taking taylor expansion of v in v 1.229 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.229 * [taylor]: Taking taylor expansion of 6.0 in v 1.230 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.230 * [taylor]: Taking taylor expansion of v in v 1.237 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.238 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.238 * [taylor]: Taking taylor expansion of 6.0 in v 1.238 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.238 * [taylor]: Taking taylor expansion of v in v 1.238 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.238 * [taylor]: Taking taylor expansion of 6.0 in v 1.238 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.238 * [taylor]: Taking taylor expansion of v in v 1.245 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.245 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.245 * [taylor]: Taking taylor expansion of 6.0 in v 1.245 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.245 * [taylor]: Taking taylor expansion of v in v 1.246 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.246 * [taylor]: Taking taylor expansion of 6.0 in v 1.246 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.246 * [taylor]: Taking taylor expansion of v in v 1.253 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 2 1) 1.253 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0 1.253 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.253 * [taylor]: Taking taylor expansion of 6.0 in v 1.253 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.253 * [taylor]: Taking taylor expansion of v in v 1.254 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.254 * [taylor]: Taking taylor expansion of 6.0 in v 1.254 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.254 * [taylor]: Taking taylor expansion of v in v 1.261 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.262 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.262 * [taylor]: Taking taylor expansion of 6.0 in v 1.262 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.262 * [taylor]: Taking taylor expansion of v in v 1.262 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.262 * [taylor]: Taking taylor expansion of 6.0 in v 1.262 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.262 * [taylor]: Taking taylor expansion of v in v 1.269 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 1.269 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.269 * [taylor]: Taking taylor expansion of 6.0 in v 1.269 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.269 * [taylor]: Taking taylor expansion of v in v 1.270 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 1.270 * [taylor]: Taking taylor expansion of 6.0 in v 1.270 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.270 * [taylor]: Taking taylor expansion of v in v 1.277 * * * [progress]: simplifying candidates 1.278 * [simplify]: Simplifying using # : (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) 1.280 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 1.281 * * [simplify]: iteration 1 : 26 enodes (cost 32 ) 1.283 * * [simplify]: iteration 2 : 68 enodes (cost 32 ) 1.285 * * [simplify]: iteration 3 : 180 enodes (cost 32 ) 1.290 * * [simplify]: iteration 4 : 596 enodes (cost 32 ) 1.317 * * [simplify]: iteration 5 : 3251 enodes (cost 32 ) 1.440 * * [simplify]: iteration 6 : 5001 enodes (cost 32 ) 1.441 * [simplify]: Simplified to: (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 v) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) (* 6.0 (pow v 2)) 1.441 * * * [progress]: adding candidates to table 1.511 * * [progress]: iteration 3 / 4 1.511 * * * [progress]: picking best candidate 1.513 * * * * [pick]: Picked # 1.513 * * * [progress]: localizing error 1.524 * * * [progress]: generating rewritten candidates 1.524 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.527 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.534 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 1.538 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.541 * * * [progress]: generating series expansions 1.541 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.542 * [approximate]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2)))))) in (v) around 0 1.542 * [taylor]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2)))))) in v 1.542 * [taylor]: Taking taylor expansion of 4.0 in v 1.542 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 1.542 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 1.542 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 1.542 * [taylor]: Taking taylor expansion of 2.0 in v 1.542 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.542 * [taylor]: Taking taylor expansion of 6.0 in v 1.542 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.542 * [taylor]: Taking taylor expansion of v in v 1.544 * [taylor]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2)))))) in v 1.544 * [taylor]: Taking taylor expansion of 4.0 in v 1.544 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 1.544 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 1.544 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 1.544 * [taylor]: Taking taylor expansion of 2.0 in v 1.544 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.544 * [taylor]: Taking taylor expansion of 6.0 in v 1.544 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.544 * [taylor]: Taking taylor expansion of v in v 1.588 * [approximate]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in (v) around 0 1.588 * [taylor]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v 1.588 * [taylor]: Taking taylor expansion of 4.0 in v 1.588 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 1.588 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.588 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.588 * [taylor]: Taking taylor expansion of 2.0 in v 1.588 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.588 * [taylor]: Taking taylor expansion of 6.0 in v 1.588 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.588 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.588 * [taylor]: Taking taylor expansion of v in v 1.593 * [taylor]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v 1.593 * [taylor]: Taking taylor expansion of 4.0 in v 1.593 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 1.593 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.593 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.593 * [taylor]: Taking taylor expansion of 2.0 in v 1.593 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.593 * [taylor]: Taking taylor expansion of 6.0 in v 1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.593 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.593 * [taylor]: Taking taylor expansion of v in v 1.642 * [approximate]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in (v) around 0 1.642 * [taylor]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v 1.642 * [taylor]: Taking taylor expansion of 4.0 in v 1.642 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 1.642 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.642 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.642 * [taylor]: Taking taylor expansion of 2.0 in v 1.642 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.642 * [taylor]: Taking taylor expansion of 6.0 in v 1.642 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.642 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.642 * [taylor]: Taking taylor expansion of v in v 1.647 * [taylor]: Taking taylor expansion of (* 4.0 (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v 1.647 * [taylor]: Taking taylor expansion of 4.0 in v 1.647 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 1.647 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.647 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.647 * [taylor]: Taking taylor expansion of 2.0 in v 1.647 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.647 * [taylor]: Taking taylor expansion of 6.0 in v 1.647 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.647 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.647 * [taylor]: Taking taylor expansion of v in v 1.700 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.700 * [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 1.700 * [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 1.700 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 1.700 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI))) in v 1.701 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 1.701 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 1.701 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 1.701 * [taylor]: Taking taylor expansion of 2.0 in v 1.701 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.701 * [taylor]: Taking taylor expansion of 6.0 in v 1.701 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.701 * [taylor]: Taking taylor expansion of v in v 1.702 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (pow v 2)) PI)) in v 1.702 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 1.702 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 1.703 * [taylor]: Taking taylor expansion of 1.0 in v 1.703 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.703 * [taylor]: Taking taylor expansion of v in v 1.703 * [taylor]: Taking taylor expansion of PI in v 1.704 * [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 1.704 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 1.704 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) (/ 1 (* (- 1.0 (pow v 2)) PI))) in v 1.704 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v 1.704 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v 1.704 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 1.704 * [taylor]: Taking taylor expansion of 2.0 in v 1.704 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 1.704 * [taylor]: Taking taylor expansion of 6.0 in v 1.704 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.704 * [taylor]: Taking taylor expansion of v in v 1.706 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (pow v 2)) PI)) in v 1.706 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v 1.706 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v 1.706 * [taylor]: Taking taylor expansion of 1.0 in v 1.706 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.706 * [taylor]: Taking taylor expansion of v in v 1.706 * [taylor]: Taking taylor expansion of PI in v 1.832 * [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 1.832 * [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 1.832 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 1.832 * [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 1.832 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 1.832 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.832 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.833 * [taylor]: Taking taylor expansion of 2.0 in v 1.833 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.833 * [taylor]: Taking taylor expansion of 6.0 in v 1.833 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.833 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.833 * [taylor]: Taking taylor expansion of v in v 1.837 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 1.837 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 1.837 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.837 * [taylor]: Taking taylor expansion of 1.0 in v 1.837 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.837 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.837 * [taylor]: Taking taylor expansion of v in v 1.838 * [taylor]: Taking taylor expansion of PI in v 1.839 * [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 1.839 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 1.839 * [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 1.839 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 1.839 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.839 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.839 * [taylor]: Taking taylor expansion of 2.0 in v 1.839 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.839 * [taylor]: Taking taylor expansion of 6.0 in v 1.840 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.840 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.840 * [taylor]: Taking taylor expansion of v in v 1.844 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 1.844 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 1.845 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.845 * [taylor]: Taking taylor expansion of 1.0 in v 1.845 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.845 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.845 * [taylor]: Taking taylor expansion of v in v 1.845 * [taylor]: Taking taylor expansion of PI in v 1.973 * [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 1.974 * [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 1.974 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 1.974 * [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 1.974 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 1.974 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.974 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.974 * [taylor]: Taking taylor expansion of 2.0 in v 1.974 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.974 * [taylor]: Taking taylor expansion of 6.0 in v 1.974 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.974 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.974 * [taylor]: Taking taylor expansion of v in v 1.978 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 1.978 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 1.978 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.978 * [taylor]: Taking taylor expansion of 1.0 in v 1.978 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.979 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.979 * [taylor]: Taking taylor expansion of v in v 1.979 * [taylor]: Taking taylor expansion of PI in v 1.980 * [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 1.980 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v 1.980 * [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 1.980 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v 1.981 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 1.981 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 1.981 * [taylor]: Taking taylor expansion of 2.0 in v 1.981 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 1.981 * [taylor]: Taking taylor expansion of 6.0 in v 1.981 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.981 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.981 * [taylor]: Taking taylor expansion of v in v 1.985 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v 1.985 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v 1.985 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v 1.985 * [taylor]: Taking taylor expansion of 1.0 in v 1.985 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.985 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.985 * [taylor]: Taking taylor expansion of v in v 1.986 * [taylor]: Taking taylor expansion of PI in v 2.109 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 2.109 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0 2.109 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 2.109 * [taylor]: Taking taylor expansion of 6.0 in v 2.109 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.109 * [taylor]: Taking taylor expansion of v in v 2.109 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 2.109 * [taylor]: Taking taylor expansion of 6.0 in v 2.109 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.109 * [taylor]: Taking taylor expansion of v in v 2.120 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 2.120 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 2.120 * [taylor]: Taking taylor expansion of 6.0 in v 2.120 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.121 * [taylor]: Taking taylor expansion of v in v 2.121 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 2.121 * [taylor]: Taking taylor expansion of 6.0 in v 2.121 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.121 * [taylor]: Taking taylor expansion of v in v 2.129 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0 2.129 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 2.129 * [taylor]: Taking taylor expansion of 6.0 in v 2.129 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.129 * [taylor]: Taking taylor expansion of v in v 2.129 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v 2.129 * [taylor]: Taking taylor expansion of 6.0 in v 2.129 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.129 * [taylor]: Taking taylor expansion of v in v 2.136 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 2.136 * [approximate]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in (v) around 0 2.136 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 2.136 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 2.136 * [taylor]: Taking taylor expansion of 2.0 in v 2.137 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 2.137 * [taylor]: Taking taylor expansion of 6.0 in v 2.137 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.137 * [taylor]: Taking taylor expansion of v in v 2.138 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v 2.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v 2.138 * [taylor]: Taking taylor expansion of 2.0 in v 2.138 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v 2.138 * [taylor]: Taking taylor expansion of 6.0 in v 2.138 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.138 * [taylor]: Taking taylor expansion of v in v 2.153 * [approximate]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in (v) around 0 2.153 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.153 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.153 * [taylor]: Taking taylor expansion of 2.0 in v 2.153 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.153 * [taylor]: Taking taylor expansion of 6.0 in v 2.153 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.153 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.153 * [taylor]: Taking taylor expansion of v in v 2.157 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.157 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.157 * [taylor]: Taking taylor expansion of 2.0 in v 2.157 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.157 * [taylor]: Taking taylor expansion of 6.0 in v 2.157 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.157 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.158 * [taylor]: Taking taylor expansion of v in v 2.181 * [approximate]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in (v) around 0 2.181 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.181 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.181 * [taylor]: Taking taylor expansion of 2.0 in v 2.181 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.181 * [taylor]: Taking taylor expansion of 6.0 in v 2.181 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.181 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.181 * [taylor]: Taking taylor expansion of v in v 2.185 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v 2.185 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v 2.185 * [taylor]: Taking taylor expansion of 2.0 in v 2.185 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v 2.185 * [taylor]: Taking taylor expansion of 6.0 in v 2.185 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.185 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.185 * [taylor]: Taking taylor expansion of v in v 2.212 * * * [progress]: simplifying candidates 2.213 * [simplify]: Simplifying using # : (- 4.0) (- (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (/ (sqrt (- 2.0 (* 6.0 (* v v)))) 4.0) (/ 4.0 (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (/ 4.0 (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (- (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))) (- (* (* 3.0 PI) (- 1.0 (* v v)))) (/ 4.0 (* 3.0 PI)) (/ (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (- 1.0 (* v v))) (/ 4.0 3.0) (/ (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (* PI (- 1.0 (* v v)))) (/ 4.0 PI) (/ (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (* 3.0 (- 1.0 (* v v)))) (/ 4.0 (- 1.0 (* v v))) (/ (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (* 3.0 PI)) (/ (/ 4.0 (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* 3.0 PI)) (/ (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (- 1.0 (* v v))) (/ (/ 4.0 (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) 3.0) (/ (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (* PI (- 1.0 (* v v)))) (/ (/ 4.0 (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) PI) (/ (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (* 3.0 (- 1.0 (* v v)))) (/ (/ 4.0 (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)) (/ (/ 4.0 (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* 3.0 PI)) (/ (sqrt (+ 2.0 (* 6.0 (* v v)))) (- 1.0 (* v v))) (/ (/ 4.0 (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) 3.0) (/ (sqrt (+ 2.0 (* 6.0 (* v v)))) (* PI (- 1.0 (* v v)))) (/ (/ 4.0 (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) PI) (/ (sqrt (+ 2.0 (* 6.0 (* v v)))) (* 3.0 (- 1.0 (* v v)))) (/ (/ 4.0 (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 (* (* 3.0 PI) (- 1.0 (* v v)))) (/ (* (* 3.0 PI) (- 1.0 (* v v))) (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* 3.0 PI)) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) 3.0) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) PI) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (- 1.0 (* v v))) (/ (* (* 3.0 PI) (- 1.0 (* v v))) (/ 1 (sqrt (- 2.0 (* 6.0 (* v v)))))) (/ (* (* 3.0 PI) (- 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 (* v v))) (sqrt (+ 2.0 (* 6.0 (* v v))))) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3)))) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* 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)))) 4.0)) (* 6.0 v) (* 6.0 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)))))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))) (sqrt (+ 2.0 (* 6.0 (* v v)))) (- (+ (* 9.0 (/ (pow v 4) (sqrt 0.5))) (+ (* 3.0 (/ (pow v 2) (sqrt 0.5))) (* 4.0 (sqrt 0.5)))) (* 1.125 (/ (pow v 4) (pow (sqrt 0.5) 3)))) (- (* 4.0 (/ (sqrt -0.16666666666666666) v)) (+ (* 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (pow v 5)))) (+ (* 0.0015432098765432098 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (pow v 5)))) (* 0.1111111111111111 (/ 1 (* (sqrt -0.16666666666666666) (pow v 3))))))) (- (+ (* 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (pow v 5)))) (+ (* 0.0015432098765432098 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (pow v 5)))) (* 0.1111111111111111 (/ 1 (* (sqrt -0.16666666666666666) (pow v 3)))))) (* 4.0 (/ (sqrt -0.16666666666666666) 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)) (- (sqrt 2.0) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))))) (- (+ (* v (sqrt (- 6.0))) (* 1.0 (/ 1 (* v (sqrt (- 6.0)))))) (* 0.5 (/ 1 (* (pow v 3) (pow (sqrt (- 6.0)) 3))))) (- (* 0.5 (/ 1 (* (pow v 3) (pow (sqrt (- 6.0)) 3)))) (+ (* v (sqrt (- 6.0))) (* 1.0 (/ 1 (* v (sqrt (- 6.0))))))) 2.219 * * [simplify]: iteration 0 : 592 enodes (cost 632 ) 2.229 * * [simplify]: iteration 1 : 2264 enodes (cost 624 ) 2.264 * * [simplify]: iteration 2 : 5002 enodes (cost 621 ) 2.268 * [simplify]: Simplified to: (- 4.0) (- (sqrt (- 2.0 (* 6.0 (* v v))))) (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (/ (sqrt (- 2.0 (* 6.0 (* v v)))) 4.0) (/ 4.0 (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (/ 4.0 (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (- (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))) (- (* (* 3.0 PI) (- 1.0 (* v v)))) (/ 4.0 (* 3.0 PI)) (/ (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (- 1.0 (* v v))) (/ 4.0 3.0) (/ (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (* PI (- 1.0 (* v v)))) (/ 4.0 PI) (/ (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (* 3.0 (- 1.0 (* v v)))) (/ 4.0 (- 1.0 (* v v))) (/ (/ 1 (sqrt (- 2.0 (* 6.0 (* v v))))) (* 3.0 PI)) (/ (/ 4.0 (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) (* 3.0 PI)) (/ (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (- 1.0 (* v v))) (/ (/ 4.0 (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) 3.0) (/ (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (* PI (- 1.0 (* v v)))) (/ (/ 4.0 (sqrt (- (pow 2.0 3) (pow (* 6.0 (* v v)) 3)))) PI) (/ (sqrt (+ (* 2.0 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v)))))) (* 3.0 (- 1.0 (* v v)))) (/ (/ 4.0 (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)) (/ (/ 4.0 (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) (* 3.0 PI)) (/ (sqrt (+ 2.0 (* 6.0 (* v v)))) (- 1.0 (* v v))) (/ (/ 4.0 (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) 3.0) (/ (sqrt (+ 2.0 (* 6.0 (* v v)))) (* PI (- 1.0 (* v v)))) (/ (/ 4.0 (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v)))))) PI) (/ (sqrt (+ 2.0 (* 6.0 (* v v)))) (* 3.0 (- 1.0 (* v v)))) (/ (/ 4.0 (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 (* (* 3.0 PI) (- 1.0 (* v v)))) (* (* (* 3.0 PI) (- 1.0 (* v v))) (/ (sqrt (- 2.0 (* 6.0 (* v v)))) 4.0)) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* 3.0 PI)) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) 3.0) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) PI) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (- 1.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 2.0) (+ (* (* 6.0 (* v v)) (* 6.0 (* v v))) (* 2.0 (* 6.0 (* v v))))))) (/ (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (+ 2.0 (* 6.0 (* v v))))) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (- (pow 1.0 3) (pow (* v v) 3)))) (/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (- (* 1.0 1.0) (* (* v v) (* 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)))) 4.0)) (* 6.0 v) (* 6.0 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)))))) (sqrt (- (* 2.0 2.0) (* (* 6.0 (* v v)) (* 6.0 (* v v))))) (sqrt (+ 2.0 (* 6.0 (* v v)))) (fma 9.0 (/ (pow v 4) (sqrt 0.5)) (- (fma 3.0 (/ (pow v 2) (sqrt 0.5)) (* 4.0 (sqrt 0.5))) (* 1.125 (/ (pow v 4) (pow (sqrt 0.5) 3))))) (fma 4.0 (/ (sqrt -0.16666666666666666) v) (- (fma 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (pow v 5))) (fma 0.0015432098765432098 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (pow v 5))) (* 0.1111111111111111 (/ 1 (* (sqrt -0.16666666666666666) (pow v 3)))))))) (fma (- 4.0) (/ (sqrt -0.16666666666666666) v) (fma 0.037037037037037035 (/ 1 (* (sqrt -0.16666666666666666) (pow v 5))) (fma 0.0015432098765432098 (/ 1 (* (pow (sqrt -0.16666666666666666) 3) (pow v 5))) (/ (/ 0.1111111111111111 (pow v 3)) (sqrt -0.16666666666666666))))) (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)) (- (sqrt 2.0) (+ (* 3.0 (/ (pow v 2) (sqrt 2.0))) (* 4.5 (/ (pow v 4) (pow (sqrt 2.0) 3))))) (fma (- 0.5) (/ 1 (* (pow v 3) (pow (sqrt (- 6.0)) 3))) (fma (sqrt (- 6.0)) v (/ (/ 1.0 (sqrt (- 6.0))) v))) (fma 0.5 (/ 1 (* (pow v 3) (pow (sqrt (- 6.0)) 3))) (- (fma v (sqrt (- 6.0)) (* 1.0 (/ 1 (* v (sqrt (- 6.0)))))))) 2.268 * * * [progress]: adding candidates to table 2.428 * [progress]: [Phase 3 of 3] Extracting. 2.428 * * [regime]: Finding splitpoints for: (# # #) 2.429 * * * [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) 2.429 * * * * [regimes]: Trying to branch on (* v v) from (# # #) 2.444 * * * * [regimes]: Trying to branch on (* v v) from (# #) 2.454 * * * * [regimes]: Trying to branch on (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) from (# # #) 2.473 * * * * [regimes]: Trying to branch on (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) from (# # #) 2.491 * * * * [regimes]: Trying to branch on v from (# # #) 2.507 * * * [regime]: Found split indices: #