7.202 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.030 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
0.032 * * [simplify]: iteration  0 :  27  enodes  (cost  10 )
0.034 * * [simplify]: iteration  1 :  72  enodes  (cost  10 )
0.036 * * [simplify]: iteration  2 :  194  enodes  (cost  10 )
0.039 * * [simplify]: iteration  3 :  416  enodes  (cost  10 )
0.045 * * [simplify]: iteration  4 :  816  enodes  (cost  10 )
0.054 * * [simplify]: iteration  5 :  1207  enodes  (cost  10 )
0.066 * * [simplify]: iteration  6 :  1368  enodes  (cost  10 )
0.079 * * [simplify]: iteration  7 :  1505  enodes  (cost  10 )
0.092 * * [simplify]: iteration  8 :  1511  enodes  (cost  10 )
0.105 * * [simplify]: iteration  9 :  1511  enodes  (cost  10 )
0.105 * [simplify]: Simplified to:
   (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
0.106 * * [progress]: iteration 1 / 4
0.106 * * * [progress]: picking best candidate
0.108 * * * * [pick]: Picked  #<alt (λ (v) (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))))>
0.108 * * * [progress]: localizing error
0.118 * * * [progress]: generating rewritten candidates
0.118 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2)
0.122 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.127 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.136 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.141 * * * [progress]: generating series expansions
0.141 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2)
0.142 * [approximate]: Taking taylor expansion of (* 3.0 (pow v 2)) in (v) around 0
0.142 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
0.142 * [taylor]: Taking taylor expansion of 3.0 in v
0.142 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.142 * [taylor]: Taking taylor expansion of v in v
0.142 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
0.142 * [taylor]: Taking taylor expansion of 3.0 in v
0.142 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.142 * [taylor]: Taking taylor expansion of v in v
0.150 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
0.150 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
0.150 * [taylor]: Taking taylor expansion of 3.0 in v
0.150 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.150 * [taylor]: Taking taylor expansion of v in v
0.150 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
0.150 * [taylor]: Taking taylor expansion of 3.0 in v
0.150 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.150 * [taylor]: Taking taylor expansion of v in v
0.158 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
0.158 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
0.158 * [taylor]: Taking taylor expansion of 3.0 in v
0.158 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.158 * [taylor]: Taking taylor expansion of v in v
0.158 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
0.158 * [taylor]: Taking taylor expansion of 3.0 in v
0.158 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.158 * [taylor]: Taking taylor expansion of v in v
0.169 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.170 * [approximate]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (sqrt 2.0))) in (v) around 0
0.170 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (sqrt 2.0))) in v
0.170 * [taylor]: Taking taylor expansion of 0.25 in v
0.170 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (sqrt 2.0)) in v
0.170 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
0.170 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
0.170 * [taylor]: Taking taylor expansion of 1.0 in v
0.170 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
0.170 * [taylor]: Taking taylor expansion of 3.0 in v
0.170 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.171 * [taylor]: Taking taylor expansion of v in v
0.172 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.172 * [taylor]: Taking taylor expansion of 2.0 in v
0.172 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (sqrt 2.0))) in v
0.172 * [taylor]: Taking taylor expansion of 0.25 in v
0.172 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (sqrt 2.0)) in v
0.172 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
0.172 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
0.172 * [taylor]: Taking taylor expansion of 1.0 in v
0.173 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
0.173 * [taylor]: Taking taylor expansion of 3.0 in v
0.173 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.173 * [taylor]: Taking taylor expansion of v in v
0.174 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.174 * [taylor]: Taking taylor expansion of 2.0 in v
0.228 * [approximate]: Taking taylor expansion of (* 0.25 (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in (v) around 0
0.228 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
0.228 * [taylor]: Taking taylor expansion of 0.25 in v
0.228 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
0.228 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.228 * [taylor]: Taking taylor expansion of 2.0 in v
0.228 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.228 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.228 * [taylor]: Taking taylor expansion of 1.0 in v
0.228 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.229 * [taylor]: Taking taylor expansion of 3.0 in v
0.229 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.229 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.229 * [taylor]: Taking taylor expansion of v in v
0.232 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
0.232 * [taylor]: Taking taylor expansion of 0.25 in v
0.232 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
0.233 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.233 * [taylor]: Taking taylor expansion of 2.0 in v
0.233 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.233 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.233 * [taylor]: Taking taylor expansion of 1.0 in v
0.233 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.233 * [taylor]: Taking taylor expansion of 3.0 in v
0.233 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.233 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.233 * [taylor]: Taking taylor expansion of v in v
0.295 * [approximate]: Taking taylor expansion of (* 0.25 (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in (v) around 0
0.295 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
0.295 * [taylor]: Taking taylor expansion of 0.25 in v
0.295 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
0.295 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.295 * [taylor]: Taking taylor expansion of 2.0 in v
0.296 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.296 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.296 * [taylor]: Taking taylor expansion of 1.0 in v
0.296 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.296 * [taylor]: Taking taylor expansion of 3.0 in v
0.296 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.296 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.296 * [taylor]: Taking taylor expansion of v in v
0.300 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
0.300 * [taylor]: Taking taylor expansion of 0.25 in v
0.300 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
0.300 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.300 * [taylor]: Taking taylor expansion of 2.0 in v
0.301 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.301 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.301 * [taylor]: Taking taylor expansion of 1.0 in v
0.301 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.301 * [taylor]: Taking taylor expansion of 3.0 in v
0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.301 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.301 * [taylor]: Taking taylor expansion of v in v
0.363 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.364 * [approximate]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2))))) in (v) around 0
0.364 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2))))) in v
0.364 * [taylor]: Taking taylor expansion of 0.25 in v
0.364 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2)))) in v
0.364 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
0.364 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
0.364 * [taylor]: Taking taylor expansion of 1.0 in v
0.364 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
0.364 * [taylor]: Taking taylor expansion of 3.0 in v
0.364 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.364 * [taylor]: Taking taylor expansion of v in v
0.365 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (pow v 2))) in v
0.365 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.365 * [taylor]: Taking taylor expansion of 2.0 in v
0.366 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
0.366 * [taylor]: Taking taylor expansion of 1.0 in v
0.366 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.366 * [taylor]: Taking taylor expansion of v in v
0.366 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2))))) in v
0.366 * [taylor]: Taking taylor expansion of 0.25 in v
0.366 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2)))) in v
0.366 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
0.366 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
0.366 * [taylor]: Taking taylor expansion of 1.0 in v
0.366 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
0.366 * [taylor]: Taking taylor expansion of 3.0 in v
0.366 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.366 * [taylor]: Taking taylor expansion of v in v
0.367 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (pow v 2))) in v
0.367 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.367 * [taylor]: Taking taylor expansion of 2.0 in v
0.368 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
0.368 * [taylor]: Taking taylor expansion of 1.0 in v
0.368 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.368 * [taylor]: Taking taylor expansion of v in v
0.447 * [approximate]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in (v) around 0
0.448 * [taylor]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
0.448 * [taylor]: Taking taylor expansion of 0.25 in v
0.448 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
0.448 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) in v
0.448 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.448 * [taylor]: Taking taylor expansion of 2.0 in v
0.448 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
0.448 * [taylor]: Taking taylor expansion of 1.0 in v
0.448 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.448 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.448 * [taylor]: Taking taylor expansion of v in v
0.449 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.449 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.449 * [taylor]: Taking taylor expansion of 1.0 in v
0.449 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.449 * [taylor]: Taking taylor expansion of 3.0 in v
0.449 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.449 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.449 * [taylor]: Taking taylor expansion of v in v
0.453 * [taylor]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
0.453 * [taylor]: Taking taylor expansion of 0.25 in v
0.453 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
0.453 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) in v
0.453 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.453 * [taylor]: Taking taylor expansion of 2.0 in v
0.454 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
0.454 * [taylor]: Taking taylor expansion of 1.0 in v
0.454 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.454 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.454 * [taylor]: Taking taylor expansion of v in v
0.454 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.454 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.454 * [taylor]: Taking taylor expansion of 1.0 in v
0.454 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.454 * [taylor]: Taking taylor expansion of 3.0 in v
0.454 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.454 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.454 * [taylor]: Taking taylor expansion of v in v
0.552 * [approximate]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in (v) around 0
0.552 * [taylor]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
0.552 * [taylor]: Taking taylor expansion of 0.25 in v
0.553 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
0.553 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) in v
0.553 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.553 * [taylor]: Taking taylor expansion of 2.0 in v
0.553 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
0.554 * [taylor]: Taking taylor expansion of 1.0 in v
0.554 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.554 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.554 * [taylor]: Taking taylor expansion of v in v
0.554 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.554 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.554 * [taylor]: Taking taylor expansion of 1.0 in v
0.554 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.554 * [taylor]: Taking taylor expansion of 3.0 in v
0.554 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.554 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.554 * [taylor]: Taking taylor expansion of v in v
0.561 * [taylor]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
0.561 * [taylor]: Taking taylor expansion of 0.25 in v
0.561 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
0.561 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) in v
0.561 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
0.561 * [taylor]: Taking taylor expansion of 2.0 in v
0.562 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
0.562 * [taylor]: Taking taylor expansion of 1.0 in v
0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.562 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.562 * [taylor]: Taking taylor expansion of v in v
0.563 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.563 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.563 * [taylor]: Taking taylor expansion of 1.0 in v
0.563 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.563 * [taylor]: Taking taylor expansion of 3.0 in v
0.563 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.563 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.563 * [taylor]: Taking taylor expansion of v in v
0.661 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.661 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in (v) around 0
0.661 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
0.661 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
0.661 * [taylor]: Taking taylor expansion of 1.0 in v
0.661 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
0.661 * [taylor]: Taking taylor expansion of 3.0 in v
0.661 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.661 * [taylor]: Taking taylor expansion of v in v
0.662 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
0.663 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
0.663 * [taylor]: Taking taylor expansion of 1.0 in v
0.663 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
0.663 * [taylor]: Taking taylor expansion of 3.0 in v
0.663 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.663 * [taylor]: Taking taylor expansion of v in v
0.678 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in (v) around 0
0.678 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.678 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.678 * [taylor]: Taking taylor expansion of 1.0 in v
0.678 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.678 * [taylor]: Taking taylor expansion of 3.0 in v
0.678 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.678 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.678 * [taylor]: Taking taylor expansion of v in v
0.682 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.682 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.682 * [taylor]: Taking taylor expansion of 1.0 in v
0.682 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.682 * [taylor]: Taking taylor expansion of 3.0 in v
0.682 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.682 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.682 * [taylor]: Taking taylor expansion of v in v
0.706 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in (v) around 0
0.706 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.706 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.706 * [taylor]: Taking taylor expansion of 1.0 in v
0.706 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.706 * [taylor]: Taking taylor expansion of 3.0 in v
0.706 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.706 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.706 * [taylor]: Taking taylor expansion of v in v
0.710 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
0.710 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
0.710 * [taylor]: Taking taylor expansion of 1.0 in v
0.710 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
0.710 * [taylor]: Taking taylor expansion of 3.0 in v
0.711 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.711 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.711 * [taylor]: Taking taylor expansion of v in v
0.740 * * * [progress]: simplifying candidates
0.741 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 3.0 v)
  (* 3.0 v)
  (* (sqrt 2.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (sqrt 2.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- (sqrt 2.0)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (- 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (- (sqrt 2.0)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (- 4.0) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* 1 (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* 1 (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (/ 1 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* (/ (sqrt 2.0) 4.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (/ (sqrt 2.0) 4.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* (- (sqrt 2.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* 1 (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* (* (sqrt 2.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* (sqrt 2.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (+ 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v))))) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* (sqrt 2.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v))))) (+ 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* (- 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* (- (sqrt 2.0)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (* (- 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (+ 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* (- 4.0) (sqrt (+ 1.0 (* 3.0 (* v v))))) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* (- (sqrt 2.0)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (* (- 4.0) (sqrt (+ 1.0 (* 3.0 (* v v))))) (+ 1.0 (* v v)))
  (* (* 1 (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* 1 (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (+ 1.0 (* v v)))
  (* (* 1 (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v))))) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* 1 (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v))))) (+ 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))) (+ 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (sqrt (+ 1.0 (* 3.0 (* v v)))) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (sqrt (+ 1.0 (* 3.0 (* v v)))) (+ 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* 4.0 (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* 4.0 (+ 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (- 4.0) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* (- (sqrt 2.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (- 4.0) (+ 1.0 (* v v)))
  (* (* 1 (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (/ 4.0 (sqrt 2.0)) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (* 1 (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (/ 4.0 (sqrt 2.0)) (+ 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 1.0)
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 1.0)
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* v v)))
  (* 1.0 (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (- (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* 1.0 (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (- (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))
  (* (* (/ 1 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
  (* (/ (sqrt 2.0) 4.0) (- 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* 1.0 1.0) (* (* v v) (* v v))))
  (* (* (sqrt 2.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- 1.0 (* v v)))
  (* (* 1 (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- 1.0 (* v v)))
  (* (* 1 (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
  (* (* 1 (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
  (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))
  (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))
  (sqrt (+ 1.0 (* 3.0 (* v v))))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (- (* 0.25 (* (sqrt 2.0) (sqrt 1.0))) (+ (* 0.28125 (/ (* (sqrt 2.0) (pow v 4)) (pow (sqrt 1.0) 3))) (* 0.375 (/ (* (sqrt 2.0) (pow v 2)) (sqrt 1.0)))))
  (- (+ (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v))) (* 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v)))) (* 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) (pow v 3)))))
  (- (* 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) (pow v 3)))) (+ (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v))) (* 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v)))))
  (- (+ (* 0.375 (/ (* (sqrt 2.0) (pow v 4)) (sqrt 1.0))) (* 0.25 (* (sqrt 2.0) (sqrt 1.0)))) (+ (* 0.25 (* (sqrt 2.0) (* (pow v 2) (sqrt 1.0)))) (+ (* 0.28125 (/ (* (sqrt 2.0) (pow v 4)) (pow (sqrt 1.0) 3))) (* 0.375 (/ (* (sqrt 2.0) (pow v 2)) (sqrt 1.0))))))
  (- (+ (* 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) v))) (+ (* 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v))) (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v))))) (+ (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) (pow v 3)))) (* 0.125 (/ (* (sqrt 2.0) v) (sqrt (- 3.0))))))
  (- (+ (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) (pow v 3)))) (* 0.125 (/ (* (sqrt 2.0) v) (sqrt (- 3.0))))) (+ (* 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) v))) (+ (* 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v))) (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v))))))
  (- (sqrt 1.0) (+ (* 1.5 (/ (pow v 2) (sqrt 1.0))) (* 1.125 (/ (pow v 4) (pow (sqrt 1.0) 3)))))
  (- (+ (* (sqrt (- 3.0)) v) (* 0.5 (/ 1 (* (sqrt (- 3.0)) v)))) (* 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) (pow v 3)))))
  (- (* 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) (pow v 3)))) (+ (* (sqrt (- 3.0)) v) (* 0.5 (/ 1 (* (sqrt (- 3.0)) v)))))
