122.480 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.047 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * [simplify]: Simplifying:
  (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))
0.052 * * [simplify]: iteration 0: 16 enodes
0.057 * * [simplify]: iteration 1: 32 enodes
0.067 * * [simplify]: iteration 2: 90 enodes
0.098 * * [simplify]: iteration 3: 259 enodes
0.210 * * [simplify]: iteration 4: 710 enodes
0.582 * * [simplify]: iteration 5: 1639 enodes
1.294 * * [simplify]: iteration 6: 2871 enodes
3.153 * * [simplify]: iteration 7: 4019 enodes
3.899 * * [simplify]: iteration complete: 5001 enodes
3.899 * * [simplify]: Extracting #0: cost 1 inf + 0
3.899 * * [simplify]: Extracting #1: cost 37 inf + 0
3.900 * * [simplify]: Extracting #2: cost 501 inf + 3
3.902 * * [simplify]: Extracting #3: cost 536 inf + 380
3.904 * * [simplify]: Extracting #4: cost 525 inf + 1406
3.907 * * [simplify]: Extracting #5: cost 501 inf + 4757
3.917 * * [simplify]: Extracting #6: cost 392 inf + 46843
3.974 * * [simplify]: Extracting #7: cost 3 inf + 212922
4.034 * * [simplify]: Extracting #8: cost 0 inf + 214096
4.120 * [simplify]: Simplified to:
  (/ (/ (/ 4.0 (* PI 3.0)) (- 1.0 (* v v))) (sqrt (- 2.0 (* (* v 6.0) v))))