0.749 * * [simplify]: iteration  0 :  720  enodes  (cost  1203 )
0.763 * * [simplify]: iteration  1 :  3195  enodes  (cost  1178 )
0.814 * * [simplify]: iteration  2 :  5001  enodes  (cost  1176 )
0.819 * [simplify]: Simplified to:
   (* 3.0 v)
  (* 3.0 v)
  (* (sqrt 2.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (sqrt 2.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- (sqrt 2.0)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (- 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (- (sqrt 2.0)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (- 4.0) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))
  (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))
  (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (/ (sqrt (- 1.0 (* 3.0 (* v v)))) 4.0)
  (* (/ (sqrt 2.0) 4.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (/ (sqrt 2.0) 4.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* (- (sqrt 2.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (sqrt (- 1.0 (* 3.0 (* v v))))
  (* (* (sqrt 2.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))) (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
  (* (* (* (sqrt 2.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (+ 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))) (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v))))))
  (* (* (* (sqrt 2.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v))))) (+ 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* (- (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0))) 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (* (* (- (sqrt 2.0)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* (- (fma v v 1.0)) 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (* (- (sqrt 2.0)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* (- (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0))) 4.0) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (* (* (- (sqrt 2.0)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* (- (fma v v 1.0)) 4.0) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))) (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
  (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (+ 1.0 (* v v)))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))) (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v))))))
  (* (* (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v))))) (+ 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))) (+ 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (sqrt (+ 1.0 (* 3.0 (* v v)))) (+ 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (fma 1.0 (* 4.0 1.0) (* (* 4.0 (pow v 2)) (fma v v 1.0)))
  (* (* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* 4.0 (+ 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (- (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0))) 4.0)
  (* (* (* (- (sqrt 2.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (- (fma v v 1.0)) 4.0)
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (/ 4.0 (/ (sqrt 2.0) (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0))))
  (* (* (sqrt (- 1.0 (* 3.0 (* v v)))) (fma v v 1.0)) (- 1.0 (* v v)))
  (/ 4.0 (/ (sqrt 2.0) (fma v v 1.0)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 1.0)
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 1.0)
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 1.0)
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 1.0)
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* v v)))
  (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* (- 1.0 (* v v)) (/ (sqrt (- 1.0 (* 3.0 (* v v)))) 4.0))
  (* (/ (sqrt 2.0) 4.0) (- 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3)))
  (* (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- 1.0 (* v v)))
  (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))) (- 1.0 (* v v)))
  (* (* (/ (sqrt 2.0) 4.0) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) (- 1.0 (* v v)))
  (* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
  (* (* (- (sqrt 2.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
  (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))
  (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))
  (sqrt (+ 1.0 (* 3.0 (* v v))))
  (* 3.0 (* v v))
  (* 3.0 (* v v))
  (* 3.0 (* v v))
  (fma 0.25 (* (sqrt 2.0) (sqrt 1.0)) (- (fma 0.28125 (/ (* (sqrt 2.0) (pow v 4)) (pow (sqrt 1.0) 3)) (* 0.375 (/ (* (sqrt 2.0) (pow v 2)) (sqrt 1.0))))))
  (fma (* 0.25 (sqrt (- 3.0))) (* (sqrt 2.0) v) (- (* 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v))) (* 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) (pow v 3))))))
  (fma 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) (pow v 3))) (- (fma 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v)) (* 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v))))))
  (fma 0.375 (/ (* (sqrt 2.0) (pow v 4)) (sqrt 1.0)) (- (* 0.25 (* (sqrt 2.0) (sqrt 1.0))) (fma 0.25 (* (sqrt 2.0) (* (pow v 2) (sqrt 1.0))) (fma 0.28125 (/ (* (sqrt 2.0) (pow v 4)) (pow (sqrt 1.0) 3)) (* 0.375 (/ (* (sqrt 2.0) (pow v 2)) (sqrt 1.0)))))))
  (fma 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) v)) (- (fma 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v)) (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v)))) (fma 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) (pow v 3))) (* 0.125 (/ (* (sqrt 2.0) v) (sqrt (- 3.0)))))))
  (fma (* 0.25 (sqrt (- 3.0))) (* (sqrt 2.0) (pow v 3)) (- (* 0.125 (/ (* (sqrt 2.0) v) (sqrt (- 3.0)))) (fma 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) v)) (fma 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v)) (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v)))))))
  (- (sqrt 1.0) (+ (* 1.5 (/ (pow v 2) (sqrt 1.0))) (* 1.125 (/ (pow v 4) (pow (sqrt 1.0) 3)))))
  (fma (- 0.125) (/ 1 (* (pow (sqrt (- 3.0)) 3) (pow v 3))) (fma v (sqrt (- 3.0)) (/ (/ 0.5 v) (sqrt (- 3.0)))))
  (fma 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) (pow v 3))) (- (fma (sqrt (- 3.0)) v (* 0.5 (/ 1 (* (sqrt (- 3.0)) v))))))
0.820 * * * [progress]: adding candidates to table
1.097 * * [progress]: iteration 2 / 4
1.097 * * * [progress]: picking best candidate
1.105 * * * * [pick]: Picked  #<alt (λ (v) (* (/ (sqrt 2.0) 4.0) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v)))))))>
1.105 * * * [progress]: localizing error
1.120 * * * [progress]: generating rewritten candidates
1.120 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
1.123 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.132 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1.134 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.142 * * * [progress]: generating series expansions
1.142 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
1.142 * [approximate]: Taking taylor expansion of (* 3.0 (pow v 2)) in (v) around 0
1.142 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.142 * [taylor]: Taking taylor expansion of 3.0 in v
1.142 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.142 * [taylor]: Taking taylor expansion of v in v
1.142 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.142 * [taylor]: Taking taylor expansion of 3.0 in v
1.142 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.142 * [taylor]: Taking taylor expansion of v in v
1.150 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
1.150 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
1.150 * [taylor]: Taking taylor expansion of 3.0 in v
1.150 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.150 * [taylor]: Taking taylor expansion of v in v
1.151 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
1.151 * [taylor]: Taking taylor expansion of 3.0 in v
1.151 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.151 * [taylor]: Taking taylor expansion of v in v
1.158 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
1.158 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
1.158 * [taylor]: Taking taylor expansion of 3.0 in v
1.158 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.159 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
1.159 * [taylor]: Taking taylor expansion of 3.0 in v
1.159 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.159 * [taylor]: Taking taylor expansion of v in v
1.166 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.167 * [approximate]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2))))) in (v) around 0
1.167 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2))))) in v
1.167 * [taylor]: Taking taylor expansion of 0.25 in v
1.167 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2)))) in v
1.167 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.167 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.167 * [taylor]: Taking taylor expansion of 1.0 in v
1.167 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.167 * [taylor]: Taking taylor expansion of 3.0 in v
1.167 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.167 * [taylor]: Taking taylor expansion of v in v
1.168 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (pow v 2))) in v
1.168 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.168 * [taylor]: Taking taylor expansion of 2.0 in v
1.169 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
1.169 * [taylor]: Taking taylor expansion of 1.0 in v
1.169 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.169 * [taylor]: Taking taylor expansion of v in v
1.169 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2))))) in v
1.169 * [taylor]: Taking taylor expansion of 0.25 in v
1.169 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) (- 1.0 (pow v 2)))) in v
1.169 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.169 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.169 * [taylor]: Taking taylor expansion of 1.0 in v
1.169 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.169 * [taylor]: Taking taylor expansion of 3.0 in v
1.169 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.169 * [taylor]: Taking taylor expansion of v in v
1.171 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (pow v 2))) in v
1.171 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.171 * [taylor]: Taking taylor expansion of 2.0 in v
1.171 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
1.171 * [taylor]: Taking taylor expansion of 1.0 in v
1.171 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.171 * [taylor]: Taking taylor expansion of v in v
1.254 * [approximate]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in (v) around 0
1.255 * [taylor]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.255 * [taylor]: Taking taylor expansion of 0.25 in v
1.255 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.255 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) in v
1.255 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.255 * [taylor]: Taking taylor expansion of 2.0 in v
1.255 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.255 * [taylor]: Taking taylor expansion of 1.0 in v
1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.255 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.255 * [taylor]: Taking taylor expansion of v in v
1.256 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.256 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.256 * [taylor]: Taking taylor expansion of 1.0 in v
1.256 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.256 * [taylor]: Taking taylor expansion of 3.0 in v
1.256 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.256 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.256 * [taylor]: Taking taylor expansion of v in v
1.260 * [taylor]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.260 * [taylor]: Taking taylor expansion of 0.25 in v
1.260 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.260 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) in v
1.260 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.260 * [taylor]: Taking taylor expansion of 2.0 in v
1.261 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.261 * [taylor]: Taking taylor expansion of 1.0 in v
1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.261 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.261 * [taylor]: Taking taylor expansion of v in v
1.261 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.261 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.261 * [taylor]: Taking taylor expansion of 1.0 in v
1.261 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.261 * [taylor]: Taking taylor expansion of 3.0 in v
1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.261 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.261 * [taylor]: Taking taylor expansion of v in v
1.368 * [approximate]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in (v) around 0
1.369 * [taylor]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.369 * [taylor]: Taking taylor expansion of 0.25 in v
1.369 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.369 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) in v
1.369 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.369 * [taylor]: Taking taylor expansion of 2.0 in v
1.369 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.369 * [taylor]: Taking taylor expansion of 1.0 in v
1.369 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.369 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.369 * [taylor]: Taking taylor expansion of v in v
1.370 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.370 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.370 * [taylor]: Taking taylor expansion of 1.0 in v
1.370 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.370 * [taylor]: Taking taylor expansion of 3.0 in v
1.370 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.370 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.370 * [taylor]: Taking taylor expansion of v in v
1.374 * [taylor]: Taking taylor expansion of (* 0.25 (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.374 * [taylor]: Taking taylor expansion of 0.25 in v
1.374 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.374 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- 1.0 (/ 1 (pow v 2)))) in v
1.375 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.375 * [taylor]: Taking taylor expansion of 2.0 in v
1.375 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.375 * [taylor]: Taking taylor expansion of 1.0 in v
1.375 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.375 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.375 * [taylor]: Taking taylor expansion of v in v
1.376 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.376 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.376 * [taylor]: Taking taylor expansion of 1.0 in v
1.376 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.376 * [taylor]: Taking taylor expansion of 3.0 in v
1.376 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.376 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.376 * [taylor]: Taking taylor expansion of v in v
1.477 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.477 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in (v) around 0
1.477 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.477 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.477 * [taylor]: Taking taylor expansion of 1.0 in v
1.477 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.477 * [taylor]: Taking taylor expansion of 3.0 in v
1.477 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.477 * [taylor]: Taking taylor expansion of v in v
1.478 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.478 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.478 * [taylor]: Taking taylor expansion of 1.0 in v
1.478 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.478 * [taylor]: Taking taylor expansion of 3.0 in v
1.478 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.478 * [taylor]: Taking taylor expansion of v in v
1.494 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in (v) around 0
1.494 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.494 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.494 * [taylor]: Taking taylor expansion of 1.0 in v
1.494 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.494 * [taylor]: Taking taylor expansion of 3.0 in v
1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.494 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.494 * [taylor]: Taking taylor expansion of v in v
1.498 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.498 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.498 * [taylor]: Taking taylor expansion of 1.0 in v
1.498 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.498 * [taylor]: Taking taylor expansion of 3.0 in v
1.498 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.498 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.498 * [taylor]: Taking taylor expansion of v in v
1.521 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in (v) around 0
1.522 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.522 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.522 * [taylor]: Taking taylor expansion of 1.0 in v
1.522 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.522 * [taylor]: Taking taylor expansion of 3.0 in v
1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.522 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.522 * [taylor]: Taking taylor expansion of v in v
1.532 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.532 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.532 * [taylor]: Taking taylor expansion of 1.0 in v
1.532 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.532 * [taylor]: Taking taylor expansion of 3.0 in v
1.532 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.532 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.532 * [taylor]: Taking taylor expansion of v in v
1.556 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.556 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (- 1.0 (pow v 2))) in (v) around 0
1.556 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (- 1.0 (pow v 2))) in v
1.556 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.556 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.556 * [taylor]: Taking taylor expansion of 1.0 in v
1.556 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.556 * [taylor]: Taking taylor expansion of 3.0 in v
1.556 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.556 * [taylor]: Taking taylor expansion of v in v
1.557 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
1.557 * [taylor]: Taking taylor expansion of 1.0 in v
1.557 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.557 * [taylor]: Taking taylor expansion of v in v
1.558 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (- 1.0 (pow v 2))) in v
1.558 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.558 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.558 * [taylor]: Taking taylor expansion of 1.0 in v
1.558 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.558 * [taylor]: Taking taylor expansion of 3.0 in v
1.558 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.558 * [taylor]: Taking taylor expansion of v in v
1.559 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
1.559 * [taylor]: Taking taylor expansion of 1.0 in v
1.559 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.559 * [taylor]: Taking taylor expansion of v in v
1.597 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in (v) around 0
1.597 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in v
1.597 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.597 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.597 * [taylor]: Taking taylor expansion of 1.0 in v
1.597 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.597 * [taylor]: Taking taylor expansion of 3.0 in v
1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.597 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.597 * [taylor]: Taking taylor expansion of v in v
1.601 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.601 * [taylor]: Taking taylor expansion of 1.0 in v
1.601 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.601 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.601 * [taylor]: Taking taylor expansion of v in v
1.601 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in v
1.601 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.601 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.601 * [taylor]: Taking taylor expansion of 1.0 in v
1.601 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.601 * [taylor]: Taking taylor expansion of 3.0 in v
1.601 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.601 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.601 * [taylor]: Taking taylor expansion of v in v
1.605 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.606 * [taylor]: Taking taylor expansion of 1.0 in v
1.606 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.606 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.606 * [taylor]: Taking taylor expansion of v in v
1.663 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in (v) around 0
1.663 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in v
1.663 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.663 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.663 * [taylor]: Taking taylor expansion of 1.0 in v
1.663 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.663 * [taylor]: Taking taylor expansion of 3.0 in v
1.663 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.663 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.663 * [taylor]: Taking taylor expansion of v in v
1.667 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.667 * [taylor]: Taking taylor expansion of 1.0 in v
1.667 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.667 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.667 * [taylor]: Taking taylor expansion of v in v
1.668 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) (- 1.0 (/ 1 (pow v 2)))) in v
1.668 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.668 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.668 * [taylor]: Taking taylor expansion of 1.0 in v
1.668 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.668 * [taylor]: Taking taylor expansion of 3.0 in v
1.668 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.668 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.668 * [taylor]: Taking taylor expansion of v in v
1.672 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.672 * [taylor]: Taking taylor expansion of 1.0 in v
1.672 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.672 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.672 * [taylor]: Taking taylor expansion of v in v
1.729 * * * [progress]: simplifying candidates
1.730 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 3.0 v)
  (* 3.0 v)
  (* (sqrt 2.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* 4.0 (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
  (* (sqrt 2.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* 4.0 (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ 1.0 (* 3.0 (* v v))))))
  (* (sqrt 2.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* 4.0 (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
  (* (sqrt 2.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* 4.0 (* (+ 1.0 (* v v)) (sqrt (+ 1.0 (* 3.0 (* v v))))))
  (* (sqrt 2.0) (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (sqrt 2.0) (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (sqrt 2.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* 4.0 (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (sqrt 2.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* 4.0 (+ 1.0 (* v v)))
  (* (- (sqrt 2.0)) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (- 4.0) (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
  (* (- (sqrt 2.0)) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (- 4.0) (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ 1.0 (* 3.0 (* v v))))))
  (* (- (sqrt 2.0)) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (- 4.0) (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
  (* (- (sqrt 2.0)) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (- 4.0) (* (+ 1.0 (* v v)) (sqrt (+ 1.0 (* 3.0 (* v v))))))
  (* (- (sqrt 2.0)) (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (- 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (- (sqrt 2.0)) (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (- 4.0) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- (sqrt 2.0)) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (- 4.0) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* (- (sqrt 2.0)) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (- 4.0) (+ 1.0 (* v v)))
  (* 1 (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (/ 4.0 (sqrt 2.0)) (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
  (* 1 (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (/ 4.0 (sqrt 2.0)) (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ 1.0 (* 3.0 (* v v))))))
  (* 1 (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (/ 4.0 (sqrt 2.0)) (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
  (* 1 (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (/ 4.0 (sqrt 2.0)) (* (+ 1.0 (* v v)) (sqrt (+ 1.0 (* 3.0 (* v v))))))
  (* 1 (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* 1 (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* 1 (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (/ 4.0 (sqrt 2.0)) (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))))
  (* 1 (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (/ 4.0 (sqrt 2.0)) (+ 1.0 (* v v)))
  (* (/ (sqrt 2.0) 4.0) (- 1.0 (* v v)))
  (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* (/ 1 4.0) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (/ (sqrt 2.0) 4.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (/ (sqrt 2.0) 4.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (/ (sqrt 2.0) 4.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (/ (sqrt 2.0) 4.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (/ (sqrt 2.0) 4.0) (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (/ (sqrt 2.0) 4.0) (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (/ (sqrt 2.0) 4.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (/ (sqrt 2.0) 4.0) (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (sqrt 2.0) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (- (sqrt 2.0)) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* 1 (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))
  (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))
  (sqrt (+ 1.0 (* 3.0 (* v v))))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (+ (* 1.0 1.0) (+ (* (* v v) (* v v)) (* 1.0 (* v v)))) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (+ 1.0 (* v v)) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* (- (* 1.0 1.0) (* (* v v) (* v v))) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (- (+ (* 0.375 (/ (* (sqrt 2.0) (pow v 4)) (sqrt 1.0))) (* 0.25 (* (sqrt 2.0) (sqrt 1.0)))) (+ (* 0.25 (* (sqrt 2.0) (* (pow v 2) (sqrt 1.0)))) (+ (* 0.28125 (/ (* (sqrt 2.0) (pow v 4)) (pow (sqrt 1.0) 3))) (* 0.375 (/ (* (sqrt 2.0) (pow v 2)) (sqrt 1.0))))))
  (- (+ (* 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) v))) (+ (* 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v))) (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v))))) (+ (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) (pow v 3)))) (* 0.125 (/ (* (sqrt 2.0) v) (sqrt (- 3.0))))))
  (- (+ (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) (pow v 3)))) (* 0.125 (/ (* (sqrt 2.0) v) (sqrt (- 3.0))))) (+ (* 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) v))) (+ (* 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v))) (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v))))))
  (- (sqrt 1.0) (+ (* 1.5 (/ (pow v 2) (sqrt 1.0))) (* 1.125 (/ (pow v 4) (pow (sqrt 1.0) 3)))))
  (- (+ (* (sqrt (- 3.0)) v) (* 0.5 (/ 1 (* (sqrt (- 3.0)) v)))) (* 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) (pow v 3)))))
  (- (* 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) (pow v 3)))) (+ (* (sqrt (- 3.0)) v) (* 0.5 (/ 1 (* (sqrt (- 3.0)) v)))))
  (- (+ (* 1.0 (sqrt 1.0)) (* 1.5 (/ (pow v 4) (sqrt 1.0)))) (+ (* 1.5 (/ (pow v 2) (sqrt 1.0))) (+ (* 1.125 (/ (pow v 4) (pow (sqrt 1.0) 3))) (* (pow v 2) (sqrt 1.0)))))
  (- (+ (* 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) v))) (+ (* 1.0 (* (sqrt (- 3.0)) v)) (* 0.5 (/ 1 (* (sqrt (- 3.0)) v))))) (+ (* 0.5 (/ v (sqrt (- 3.0)))) (* (sqrt (- 3.0)) (pow v 3))))
  (- (+ (* 0.5 (/ v (sqrt (- 3.0)))) (* (sqrt (- 3.0)) (pow v 3))) (+ (* 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) v))) (+ (* 1.0 (* (sqrt (- 3.0)) v)) (* 0.5 (/ 1 (* (sqrt (- 3.0)) v))))))