4.121 * * [progress]: iteration 1 / 4
4.121 * * * [progress]: picking best candidate
4.125 * * * * [pick]: Picked  #<alt (λ (v) (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))))>
4.125 * * * [progress]: localizing error
4.145 * * * [progress]: generating rewritten candidates
4.145 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.216 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 1 2)
4.229 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
4.309 * * * [progress]: generating series expansions
4.309 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.310 * [backup-simplify]: Simplify (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) into (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (pow v 2)) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2)))))))
4.310 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (pow v 2)) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))))) in (v) around 0
4.310 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (pow v 2)) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))))) in v
4.310 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v
4.310 * [backup-simplify]: Simplify 1.3333333333333333 into 1.3333333333333333
4.310 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- 1.0 (pow v 2)) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2)))))) in v
4.310 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (pow v 2)) PI)) in v
4.310 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v
4.310 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
4.310 * [taylor]: Taking taylor expansion of 1.0 in v
4.310 * [backup-simplify]: Simplify 1.0 into 1.0
4.310 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.310 * [taylor]: Taking taylor expansion of v in v
4.310 * [backup-simplify]: Simplify 0 into 0
4.310 * [backup-simplify]: Simplify 1 into 1
4.310 * [taylor]: Taking taylor expansion of PI in v
4.310 * [backup-simplify]: Simplify PI into PI
4.311 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.311 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
4.312 * [backup-simplify]: Simplify (/ 1 (* 1.0 PI)) into (/ 1.0 PI)
4.312 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v
4.312 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v
4.312 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v
4.312 * [taylor]: Taking taylor expansion of 2.0 in v
4.312 * [backup-simplify]: Simplify 2.0 into 2.0
4.312 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v
4.312 * [taylor]: Taking taylor expansion of 6.0 in v
4.312 * [backup-simplify]: Simplify 6.0 into 6.0
4.312 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.312 * [taylor]: Taking taylor expansion of v in v
4.312 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify 1 into 1
4.312 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.312 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
4.313 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
4.313 * [backup-simplify]: Simplify (+ 0 0) into 0
4.313 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 0 2.0)))) into 0
4.314 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
4.314 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (pow v 2)) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))))) in v
4.314 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v
4.314 * [backup-simplify]: Simplify 1.3333333333333333 into 1.3333333333333333
4.314 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- 1.0 (pow v 2)) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2)))))) in v
4.314 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (pow v 2)) PI)) in v
4.314 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v
4.314 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
4.314 * [taylor]: Taking taylor expansion of 1.0 in v
4.314 * [backup-simplify]: Simplify 1.0 into 1.0
4.314 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.314 * [taylor]: Taking taylor expansion of v in v
4.314 * [backup-simplify]: Simplify 0 into 0
4.314 * [backup-simplify]: Simplify 1 into 1
4.314 * [taylor]: Taking taylor expansion of PI in v
4.314 * [backup-simplify]: Simplify PI into PI
4.314 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.315 * [backup-simplify]: Simplify (* 1.0 PI) into (* 1.0 PI)
4.315 * [backup-simplify]: Simplify (/ 1 (* 1.0 PI)) into (/ 1.0 PI)
4.315 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (pow v 2))))) in v
4.315 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (pow v 2)))) in v
4.315 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v
4.315 * [taylor]: Taking taylor expansion of 2.0 in v
4.315 * [backup-simplify]: Simplify 2.0 into 2.0
4.315 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v
4.315 * [taylor]: Taking taylor expansion of 6.0 in v
4.315 * [backup-simplify]: Simplify 6.0 into 6.0
4.315 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.315 * [taylor]: Taking taylor expansion of v in v
4.315 * [backup-simplify]: Simplify 0 into 0
4.316 * [backup-simplify]: Simplify 1 into 1
4.316 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.316 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
4.317 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
4.317 * [backup-simplify]: Simplify (+ 0 0) into 0
4.318 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 0 2.0)))) into 0
4.319 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
4.320 * [backup-simplify]: Simplify (* (/ 1.0 PI) (sqrt 0.5)) into (* 1.0 (/ (sqrt 0.5) PI))
4.323 * [backup-simplify]: Simplify (* 1.3333333333333333 (* 1.0 (/ (sqrt 0.5) PI))) into (* 1.3333333333333333 (/ (sqrt 0.5) PI))
4.325 * [backup-simplify]: Simplify (* 1.3333333333333333 (/ (sqrt 0.5) PI)) into (* 1.3333333333333333 (/ (sqrt 0.5) PI))
4.325 * [backup-simplify]: Simplify (+ 0 0) into 0
4.326 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 PI)) into 0
4.328 * [backup-simplify]: Simplify (- (+ (* (/ 1.0 PI) (/ 0 (* 1.0 PI))))) into 0
4.329 * [backup-simplify]: Simplify (+ (* (/ 1.0 PI) 0) (* 0 (sqrt 0.5))) into 0
4.330 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 0) (* 0 (* 1.0 (/ (sqrt 0.5) PI)))) into 0
4.330 * [backup-simplify]: Simplify 0 into 0
4.331 * [backup-simplify]: Simplify (* 1 1) into 1
4.331 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
4.332 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
4.332 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
4.337 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ (- 6.0) 2.0)) (* 0 (/ 0 2.0)))) into 1.5
4.344 * [backup-simplify]: Simplify (/ (- 1.5 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into (/ 0.75 (sqrt 0.5))
4.345 * [backup-simplify]: Simplify (* 1 1) into 1
4.345 * [backup-simplify]: Simplify (- 1) into -1
4.346 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.349 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* -1 PI))) into (- PI)
4.354 * [backup-simplify]: Simplify (- (+ (* (/ 1.0 PI) (/ (- PI) (* 1.0 PI))) (* 0 (/ 0 (* 1.0 PI))))) into (* 1.0 (/ 1 PI))
4.359 * [backup-simplify]: Simplify (+ (* (/ 1.0 PI) (/ 0.75 (sqrt 0.5))) (+ (* 0 0) (* (* 1.0 (/ 1 PI)) (sqrt 0.5)))) into (+ (* 0.75 (/ 1 (* (sqrt 0.5) PI))) (* 1.0 (/ (sqrt 0.5) PI)))
4.366 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 (+ (* 0.75 (/ 1 (* (sqrt 0.5) PI))) (* 1.0 (/ (sqrt 0.5) PI)))) (+ (* 0 0) (* 0 (* 1.0 (/ (sqrt 0.5) PI))))) into (+ (* 1.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.3333333333333333 (/ (sqrt 0.5) PI)))
4.370 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.3333333333333333 (/ (sqrt 0.5) PI))) into (+ (* 1.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.3333333333333333 (/ (sqrt 0.5) PI)))
4.370 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.371 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
4.371 * [backup-simplify]: Simplify (- 0) into 0
4.371 * [backup-simplify]: Simplify (+ 0 0) into 0
4.372 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 0 2.0)) (* 0 (/ (- 6.0) 2.0)) (* 1.5 (/ 0 2.0)))) into 0
4.373 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.75 (sqrt 0.5)))))) (* 2 (sqrt 0.5))) into 0
4.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.374 * [backup-simplify]: Simplify (- 0) into 0
4.374 * [backup-simplify]: Simplify (+ 0 0) into 0
4.375 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* -1 0) (* 0 PI)))) into 0
4.376 * [backup-simplify]: Simplify (- (+ (* (/ 1.0 PI) (/ 0 (* 1.0 PI))) (* 0 (/ (- PI) (* 1.0 PI))) (* (* 1.0 (/ 1 PI)) (/ 0 (* 1.0 PI))))) into 0
4.378 * [backup-simplify]: Simplify (+ (* (/ 1.0 PI) 0) (+ (* 0 (/ 0.75 (sqrt 0.5))) (+ (* (* 1.0 (/ 1 PI)) 0) (* 0 (sqrt 0.5))))) into 0
4.380 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 0) (+ (* 0 (+ (* 0.75 (/ 1 (* (sqrt 0.5) PI))) (* 1.0 (/ (sqrt 0.5) PI)))) (+ (* 0 0) (* 0 (* 1.0 (/ (sqrt 0.5) PI)))))) into 0
4.380 * [backup-simplify]: Simplify 0 into 0
4.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.381 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (* 0 1))) into 0
4.381 * [backup-simplify]: Simplify (- 0) into 0
4.381 * [backup-simplify]: Simplify (+ 0 0) into 0
4.385 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 0 2.0)) (* 0 (/ 0 2.0)) (* 1.5 (/ (- 6.0) 2.0)) (* 0 (/ 0 2.0)))) into 4.5
4.392 * [backup-simplify]: Simplify (/ (- 4.5 (pow (/ 0.75 (sqrt 0.5)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into (* 1/2 (/ (- 4.5 (* 0.5625 (/ 1 (pow (sqrt 0.5) 2)))) (sqrt 0.5)))
4.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.394 * [backup-simplify]: Simplify (- 0) into 0
4.394 * [backup-simplify]: Simplify (+ 0 0) into 0
4.396 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 PI))))) into 0
4.407 * [backup-simplify]: Simplify (- (+ (* (/ 1.0 PI) (/ 0 (* 1.0 PI))) (* 0 (/ 0 (* 1.0 PI))) (* (* 1.0 (/ 1 PI)) (/ (- PI) (* 1.0 PI))) (* 0 (/ 0 (* 1.0 PI))))) into (* 1.0 (/ 1 PI))
4.425 * [backup-simplify]: Simplify (+ (* (/ 1.0 PI) (* 1/2 (/ (- 4.5 (* 0.5625 (/ 1 (pow (sqrt 0.5) 2)))) (sqrt 0.5)))) (+ (* 0 0) (+ (* (* 1.0 (/ 1 PI)) (/ 0.75 (sqrt 0.5))) (+ (* 0 0) (* (* 1.0 (/ 1 PI)) (sqrt 0.5)))))) into (- (+ (* 3.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.0 (/ (sqrt 0.5) PI))) (* 0.28125 (/ 1 (* (pow (sqrt 0.5) 3) PI))))
4.444 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 (- (+ (* 3.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.0 (/ (sqrt 0.5) PI))) (* 0.28125 (/ 1 (* (pow (sqrt 0.5) 3) PI))))) (+ (* 0 0) (+ (* 0 (+ (* 0.75 (/ 1 (* (sqrt 0.5) PI))) (* 1.0 (/ (sqrt 0.5) PI)))) (+ (* 0 0) (* 0 (* 1.0 (/ (sqrt 0.5) PI))))))) into (- (+ (* 4.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.3333333333333333 (/ (sqrt 0.5) PI))) (* 0.375 (/ 1 (* (pow (sqrt 0.5) 3) PI))))
4.458 * [backup-simplify]: Simplify (- (+ (* 4.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.3333333333333333 (/ (sqrt 0.5) PI))) (* 0.375 (/ 1 (* (pow (sqrt 0.5) 3) PI)))) into (- (+ (* 4.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.3333333333333333 (/ (sqrt 0.5) PI))) (* 0.375 (/ 1 (* (pow (sqrt 0.5) 3) PI))))
4.475 * [backup-simplify]: Simplify (+ (* (- (+ (* 4.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.3333333333333333 (/ (sqrt 0.5) PI))) (* 0.375 (/ 1 (* (pow (sqrt 0.5) 3) PI)))) (pow v 4)) (+ (* (+ (* 1.0 (/ 1 (* (sqrt 0.5) PI))) (* 1.3333333333333333 (/ (sqrt 0.5) PI))) (pow v 2)) (* 1.3333333333333333 (/ (sqrt 0.5) PI)))) into (- (+ (* 1.0 (/ (pow v 2) (* (sqrt 0.5) PI))) (+ (* 1.3333333333333333 (/ (* (pow v 2) (sqrt 0.5)) PI)) (+ (* 1.3333333333333333 (/ (* (pow v 4) (sqrt 0.5)) PI)) (+ (* 1.3333333333333333 (/ (sqrt 0.5) PI)) (* 4.0 (/ (pow v 4) (* (sqrt 0.5) PI))))))) (* 0.375 (/ (pow v 4) (* (pow (sqrt 0.5) 3) PI))))
4.475 * [backup-simplify]: Simplify (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* (/ 1 v) (/ 1 v)))) (sqrt (- 2.0 (* 6.0 (* (/ 1 v) (/ 1 v))))))) into (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))))
4.475 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in (v) around 0
4.475 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in v
4.475 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v
4.475 * [backup-simplify]: Simplify 1.3333333333333333 into 1.3333333333333333
4.475 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v
4.475 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
4.475 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
4.476 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
4.476 * [taylor]: Taking taylor expansion of 1.0 in v
4.476 * [backup-simplify]: Simplify 1.0 into 1.0
4.476 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
4.476 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.476 * [taylor]: Taking taylor expansion of v in v
4.476 * [backup-simplify]: Simplify 0 into 0
4.476 * [backup-simplify]: Simplify 1 into 1
4.476 * [backup-simplify]: Simplify (* 1 1) into 1
4.476 * [backup-simplify]: Simplify (/ 1 1) into 1
4.476 * [taylor]: Taking taylor expansion of PI in v
4.476 * [backup-simplify]: Simplify PI into PI
4.476 * [backup-simplify]: Simplify (- 1) into -1
4.477 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.477 * [backup-simplify]: Simplify (* -1 PI) into (* -1 PI)
4.478 * [backup-simplify]: Simplify (/ 1 (* -1 PI)) into (/ -1 PI)
4.478 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v
4.478 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v
4.478 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v
4.478 * [taylor]: Taking taylor expansion of 2.0 in v
4.478 * [backup-simplify]: Simplify 2.0 into 2.0
4.478 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v
4.478 * [taylor]: Taking taylor expansion of 6.0 in v
4.478 * [backup-simplify]: Simplify 6.0 into 6.0
4.478 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
4.478 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.478 * [taylor]: Taking taylor expansion of v in v
4.478 * [backup-simplify]: Simplify 0 into 0
4.478 * [backup-simplify]: Simplify 1 into 1
4.478 * [backup-simplify]: Simplify (* 1 1) into 1
4.478 * [backup-simplify]: Simplify (/ 1 1) into 1
4.479 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
4.479 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
4.479 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
4.480 * [backup-simplify]: Simplify (/ 1 (- 6.0)) into -0.16666666666666666
4.480 * [backup-simplify]: Simplify (sqrt -0.16666666666666666) into (sqrt -0.16666666666666666)
4.481 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.482 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
4.482 * [backup-simplify]: Simplify (- 0) into 0
4.482 * [backup-simplify]: Simplify (+ 0 0) into 0
4.483 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 0 (- 6.0))))) into 0
4.483 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -0.16666666666666666))) into 0
4.483 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in v
4.483 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v
4.483 * [backup-simplify]: Simplify 1.3333333333333333 into 1.3333333333333333
4.483 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v
4.483 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
4.483 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
4.483 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
4.483 * [taylor]: Taking taylor expansion of 1.0 in v
4.483 * [backup-simplify]: Simplify 1.0 into 1.0
4.483 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
4.483 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.483 * [taylor]: Taking taylor expansion of v in v
4.483 * [backup-simplify]: Simplify 0 into 0
4.483 * [backup-simplify]: Simplify 1 into 1
4.484 * [backup-simplify]: Simplify (* 1 1) into 1
4.484 * [backup-simplify]: Simplify (/ 1 1) into 1
4.484 * [taylor]: Taking taylor expansion of PI in v
4.484 * [backup-simplify]: Simplify PI into PI
4.484 * [backup-simplify]: Simplify (- 1) into -1
4.484 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.485 * [backup-simplify]: Simplify (* -1 PI) into (* -1 PI)
4.485 * [backup-simplify]: Simplify (/ 1 (* -1 PI)) into (/ -1 PI)
4.485 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v
4.485 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v
4.485 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v
4.485 * [taylor]: Taking taylor expansion of 2.0 in v
4.485 * [backup-simplify]: Simplify 2.0 into 2.0
4.485 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v
4.486 * [taylor]: Taking taylor expansion of 6.0 in v
4.486 * [backup-simplify]: Simplify 6.0 into 6.0
4.486 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
4.486 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.486 * [taylor]: Taking taylor expansion of v in v
4.486 * [backup-simplify]: Simplify 0 into 0
4.486 * [backup-simplify]: Simplify 1 into 1
4.486 * [backup-simplify]: Simplify (* 1 1) into 1
4.486 * [backup-simplify]: Simplify (/ 1 1) into 1
4.486 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
4.487 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
4.487 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
4.488 * [backup-simplify]: Simplify (/ 1 (- 6.0)) into -0.16666666666666666
4.488 * [backup-simplify]: Simplify (sqrt -0.16666666666666666) into (sqrt -0.16666666666666666)
4.488 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.489 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
4.489 * [backup-simplify]: Simplify (- 0) into 0
4.490 * [backup-simplify]: Simplify (+ 0 0) into 0
4.490 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 0 (- 6.0))))) into 0
4.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -0.16666666666666666))) into 0
4.492 * [backup-simplify]: Simplify (* (/ -1 PI) (sqrt -0.16666666666666666)) into (* -1 (/ (sqrt -0.16666666666666666) PI))
4.493 * [backup-simplify]: Simplify (* 1.3333333333333333 (* -1 (/ (sqrt -0.16666666666666666) PI))) into (* -1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))
4.494 * [backup-simplify]: Simplify (* -1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)) into (* -1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))
4.495 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.495 * [backup-simplify]: Simplify (- 0) into 0
4.496 * [backup-simplify]: Simplify (+ 0 0) into 0
4.496 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 PI)) into 0
4.497 * [backup-simplify]: Simplify (- (+ (* (/ -1 PI) (/ 0 (* -1 PI))))) into 0
4.498 * [backup-simplify]: Simplify (+ (* (/ -1 PI) 0) (* 0 (sqrt -0.16666666666666666))) into 0
4.498 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 0) (* 0 (* -1 (/ (sqrt -0.16666666666666666) PI)))) into 0
4.498 * [backup-simplify]: Simplify 0 into 0
4.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.500 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (* 0 1))) into 0
4.500 * [backup-simplify]: Simplify (- 0) into 0
4.501 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.503 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 2.0 (- 6.0))) (* 0 (/ 0 (- 6.0))))) into (- 0.05555555555555555)
4.506 * [backup-simplify]: Simplify (/ (- (- 0.05555555555555555) (pow 0 2) (+)) (* 2 (sqrt -0.16666666666666666))) into (/ -0.027777777777777776 (sqrt -0.16666666666666666))
4.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.507 * [backup-simplify]: Simplify (- 0) into 0
4.507 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.509 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 1.0 PI))) into (* 1.0 PI)
4.514 * [backup-simplify]: Simplify (- (+ (* (/ -1 PI) (/ (* 1.0 PI) (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 1.0 (/ 1 PI)))
4.525 * [backup-simplify]: Simplify (+ (* (/ -1 PI) (/ -0.027777777777777776 (sqrt -0.16666666666666666))) (+ (* 0 0) (* (- (* 1.0 (/ 1 PI))) (sqrt -0.16666666666666666)))) into (- (* 0.027777777777777776 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))
4.538 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 (- (* 0.027777777777777776 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))) (+ (* 0 0) (* 0 (* -1 (/ (sqrt -0.16666666666666666) PI))))) into (- (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)))
4.542 * [backup-simplify]: Simplify (- (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))) into (- (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)))
4.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.544 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.545 * [backup-simplify]: Simplify (- 0) into 0
4.545 * [backup-simplify]: Simplify (+ 0 0) into 0
4.546 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 0 (- 6.0))) (* 0 (/ 2.0 (- 6.0))) (* (- 0.05555555555555555) (/ 0 (- 6.0))))) into 0
4.547 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -0.027777777777777776 (sqrt -0.16666666666666666)))))) (* 2 (sqrt -0.16666666666666666))) into 0
4.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.552 * [backup-simplify]: Simplify (- 0) into 0
4.553 * [backup-simplify]: Simplify (+ 0 0) into 0
4.553 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1.0 0) (* 0 PI)))) into 0
4.555 * [backup-simplify]: Simplify (- (+ (* (/ -1 PI) (/ 0 (* -1 PI))) (* 0 (/ (* 1.0 PI) (* -1 PI))) (* (- (* 1.0 (/ 1 PI))) (/ 0 (* -1 PI))))) into 0
4.557 * [backup-simplify]: Simplify (+ (* (/ -1 PI) 0) (+ (* 0 (/ -0.027777777777777776 (sqrt -0.16666666666666666))) (+ (* (- (* 1.0 (/ 1 PI))) 0) (* 0 (sqrt -0.16666666666666666))))) into 0
4.559 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 0) (+ (* 0 (- (* 0.027777777777777776 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))) (+ (* 0 0) (* 0 (* -1 (/ (sqrt -0.16666666666666666) PI)))))) into 0
4.559 * [backup-simplify]: Simplify 0 into 0
4.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.561 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.561 * [backup-simplify]: Simplify (- 0) into 0
4.562 * [backup-simplify]: Simplify (+ 0 0) into 0
4.566 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 0 (- 6.0))) (* 0 (/ 0 (- 6.0))) (* (- 0.05555555555555555) (/ 2.0 (- 6.0))) (* 0 (/ 0 (- 6.0))))) into (- 0.018518518518518517)
4.570 * [backup-simplify]: Simplify (/ (- (- 0.018518518518518517) (pow (/ -0.027777777777777776 (sqrt -0.16666666666666666)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -0.16666666666666666))) into (* -1/2 (/ (+ (* 0.0007716049382716049 (/ 1 (pow (sqrt -0.16666666666666666) 2))) 0.018518518518518517) (sqrt -0.16666666666666666)))
4.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.572 * [backup-simplify]: Simplify (- 0) into 0
4.572 * [backup-simplify]: Simplify (+ 0 0) into 0
4.574 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))))) into 0
4.586 * [backup-simplify]: Simplify (- (+ (* (/ -1 PI) (/ 0 (* -1 PI))) (* 0 (/ 0 (* -1 PI))) (* (- (* 1.0 (/ 1 PI))) (/ (* 1.0 PI) (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 1.0 (/ 1 PI)))
4.604 * [backup-simplify]: Simplify (+ (* (/ -1 PI) (* -1/2 (/ (+ (* 0.0007716049382716049 (/ 1 (pow (sqrt -0.16666666666666666) 2))) 0.018518518518518517) (sqrt -0.16666666666666666)))) (+ (* 0 0) (+ (* (- (* 1.0 (/ 1 PI))) (/ -0.027777777777777776 (sqrt -0.16666666666666666))) (+ (* 0 0) (* (- (* 1.0 (/ 1 PI))) (sqrt -0.16666666666666666)))))) into (- (+ (* 0.00038580246913580245 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))
4.620 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 (- (+ (* 0.00038580246913580245 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))) (+ (* 0 0) (+ (* 0 (- (* 0.027777777777777776 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))) (+ (* 0 0) (* 0 (* -1 (/ (sqrt -0.16666666666666666) PI))))))) into (- (+ (* 0.0005144032921810699 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.04938271604938271 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)))
4.631 * [backup-simplify]: Simplify (- (+ (* 0.0005144032921810699 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.04938271604938271 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))) into (- (+ (* 0.0005144032921810699 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.04938271604938271 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)))
4.661 * [backup-simplify]: Simplify (+ (* (- (+ (* 0.0005144032921810699 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.04938271604938271 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))) (pow (/ 1 v) 7)) (+ (* (- (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))) (pow (/ 1 v) 5)) (* (* -1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)) (pow (/ 1 v) 3)))) into (- (+ (* 0.037037037037037035 (/ 1 (* (pow v 5) (* PI (sqrt -0.16666666666666666))))) (+ (* 0.04938271604938271 (/ 1 (* (pow v 7) (* PI (sqrt -0.16666666666666666))))) (* 0.0005144032921810699 (/ 1 (* (pow v 7) (* PI (pow (sqrt -0.16666666666666666) 3))))))) (+ (* 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))))))
4.662 * [backup-simplify]: Simplify (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* (/ 1 (- v)) (/ 1 (- v))))) (sqrt (- 2.0 (* 6.0 (* (/ 1 (- v)) (/ 1 (- v)))))))) into (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))))
4.662 * [approximate]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in (v) around 0
4.662 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in v
4.662 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v
4.662 * [backup-simplify]: Simplify 1.3333333333333333 into 1.3333333333333333
4.662 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v
4.662 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
4.662 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
4.662 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
4.662 * [taylor]: Taking taylor expansion of 1.0 in v
4.662 * [backup-simplify]: Simplify 1.0 into 1.0
4.662 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
4.662 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.662 * [taylor]: Taking taylor expansion of v in v
4.663 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [backup-simplify]: Simplify (* 1 1) into 1
4.663 * [backup-simplify]: Simplify (/ 1 1) into 1
4.663 * [taylor]: Taking taylor expansion of PI in v
4.663 * [backup-simplify]: Simplify PI into PI
4.664 * [backup-simplify]: Simplify (- 1) into -1
4.664 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.665 * [backup-simplify]: Simplify (* -1 PI) into (* -1 PI)
4.666 * [backup-simplify]: Simplify (/ 1 (* -1 PI)) into (/ -1 PI)
4.666 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v
4.666 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v
4.666 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v
4.666 * [taylor]: Taking taylor expansion of 2.0 in v
4.666 * [backup-simplify]: Simplify 2.0 into 2.0
4.666 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v
4.666 * [taylor]: Taking taylor expansion of 6.0 in v
4.666 * [backup-simplify]: Simplify 6.0 into 6.0
4.666 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
4.666 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.666 * [taylor]: Taking taylor expansion of v in v
4.667 * [backup-simplify]: Simplify 0 into 0
4.667 * [backup-simplify]: Simplify 1 into 1
4.667 * [backup-simplify]: Simplify (* 1 1) into 1
4.667 * [backup-simplify]: Simplify (/ 1 1) into 1
4.668 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
4.668 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
4.669 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
4.670 * [backup-simplify]: Simplify (/ 1 (- 6.0)) into -0.16666666666666666
4.670 * [backup-simplify]: Simplify (sqrt -0.16666666666666666) into (sqrt -0.16666666666666666)
4.671 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.672 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
4.673 * [backup-simplify]: Simplify (- 0) into 0
4.673 * [backup-simplify]: Simplify (+ 0 0) into 0
4.674 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 0 (- 6.0))))) into 0
4.675 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -0.16666666666666666))) into 0
4.675 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))) in v
4.675 * [taylor]: Taking taylor expansion of 1.3333333333333333 in v
4.675 * [backup-simplify]: Simplify 1.3333333333333333 into 1.3333333333333333
4.675 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v
4.675 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
4.675 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
4.675 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
4.675 * [taylor]: Taking taylor expansion of 1.0 in v
4.675 * [backup-simplify]: Simplify 1.0 into 1.0
4.675 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
4.675 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.675 * [taylor]: Taking taylor expansion of v in v
4.675 * [backup-simplify]: Simplify 0 into 0
4.675 * [backup-simplify]: Simplify 1 into 1
4.675 * [backup-simplify]: Simplify (* 1 1) into 1
4.676 * [backup-simplify]: Simplify (/ 1 1) into 1
4.676 * [taylor]: Taking taylor expansion of PI in v
4.676 * [backup-simplify]: Simplify PI into PI
4.676 * [backup-simplify]: Simplify (- 1) into -1
4.677 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.677 * [backup-simplify]: Simplify (* -1 PI) into (* -1 PI)
4.678 * [backup-simplify]: Simplify (/ 1 (* -1 PI)) into (/ -1 PI)
4.678 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v
4.678 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v
4.678 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v
4.678 * [taylor]: Taking taylor expansion of 2.0 in v
4.678 * [backup-simplify]: Simplify 2.0 into 2.0
4.678 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v
4.678 * [taylor]: Taking taylor expansion of 6.0 in v
4.678 * [backup-simplify]: Simplify 6.0 into 6.0
4.678 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
4.678 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.679 * [taylor]: Taking taylor expansion of v in v
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 1 into 1
4.679 * [backup-simplify]: Simplify (* 1 1) into 1
4.679 * [backup-simplify]: Simplify (/ 1 1) into 1
4.680 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
4.680 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
4.681 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
4.682 * [backup-simplify]: Simplify (/ 1 (- 6.0)) into -0.16666666666666666
4.682 * [backup-simplify]: Simplify (sqrt -0.16666666666666666) into (sqrt -0.16666666666666666)
4.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.685 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
4.685 * [backup-simplify]: Simplify (- 0) into 0
4.685 * [backup-simplify]: Simplify (+ 0 0) into 0
4.686 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 0 (- 6.0))))) into 0
4.687 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -0.16666666666666666))) into 0
4.689 * [backup-simplify]: Simplify (* (/ -1 PI) (sqrt -0.16666666666666666)) into (* -1 (/ (sqrt -0.16666666666666666) PI))
4.691 * [backup-simplify]: Simplify (* 1.3333333333333333 (* -1 (/ (sqrt -0.16666666666666666) PI))) into (* -1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))
4.693 * [backup-simplify]: Simplify (* -1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)) into (* -1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))
4.693 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.694 * [backup-simplify]: Simplify (- 0) into 0
4.694 * [backup-simplify]: Simplify (+ 0 0) into 0
4.694 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 PI)) into 0
4.695 * [backup-simplify]: Simplify (- (+ (* (/ -1 PI) (/ 0 (* -1 PI))))) into 0
4.696 * [backup-simplify]: Simplify (+ (* (/ -1 PI) 0) (* 0 (sqrt -0.16666666666666666))) into 0
4.697 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 0) (* 0 (* -1 (/ (sqrt -0.16666666666666666) PI)))) into 0
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.698 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (* 0 1))) into 0
4.698 * [backup-simplify]: Simplify (- 0) into 0
4.699 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.701 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 2.0 (- 6.0))) (* 0 (/ 0 (- 6.0))))) into (- 0.05555555555555555)
4.704 * [backup-simplify]: Simplify (/ (- (- 0.05555555555555555) (pow 0 2) (+)) (* 2 (sqrt -0.16666666666666666))) into (/ -0.027777777777777776 (sqrt -0.16666666666666666))
4.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.705 * [backup-simplify]: Simplify (- 0) into 0
4.705 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.707 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 1.0 PI))) into (* 1.0 PI)
4.711 * [backup-simplify]: Simplify (- (+ (* (/ -1 PI) (/ (* 1.0 PI) (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 1.0 (/ 1 PI)))
4.717 * [backup-simplify]: Simplify (+ (* (/ -1 PI) (/ -0.027777777777777776 (sqrt -0.16666666666666666))) (+ (* 0 0) (* (- (* 1.0 (/ 1 PI))) (sqrt -0.16666666666666666)))) into (- (* 0.027777777777777776 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))
4.725 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 (- (* 0.027777777777777776 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))) (+ (* 0 0) (* 0 (* -1 (/ (sqrt -0.16666666666666666) PI))))) into (- (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)))
4.731 * [backup-simplify]: Simplify (- (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))) into (- (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)))
4.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.735 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.735 * [backup-simplify]: Simplify (- 0) into 0
4.735 * [backup-simplify]: Simplify (+ 0 0) into 0
4.737 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 0 (- 6.0))) (* 0 (/ 2.0 (- 6.0))) (* (- 0.05555555555555555) (/ 0 (- 6.0))))) into 0
4.739 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -0.027777777777777776 (sqrt -0.16666666666666666)))))) (* 2 (sqrt -0.16666666666666666))) into 0
4.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.742 * [backup-simplify]: Simplify (- 0) into 0
4.742 * [backup-simplify]: Simplify (+ 0 0) into 0
4.743 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1.0 0) (* 0 PI)))) into 0
4.746 * [backup-simplify]: Simplify (- (+ (* (/ -1 PI) (/ 0 (* -1 PI))) (* 0 (/ (* 1.0 PI) (* -1 PI))) (* (- (* 1.0 (/ 1 PI))) (/ 0 (* -1 PI))))) into 0
4.750 * [backup-simplify]: Simplify (+ (* (/ -1 PI) 0) (+ (* 0 (/ -0.027777777777777776 (sqrt -0.16666666666666666))) (+ (* (- (* 1.0 (/ 1 PI))) 0) (* 0 (sqrt -0.16666666666666666))))) into 0
4.754 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 0) (+ (* 0 (- (* 0.027777777777777776 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))) (+ (* 0 0) (* 0 (* -1 (/ (sqrt -0.16666666666666666) PI)))))) into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.758 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.759 * [backup-simplify]: Simplify (- 0) into 0
4.759 * [backup-simplify]: Simplify (+ 0 0) into 0
4.767 * [backup-simplify]: Simplify (- (+ (* -0.16666666666666666 (/ 0 (- 6.0))) (* 0 (/ 0 (- 6.0))) (* (- 0.05555555555555555) (/ 2.0 (- 6.0))) (* 0 (/ 0 (- 6.0))))) into (- 0.018518518518518517)
4.774 * [backup-simplify]: Simplify (/ (- (- 0.018518518518518517) (pow (/ -0.027777777777777776 (sqrt -0.16666666666666666)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -0.16666666666666666))) into (* -1/2 (/ (+ (* 0.0007716049382716049 (/ 1 (pow (sqrt -0.16666666666666666) 2))) 0.018518518518518517) (sqrt -0.16666666666666666)))
4.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.777 * [backup-simplify]: Simplify (- 0) into 0
4.778 * [backup-simplify]: Simplify (+ 0 0) into 0
4.786 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))))) into 0
4.801 * [backup-simplify]: Simplify (- (+ (* (/ -1 PI) (/ 0 (* -1 PI))) (* 0 (/ 0 (* -1 PI))) (* (- (* 1.0 (/ 1 PI))) (/ (* 1.0 PI) (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 1.0 (/ 1 PI)))
4.824 * [backup-simplify]: Simplify (+ (* (/ -1 PI) (* -1/2 (/ (+ (* 0.0007716049382716049 (/ 1 (pow (sqrt -0.16666666666666666) 2))) 0.018518518518518517) (sqrt -0.16666666666666666)))) (+ (* 0 0) (+ (* (- (* 1.0 (/ 1 PI))) (/ -0.027777777777777776 (sqrt -0.16666666666666666))) (+ (* 0 0) (* (- (* 1.0 (/ 1 PI))) (sqrt -0.16666666666666666)))))) into (- (+ (* 0.00038580246913580245 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))
4.840 * [backup-simplify]: Simplify (+ (* 1.3333333333333333 (- (+ (* 0.00038580246913580245 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))) (+ (* 0 0) (+ (* 0 (- (* 0.027777777777777776 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.0 (/ (sqrt -0.16666666666666666) PI)))) (+ (* 0 0) (* 0 (* -1 (/ (sqrt -0.16666666666666666) PI))))))) into (- (+ (* 0.0005144032921810699 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.04938271604938271 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)))
4.848 * [backup-simplify]: Simplify (- (+ (* 0.0005144032921810699 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.04938271604938271 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))) into (- (+ (* 0.0005144032921810699 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.04938271604938271 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)))
4.865 * [backup-simplify]: Simplify (+ (* (- (+ (* 0.0005144032921810699 (/ 1 (* PI (pow (sqrt -0.16666666666666666) 3)))) (* 0.04938271604938271 (/ 1 (* PI (sqrt -0.16666666666666666))))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))) (pow (/ 1 (- v)) 7)) (+ (* (- (* 0.037037037037037035 (/ 1 (* PI (sqrt -0.16666666666666666)))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) PI))) (pow (/ 1 (- v)) 5)) (* (* -1.3333333333333333 (/ (sqrt -0.16666666666666666) PI)) (pow (/ 1 (- v)) 3)))) into (- (+ (* 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))))) (+ (* 0.04938271604938271 (/ 1 (* (pow v 7) (* PI (sqrt -0.16666666666666666))))) (+ (* 0.0005144032921810699 (/ 1 (* (pow v 7) (* PI (pow (sqrt -0.16666666666666666) 3))))) (* 0.037037037037037035 (/ 1 (* (pow v 5) (* PI (sqrt -0.16666666666666666))))))))
4.865 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 1 2)
4.865 * [backup-simplify]: Simplify (* 6.0 (* v v)) into (* 6.0 (pow v 2))
4.865 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0
4.865 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v
4.865 * [taylor]: Taking taylor expansion of 6.0 in v
4.865 * [backup-simplify]: Simplify 6.0 into 6.0
4.866 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.866 * [taylor]: Taking taylor expansion of v in v
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 1 into 1
4.866 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v
4.866 * [taylor]: Taking taylor expansion of 6.0 in v
4.866 * [backup-simplify]: Simplify 6.0 into 6.0
4.866 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.866 * [taylor]: Taking taylor expansion of v in v
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 1 into 1
4.866 * [backup-simplify]: Simplify (* 1 1) into 1
4.867 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
4.867 * [backup-simplify]: Simplify 6.0 into 6.0
4.867 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.868 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
4.868 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.870 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (* 0 1))) into 0
4.870 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.872 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.875 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.875 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.878 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.878 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.881 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.881 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify (* 6.0 (pow v 2)) into (* 6.0 (pow v 2))
4.882 * [backup-simplify]: Simplify (* 6.0 (* (/ 1 v) (/ 1 v))) into (/ 6.0 (pow v 2))
4.882 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0
4.882 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v
4.882 * [taylor]: Taking taylor expansion of 6.0 in v
4.882 * [backup-simplify]: Simplify 6.0 into 6.0
4.882 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.882 * [taylor]: Taking taylor expansion of v in v
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (* 1 1) into 1
4.883 * [backup-simplify]: Simplify (/ 6.0 1) into 6.0
4.883 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v
4.883 * [taylor]: Taking taylor expansion of 6.0 in v
4.883 * [backup-simplify]: Simplify 6.0 into 6.0
4.883 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.883 * [taylor]: Taking taylor expansion of v in v
4.883 * [backup-simplify]: Simplify 0 into 0
4.883 * [backup-simplify]: Simplify 1 into 1
4.883 * [backup-simplify]: Simplify (* 1 1) into 1
4.884 * [backup-simplify]: Simplify (/ 6.0 1) into 6.0
4.884 * [backup-simplify]: Simplify 6.0 into 6.0
4.885 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.885 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)))) into 0
4.885 * [backup-simplify]: Simplify 0 into 0
4.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.888 * [backup-simplify]: Simplify 0 into 0
4.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.890 * [backup-simplify]: Simplify 0 into 0
4.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.893 * [backup-simplify]: Simplify 0 into 0
4.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.895 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.898 * [backup-simplify]: Simplify 0 into 0
4.898 * [backup-simplify]: Simplify (* 6.0 (pow (/ 1 (/ 1 v)) 2)) into (* 6.0 (pow v 2))
4.899 * [backup-simplify]: Simplify (* 6.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 6.0 (pow v 2))
4.899 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0
4.899 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v
4.899 * [taylor]: Taking taylor expansion of 6.0 in v
4.899 * [backup-simplify]: Simplify 6.0 into 6.0
4.899 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.899 * [taylor]: Taking taylor expansion of v in v
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [backup-simplify]: Simplify 1 into 1
4.899 * [backup-simplify]: Simplify (* 1 1) into 1
4.906 * [backup-simplify]: Simplify (/ 6.0 1) into 6.0
4.906 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v
4.906 * [taylor]: Taking taylor expansion of 6.0 in v
4.906 * [backup-simplify]: Simplify 6.0 into 6.0
4.906 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.906 * [taylor]: Taking taylor expansion of v in v
4.906 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify 1 into 1
4.907 * [backup-simplify]: Simplify (* 1 1) into 1
4.907 * [backup-simplify]: Simplify (/ 6.0 1) into 6.0
4.907 * [backup-simplify]: Simplify 6.0 into 6.0
4.908 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)))) into 0
4.908 * [backup-simplify]: Simplify 0 into 0
4.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.909 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.909 * [backup-simplify]: Simplify 0 into 0
4.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.911 * [backup-simplify]: Simplify 0 into 0
4.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.912 * [backup-simplify]: Simplify 0 into 0
4.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.913 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.915 * [backup-simplify]: Simplify 0 into 0
4.915 * [backup-simplify]: Simplify (* 6.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 6.0 (pow v 2))
4.915 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
4.916 * [backup-simplify]: Simplify (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))) into (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* PI (- 1.0 (pow v 2)))))
4.916 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* PI (- 1.0 (pow v 2))))) in (v) around 0
4.916 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* PI (- 1.0 (pow v 2))))) in v
4.916 * [taylor]: Taking taylor expansion of 3.0 in v
4.916 * [backup-simplify]: Simplify 3.0 into 3.0
4.916 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* PI (- 1.0 (pow v 2)))) in v
4.916 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v
4.916 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v
4.916 * [taylor]: Taking taylor expansion of 2.0 in v
4.916 * [backup-simplify]: Simplify 2.0 into 2.0
4.916 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v
4.916 * [taylor]: Taking taylor expansion of 6.0 in v
4.916 * [backup-simplify]: Simplify 6.0 into 6.0
4.916 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.916 * [taylor]: Taking taylor expansion of v in v
4.916 * [backup-simplify]: Simplify 0 into 0
4.916 * [backup-simplify]: Simplify 1 into 1
4.916 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.917 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
4.917 * [backup-simplify]: Simplify (+ 0 0) into 0
4.917 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
4.917 * [taylor]: Taking taylor expansion of (* PI (- 1.0 (pow v 2))) in v
4.917 * [taylor]: Taking taylor expansion of PI in v
4.917 * [backup-simplify]: Simplify PI into PI
4.917 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
4.917 * [taylor]: Taking taylor expansion of 1.0 in v
4.917 * [backup-simplify]: Simplify 1.0 into 1.0
4.917 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.917 * [taylor]: Taking taylor expansion of v in v
4.918 * [backup-simplify]: Simplify 0 into 0
4.918 * [backup-simplify]: Simplify 1 into 1
4.918 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* PI (- 1.0 (pow v 2))))) in v
4.918 * [taylor]: Taking taylor expansion of 3.0 in v
4.918 * [backup-simplify]: Simplify 3.0 into 3.0
4.918 * [taylor]: Taking taylor expansion of (* (sqrt (- 2.0 (* 6.0 (pow v 2)))) (* PI (- 1.0 (pow v 2)))) in v
4.918 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (pow v 2)))) in v
4.918 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (pow v 2))) in v
4.918 * [taylor]: Taking taylor expansion of 2.0 in v
4.918 * [backup-simplify]: Simplify 2.0 into 2.0
4.918 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v
4.918 * [taylor]: Taking taylor expansion of 6.0 in v
4.918 * [backup-simplify]: Simplify 6.0 into 6.0
4.918 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.918 * [taylor]: Taking taylor expansion of v in v
4.918 * [backup-simplify]: Simplify 0 into 0
4.918 * [backup-simplify]: Simplify 1 into 1
4.918 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.918 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
4.919 * [backup-simplify]: Simplify (+ 0 0) into 0
4.919 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
4.919 * [taylor]: Taking taylor expansion of (* PI (- 1.0 (pow v 2))) in v
4.919 * [taylor]: Taking taylor expansion of PI in v
4.919 * [backup-simplify]: Simplify PI into PI
4.919 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
4.919 * [taylor]: Taking taylor expansion of 1.0 in v
4.919 * [backup-simplify]: Simplify 1.0 into 1.0
4.919 * [taylor]: Taking taylor expansion of (pow v 2) in v
4.919 * [taylor]: Taking taylor expansion of v in v
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify 1 into 1
4.920 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.920 * [backup-simplify]: Simplify (* PI 1.0) into (* 1.0 PI)
4.921 * [backup-simplify]: Simplify (* (sqrt 2.0) (* 1.0 PI)) into (* 1.0 (* (sqrt 2.0) PI))
4.922 * [backup-simplify]: Simplify (* 3.0 (* 1.0 (* (sqrt 2.0) PI))) into (* 3.0 (* (sqrt 2.0) PI))
4.923 * [backup-simplify]: Simplify (* 3.0 (* (sqrt 2.0) PI)) into (* 3.0 (* (sqrt 2.0) PI))
4.924 * [backup-simplify]: Simplify (+ 0 0) into 0
4.924 * [backup-simplify]: Simplify (+ (* PI 0) (* 0 1.0)) into 0
4.925 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (* 1.0 PI))) into 0
4.926 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 (* 1.0 (* (sqrt 2.0) PI)))) into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify (* 1 1) into 1
4.926 * [backup-simplify]: Simplify (- 1) into -1
4.927 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.928 * [backup-simplify]: Simplify (+ (* PI -1) (+ (* 0 0) (* 0 1.0))) into (- PI)
4.928 * [backup-simplify]: Simplify (* 1 1) into 1
4.928 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
4.929 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
4.929 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
4.932 * [backup-simplify]: Simplify (/ (- (- 6.0) (pow 0 2) (+)) (* 2 (sqrt 2.0))) into (/ -3.0 (sqrt 2.0))
4.939 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) (- PI)) (+ (* 0 0) (* (/ -3.0 (sqrt 2.0)) (* 1.0 PI)))) into (- (+ (* 3.0 (/ PI (sqrt 2.0))) (* (sqrt 2.0) PI)))
4.950 * [backup-simplify]: Simplify (+ (* 3.0 (- (+ (* 3.0 (/ PI (sqrt 2.0))) (* (sqrt 2.0) PI)))) (+ (* 0 0) (* 0 (* 1.0 (* (sqrt 2.0) PI))))) into (- (+ (* 9.0 (/ PI (sqrt 2.0))) (* 3.0 (* (sqrt 2.0) PI))))
4.956 * [backup-simplify]: Simplify (- (+ (* 9.0 (/ PI (sqrt 2.0))) (* 3.0 (* (sqrt 2.0) PI)))) into (- (+ (* 9.0 (/ PI (sqrt 2.0))) (* 3.0 (* (sqrt 2.0) PI))))
4.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.958 * [backup-simplify]: Simplify (- 0) into 0
4.958 * [backup-simplify]: Simplify (+ 0 0) into 0
4.960 * [backup-simplify]: Simplify (+ (* PI 0) (+ (* 0 -1) (+ (* 0 0) (* 0 1.0)))) into 0
4.960 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.961 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
4.961 * [backup-simplify]: Simplify (- 0) into 0
4.961 * [backup-simplify]: Simplify (+ 0 0) into 0
4.962 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -3.0 (sqrt 2.0)))))) (* 2 (sqrt 2.0))) into 0
4.963 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 (- PI)) (+ (* (/ -3.0 (sqrt 2.0)) 0) (* 0 (* 1.0 PI))))) into 0
4.965 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (+ (* 3.0 (/ PI (sqrt 2.0))) (* (sqrt 2.0) PI)))) (+ (* 0 0) (* 0 (* 1.0 (* (sqrt 2.0) PI)))))) into 0
4.965 * [backup-simplify]: Simplify 0 into 0
4.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.966 * [backup-simplify]: Simplify (- 0) into 0
4.966 * [backup-simplify]: Simplify (+ 0 0) into 0
4.967 * [backup-simplify]: Simplify (+ (* PI 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 1.0))))) into 0
4.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.968 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (* 0 1))) into 0
4.968 * [backup-simplify]: Simplify (- 0) into 0
4.969 * [backup-simplify]: Simplify (+ 0 0) into 0
4.972 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -3.0 (sqrt 2.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into (/ -4.5 (pow (sqrt 2.0) 3))
4.982 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* (/ -3.0 (sqrt 2.0)) (- PI)) (+ (* 0 0) (* (/ -4.5 (pow (sqrt 2.0) 3)) (* 1.0 PI)))))) into (- (* 3.0 (/ PI (sqrt 2.0))) (* 4.5 (/ PI (pow (sqrt 2.0) 3))))
4.991 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 3.0 (/ PI (sqrt 2.0))) (* 4.5 (/ PI (pow (sqrt 2.0) 3))))) (+ (* 0 0) (+ (* 0 (- (+ (* 3.0 (/ PI (sqrt 2.0))) (* (sqrt 2.0) PI)))) (+ (* 0 0) (* 0 (* 1.0 (* (sqrt 2.0) PI))))))) into (- (* 9.0 (/ PI (sqrt 2.0))) (* 13.5 (/ PI (pow (sqrt 2.0) 3))))
4.994 * [backup-simplify]: Simplify (- (* 9.0 (/ PI (sqrt 2.0))) (* 13.5 (/ PI (pow (sqrt 2.0) 3)))) into (- (* 9.0 (/ PI (sqrt 2.0))) (* 13.5 (/ PI (pow (sqrt 2.0) 3))))
5.010 * [backup-simplify]: Simplify (+ (* (- (* 9.0 (/ PI (sqrt 2.0))) (* 13.5 (/ PI (pow (sqrt 2.0) 3)))) (pow v 4)) (+ (* (- (+ (* 9.0 (/ PI (sqrt 2.0))) (* 3.0 (* (sqrt 2.0) PI)))) (pow v 2)) (* 3.0 (* (sqrt 2.0) PI)))) into (- (+ (* 3.0 (* (sqrt 2.0) PI)) (* 9.0 (/ (* (pow v 4) PI) (sqrt 2.0)))) (+ (* 9.0 (/ (* (pow v 2) PI) (sqrt 2.0))) (+ (* 3.0 (* (sqrt 2.0) (* (pow v 2) PI))) (* 13.5 (/ (* (pow v 4) PI) (pow (sqrt 2.0) 3))))))
5.011 * [backup-simplify]: Simplify (* (* (* 3.0 PI) (- 1.0 (* (/ 1 v) (/ 1 v)))) (sqrt (- 2.0 (* 6.0 (* (/ 1 v) (/ 1 v)))))) into (* 3.0 (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))
5.011 * [approximate]: Taking taylor expansion of (* 3.0 (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in (v) around 0
5.011 * [taylor]: Taking taylor expansion of (* 3.0 (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v
5.011 * [taylor]: Taking taylor expansion of 3.0 in v
5.011 * [backup-simplify]: Simplify 3.0 into 3.0
5.011 * [taylor]: Taking taylor expansion of (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v
5.011 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
5.011 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
5.011 * [taylor]: Taking taylor expansion of 1.0 in v
5.011 * [backup-simplify]: Simplify 1.0 into 1.0
5.011 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
5.011 * [taylor]: Taking taylor expansion of (pow v 2) in v
5.011 * [taylor]: Taking taylor expansion of v in v
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 1 into 1
5.011 * [backup-simplify]: Simplify (* 1 1) into 1
5.012 * [backup-simplify]: Simplify (/ 1 1) into 1
5.012 * [taylor]: Taking taylor expansion of PI in v
5.012 * [backup-simplify]: Simplify PI into PI
5.012 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v
5.012 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v
5.012 * [taylor]: Taking taylor expansion of 2.0 in v
5.012 * [backup-simplify]: Simplify 2.0 into 2.0
5.012 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v
5.012 * [taylor]: Taking taylor expansion of 6.0 in v
5.012 * [backup-simplify]: Simplify 6.0 into 6.0
5.012 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
5.012 * [taylor]: Taking taylor expansion of (pow v 2) in v
5.012 * [taylor]: Taking taylor expansion of v in v
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 1 into 1
5.013 * [backup-simplify]: Simplify (* 1 1) into 1
5.013 * [backup-simplify]: Simplify (/ 1 1) into 1
5.014 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
5.014 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
5.015 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
5.015 * [backup-simplify]: Simplify (sqrt (- 6.0)) into (sqrt (- 6.0))
5.017 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.018 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
5.019 * [backup-simplify]: Simplify (- 0) into 0
5.019 * [backup-simplify]: Simplify (+ 0 0) into 0
5.020 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- 6.0)))) into 0
5.020 * [taylor]: Taking taylor expansion of (* 3.0 (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v
5.020 * [taylor]: Taking taylor expansion of 3.0 in v
5.020 * [backup-simplify]: Simplify 3.0 into 3.0
5.020 * [taylor]: Taking taylor expansion of (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v
5.020 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
5.020 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
5.020 * [taylor]: Taking taylor expansion of 1.0 in v
5.020 * [backup-simplify]: Simplify 1.0 into 1.0
5.020 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
5.020 * [taylor]: Taking taylor expansion of (pow v 2) in v
5.020 * [taylor]: Taking taylor expansion of v in v
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify 1 into 1
5.021 * [backup-simplify]: Simplify (* 1 1) into 1
5.021 * [backup-simplify]: Simplify (/ 1 1) into 1
5.021 * [taylor]: Taking taylor expansion of PI in v
5.021 * [backup-simplify]: Simplify PI into PI
5.021 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v
5.021 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v
5.021 * [taylor]: Taking taylor expansion of 2.0 in v
5.021 * [backup-simplify]: Simplify 2.0 into 2.0
5.021 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v
5.021 * [taylor]: Taking taylor expansion of 6.0 in v
5.021 * [backup-simplify]: Simplify 6.0 into 6.0
5.021 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
5.021 * [taylor]: Taking taylor expansion of (pow v 2) in v
5.021 * [taylor]: Taking taylor expansion of v in v
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [backup-simplify]: Simplify 1 into 1
5.022 * [backup-simplify]: Simplify (* 1 1) into 1
5.022 * [backup-simplify]: Simplify (/ 1 1) into 1
5.023 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
5.023 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
5.024 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
5.025 * [backup-simplify]: Simplify (sqrt (- 6.0)) into (sqrt (- 6.0))
5.025 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.027 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
5.027 * [backup-simplify]: Simplify (- 0) into 0
5.028 * [backup-simplify]: Simplify (+ 0 0) into 0
5.029 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- 6.0)))) into 0
5.029 * [backup-simplify]: Simplify (- 1) into -1
5.029 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.030 * [backup-simplify]: Simplify (* -1 PI) into (* -1 PI)
5.033 * [backup-simplify]: Simplify (* (* -1 PI) (sqrt (- 6.0))) into (* -1 (* PI (sqrt (- 6.0))))
5.036 * [backup-simplify]: Simplify (* 3.0 (* -1 (* PI (sqrt (- 6.0))))) into (* -3.0 (* PI (sqrt (- 6.0))))
5.038 * [backup-simplify]: Simplify (* -3.0 (* PI (sqrt (- 6.0)))) into (* -3.0 (* PI (sqrt (- 6.0))))
5.039 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.041 * [backup-simplify]: Simplify (- 0) into 0
5.041 * [backup-simplify]: Simplify (+ 0 0) into 0
5.042 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 PI)) into 0
5.043 * [backup-simplify]: Simplify (+ (* (* -1 PI) 0) (* 0 (sqrt (- 6.0)))) into 0
5.045 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 (* -1 (* PI (sqrt (- 6.0)))))) into 0
5.045 * [backup-simplify]: Simplify 0 into 0
5.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.048 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (* 0 1))) into 0
5.048 * [backup-simplify]: Simplify (- 0) into 0
5.049 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
5.053 * [backup-simplify]: Simplify (/ (- 2.0 (pow 0 2) (+)) (* 2 (sqrt (- 6.0)))) into (/ 1.0 (sqrt (- 6.0)))
5.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.056 * [backup-simplify]: Simplify (- 0) into 0
5.056 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.059 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 1.0 PI))) into (* 1.0 PI)
5.069 * [backup-simplify]: Simplify (+ (* (* -1 PI) (/ 1.0 (sqrt (- 6.0)))) (+ (* 0 0) (* (* 1.0 PI) (sqrt (- 6.0))))) into (- (* 1.0 (* PI (sqrt (- 6.0)))) (* 1.0 (/ PI (sqrt (- 6.0)))))
5.081 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 1.0 (* PI (sqrt (- 6.0)))) (* 1.0 (/ PI (sqrt (- 6.0)))))) (+ (* 0 0) (* 0 (* -1 (* PI (sqrt (- 6.0))))))) into (- (* 3.0 (* PI (sqrt (- 6.0)))) (* 3.0 (/ PI (sqrt (- 6.0)))))
5.088 * [backup-simplify]: Simplify (- (* 3.0 (* PI (sqrt (- 6.0)))) (* 3.0 (/ PI (sqrt (- 6.0))))) into (- (* 3.0 (* PI (sqrt (- 6.0)))) (* 3.0 (/ PI (sqrt (- 6.0)))))
5.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.091 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.091 * [backup-simplify]: Simplify (- 0) into 0
5.092 * [backup-simplify]: Simplify (+ 0 0) into 0
5.094 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1.0 (sqrt (- 6.0))))))) (* 2 (sqrt (- 6.0)))) into 0
5.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.096 * [backup-simplify]: Simplify (- 0) into 0
5.097 * [backup-simplify]: Simplify (+ 0 0) into 0
5.098 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1.0 0) (* 0 PI)))) into 0
5.101 * [backup-simplify]: Simplify (+ (* (* -1 PI) 0) (+ (* 0 (/ 1.0 (sqrt (- 6.0)))) (+ (* (* 1.0 PI) 0) (* 0 (sqrt (- 6.0)))))) into 0
5.105 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 1.0 (* PI (sqrt (- 6.0)))) (* 1.0 (/ PI (sqrt (- 6.0)))))) (+ (* 0 0) (* 0 (* -1 (* PI (sqrt (- 6.0)))))))) into 0
5.105 * [backup-simplify]: Simplify 0 into 0
5.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.109 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.110 * [backup-simplify]: Simplify (- 0) into 0
5.110 * [backup-simplify]: Simplify (+ 0 0) into 0
5.118 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1.0 (sqrt (- 6.0))) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- 6.0)))) into (/ -0.5 (pow (sqrt (- 6.0)) 3))
5.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.121 * [backup-simplify]: Simplify (- 0) into 0
5.121 * [backup-simplify]: Simplify (+ 0 0) into 0
5.123 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.139 * [backup-simplify]: Simplify (+ (* (* -1 PI) (/ -0.5 (pow (sqrt (- 6.0)) 3))) (+ (* 0 0) (+ (* (* 1.0 PI) (/ 1.0 (sqrt (- 6.0)))) (+ (* 0 0) (* 0 (sqrt (- 6.0))))))) into (+ (* 1.0 (/ PI (sqrt (- 6.0)))) (* 0.5 (/ PI (pow (sqrt (- 6.0)) 3))))
5.165 * [backup-simplify]: Simplify (+ (* 3.0 (+ (* 1.0 (/ PI (sqrt (- 6.0)))) (* 0.5 (/ PI (pow (sqrt (- 6.0)) 3))))) (+ (* 0 0) (+ (* 0 (- (* 1.0 (* PI (sqrt (- 6.0)))) (* 1.0 (/ PI (sqrt (- 6.0)))))) (+ (* 0 0) (* 0 (* -1 (* PI (sqrt (- 6.0))))))))) into (+ (* 3.0 (/ PI (sqrt (- 6.0)))) (* 1.5 (/ PI (pow (sqrt (- 6.0)) 3))))
5.173 * [backup-simplify]: Simplify (+ (* 3.0 (/ PI (sqrt (- 6.0)))) (* 1.5 (/ PI (pow (sqrt (- 6.0)) 3)))) into (+ (* 3.0 (/ PI (sqrt (- 6.0)))) (* 1.5 (/ PI (pow (sqrt (- 6.0)) 3))))
5.191 * [backup-simplify]: Simplify (+ (* (+ (* 3.0 (/ PI (sqrt (- 6.0)))) (* 1.5 (/ PI (pow (sqrt (- 6.0)) 3)))) (/ 1 v)) (+ (* (- (* 3.0 (* PI (sqrt (- 6.0)))) (* 3.0 (/ PI (sqrt (- 6.0))))) (/ 1 (/ 1 v))) (* (* -3.0 (* PI (sqrt (- 6.0)))) (pow (/ 1 (/ 1 v)) 3)))) into (- (+ (* 3.0 (* v (* PI (sqrt (- 6.0))))) (+ (* 3.0 (/ PI (* v (sqrt (- 6.0))))) (* 1.5 (/ PI (* v (pow (sqrt (- 6.0)) 3)))))) (+ (* 3.0 (/ (* v PI) (sqrt (- 6.0)))) (* 3.0 (* (pow v 3) (* PI (sqrt (- 6.0)))))))
5.192 * [backup-simplify]: Simplify (* (* (* 3.0 PI) (- 1.0 (* (/ 1 (- v)) (/ 1 (- v))))) (sqrt (- 2.0 (* 6.0 (* (/ 1 (- v)) (/ 1 (- v))))))) into (* 3.0 (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))))
5.192 * [approximate]: Taking taylor expansion of (* 3.0 (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in (v) around 0
5.192 * [taylor]: Taking taylor expansion of (* 3.0 (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v
5.192 * [taylor]: Taking taylor expansion of 3.0 in v
5.192 * [backup-simplify]: Simplify 3.0 into 3.0
5.192 * [taylor]: Taking taylor expansion of (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v
5.192 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
5.192 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
5.192 * [taylor]: Taking taylor expansion of 1.0 in v
5.192 * [backup-simplify]: Simplify 1.0 into 1.0
5.192 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
5.192 * [taylor]: Taking taylor expansion of (pow v 2) in v
5.192 * [taylor]: Taking taylor expansion of v in v
5.192 * [backup-simplify]: Simplify 0 into 0
5.193 * [backup-simplify]: Simplify 1 into 1
5.193 * [backup-simplify]: Simplify (* 1 1) into 1
5.193 * [backup-simplify]: Simplify (/ 1 1) into 1
5.193 * [taylor]: Taking taylor expansion of PI in v
5.193 * [backup-simplify]: Simplify PI into PI
5.193 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v
5.193 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v
5.193 * [taylor]: Taking taylor expansion of 2.0 in v
5.193 * [backup-simplify]: Simplify 2.0 into 2.0
5.193 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v
5.194 * [taylor]: Taking taylor expansion of 6.0 in v
5.194 * [backup-simplify]: Simplify 6.0 into 6.0
5.194 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
5.194 * [taylor]: Taking taylor expansion of (pow v 2) in v
5.194 * [taylor]: Taking taylor expansion of v in v
5.194 * [backup-simplify]: Simplify 0 into 0
5.194 * [backup-simplify]: Simplify 1 into 1
5.194 * [backup-simplify]: Simplify (* 1 1) into 1
5.194 * [backup-simplify]: Simplify (/ 1 1) into 1
5.195 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
5.195 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
5.196 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
5.197 * [backup-simplify]: Simplify (sqrt (- 6.0)) into (sqrt (- 6.0))
5.197 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.199 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
5.199 * [backup-simplify]: Simplify (- 0) into 0
5.200 * [backup-simplify]: Simplify (+ 0 0) into 0
5.201 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- 6.0)))) into 0
5.201 * [taylor]: Taking taylor expansion of (* 3.0 (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))))) in v
5.201 * [taylor]: Taking taylor expansion of 3.0 in v
5.201 * [backup-simplify]: Simplify 3.0 into 3.0
5.201 * [taylor]: Taking taylor expansion of (* (* (- 1.0 (/ 1 (pow v 2))) PI) (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2)))))) in v
5.201 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
5.201 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
5.201 * [taylor]: Taking taylor expansion of 1.0 in v
5.201 * [backup-simplify]: Simplify 1.0 into 1.0
5.201 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
5.201 * [taylor]: Taking taylor expansion of (pow v 2) in v
5.201 * [taylor]: Taking taylor expansion of v in v
5.201 * [backup-simplify]: Simplify 0 into 0
5.201 * [backup-simplify]: Simplify 1 into 1
5.201 * [backup-simplify]: Simplify (* 1 1) into 1
5.202 * [backup-simplify]: Simplify (/ 1 1) into 1
5.202 * [taylor]: Taking taylor expansion of PI in v
5.202 * [backup-simplify]: Simplify PI into PI
5.202 * [taylor]: Taking taylor expansion of (sqrt (- 2.0 (* 6.0 (/ 1 (pow v 2))))) in v
5.202 * [taylor]: Taking taylor expansion of (- 2.0 (* 6.0 (/ 1 (pow v 2)))) in v
5.202 * [taylor]: Taking taylor expansion of 2.0 in v
5.202 * [backup-simplify]: Simplify 2.0 into 2.0
5.202 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow v 2))) in v
5.202 * [taylor]: Taking taylor expansion of 6.0 in v
5.202 * [backup-simplify]: Simplify 6.0 into 6.0
5.202 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
5.202 * [taylor]: Taking taylor expansion of (pow v 2) in v
5.202 * [taylor]: Taking taylor expansion of v in v
5.202 * [backup-simplify]: Simplify 0 into 0
5.202 * [backup-simplify]: Simplify 1 into 1
5.203 * [backup-simplify]: Simplify (* 1 1) into 1
5.203 * [backup-simplify]: Simplify (/ 1 1) into 1
5.203 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
5.204 * [backup-simplify]: Simplify (- 6.0) into (- 6.0)
5.205 * [backup-simplify]: Simplify (+ 0 (- 6.0)) into (- 6.0)
5.205 * [backup-simplify]: Simplify (sqrt (- 6.0)) into (sqrt (- 6.0))
5.206 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.207 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
5.208 * [backup-simplify]: Simplify (- 0) into 0
5.208 * [backup-simplify]: Simplify (+ 0 0) into 0
5.209 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- 6.0)))) into 0
5.209 * [backup-simplify]: Simplify (- 1) into -1
5.210 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.210 * [backup-simplify]: Simplify (* -1 PI) into (* -1 PI)
5.212 * [backup-simplify]: Simplify (* (* -1 PI) (sqrt (- 6.0))) into (* -1 (* PI (sqrt (- 6.0))))
5.216 * [backup-simplify]: Simplify (* 3.0 (* -1 (* PI (sqrt (- 6.0))))) into (* -3.0 (* PI (sqrt (- 6.0))))
5.217 * [backup-simplify]: Simplify (* -3.0 (* PI (sqrt (- 6.0)))) into (* -3.0 (* PI (sqrt (- 6.0))))
5.217 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.218 * [backup-simplify]: Simplify (- 0) into 0
5.218 * [backup-simplify]: Simplify (+ 0 0) into 0
5.219 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 PI)) into 0
5.220 * [backup-simplify]: Simplify (+ (* (* -1 PI) 0) (* 0 (sqrt (- 6.0)))) into 0
5.220 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 (* -1 (* PI (sqrt (- 6.0)))))) into 0
5.220 * [backup-simplify]: Simplify 0 into 0
5.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.222 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (* 0 1))) into 0
5.222 * [backup-simplify]: Simplify (- 0) into 0
5.223 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
5.225 * [backup-simplify]: Simplify (/ (- 2.0 (pow 0 2) (+)) (* 2 (sqrt (- 6.0)))) into (/ 1.0 (sqrt (- 6.0)))
5.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.226 * [backup-simplify]: Simplify (- 0) into 0
5.226 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.228 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 1.0 PI))) into (* 1.0 PI)
5.233 * [backup-simplify]: Simplify (+ (* (* -1 PI) (/ 1.0 (sqrt (- 6.0)))) (+ (* 0 0) (* (* 1.0 PI) (sqrt (- 6.0))))) into (- (* 1.0 (* PI (sqrt (- 6.0)))) (* 1.0 (/ PI (sqrt (- 6.0)))))
5.240 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 1.0 (* PI (sqrt (- 6.0)))) (* 1.0 (/ PI (sqrt (- 6.0)))))) (+ (* 0 0) (* 0 (* -1 (* PI (sqrt (- 6.0))))))) into (- (* 3.0 (* PI (sqrt (- 6.0)))) (* 3.0 (/ PI (sqrt (- 6.0)))))
5.244 * [backup-simplify]: Simplify (- (* 3.0 (* PI (sqrt (- 6.0)))) (* 3.0 (/ PI (sqrt (- 6.0))))) into (- (* 3.0 (* PI (sqrt (- 6.0)))) (* 3.0 (/ PI (sqrt (- 6.0)))))
5.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.245 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.246 * [backup-simplify]: Simplify (- 0) into 0
5.246 * [backup-simplify]: Simplify (+ 0 0) into 0
5.247 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1.0 (sqrt (- 6.0))))))) (* 2 (sqrt (- 6.0)))) into 0
5.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.248 * [backup-simplify]: Simplify (- 0) into 0
5.249 * [backup-simplify]: Simplify (+ 0 0) into 0
5.250 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1.0 0) (* 0 PI)))) into 0
5.251 * [backup-simplify]: Simplify (+ (* (* -1 PI) 0) (+ (* 0 (/ 1.0 (sqrt (- 6.0)))) (+ (* (* 1.0 PI) 0) (* 0 (sqrt (- 6.0)))))) into 0
5.254 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 1.0 (* PI (sqrt (- 6.0)))) (* 1.0 (/ PI (sqrt (- 6.0)))))) (+ (* 0 0) (* 0 (* -1 (* PI (sqrt (- 6.0)))))))) into 0
5.254 * [backup-simplify]: Simplify 0 into 0
5.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.258 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.258 * [backup-simplify]: Simplify (- 0) into 0
5.259 * [backup-simplify]: Simplify (+ 0 0) into 0
5.267 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1.0 (sqrt (- 6.0))) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- 6.0)))) into (/ -0.5 (pow (sqrt (- 6.0)) 3))
5.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.270 * [backup-simplify]: Simplify (- 0) into 0
5.271 * [backup-simplify]: Simplify (+ 0 0) into 0
5.273 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1.0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.290 * [backup-simplify]: Simplify (+ (* (* -1 PI) (/ -0.5 (pow (sqrt (- 6.0)) 3))) (+ (* 0 0) (+ (* (* 1.0 PI) (/ 1.0 (sqrt (- 6.0)))) (+ (* 0 0) (* 0 (sqrt (- 6.0))))))) into (+ (* 1.0 (/ PI (sqrt (- 6.0)))) (* 0.5 (/ PI (pow (sqrt (- 6.0)) 3))))
5.300 * [backup-simplify]: Simplify (+ (* 3.0 (+ (* 1.0 (/ PI (sqrt (- 6.0)))) (* 0.5 (/ PI (pow (sqrt (- 6.0)) 3))))) (+ (* 0 0) (+ (* 0 (- (* 1.0 (* PI (sqrt (- 6.0)))) (* 1.0 (/ PI (sqrt (- 6.0)))))) (+ (* 0 0) (* 0 (* -1 (* PI (sqrt (- 6.0))))))))) into (+ (* 3.0 (/ PI (sqrt (- 6.0)))) (* 1.5 (/ PI (pow (sqrt (- 6.0)) 3))))
5.305 * [backup-simplify]: Simplify (+ (* 3.0 (/ PI (sqrt (- 6.0)))) (* 1.5 (/ PI (pow (sqrt (- 6.0)) 3)))) into (+ (* 3.0 (/ PI (sqrt (- 6.0)))) (* 1.5 (/ PI (pow (sqrt (- 6.0)) 3))))
5.314 * [backup-simplify]: Simplify (+ (* (+ (* 3.0 (/ PI (sqrt (- 6.0)))) (* 1.5 (/ PI (pow (sqrt (- 6.0)) 3)))) (/ 1 (- v))) (+ (* (- (* 3.0 (* PI (sqrt (- 6.0)))) (* 3.0 (/ PI (sqrt (- 6.0))))) (/ 1 (/ 1 (- v)))) (* (* -3.0 (* PI (sqrt (- 6.0)))) (pow (/ 1 (/ 1 (- v))) 3)))) into (- (+ (* 3.0 (/ (* v PI) (sqrt (- 6.0)))) (* 3.0 (* (pow v 3) (* PI (sqrt (- 6.0)))))) (+ (* 3.0 (* v (* PI (sqrt (- 6.0))))) (+ (* 3.0 (/ PI (* v (sqrt (- 6.0))))) (* 1.5 (/ PI (* v (pow (sqrt (- 6.0)) 3)))))))
5.314 * * * [progress]: simplifying candidates
5.316 * [simplify]: Simplifying:
  (- (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))))))
  (* 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))
  (* (* (* 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)))))
  (- (+ (* 1.0 (/ (pow v 2) (* (sqrt 0.5) PI))) (+ (* 1.3333333333333333 (/ (* (pow v 2) (sqrt 0.5)) PI)) (+ (* 1.3333333333333333 (/ (* (pow v 4) (sqrt 0.5)) PI)) (+ (* 1.3333333333333333 (/ (sqrt 0.5) PI)) (* 4.0 (/ (pow v 4) (* (sqrt 0.5) PI))))))) (* 0.375 (/ (pow v 4) (* (pow (sqrt 0.5) 3) PI))))
  (- (+ (* 0.037037037037037035 (/ 1 (* (pow v 5) (* PI (sqrt -0.16666666666666666))))) (+ (* 0.04938271604938271 (/ 1 (* (pow v 7) (* PI (sqrt -0.16666666666666666))))) (* 0.0005144032921810699 (/ 1 (* (pow v 7) (* PI (pow (sqrt -0.16666666666666666) 3))))))) (+ (* 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 3) PI))) (+ (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 5) PI))) (* 1.3333333333333333 (/ (sqrt -0.16666666666666666) (* (pow v 7) PI))))) (+ (* 0.04938271604938271 (/ 1 (* (pow v 7) (* PI (sqrt -0.16666666666666666))))) (+ (* 0.0005144032921810699 (/ 1 (* (pow v 7) (* PI (pow (sqrt -0.16666666666666666) 3))))) (* 0.037037037037037035 (/ 1 (* (pow v 5) (* PI (sqrt -0.16666666666666666))))))))
  (* 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))) (+ (* 3.0 (* (sqrt 2.0) (* (pow v 2) PI))) (* 13.5 (/ (* (pow v 4) PI) (pow (sqrt 2.0) 3))))))
  (- (+ (* 3.0 (* v (* PI (sqrt (- 6.0))))) (+ (* 3.0 (/ PI (* v (sqrt (- 6.0))))) (* 1.5 (/ PI (* v (pow (sqrt (- 6.0)) 3)))))) (+ (* 3.0 (/ (* v PI) (sqrt (- 6.0)))) (* 3.0 (* (pow v 3) (* PI (sqrt (- 6.0)))))))
  (- (+ (* 3.0 (/ (* v PI) (sqrt (- 6.0)))) (* 3.0 (* (pow v 3) (* PI (sqrt (- 6.0)))))) (+ (* 3.0 (* v (* PI (sqrt (- 6.0))))) (+ (* 3.0 (/ PI (* v (sqrt (- 6.0))))) (* 1.5 (/ PI (* v (pow (sqrt (- 6.0)) 3)))))))