1.738 * * [simplify]: iteration  0 :  663  enodes  (cost  1135 )
1.750 * * [simplify]: iteration  1 :  2789  enodes  (cost  1097 )
1.793 * * [simplify]: iteration  2 :  5001  enodes  (cost  1095 )
1.799 * [simplify]: Simplified to:
   (* 3.0 v)
  (* 3.0 v)
  (* (sqrt 2.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0)))
  (* (sqrt 2.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v))))) (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0)))
  (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (* (* (sqrt 2.0) (fma v v 1.0)) (- 1.0 (* v v))))
  (* (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (fma v v 1.0))
  (* (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))) (* (* (sqrt 2.0) (fma v v 1.0)) (- 1.0 (* v v))))
  (* (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v))))) (fma v v 1.0))
  (* (sqrt 2.0) (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* 4.0 (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (sqrt 2.0) (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* 4.0 (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (sqrt 2.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (fma 1.0 (* 4.0 1.0) (* (* 4.0 (pow v 2)) (fma v v 1.0)))
  (* (sqrt (- 1.0 (* 3.0 (* v v)))) (* (* (sqrt 2.0) (fma v v 1.0)) (- 1.0 (* v v))))
  (* 4.0 (+ 1.0 (* v v)))
  (* (- (sqrt 2.0)) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (* (- 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0)))
  (* (- (sqrt 2.0)) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (* (- 4.0) (sqrt (+ 1.0 (* 3.0 (* v v))))) (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0)))
  (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (* (* (- (sqrt 2.0)) (fma v v 1.0)) (- 1.0 (* v v))))
  (* (* (- 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (fma v v 1.0))
  (* (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))) (* (* (- (sqrt 2.0)) (fma v v 1.0)) (- 1.0 (* v v))))
  (* (* (- 4.0) (sqrt (+ 1.0 (* 3.0 (* v v))))) (fma v v 1.0))
  (* (- (sqrt 2.0)) (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (- 4.0) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (- (sqrt 2.0)) (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (- 4.0) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- (sqrt 2.0)) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (- (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0))) 4.0)
  (* (sqrt (- 1.0 (* 3.0 (* v v)))) (* (* (- (sqrt 2.0)) (fma v v 1.0)) (- 1.0 (* v v))))
  (* (- (fma v v 1.0)) 4.0)
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0)))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v))))) (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0)))
  (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))) (fma v v 1.0))
  (* (* (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v))))) (fma v v 1.0))
  (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (/ 4.0 (sqrt 2.0)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (/ 4.0 (sqrt 2.0)) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (/ 4.0 (/ (sqrt 2.0) (fma (pow v 2) (+ 1.0 (* v v)) (* 1.0 1.0))))
  (* (* (sqrt (- 1.0 (* 3.0 (* v v)))) (fma v v 1.0)) (- 1.0 (* v v)))
  (/ 4.0 (/ (sqrt 2.0) (fma v v 1.0)))
  (* (/ (sqrt 2.0) 4.0) (- 1.0 (* v v)))
  (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (/ (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v))))) 4.0)
  (* (/ (sqrt 2.0) 4.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (/ (sqrt 2.0) 4.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v))))
  (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))) (fma v v 1.0)) (- 1.0 (* v v))))
  (* (/ (sqrt 2.0) 4.0) (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (/ (sqrt 2.0) 4.0) (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (* (/ (sqrt 2.0) 4.0) (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- 1.0 (* 3.0 (* v v)))) (fma v v 1.0)) (- 1.0 (* v v))))
  (* (sqrt 2.0) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (- (sqrt 2.0)) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v))))))
  (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))
  (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))
  (sqrt (+ 1.0 (* 3.0 (* v v))))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))) (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (sqrt (+ 1.0 (* 3.0 (* v v)))) (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))))
  (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))
  (* (* (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* (+ 1.0 (* v v)) (sqrt (+ 1.0 (* 3.0 (* v v)))))
  (* (- 1.0 (* v v)) (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))
  (* (- 1.0 (* v v)) (sqrt (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))
  (* (- (pow 1.0 3) (pow (* v v) 3)) (sqrt (- 1.0 (* 3.0 (* v v)))))
  (* (* (sqrt (- 1.0 (* 3.0 (* v v)))) (fma v v 1.0)) (- 1.0 (* v v)))
  (* 3.0 (* v v))
  (* 3.0 (* v v))
  (* 3.0 (* v v))
  (fma 0.375 (/ (* (sqrt 2.0) (pow v 4)) (sqrt 1.0)) (- (* 0.25 (* (sqrt 2.0) (sqrt 1.0))) (fma 0.25 (* (sqrt 2.0) (* (pow v 2) (sqrt 1.0))) (fma 0.28125 (/ (* (sqrt 2.0) (pow v 4)) (pow (sqrt 1.0) 3)) (* 0.375 (/ (* (sqrt 2.0) (pow v 2)) (sqrt 1.0)))))))
  (fma 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) v)) (- (fma 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v)) (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v)))) (fma 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) (pow v 3))) (* 0.125 (/ (* (sqrt 2.0) v) (sqrt (- 3.0)))))))
  (fma (* 0.25 (sqrt (- 3.0))) (* (sqrt 2.0) (pow v 3)) (- (* 0.125 (/ (* (sqrt 2.0) v) (sqrt (- 3.0)))) (fma 0.03125 (/ (sqrt 2.0) (* (pow (sqrt (- 3.0)) 3) v)) (fma 0.125 (/ (sqrt 2.0) (* (sqrt (- 3.0)) v)) (* 0.25 (* (sqrt (- 3.0)) (* (sqrt 2.0) v)))))))
  (- (sqrt 1.0) (+ (* 1.5 (/ (pow v 2) (sqrt 1.0))) (* 1.125 (/ (pow v 4) (pow (sqrt 1.0) 3)))))
  (fma (- 0.125) (/ 1 (* (pow (sqrt (- 3.0)) 3) (pow v 3))) (fma v (sqrt (- 3.0)) (/ (/ 0.5 v) (sqrt (- 3.0)))))
  (fma 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) (pow v 3))) (- (fma (sqrt (- 3.0)) v (* 0.5 (/ 1 (* (sqrt (- 3.0)) v))))))
  (fma (sqrt 1.0) 1.0 (- (* 1.5 (/ (pow v 4) (sqrt 1.0))) (fma 1.5 (/ (pow v 2) (sqrt 1.0)) (fma 1.125 (/ (pow v 4) (pow (sqrt 1.0) 3)) (* (pow v 2) (sqrt 1.0))))))
  (fma 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) v)) (- (fma 1.0 (* (sqrt (- 3.0)) v) (* 0.5 (/ 1 (* (sqrt (- 3.0)) v)))) (fma 0.5 (/ v (sqrt (- 3.0))) (* (sqrt (- 3.0)) (pow v 3)))))
  (fma 0.5 (/ v (sqrt (- 3.0))) (- (* (sqrt (- 3.0)) (pow v 3)) (fma 0.125 (/ 1 (* (pow (sqrt (- 3.0)) 3) v)) (fma 1.0 (* (sqrt (- 3.0)) v) (* 0.5 (/ 1 (* (sqrt (- 3.0)) v)))))))