5.321 * * [simplify]: iteration 0: 288 enodes
5.411 * * [simplify]: iteration 1: 859 enodes
6.007 * * [simplify]: iteration 2: 4847 enodes
7.171 * * [simplify]: iteration complete: 5001 enodes
7.171 * * [simplify]: Extracting #0: cost 72 inf + 0
7.173 * * [simplify]: Extracting #1: cost 735 inf + 0
7.178 * * [simplify]: Extracting #2: cost 1561 inf + 4693
7.188 * * [simplify]: Extracting #3: cost 1433 inf + 43704
7.214 * * [simplify]: Extracting #4: cost 1135 inf + 133886
7.304 * * [simplify]: Extracting #5: cost 431 inf + 329440
7.415 * * [simplify]: Extracting #6: cost 106 inf + 447733
7.576 * * [simplify]: Extracting #7: cost 12 inf + 518755
7.734 * * [simplify]: Extracting #8: cost 0 inf + 527895
7.918 * * [simplify]: Extracting #9: cost 0 inf + 527375
8.094 * [simplify]: Simplified to:
  (log (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (log (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (log (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (log (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (log (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (exp (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (/ (* 4.0 4.0) (/ (* (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (- 2.0 (* v (* 6.0 v)))) (* (* PI 3.0) (* (* (- 1.0 (* v v)) (* PI 3.0)) (* (- 1.0 (* v v)) (* PI 3.0))))) (- 1.0 (* v v))) 4.0))
  (/ (* 4.0 4.0) (/ (* (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (- 2.0 (* v (* 6.0 v)))) (* (* PI 3.0) (* (* (- 1.0 (* v v)) (* PI 3.0)) (* (- 1.0 (* v v)) (* PI 3.0))))) (- 1.0 (* v v))) 4.0))
  (* (/ (* 4.0 4.0) (* (sqrt (- 2.0 (* v (* 6.0 v)))) (- 2.0 (* v (* 6.0 v))))) (/ 4.0 (* (* (* (- 1.0 (* v v)) (* PI 3.0)) (* (- 1.0 (* v v)) (* PI 3.0))) (* (- 1.0 (* v v)) (* PI 3.0)))))
  (* (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))) (* (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))) (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v)))))))
  (* (cbrt (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v)))))) (cbrt (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v)))))))
  (cbrt (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (* (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))) (* (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))) (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v)))))))
  (sqrt (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (sqrt (/ (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v))) (sqrt (- 2.0 (* v (* 6.0 v))))))
  (- 4.0)
  (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* (- 1.0 (* v v)) (- (* PI 3.0))))
  (/ (* (/ (cbrt 4.0) (* PI 3.0)) (cbrt 4.0)) (- 1.0 (* v v)))
  (/ (cbrt 4.0) (sqrt (- 2.0 (* v (* 6.0 v)))))
  (/ (/ (sqrt 4.0) (* PI 3.0)) (- 1.0 (* v v)))
  (/ (sqrt 4.0) (sqrt (- 2.0 (* v (* 6.0 v)))))
  (/ (/ 1 3.0) (* (- 1.0 (* v v)) PI))
  (/ 4.0 (sqrt (- 2.0 (* v (* 6.0 v)))))
  (/ (/ (/ 1 3.0) (* (- 1.0 (* v v)) PI)) (sqrt (- 2.0 (* v (* 6.0 v)))))
  (/ (- 1.0 (* v v)) (/ (/ 4.0 (sqrt (- 2.0 (* v (* 6.0 v))))) (* PI 3.0)))
  (/ (/ (/ 4.0 PI) 3.0) (- 1.0 (* v v)))
  (/ (* PI 3.0) (/ (/ (cbrt 4.0) (sqrt (- 2.0 (* v (* 6.0 v))))) (- 1.0 (* v v))))
  (/ (* PI 3.0) (/ (/ (sqrt 4.0) (sqrt (- 2.0 (* v (* 6.0 v))))) (- 1.0 (* v v))))
  (/ (- 1.0 (* v v)) (/ (/ 4.0 (sqrt (- 2.0 (* v (* 6.0 v))))) (* PI 3.0)))
  (/ (/ (/ (/ 4.0 PI) 3.0) (- (* 1.0 (* 1.0 1.0)) (* (* v (* v v)) (* v (* v v))))) (sqrt (- (* 2.0 (* 2.0 2.0)) (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v)))))))
  (/ (/ (/ 4.0 PI) 3.0) (* (- (* 1.0 (* 1.0 1.0)) (* (* v (* v v)) (* v (* v v)))) (sqrt (- (* 2.0 2.0) (* (* v (* 6.0 v)) (* v (* 6.0 v)))))))
  (/ (/ 4.0 (sqrt (- (* 2.0 (* 2.0 2.0)) (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v))))))) (* (+ (* v v) 1.0) (* (- 1.0 (* v v)) (* PI 3.0))))
  (/ (/ (/ 4.0 PI) 3.0) (* (* (+ 1.0 (* v v)) (- 1.0 (* v v))) (sqrt (- (* 2.0 2.0) (* (* v (* 6.0 v)) (* v (* 6.0 v)))))))
  (/ (/ 4.0 (sqrt (- (* 2.0 (* 2.0 2.0)) (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v))))))) (* (- 1.0 (* v v)) (* PI 3.0)))
  (/ (/ (/ 4.0 PI) 3.0) (* (sqrt (- (* 2.0 2.0) (* (* v (* 6.0 v)) (* v (* 6.0 v))))) (- 1.0 (* v v))))
  (/ 4.0 (* (* (- (* 1.0 (* 1.0 1.0)) (* (* v (* v v)) (* v (* v v)))) (sqrt (- 2.0 (* v (* 6.0 v))))) (* PI 3.0)))
  (/ (/ (/ 4.0 PI) 3.0) (* (+ (* v v) 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* 6.0 v)))))))
  (* v (* 6.0 v))
  (* v (* 6.0 v))
  (log (* v (* 6.0 v)))
  (log (* v (* 6.0 v)))
  (log (* v (* 6.0 v)))
  (exp (* v (* 6.0 v)))
  (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v))))
  (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v))))
  (* (cbrt (* v (* 6.0 v))) (cbrt (* v (* 6.0 v))))
  (cbrt (* v (* 6.0 v)))
  (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v))))
  (sqrt (* v (* 6.0 v)))
  (sqrt (* v (* 6.0 v)))
  (* (sqrt 6.0) v)
  (* (sqrt 6.0) v)
  (* v 6.0)
  (* (cbrt 6.0) (* v v))
  (* v (* v (sqrt 6.0)))
  (* v (* 6.0 v))
  (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v)))
  (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v)))
  (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v)))
  (log (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v))))
  (log (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v))))
  (log (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v))))
  (log (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v))))
  (exp (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v))))
  (* (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (- 2.0 (* v (* 6.0 v)))) (* (* PI 3.0) (* (* (- 1.0 (* v v)) (* PI 3.0)) (* (- 1.0 (* v v)) (* PI 3.0))))) (- 1.0 (* v v)))
  (* (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (- 2.0 (* v (* 6.0 v)))) (* (* PI 3.0) (* (* (- 1.0 (* v v)) (* PI 3.0)) (* (- 1.0 (* v v)) (* PI 3.0))))) (- 1.0 (* v v)))
  (* (* (* (* (* (- 1.0 (* v v)) (* PI 3.0)) (* (- 1.0 (* v v)) (* PI 3.0))) (* (- 1.0 (* v v)) (* PI 3.0))) (- 2.0 (* v (* 6.0 v)))) (sqrt (- 2.0 (* v (* 6.0 v)))))
  (* (cbrt (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v)))) (cbrt (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v)))))
  (cbrt (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v))))
  (* (* (* (* (* (- 1.0 (* v v)) (* PI 3.0)) (* (- 1.0 (* v v)) (* PI 3.0))) (- 2.0 (* v (* 6.0 v)))) (* (- 1.0 (* v v)) (* PI 3.0))) (sqrt (- 2.0 (* v (* 6.0 v)))))
  (sqrt (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v))))
  (sqrt (* (* (sqrt (- 2.0 (* v (* 6.0 v)))) (* PI 3.0)) (- 1.0 (* v v))))
  (* (* (- (* 1.0 (* 1.0 1.0)) (* (* v (* v v)) (* v (* v v)))) (* PI 3.0)) (sqrt (- (* 2.0 (* 2.0 2.0)) (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v)))))))
  (* (sqrt (+ (* 2.0 2.0) (* (* v (* 6.0 v)) (+ 2.0 (* v (* 6.0 v)))))) (+ (* (+ (* v v) 1.0) (* v v)) (* 1.0 1.0)))
  (* (* (sqrt (- (* 2.0 2.0) (* (* v (* 6.0 v)) (* v (* 6.0 v))))) (* PI 3.0)) (- (* 1.0 (* 1.0 1.0)) (* (* v (* v v)) (* v (* v v)))))
  (* (+ (* (+ (* v v) 1.0) (* v v)) (* 1.0 1.0)) (sqrt (+ (* v (* 6.0 v)) 2.0)))
  (* (* (sqrt (- (* 2.0 (* 2.0 2.0)) (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v)))))) (* PI 3.0)) (* (+ 1.0 (* v v)) (- 1.0 (* v v))))
  (* (sqrt (+ (* 2.0 2.0) (* (* v (* 6.0 v)) (+ 2.0 (* v (* 6.0 v)))))) (+ (* v v) 1.0))
  (* (* (* (+ 1.0 (* v v)) (- 1.0 (* v v))) (sqrt (- (* 2.0 2.0) (* (* v (* 6.0 v)) (* v (* 6.0 v)))))) (* PI 3.0))
  (* (+ (* v v) 1.0) (sqrt (+ (* v (* 6.0 v)) 2.0)))
  (* (* PI 3.0) (* (- 1.0 (* v v)) (* (cbrt (sqrt (- 2.0 (* v (* 6.0 v))))) (cbrt (sqrt (- 2.0 (* v (* 6.0 v))))))))
  (* (- 1.0 (* v v)) (* (* PI 3.0) (fabs (cbrt (- 2.0 (* v (* 6.0 v)))))))
  (* (- 1.0 (* v v)) (* (* PI 3.0) (sqrt (sqrt (- 2.0 (* v (* 6.0 v)))))))
  (* (- 1.0 (* v v)) (* PI 3.0))
  (* (- 1.0 (* v v)) (* (* PI 3.0) (sqrt (sqrt (- 2.0 (* v (* 6.0 v)))))))
  (* (- 1.0 (* v v)) (* PI 3.0))
  (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* 6.0 v)))))
  (* (sqrt (- (* 2.0 (* 2.0 2.0)) (* (* v (* 6.0 v)) (* (* v (* 6.0 v)) (* v (* 6.0 v)))))) (* (- 1.0 (* v v)) (* PI 3.0)))
  (* (sqrt (- (* 2.0 2.0) (* (* v (* 6.0 v)) (* v (* 6.0 v))))) (* (- 1.0 (* v v)) (* PI 3.0)))
  (* (* (- (* 1.0 (* 1.0 1.0)) (* (* v (* v v)) (* v (* v v)))) (sqrt (- 2.0 (* v (* 6.0 v))))) (* PI 3.0))
  (* PI (* 3.0 (* (+ (* v v) 1.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* 6.0 v))))))))
  (+ (+ (+ (/ (* 1.3333333333333333 (* (sqrt 0.5) (* v v))) PI) (* 1.3333333333333333 (+ (/ (sqrt 0.5) (/ PI (* (* v v) (* v v)))) (/ (sqrt 0.5) PI)))) (/ (/ (* (* (* v v) (* v v)) 4.0) PI) (sqrt 0.5))) (- (/ (* v v) (/ (* PI (sqrt 0.5)) 1.0)) (/ (/ (* 0.375 (* (* v v) (* v v))) PI) (* (sqrt 0.5) 0.5))))
  (+ (/ (/ 0.037037037037037035 (* PI (* (* v v) (* (* v v) v)))) (sqrt -0.16666666666666666)) (- (+ (/ (/ 0.0005144032921810699 (pow v 7)) (* (sqrt -0.16666666666666666) (* -0.16666666666666666 PI))) (/ (/ 0.04938271604938271 (pow v 7)) (* (sqrt -0.16666666666666666) PI))) (* 1.3333333333333333 (+ (+ (/ (/ (sqrt -0.16666666666666666) PI) (pow v 7)) (/ (sqrt -0.16666666666666666) (* v (* (* v v) PI)))) (/ (sqrt -0.16666666666666666) (* PI (* (* v v) (* (* v v) v))))))))
  (- (* 1.3333333333333333 (+ (+ (/ (/ (sqrt -0.16666666666666666) PI) (pow v 7)) (/ (sqrt -0.16666666666666666) (* v (* (* v v) PI)))) (/ (sqrt -0.16666666666666666) (* PI (* (* v v) (* (* v v) v)))))) (+ (/ (/ 0.0005144032921810699 (pow v 7)) (* (sqrt -0.16666666666666666) (* -0.16666666666666666 PI))) (+ (/ (/ 0.04938271604938271 (pow v 7)) (* (sqrt -0.16666666666666666) PI)) (/ (/ 0.037037037037037035 (* PI (* (* v v) (* (* v v) v)))) (sqrt -0.16666666666666666)))))
  (* v (* 6.0 v))
  (* v (* 6.0 v))
  (* v (* 6.0 v))
  (+ (* (sqrt 2.0) (* PI 3.0)) (- (- (/ (* (* (* v v) (* v v)) 9.0) (/ (sqrt 2.0) PI)) (/ (* (* v v) 9.0) (/ (sqrt 2.0) PI))) (+ (* 13.5 (* (/ PI (sqrt 2.0)) (/ (* (* v v) (* v v)) 2.0))) (* (* 3.0 (* (sqrt 2.0) (* v v))) PI))))
  (- (+ (* 3.0 (+ (* (* PI (sqrt (- 6.0))) v) (/ (/ PI v) (sqrt (- 6.0))))) (* (/ PI (* (* (- 6.0) (sqrt (- 6.0))) v)) 1.5)) (* 3.0 (+ (* (* v (* v v)) (* PI (sqrt (- 6.0)))) (/ v (/ (sqrt (- 6.0)) PI)))))
  (- (- (* 3.0 (+ (* (* v (* v v)) (* PI (sqrt (- 6.0)))) (/ v (/ (sqrt (- 6.0)) PI)))) (* 3.0 (+ (* (* PI (sqrt (- 6.0))) v) (/ (/ PI v) (sqrt (- 6.0)))))) (* (/ PI (* (* (- 6.0) (sqrt (- 6.0))) v)) 1.5))
8.102 * * * [progress]: adding candidates to table
8.662 * * [progress]: iteration 2 / 4
8.662 * * * [progress]: picking best candidate
8.666 * * * * [pick]: Picked  #<alt (λ (v) (/ (/ 4.0 (* (* 3.0 PI) (- 1.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v))))))>
8.666 * * * [progress]: localizing error
8.693 * * * [progress]: generating rewritten candidates
8.693 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1 2)
8.714 * * * [progress]: generating series expansions
8.714 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1 2)
8.714 * [backup-simplify]: Simplify (* 6.0 (* v v)) into (* 6.0 (pow v 2))
8.714 * [approximate]: Taking taylor expansion of (* 6.0 (pow v 2)) in (v) around 0
8.714 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v
8.714 * [taylor]: Taking taylor expansion of 6.0 in v
8.714 * [backup-simplify]: Simplify 6.0 into 6.0
8.714 * [taylor]: Taking taylor expansion of (pow v 2) in v
8.714 * [taylor]: Taking taylor expansion of v in v
8.714 * [backup-simplify]: Simplify 0 into 0
8.714 * [backup-simplify]: Simplify 1 into 1
8.714 * [taylor]: Taking taylor expansion of (* 6.0 (pow v 2)) in v
8.714 * [taylor]: Taking taylor expansion of 6.0 in v
8.714 * [backup-simplify]: Simplify 6.0 into 6.0
8.714 * [taylor]: Taking taylor expansion of (pow v 2) in v
8.714 * [taylor]: Taking taylor expansion of v in v
8.714 * [backup-simplify]: Simplify 0 into 0
8.714 * [backup-simplify]: Simplify 1 into 1
8.715 * [backup-simplify]: Simplify (* 1 1) into 1
8.715 * [backup-simplify]: Simplify (* 6.0 1) into 6.0
8.715 * [backup-simplify]: Simplify 6.0 into 6.0
8.715 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.716 * [backup-simplify]: Simplify (+ (* 6.0 0) (* 0 1)) into 0
8.716 * [backup-simplify]: Simplify 0 into 0
8.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.717 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (* 0 1))) into 0
8.717 * [backup-simplify]: Simplify 0 into 0
8.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.718 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.718 * [backup-simplify]: Simplify 0 into 0
8.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.719 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.719 * [backup-simplify]: Simplify 0 into 0
8.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.721 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.721 * [backup-simplify]: Simplify 0 into 0
8.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.723 * [backup-simplify]: Simplify (+ (* 6.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.723 * [backup-simplify]: Simplify 0 into 0
8.723 * [backup-simplify]: Simplify (* 6.0 (pow v 2)) into (* 6.0 (pow v 2))
8.723 * [backup-simplify]: Simplify (* 6.0 (* (/ 1 v) (/ 1 v))) into (/ 6.0 (pow v 2))
8.723 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0
8.723 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v
8.723 * [taylor]: Taking taylor expansion of 6.0 in v
8.723 * [backup-simplify]: Simplify 6.0 into 6.0
8.723 * [taylor]: Taking taylor expansion of (pow v 2) in v
8.723 * [taylor]: Taking taylor expansion of v in v
8.723 * [backup-simplify]: Simplify 0 into 0
8.723 * [backup-simplify]: Simplify 1 into 1
8.723 * [backup-simplify]: Simplify (* 1 1) into 1
8.724 * [backup-simplify]: Simplify (/ 6.0 1) into 6.0
8.724 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v
8.724 * [taylor]: Taking taylor expansion of 6.0 in v
8.724 * [backup-simplify]: Simplify 6.0 into 6.0
8.724 * [taylor]: Taking taylor expansion of (pow v 2) in v
8.724 * [taylor]: Taking taylor expansion of v in v
8.724 * [backup-simplify]: Simplify 0 into 0
8.724 * [backup-simplify]: Simplify 1 into 1
8.724 * [backup-simplify]: Simplify (* 1 1) into 1
8.724 * [backup-simplify]: Simplify (/ 6.0 1) into 6.0
8.724 * [backup-simplify]: Simplify 6.0 into 6.0
8.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)))) into 0
8.725 * [backup-simplify]: Simplify 0 into 0
8.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.726 * [backup-simplify]: Simplify 0 into 0
8.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.728 * [backup-simplify]: Simplify 0 into 0
8.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.729 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.729 * [backup-simplify]: Simplify 0 into 0
8.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.730 * [backup-simplify]: Simplify 0 into 0
8.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.732 * [backup-simplify]: Simplify 0 into 0
8.732 * [backup-simplify]: Simplify (* 6.0 (pow (/ 1 (/ 1 v)) 2)) into (* 6.0 (pow v 2))
8.732 * [backup-simplify]: Simplify (* 6.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 6.0 (pow v 2))
8.732 * [approximate]: Taking taylor expansion of (/ 6.0 (pow v 2)) in (v) around 0
8.732 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v
8.732 * [taylor]: Taking taylor expansion of 6.0 in v
8.732 * [backup-simplify]: Simplify 6.0 into 6.0
8.732 * [taylor]: Taking taylor expansion of (pow v 2) in v
8.732 * [taylor]: Taking taylor expansion of v in v
8.732 * [backup-simplify]: Simplify 0 into 0
8.732 * [backup-simplify]: Simplify 1 into 1
8.733 * [backup-simplify]: Simplify (* 1 1) into 1
8.733 * [backup-simplify]: Simplify (/ 6.0 1) into 6.0
8.733 * [taylor]: Taking taylor expansion of (/ 6.0 (pow v 2)) in v
8.733 * [taylor]: Taking taylor expansion of 6.0 in v
8.733 * [backup-simplify]: Simplify 6.0 into 6.0
8.733 * [taylor]: Taking taylor expansion of (pow v 2) in v
8.733 * [taylor]: Taking taylor expansion of v in v
8.733 * [backup-simplify]: Simplify 0 into 0
8.733 * [backup-simplify]: Simplify 1 into 1
8.733 * [backup-simplify]: Simplify (* 1 1) into 1
8.734 * [backup-simplify]: Simplify (/ 6.0 1) into 6.0
8.734 * [backup-simplify]: Simplify 6.0 into 6.0
8.734 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)))) into 0
8.735 * [backup-simplify]: Simplify 0 into 0
8.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.737 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.737 * [backup-simplify]: Simplify 0 into 0
8.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.738 * [backup-simplify]: Simplify 0 into 0
8.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.739 * [backup-simplify]: Simplify 0 into 0
8.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.741 * [backup-simplify]: Simplify 0 into 0
8.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 6.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.744 * [backup-simplify]: Simplify 0 into 0
8.744 * [backup-simplify]: Simplify (* 6.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 6.0 (pow v 2))
8.744 * * * [progress]: simplifying candidates
8.745 * [simplify]: Simplifying:
  (* 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))
  (* 6.0 (pow v 2))
  (* 6.0 (pow v 2))
  (* 6.0 (pow v 2))