1.799 * * * [progress]: adding candidates to table
2.088 * * [progress]: iteration 3 / 4
2.088 * * * [progress]: picking best candidate
2.093 * * * * [pick]: Picked  #<alt (λ (v) (/ (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))) (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))))>
2.093 * * * [progress]: localizing error
2.123 * * * [progress]: generating rewritten candidates
2.123 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 2 2)
2.127 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
2.131 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1)
2.134 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 1)
2.137 * * * [progress]: generating series expansions
2.138 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 2 2)
2.138 * [approximate]: Taking taylor expansion of (* 3.0 (pow v 2)) in (v) around 0
2.138 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
2.138 * [taylor]: Taking taylor expansion of 3.0 in v
2.138 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.138 * [taylor]: Taking taylor expansion of v in v
2.138 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
2.138 * [taylor]: Taking taylor expansion of 3.0 in v
2.138 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.138 * [taylor]: Taking taylor expansion of v in v
2.147 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
2.147 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.147 * [taylor]: Taking taylor expansion of 3.0 in v
2.147 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.147 * [taylor]: Taking taylor expansion of v in v
2.148 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.148 * [taylor]: Taking taylor expansion of 3.0 in v
2.148 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.148 * [taylor]: Taking taylor expansion of v in v
2.155 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
2.155 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.155 * [taylor]: Taking taylor expansion of 3.0 in v
2.155 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.155 * [taylor]: Taking taylor expansion of v in v
2.155 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.155 * [taylor]: Taking taylor expansion of 3.0 in v
2.155 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.155 * [taylor]: Taking taylor expansion of v in v
2.162 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
2.163 * [approximate]: Taking taylor expansion of (* 3.0 (pow v 2)) in (v) around 0
2.163 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
2.163 * [taylor]: Taking taylor expansion of 3.0 in v
2.163 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.163 * [taylor]: Taking taylor expansion of v in v
2.163 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
2.163 * [taylor]: Taking taylor expansion of 3.0 in v
2.163 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.163 * [taylor]: Taking taylor expansion of v in v
2.170 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
2.170 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.170 * [taylor]: Taking taylor expansion of 3.0 in v
2.171 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.171 * [taylor]: Taking taylor expansion of v in v
2.171 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.171 * [taylor]: Taking taylor expansion of 3.0 in v
2.171 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.171 * [taylor]: Taking taylor expansion of v in v
2.178 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
2.179 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.179 * [taylor]: Taking taylor expansion of 3.0 in v
2.179 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.179 * [taylor]: Taking taylor expansion of v in v
2.179 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.179 * [taylor]: Taking taylor expansion of 3.0 in v
2.179 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.179 * [taylor]: Taking taylor expansion of v in v
2.187 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1)
2.187 * [approximate]: Taking taylor expansion of (* 3.0 (pow v 2)) in (v) around 0
2.187 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
2.187 * [taylor]: Taking taylor expansion of 3.0 in v
2.187 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.187 * [taylor]: Taking taylor expansion of v in v
2.187 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
2.187 * [taylor]: Taking taylor expansion of 3.0 in v
2.187 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.187 * [taylor]: Taking taylor expansion of v in v
2.201 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
2.201 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.201 * [taylor]: Taking taylor expansion of 3.0 in v
2.201 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.201 * [taylor]: Taking taylor expansion of v in v
2.202 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.202 * [taylor]: Taking taylor expansion of 3.0 in v
2.202 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.202 * [taylor]: Taking taylor expansion of v in v
2.209 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
2.209 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.209 * [taylor]: Taking taylor expansion of 3.0 in v
2.209 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.209 * [taylor]: Taking taylor expansion of v in v
2.210 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.210 * [taylor]: Taking taylor expansion of 3.0 in v
2.210 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.210 * [taylor]: Taking taylor expansion of v in v
2.217 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 1)
2.217 * [approximate]: Taking taylor expansion of (* 3.0 (pow v 2)) in (v) around 0
2.217 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
2.217 * [taylor]: Taking taylor expansion of 3.0 in v
2.217 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.217 * [taylor]: Taking taylor expansion of v in v
2.217 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
2.217 * [taylor]: Taking taylor expansion of 3.0 in v
2.217 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.217 * [taylor]: Taking taylor expansion of v in v
2.225 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
2.225 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.225 * [taylor]: Taking taylor expansion of 3.0 in v
2.225 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.225 * [taylor]: Taking taylor expansion of v in v
2.225 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.225 * [taylor]: Taking taylor expansion of 3.0 in v
2.225 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.225 * [taylor]: Taking taylor expansion of v in v
2.233 * [approximate]: Taking taylor expansion of (/ 3.0 (pow v 2)) in (v) around 0
2.233 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.233 * [taylor]: Taking taylor expansion of 3.0 in v
2.233 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.233 * [taylor]: Taking taylor expansion of v in v
2.234 * [taylor]: Taking taylor expansion of (/ 3.0 (pow v 2)) in v
2.234 * [taylor]: Taking taylor expansion of 3.0 in v
2.234 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.234 * [taylor]: Taking taylor expansion of v in v
2.241 * * * [progress]: simplifying candidates
2.241 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
2.244 * * [simplify]: iteration  0 :  12  enodes  (cost  32 )
2.245 * * [simplify]: iteration  1 :  26  enodes  (cost  32 )
2.246 * * [simplify]: iteration  2 :  68  enodes  (cost  32 )
2.248 * * [simplify]: iteration  3 :  180  enodes  (cost  32 )
2.254 * * [simplify]: iteration  4 :  596  enodes  (cost  32 )
2.281 * * [simplify]: iteration  5 :  3251  enodes  (cost  32 )
2.396 * * [simplify]: iteration  6 :  5001  enodes  (cost  32 )
2.396 * [simplify]: Simplified to:
   (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 v)
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
  (* 3.0 (pow v 2))