8.746 * * [simplify]: iteration 0: 34 enodes
8.759 * * [simplify]: iteration 1: 95 enodes
8.830 * * [simplify]: iteration 2: 556 enodes
9.353 * * [simplify]: iteration complete: 5001 enodes
9.353 * * [simplify]: Extracting #0: cost 11 inf + 0
9.354 * * [simplify]: Extracting #1: cost 335 inf + 0
9.363 * * [simplify]: Extracting #2: cost 2025 inf + 8000
9.398 * * [simplify]: Extracting #3: cost 593 inf + 166453
9.475 * * [simplify]: Extracting #4: cost 18 inf + 224538
9.560 * * [simplify]: Extracting #5: cost 0 inf + 224729
9.641 * * [simplify]: Extracting #6: cost 0 inf + 224569
9.722 * [simplify]: Simplified to:
  (* (* v 6.0) v)
  (* (* v 6.0) v)
  (log (* (* v 6.0) v))
  (log (* (* v 6.0) v))
  (log (* (* v 6.0) v))
  (exp (* (* v 6.0) v))
  (* (* (* (* v v) 6.0) (* (* v v) 6.0)) (* (* v v) 6.0))
  (* (* (* (* v v) 6.0) (* (* v v) 6.0)) (* (* v v) 6.0))
  (* (cbrt (* (* v 6.0) v)) (cbrt (* (* v 6.0) v)))
  (cbrt (* (* v 6.0) v))
  (* (* (* (* v v) 6.0) (* (* v v) 6.0)) (* (* v v) 6.0))
  (sqrt (* (* v 6.0) v))
  (sqrt (* (* v 6.0) v))
  (* v (sqrt 6.0))
  (* v (sqrt 6.0))
  (* 6.0 v)
  (* (cbrt 6.0) (* v v))
  (* (sqrt 6.0) (* v v))
  (* (* v 6.0) v)
  (* (* v 6.0) v)
  (* (* v 6.0) v)
  (* (* v 6.0) v)
9.724 * * * [progress]: adding candidates to table
9.810 * [progress]: [Phase 3 of 3] Extracting.
9.816 * [simplify]: Simplifying:
  (/ (/ 4.0 (* (* 3.0 PI) (- 1.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v)))))
9.816 * * [simplify]: iteration 0: 16 enodes
9.817 * * [simplify]: iteration 1: 19 enodes
9.818 * * [simplify]: iteration complete: 19 enodes
9.818 * * [simplify]: Extracting #0: cost 1 inf + 0
9.818 * * [simplify]: Extracting #1: cost 3 inf + 0
9.818 * * [simplify]: Extracting #2: cost 6 inf + 0
9.818 * * [simplify]: Extracting #3: cost 9 inf + 1
9.818 * * [simplify]: Extracting #4: cost 13 inf + 2
9.818 * * [simplify]: Extracting #5: cost 9 inf + 48
9.819 * * [simplify]: Extracting #6: cost 8 inf + 49
9.819 * * [simplify]: Extracting #7: cost 4 inf + 377
9.819 * * [simplify]: Extracting #8: cost 0 inf + 1276
9.819 * [simplify]: Simplified to:
  (/ (/ 4.0 (* (* PI 3.0) (- 1.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v)))))
12.278 * [regime-testing]: Baseline error score: 0.008772337167326205
12.295 * [regime-testing]: Oracle error score: 0.008772337167326205
12.296 * [regime-testing]: End program error score: 0.008772337167326205