2.396 * * * [progress]: adding candidates to table
2.465 * [progress]: [Phase 3 of 3] Extracting.
2.465 * * [regime]: Finding splitpoints for: (#<alt (λ (v) (/ (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))) (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))))> #<alt (λ (v) (* (/ (sqrt 2.0) 4.0) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v)))))))>)
2.467 * * * [regime-changes]: Trying 2 branch expressions: ((* v v) v)
2.467 * * * * [regimes]: Trying to branch on (* v v) from (#<alt (λ (v) (/ (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))) (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))))> #<alt (λ (v) (* (/ (sqrt 2.0) 4.0) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v)))))))>)
2.483 * * * * [regimes]: Trying to branch on v from (#<alt (λ (v) (/ (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))) (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v)))))))))> #<alt (λ (v) (* (/ (sqrt 2.0) 4.0) (* (- 1.0 (* v v)) (sqrt (- 1.0 (* 3.0 (* v v)))))))>)
2.497 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.497 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))) (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
2.498 * * [simplify]: iteration  0 :  37  enodes  (cost  30 )
2.498 * * [simplify]: iteration  1 :  37  enodes  (cost  30 )
2.499 * [simplify]: Simplified to:
   (/ (* (/ (sqrt 2.0) 4.0) (* (* (sqrt (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))) (fma v v 1.0)) (- 1.0 (* v v)))) (* (+ 1.0 (* v v)) (sqrt (+ (* 1.0 1.0) (+ (* (* 3.0 (* v v)) (* 3.0 (* v v))) (* 1.0 (* 3.0 (* v v))))))))
3.433 * [regime-testing]: Baseline error score: 0.019327980061179532
3.434 * [regime-testing]: Oracle error score: 0.006250781347668459
3.434 * [regime-testing]: End program error score: 0.019327980061179532