4.843 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
0.083 * * [simplify]: iteration  0 :  4921  enodes  (cost  19 )
0.083 * * [simplify]: iteration  1 :  4921  enodes  (cost  19 )
0.083 * [simplify]: Simplified to:
   (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
0.084 * * [progress]: iteration 1 / 4
0.084 * * * [progress]: picking best candidate
0.085 * * * * [pick]: Picked  #<alt (λ (v) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))))>
0.085 * * * [progress]: localizing error
0.099 * * * [progress]: generating rewritten candidates
0.099 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1 2)
0.106 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.119 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.125 * * * [progress]: generating series expansions
0.126 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1 2)
0.126 * [approximate]: Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
0.126 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.126 * [taylor]: Taking taylor expansion of 3 in v
0.126 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.126 * [taylor]: Taking taylor expansion of v in v
0.126 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.126 * [taylor]: Taking taylor expansion of 3 in v
0.126 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.126 * [taylor]: Taking taylor expansion of v in v
0.127 * [approximate]: Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
0.127 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.127 * [taylor]: Taking taylor expansion of 3 in v
0.127 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.127 * [taylor]: Taking taylor expansion of v in v
0.127 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.127 * [taylor]: Taking taylor expansion of 3 in v
0.127 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.127 * [taylor]: Taking taylor expansion of v in v
0.128 * [approximate]: Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
0.128 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.128 * [taylor]: Taking taylor expansion of 3 in v
0.128 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.128 * [taylor]: Taking taylor expansion of v in v
0.128 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.128 * [taylor]: Taking taylor expansion of 3 in v
0.128 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.128 * [taylor]: Taking taylor expansion of v in v
0.129 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.129 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in (v) around 0
0.129 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.129 * [taylor]: Taking taylor expansion of 1/4 in v
0.129 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.129 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.129 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.129 * [taylor]: Taking taylor expansion of 1 in v
0.129 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.129 * [taylor]: Taking taylor expansion of 3 in v
0.129 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.129 * [taylor]: Taking taylor expansion of v in v
0.129 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.129 * [taylor]: Taking taylor expansion of 2 in v
0.129 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.129 * [taylor]: Taking taylor expansion of 1/4 in v
0.130 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.130 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.130 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.130 * [taylor]: Taking taylor expansion of 1 in v
0.130 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.130 * [taylor]: Taking taylor expansion of 3 in v
0.130 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.130 * [taylor]: Taking taylor expansion of v in v
0.130 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.130 * [taylor]: Taking taylor expansion of 2 in v
0.131 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.131 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.132 * [taylor]: Taking taylor expansion of 1/4 in v
0.132 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.132 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.132 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.132 * [taylor]: Taking taylor expansion of 1 in v
0.132 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.132 * [taylor]: Taking taylor expansion of 3 in v
0.132 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.132 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.132 * [taylor]: Taking taylor expansion of v in v
0.132 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.132 * [taylor]: Taking taylor expansion of 2 in v
0.132 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.132 * [taylor]: Taking taylor expansion of 1/4 in v
0.132 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.132 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.132 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.132 * [taylor]: Taking taylor expansion of 1 in v
0.132 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.132 * [taylor]: Taking taylor expansion of 3 in v
0.132 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.132 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.132 * [taylor]: Taking taylor expansion of v in v
0.132 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.132 * [taylor]: Taking taylor expansion of 2 in v
0.136 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.136 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.136 * [taylor]: Taking taylor expansion of 1/4 in v
0.136 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.136 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.136 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.136 * [taylor]: Taking taylor expansion of 1 in v
0.136 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.136 * [taylor]: Taking taylor expansion of 3 in v
0.136 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.136 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.136 * [taylor]: Taking taylor expansion of v in v
0.136 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.136 * [taylor]: Taking taylor expansion of 2 in v
0.136 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.136 * [taylor]: Taking taylor expansion of 1/4 in v
0.136 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.136 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.136 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.136 * [taylor]: Taking taylor expansion of 1 in v
0.137 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.137 * [taylor]: Taking taylor expansion of 3 in v
0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.137 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.137 * [taylor]: Taking taylor expansion of v in v
0.137 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.137 * [taylor]: Taking taylor expansion of 2 in v
0.140 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.140 * [approximate]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in (v) around 0
0.140 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.140 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.140 * [taylor]: Taking taylor expansion of 1 in v
0.140 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.140 * [taylor]: Taking taylor expansion of 3 in v
0.140 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.140 * [taylor]: Taking taylor expansion of v in v
0.140 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.140 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.140 * [taylor]: Taking taylor expansion of 1 in v
0.140 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.140 * [taylor]: Taking taylor expansion of 3 in v
0.140 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.140 * [taylor]: Taking taylor expansion of v in v
0.141 * [approximate]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in (v) around 0
0.141 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.141 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.141 * [taylor]: Taking taylor expansion of 1 in v
0.141 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.141 * [taylor]: Taking taylor expansion of 3 in v
0.141 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.141 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.141 * [taylor]: Taking taylor expansion of v in v
0.141 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.141 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.141 * [taylor]: Taking taylor expansion of 1 in v
0.141 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.141 * [taylor]: Taking taylor expansion of 3 in v
0.141 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.141 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.141 * [taylor]: Taking taylor expansion of v in v
0.143 * [approximate]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in (v) around 0
0.143 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.143 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.143 * [taylor]: Taking taylor expansion of 1 in v
0.143 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.143 * [taylor]: Taking taylor expansion of 3 in v
0.143 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.143 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.143 * [taylor]: Taking taylor expansion of v in v
0.143 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.143 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.143 * [taylor]: Taking taylor expansion of 1 in v
0.143 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.143 * [taylor]: Taking taylor expansion of 3 in v
0.143 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.143 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.143 * [taylor]: Taking taylor expansion of v in v
0.145 * * * [progress]: simplifying candidates
0.146 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (+.f64 (log.f64 3) (+.f64 (log.f64 v) (log.f64 v)))
  (+.f64 (log.f64 3) (log.f64 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (exp.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 v v) v)))
  (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 v v)))
  (*.f64 (cbrt.f64 (*.f64 3 (*.f64 v v))) (cbrt.f64 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (sqrt.f64 3) v)
  (*.f64 (sqrt.f64 3) v)
  (*.f64 3 v)
  (*.f64 (cbrt.f64 3) (*.f64 v v))
  (*.f64 (sqrt.f64 3) (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (+.f64 (-.f64 (log.f64 (sqrt.f64 2)) (log.f64 4)) (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 2) 4)) (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (exp.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (*.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 2)) (sqrt.f64 2)) (*.f64 (*.f64 4 4) 4)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (/.f64 (sqrt.f64 2) 4)) (/.f64 (sqrt.f64 2) 4)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))
  (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 1))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) 1)
  (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 1 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 1)
  (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))
  (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3)))
  (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (-.f64 (*.f64 1/4 (sqrt.f64 2)) (+.f64 (*.f64 9/32 (*.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 3/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2)))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))) (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))))
  (-.f64 (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
  (-.f64 1 (+.f64 (*.f64 3/2 (pow.f64 v 2)) (*.f64 9/8 (pow.f64 v 4))))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -3) v))) (*.f64 v (sqrt.f64 -3))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))))
  (-.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))) (+.f64 (*.f64 (sqrt.f64 -3) v) (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -3) v)))))
0.176 * * [simplify]: iteration  0 :  5021  enodes  (cost  1239 )
0.181 * [simplify]: Simplified to:
   (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (exp.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 27 (pow.f64 v 6))
  (*.f64 27 (pow.f64 v 6))
  (*.f64 (cbrt.f64 (*.f64 3 (*.f64 v v))) (cbrt.f64 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 27 (pow.f64 v 6))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 v (sqrt.f64 3))
  (*.f64 v (sqrt.f64 3))
  (*.f64 3 v)
  (*.f64 (*.f64 v v) (cbrt.f64 3))
  (*.f64 v (*.f64 v (sqrt.f64 3)))
  (*.f64 3 (*.f64 v v))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (exp.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 27 (pow.f64 v 6)))))
  (*.f64 4 (sqrt.f64 (+.f64 (*.f64 9 (pow.f64 v 4)) (+.f64 (*.f64 3 (*.f64 v v)) 1))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1)))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (fabs.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (/.f64 (sqrt.f64 2) 4)
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (/.f64 (sqrt.f64 2) 4)
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (cbrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 1/4)
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 27 (pow.f64 v 6)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 3)
  (fabs.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  1
  (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))
  (sqrt.f64 (-.f64 1 (*.f64 27 (pow.f64 v 6))))
  (sqrt.f64 (+.f64 (*.f64 9 (pow.f64 v 4)) (+.f64 (*.f64 3 (*.f64 v v)) 1)))
  (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4))))
  (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))
  1/2
  (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 (sqrt.f64 2) (+.f64 1/4 (+.f64 (*.f64 (pow.f64 v 4) -9/32) (*.f64 (*.f64 v v) -3/8))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))) (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96))
  (-.f64 (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))))
  (-.f64 1 (+.f64 (*.f64 (*.f64 v v) 3/2) (*.f64 (pow.f64 v 4) 9/8)))
  (-.f64 (+.f64 (*.f64 v (sqrt.f64 -3)) (/.f64 1/2 (*.f64 v (sqrt.f64 -3)))) (/.f64 -1/24 (*.f64 (pow.f64 v 3) (sqrt.f64 -3))))
  (-.f64 (/.f64 -1/24 (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) (+.f64 (*.f64 v (sqrt.f64 -3)) (/.f64 1/2 (*.f64 v (sqrt.f64 -3)))))
0.182 * * * [progress]: adding candidates to table
0.248 * * [progress]: iteration 2 / 4
0.248 * * * [progress]: picking best candidate
0.251 * * * * [pick]: Picked  #<alt (λ (v) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (-.f64 1 (*.f64 v v))))>
0.251 * * * [progress]: localizing error
0.263 * * * [progress]: generating rewritten candidates
0.264 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.275 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2)
0.281 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.285 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.302 * * * [progress]: generating series expansions
0.302 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.302 * [approximate]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) 3) in (v) around 0
0.303 * [taylor]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) 3) in v
0.303 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.303 * [taylor]: Taking taylor expansion of 1/4 in v
0.303 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.303 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.303 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.303 * [taylor]: Taking taylor expansion of 1 in v
0.303 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.303 * [taylor]: Taking taylor expansion of 3 in v
0.303 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.303 * [taylor]: Taking taylor expansion of v in v
0.303 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.303 * [taylor]: Taking taylor expansion of 2 in v
0.303 * [taylor]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) 3) in v
0.303 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.303 * [taylor]: Taking taylor expansion of 1/4 in v
0.303 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.303 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.303 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.303 * [taylor]: Taking taylor expansion of 1 in v
0.303 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.303 * [taylor]: Taking taylor expansion of 3 in v
0.303 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.303 * [taylor]: Taking taylor expansion of v in v
0.303 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.303 * [taylor]: Taking taylor expansion of 2 in v
0.307 * [approximate]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) 3) in (v) around 0
0.307 * [taylor]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) 3) in v
0.307 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.307 * [taylor]: Taking taylor expansion of 1/4 in v
0.307 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.307 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.307 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.307 * [taylor]: Taking taylor expansion of 1 in v
0.307 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.308 * [taylor]: Taking taylor expansion of 3 in v
0.308 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.308 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.308 * [taylor]: Taking taylor expansion of v in v
0.308 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.308 * [taylor]: Taking taylor expansion of 2 in v
0.308 * [taylor]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) 3) in v
0.308 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.308 * [taylor]: Taking taylor expansion of 1/4 in v
0.308 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.308 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.308 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.308 * [taylor]: Taking taylor expansion of 1 in v
0.308 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.308 * [taylor]: Taking taylor expansion of 3 in v
0.308 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.308 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.308 * [taylor]: Taking taylor expansion of v in v
0.308 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.308 * [taylor]: Taking taylor expansion of 2 in v
0.315 * [approximate]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) 3) in (v) around 0
0.315 * [taylor]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) 3) in v
0.315 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.315 * [taylor]: Taking taylor expansion of 1/4 in v
0.315 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.315 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.315 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.315 * [taylor]: Taking taylor expansion of 1 in v
0.315 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.315 * [taylor]: Taking taylor expansion of 3 in v
0.315 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.315 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.315 * [taylor]: Taking taylor expansion of v in v
0.316 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.316 * [taylor]: Taking taylor expansion of 2 in v
0.316 * [taylor]: Taking taylor expansion of (pow (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) 3) in v
0.316 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.316 * [taylor]: Taking taylor expansion of 1/4 in v
0.316 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.316 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.316 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.316 * [taylor]: Taking taylor expansion of 1 in v
0.316 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.316 * [taylor]: Taking taylor expansion of 3 in v
0.316 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.316 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.316 * [taylor]: Taking taylor expansion of v in v
0.316 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.316 * [taylor]: Taking taylor expansion of 2 in v
0.326 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2)
0.326 * [approximate]: Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
0.326 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.326 * [taylor]: Taking taylor expansion of 3 in v
0.326 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.326 * [taylor]: Taking taylor expansion of v in v
0.326 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.326 * [taylor]: Taking taylor expansion of 3 in v
0.326 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.326 * [taylor]: Taking taylor expansion of v in v
0.327 * [approximate]: Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
0.327 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.327 * [taylor]: Taking taylor expansion of 3 in v
0.327 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.327 * [taylor]: Taking taylor expansion of v in v
0.327 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.327 * [taylor]: Taking taylor expansion of 3 in v
0.327 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.327 * [taylor]: Taking taylor expansion of v in v
0.328 * [approximate]: Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
0.328 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.328 * [taylor]: Taking taylor expansion of 3 in v
0.328 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.329 * [taylor]: Taking taylor expansion of v in v
0.329 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.329 * [taylor]: Taking taylor expansion of 3 in v
0.329 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.329 * [taylor]: Taking taylor expansion of v in v
0.330 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.330 * [approximate]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in (v) around 0
0.330 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.330 * [taylor]: Taking taylor expansion of 0.25 in v
0.330 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.330 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.330 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.330 * [taylor]: Taking taylor expansion of 1 in v
0.330 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.330 * [taylor]: Taking taylor expansion of 3 in v
0.330 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.330 * [taylor]: Taking taylor expansion of v in v
0.330 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.330 * [taylor]: Taking taylor expansion of 2 in v
0.330 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.330 * [taylor]: Taking taylor expansion of 0.25 in v
0.330 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.330 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.330 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.331 * [taylor]: Taking taylor expansion of 1 in v
0.331 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.331 * [taylor]: Taking taylor expansion of 3 in v
0.331 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.331 * [taylor]: Taking taylor expansion of v in v
0.331 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.331 * [taylor]: Taking taylor expansion of 2 in v
0.332 * [approximate]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.333 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.333 * [taylor]: Taking taylor expansion of 0.25 in v
0.333 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.333 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.333 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.333 * [taylor]: Taking taylor expansion of 1 in v
0.333 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.333 * [taylor]: Taking taylor expansion of 3 in v
0.333 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.333 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.333 * [taylor]: Taking taylor expansion of v in v
0.333 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.333 * [taylor]: Taking taylor expansion of 2 in v
0.333 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.333 * [taylor]: Taking taylor expansion of 0.25 in v
0.333 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.333 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.333 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.333 * [taylor]: Taking taylor expansion of 1 in v
0.333 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.333 * [taylor]: Taking taylor expansion of 3 in v
0.333 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.333 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.333 * [taylor]: Taking taylor expansion of v in v
0.333 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.333 * [taylor]: Taking taylor expansion of 2 in v
0.337 * [approximate]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.337 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.337 * [taylor]: Taking taylor expansion of 0.25 in v
0.337 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.337 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.337 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.337 * [taylor]: Taking taylor expansion of 1 in v
0.337 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.337 * [taylor]: Taking taylor expansion of 3 in v
0.337 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.337 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.337 * [taylor]: Taking taylor expansion of v in v
0.337 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.337 * [taylor]: Taking taylor expansion of 2 in v
0.337 * [taylor]: Taking taylor expansion of (* 0.25 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.337 * [taylor]: Taking taylor expansion of 0.25 in v
0.337 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.337 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.337 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.337 * [taylor]: Taking taylor expansion of 1 in v
0.337 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.337 * [taylor]: Taking taylor expansion of 3 in v
0.337 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.337 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.337 * [taylor]: Taking taylor expansion of v in v
0.338 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.338 * [taylor]: Taking taylor expansion of 2 in v
0.341 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.341 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in (v) around 0
0.341 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.341 * [taylor]: Taking taylor expansion of 1/4 in v
0.341 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.341 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.341 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.341 * [taylor]: Taking taylor expansion of 1 in v
0.341 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.341 * [taylor]: Taking taylor expansion of 3 in v
0.341 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.341 * [taylor]: Taking taylor expansion of v in v
0.341 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.341 * [taylor]: Taking taylor expansion of 2 in v
0.341 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.341 * [taylor]: Taking taylor expansion of 1/4 in v
0.341 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.341 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.341 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.341 * [taylor]: Taking taylor expansion of 1 in v
0.341 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.341 * [taylor]: Taking taylor expansion of 3 in v
0.341 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.341 * [taylor]: Taking taylor expansion of v in v
0.341 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.341 * [taylor]: Taking taylor expansion of 2 in v
0.343 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.343 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.343 * [taylor]: Taking taylor expansion of 1/4 in v
0.343 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.343 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.343 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.343 * [taylor]: Taking taylor expansion of 1 in v
0.343 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.343 * [taylor]: Taking taylor expansion of 3 in v
0.343 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.343 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.343 * [taylor]: Taking taylor expansion of v in v
0.344 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.344 * [taylor]: Taking taylor expansion of 2 in v
0.344 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.344 * [taylor]: Taking taylor expansion of 1/4 in v
0.344 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.344 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.344 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.344 * [taylor]: Taking taylor expansion of 1 in v
0.344 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.344 * [taylor]: Taking taylor expansion of 3 in v
0.344 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.344 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.344 * [taylor]: Taking taylor expansion of v in v
0.344 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.344 * [taylor]: Taking taylor expansion of 2 in v
0.347 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.347 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.348 * [taylor]: Taking taylor expansion of 1/4 in v
0.348 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.348 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.348 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.348 * [taylor]: Taking taylor expansion of 1 in v
0.348 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.348 * [taylor]: Taking taylor expansion of 3 in v
0.348 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.348 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.348 * [taylor]: Taking taylor expansion of v in v
0.348 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.348 * [taylor]: Taking taylor expansion of 2 in v
0.348 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.348 * [taylor]: Taking taylor expansion of 1/4 in v
0.348 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.348 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.348 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.348 * [taylor]: Taking taylor expansion of 1 in v
0.348 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.348 * [taylor]: Taking taylor expansion of 3 in v
0.348 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.348 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.348 * [taylor]: Taking taylor expansion of v in v
0.348 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.348 * [taylor]: Taking taylor expansion of 2 in v
0.351 * * * [progress]: simplifying candidates
0.353 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (+.f64 (-.f64 (log.f64 (sqrt.f64 2)) (log.f64 4)) (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) 3)
  (*.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 2) 4)) (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) 3)
  (*.f64 (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) 3)
  (*.f64 (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) 3)
  (*.f64 1 3)
  (*.f64 1 3)
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 3))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 1)
  (pow.f64 (/.f64 (sqrt.f64 2) 4) 3)
  (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 3)
  (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (exp.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (*.f64 (*.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3) (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (pow.f64 (/.f64 (sqrt.f64 2) 4) 3)
  (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 3)
  (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3)))) 3)
  (pow.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))) 3)
  (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v)))))) 3)
  (pow.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3)))) 3)
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))) 3)
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v)))))) 3)
  (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))) 3)
  (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (pow.f64 4 3)
  (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (sqrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 3 2))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 3 2))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (+.f64 (log.f64 3) (+.f64 (log.f64 v) (log.f64 v)))
  (+.f64 (log.f64 3) (log.f64 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (exp.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 v v) v)))
  (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 v v)))
  (*.f64 (cbrt.f64 (*.f64 3 (*.f64 v v))) (cbrt.f64 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (sqrt.f64 3) v)
  (*.f64 (sqrt.f64 3) v)
  (*.f64 3 v)
  (*.f64 (cbrt.f64 3) (*.f64 v v))
  (*.f64 (sqrt.f64 3) (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (log.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 2) 4) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 3))
  (cbrt.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 2) 4) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 3))
  (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (cbrt.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (cbrt.f64 1)
  (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 3 2)))
  (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 3 2)))
  (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3)))) 3))
  (cbrt.f64 (pow.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v)))))) 3))
  (cbrt.f64 (pow.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3)))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v)))))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))
  (cbrt.f64 (pow.f64 4 3))
  (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3))) (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (+.f64 (-.f64 (log.f64 (sqrt.f64 2)) (log.f64 4)) (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 2) 4)) (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (exp.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (*.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 2)) (sqrt.f64 2)) (*.f64 (*.f64 4 4) 4)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (/.f64 (sqrt.f64 2) 4)) (/.f64 (sqrt.f64 2) 4)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))
  (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 1))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) 1)
  (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 1 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (-.f64 (+.f64 (*.f64 27/512 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 2) 3))) (*.f64 1/64 (pow.f64 (sqrt.f64 2) 3))) (*.f64 9/128 (*.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 2) 3))))
  (+.f64 (*.f64 3/512 (/.f64 (pow.f64 (sqrt.f64 2) 3) (*.f64 (sqrt.f64 -3) v))) (+.f64 (*.f64 1/64 (*.f64 (pow.f64 v 3) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 (sqrt.f64 2) 3)))) (*.f64 3/128 (*.f64 v (*.f64 (sqrt.f64 -3) (pow.f64 (sqrt.f64 2) 3))))))
  (neg.f64 (+.f64 (*.f64 3/512 (/.f64 (pow.f64 (sqrt.f64 2) 3) (*.f64 (sqrt.f64 -3) v))) (+.f64 (*.f64 1/64 (*.f64 (pow.f64 v 3) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 (sqrt.f64 2) 3)))) (*.f64 3/128 (*.f64 v (*.f64 (sqrt.f64 -3) (pow.f64 (sqrt.f64 2) 3)))))))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (-.f64 (*.f64 1/4 (sqrt.f64 2)) (+.f64 (*.f64 9/32 (*.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 3/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2)))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))) (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))))
  (-.f64 (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
  (-.f64 (*.f64 1/4 (sqrt.f64 2)) (+.f64 (*.f64 9/32 (*.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 3/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2)))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))) (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))))
  (-.f64 (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
0.395 * * [simplify]: iteration  0 :  4936  enodes  (cost  2007 )
0.395 * * [simplify]: iteration  1 :  4936  enodes  (cost  2007 )
0.403 * [simplify]: Simplified to:
   (*.f64 3 (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))))
  (*.f64 3 (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))))
  (*.f64 3 (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))))
  (*.f64 3 (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))))
  3
  3
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 3))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))
  (*.f64 (sqrt.f64 2) 1/32)
  (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 3)
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  (*.f64 3 (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))))
  (exp.f64 (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3))
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))
  (pow.f64 (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3) 3)
  (*.f64 (sqrt.f64 2) 1/32)
  (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 3)
  (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27)))) 3)
  (pow.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))) 3)
  (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4))))) 3)
  (pow.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (/.f64 (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27)))) 3) 64)
  (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))) 3)
  (/.f64 (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4))))) 3) 64)
  (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))) 3)
  (pow.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  64
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  (sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3))
  (sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3))
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3/2)
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3/2)
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (exp.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 27 (pow.f64 v 6))
  (*.f64 27 (pow.f64 v 6))
  (*.f64 (cbrt.f64 (*.f64 3 (*.f64 v v))) (cbrt.f64 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 27 (pow.f64 v 6))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 v (sqrt.f64 3))
  (*.f64 v (sqrt.f64 3))
  (*.f64 3 v)
  (*.f64 (*.f64 v v) (cbrt.f64 3))
  (*.f64 v (*.f64 v (sqrt.f64 3)))
  (*.f64 3 (*.f64 v v))
  (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (exp.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (/.f64 (sqrt.f64 2) 4)
  (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3))))
  (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (cbrt.f64 (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3))))
  (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (/.f64 (sqrt.f64 2) 4)
  (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (cbrt.f64 (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3))))
  (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3)))
  (cbrt.f64 1)
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))
  (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3/2))
  (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3/2))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))
  (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (cbrt.f64 64)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))) (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))))
  (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3)
  (sqrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (sqrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))
  (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (log.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (exp.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3)
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))) (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))))
  (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)) 3)
  (sqrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (sqrt.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (fabs.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (/.f64 (sqrt.f64 2) 4)
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (/.f64 (sqrt.f64 2) 4)
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (cbrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 1/4)
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (*.f64 2 (sqrt.f64 2)) (+.f64 (*.f64 (pow.f64 v 4) 27/512) (+.f64 1/64 (*.f64 (*.f64 v v) -9/128))))
  (+.f64 (*.f64 (/.f64 3/256 v) (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (*.f64 (*.f64 2 (sqrt.f64 2)) (+.f64 (*.f64 1/64 (*.f64 (pow.f64 v 3) (*.f64 -3 (sqrt.f64 -3)))) (*.f64 3/128 (*.f64 v (sqrt.f64 -3))))))
  (-.f64 (/.f64 (*.f64 -3/256 (sqrt.f64 2)) (*.f64 v (sqrt.f64 -3))) (*.f64 (*.f64 2 (sqrt.f64 2)) (+.f64 (*.f64 1/64 (*.f64 (pow.f64 v 3) (*.f64 -3 (sqrt.f64 -3)))) (*.f64 3/128 (*.f64 v (sqrt.f64 -3))))))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 (sqrt.f64 2) (-.f64 1/4 (+.f64 (*.f64 (pow.f64 v 4) 9/32) (*.f64 (*.f64 v v) 3/8))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))) (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96))
  (-.f64 (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))))
  (*.f64 (sqrt.f64 2) (-.f64 1/4 (+.f64 (*.f64 (pow.f64 v 4) 9/32) (*.f64 (*.f64 v v) 3/8))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))) (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96))
  (-.f64 (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))))
0.404 * * * [progress]: adding candidates to table
0.521 * * [progress]: iteration 3 / 4
0.521 * * * [progress]: picking best candidate
0.523 * * * * [pick]: Picked  #<alt (λ (v) (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (-.f64 1 (*.f64 v v))))>
0.523 * * * [progress]: localizing error
0.536 * * * [progress]: generating rewritten candidates
0.536 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.560 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 2)
0.567 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 2)
0.573 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.595 * * * [progress]: generating series expansions
0.595 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.596 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in (v) around 0
0.596 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.596 * [taylor]: Taking taylor expansion of 1/4 in v
0.596 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.596 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.596 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.596 * [taylor]: Taking taylor expansion of 1 in v
0.596 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.596 * [taylor]: Taking taylor expansion of 3 in v
0.596 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.596 * [taylor]: Taking taylor expansion of v in v
0.596 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.596 * [taylor]: Taking taylor expansion of 2 in v
0.596 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.596 * [taylor]: Taking taylor expansion of 1/4 in v
0.596 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.596 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.596 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.596 * [taylor]: Taking taylor expansion of 1 in v
0.596 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.596 * [taylor]: Taking taylor expansion of 3 in v
0.597 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.597 * [taylor]: Taking taylor expansion of v in v
0.597 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.597 * [taylor]: Taking taylor expansion of 2 in v
0.599 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.599 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.599 * [taylor]: Taking taylor expansion of 1/4 in v
0.599 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.599 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.599 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.599 * [taylor]: Taking taylor expansion of 1 in v
0.599 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.599 * [taylor]: Taking taylor expansion of 3 in v
0.599 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.599 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.599 * [taylor]: Taking taylor expansion of v in v
0.599 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.599 * [taylor]: Taking taylor expansion of 2 in v
0.599 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.599 * [taylor]: Taking taylor expansion of 1/4 in v
0.599 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.599 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.599 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.599 * [taylor]: Taking taylor expansion of 1 in v
0.599 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.599 * [taylor]: Taking taylor expansion of 3 in v
0.599 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.599 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.599 * [taylor]: Taking taylor expansion of v in v
0.599 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.600 * [taylor]: Taking taylor expansion of 2 in v
0.603 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.603 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.603 * [taylor]: Taking taylor expansion of 1/4 in v
0.603 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.603 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.603 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.603 * [taylor]: Taking taylor expansion of 1 in v
0.603 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.603 * [taylor]: Taking taylor expansion of 3 in v
0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.603 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.603 * [taylor]: Taking taylor expansion of v in v
0.603 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.603 * [taylor]: Taking taylor expansion of 2 in v
0.603 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.603 * [taylor]: Taking taylor expansion of 1/4 in v
0.603 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.603 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.603 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.603 * [taylor]: Taking taylor expansion of 1 in v
0.604 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.604 * [taylor]: Taking taylor expansion of 3 in v
0.604 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.604 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.604 * [taylor]: Taking taylor expansion of v in v
0.604 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.604 * [taylor]: Taking taylor expansion of 2 in v
0.607 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 2)
0.607 * [approximate]: Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
0.607 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.607 * [taylor]: Taking taylor expansion of 3 in v
0.607 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.607 * [taylor]: Taking taylor expansion of v in v
0.607 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.607 * [taylor]: Taking taylor expansion of 3 in v
0.607 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.607 * [taylor]: Taking taylor expansion of v in v
0.608 * [approximate]: Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
0.608 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.608 * [taylor]: Taking taylor expansion of 3 in v
0.608 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.608 * [taylor]: Taking taylor expansion of v in v
0.608 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.608 * [taylor]: Taking taylor expansion of 3 in v
0.608 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.608 * [taylor]: Taking taylor expansion of v in v
0.609 * [approximate]: Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
0.609 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.609 * [taylor]: Taking taylor expansion of 3 in v
0.609 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.609 * [taylor]: Taking taylor expansion of v in v
0.609 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.609 * [taylor]: Taking taylor expansion of 3 in v
0.609 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.609 * [taylor]: Taking taylor expansion of v in v
0.610 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 2)
0.610 * [approximate]: Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
0.610 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.610 * [taylor]: Taking taylor expansion of 3 in v
0.610 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.610 * [taylor]: Taking taylor expansion of v in v
0.610 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.610 * [taylor]: Taking taylor expansion of 3 in v
0.610 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.610 * [taylor]: Taking taylor expansion of v in v
0.611 * [approximate]: Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
0.611 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.611 * [taylor]: Taking taylor expansion of 3 in v
0.611 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.611 * [taylor]: Taking taylor expansion of v in v
0.611 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.611 * [taylor]: Taking taylor expansion of 3 in v
0.611 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.611 * [taylor]: Taking taylor expansion of v in v
0.612 * [approximate]: Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
0.612 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.612 * [taylor]: Taking taylor expansion of 3 in v
0.612 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.612 * [taylor]: Taking taylor expansion of v in v
0.612 * [taylor]: Taking taylor expansion of (/ 3 (pow v 2)) in v
0.612 * [taylor]: Taking taylor expansion of 3 in v
0.612 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.612 * [taylor]: Taking taylor expansion of v in v
0.613 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
0.614 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in (v) around 0
0.614 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.614 * [taylor]: Taking taylor expansion of 1/4 in v
0.614 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.614 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.614 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.614 * [taylor]: Taking taylor expansion of 1 in v
0.614 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.614 * [taylor]: Taking taylor expansion of 3 in v
0.614 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.614 * [taylor]: Taking taylor expansion of v in v
0.614 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.614 * [taylor]: Taking taylor expansion of 2 in v
0.614 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
0.614 * [taylor]: Taking taylor expansion of 1/4 in v
0.614 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
0.614 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
0.614 * [taylor]: Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
0.614 * [taylor]: Taking taylor expansion of 1 in v
0.614 * [taylor]: Taking taylor expansion of (* 3 (pow v 2)) in v
0.614 * [taylor]: Taking taylor expansion of 3 in v
0.614 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.614 * [taylor]: Taking taylor expansion of v in v
0.614 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.614 * [taylor]: Taking taylor expansion of 2 in v
0.616 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.616 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.616 * [taylor]: Taking taylor expansion of 1/4 in v
0.616 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.616 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.616 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.616 * [taylor]: Taking taylor expansion of 1 in v
0.616 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.616 * [taylor]: Taking taylor expansion of 3 in v
0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.616 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.616 * [taylor]: Taking taylor expansion of v in v
0.616 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.616 * [taylor]: Taking taylor expansion of 2 in v
0.617 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.617 * [taylor]: Taking taylor expansion of 1/4 in v
0.617 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.617 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.617 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.617 * [taylor]: Taking taylor expansion of 1 in v
0.617 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.617 * [taylor]: Taking taylor expansion of 3 in v
0.617 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.617 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.617 * [taylor]: Taking taylor expansion of v in v
0.617 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.617 * [taylor]: Taking taylor expansion of 2 in v
0.620 * [approximate]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in (v) around 0
0.620 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.620 * [taylor]: Taking taylor expansion of 1/4 in v
0.620 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.620 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.620 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.620 * [taylor]: Taking taylor expansion of 1 in v
0.620 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.620 * [taylor]: Taking taylor expansion of 3 in v
0.620 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.620 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.620 * [taylor]: Taking taylor expansion of v in v
0.620 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.620 * [taylor]: Taking taylor expansion of 2 in v
0.620 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2))) in v
0.621 * [taylor]: Taking taylor expansion of 1/4 in v
0.621 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) (sqrt 2)) in v
0.621 * [taylor]: Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
0.621 * [taylor]: Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
0.621 * [taylor]: Taking taylor expansion of 1 in v
0.621 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
0.621 * [taylor]: Taking taylor expansion of 3 in v
0.621 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.621 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.621 * [taylor]: Taking taylor expansion of v in v
0.621 * [taylor]: Taking taylor expansion of (sqrt 2) in v
0.621 * [taylor]: Taking taylor expansion of 2 in v
0.624 * * * [progress]: simplifying candidates
0.630 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 1/2 1/2)
  (+.f64 1/2 (/.f64 1 2))
  (+.f64 1/2 (/.f64 1 2))
  (+.f64 1 1)
  (+.f64 (/.f64 1 2) 1/2)
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) 1/2)
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (+.f64 1 1)
  (+.f64 (log.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (log.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (log.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (exp.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))) (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))))
  (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))) (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))) (sqrt.f64 4))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 4))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 4))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 4))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 4) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 4) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 4) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 4) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 4) (sqrt.f64 4))
  (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 1 1)
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 2 1/2)
  (*.f64 2 1)
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) 1)
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (+.f64 (log.f64 3) (+.f64 (log.f64 v) (log.f64 v)))
  (+.f64 (log.f64 3) (log.f64 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (exp.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 v v) v)))
  (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 v v)))
  (*.f64 (cbrt.f64 (*.f64 3 (*.f64 v v))) (cbrt.f64 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (sqrt.f64 3) v)
  (*.f64 (sqrt.f64 3) v)
  (*.f64 3 v)
  (*.f64 (cbrt.f64 3) (*.f64 v v))
  (*.f64 (sqrt.f64 3) (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (+.f64 (log.f64 3) (+.f64 (log.f64 v) (log.f64 v)))
  (+.f64 (log.f64 3) (log.f64 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (exp.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 v v) v)))
  (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 v v)))
  (*.f64 (cbrt.f64 (*.f64 3 (*.f64 v v))) (cbrt.f64 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 (sqrt.f64 3) v)
  (*.f64 (sqrt.f64 3) v)
  (*.f64 3 v)
  (*.f64 (cbrt.f64 3) (*.f64 v v))
  (*.f64 (sqrt.f64 3) (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (+.f64 (-.f64 (log.f64 (sqrt.f64 2)) (log.f64 4)) (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 2) 4)) (log.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (exp.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (*.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 2)) (sqrt.f64 2)) (*.f64 (*.f64 4 4) 4)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (/.f64 (sqrt.f64 2) 4)) (/.f64 (sqrt.f64 2) 4)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))
  (*.f64 4 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))) (*.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 1))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) 1)
  (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (cbrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (cbrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 4)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 1 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 3 (*.f64 v v)) 3))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 (*.f64 3 (*.f64 v v)) (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (-.f64 (*.f64 1/4 (sqrt.f64 2)) (+.f64 (*.f64 9/32 (*.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 3/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2)))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))) (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))))
  (-.f64 (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (*.f64 3 (pow.f64 v 2))
  (-.f64 (*.f64 1/4 (sqrt.f64 2)) (+.f64 (*.f64 9/32 (*.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 3/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2)))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))) (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))))
  (-.f64 (*.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 v 3)))) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) v))) (*.f64 1/4 (*.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
0.680 * * [simplify]: iteration  0 :  4961  enodes  (cost  3087 )
0.681 * * [simplify]: iteration  1 :  4961  enodes  (cost  3087 )
0.692 * [simplify]: Simplified to:
   1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  2
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (exp.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (+.f64 1/8 (*.f64 1/8 (*.f64 (*.f64 v v) -3)))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 2 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))) (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 2 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))
  (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 2 (sqrt.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 2 (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 2 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))))
  (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 2 (sqrt.f64 (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 2 (sqrt.f64 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 2 (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  4
  (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) 4)
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))))
  (/.f64 (sqrt.f64 2) 4)
  (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  1
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  1
  2
  1
  1
  1
  1
  (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) 5)
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) 3)
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) 4)
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) 3)
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))))
  (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (exp.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 27 (pow.f64 v 6))
  (*.f64 27 (pow.f64 v 6))
  (*.f64 (cbrt.f64 (*.f64 3 (*.f64 v v))) (cbrt.f64 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 27 (pow.f64 v 6))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 v (sqrt.f64 3))
  (*.f64 v (sqrt.f64 3))
  (*.f64 3 v)
  (*.f64 (*.f64 v v) (cbrt.f64 3))
  (*.f64 v (*.f64 v (sqrt.f64 3)))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (log.f64 (*.f64 3 (*.f64 v v)))
  (exp.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 27 (pow.f64 v 6))
  (*.f64 27 (pow.f64 v 6))
  (*.f64 (cbrt.f64 (*.f64 3 (*.f64 v v))) (cbrt.f64 (*.f64 3 (*.f64 v v))))
  (cbrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 27 (pow.f64 v 6))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (sqrt.f64 (*.f64 3 (*.f64 v v)))
  (*.f64 v (sqrt.f64 3))
  (*.f64 v (sqrt.f64 3))
  (*.f64 3 v)
  (*.f64 (*.f64 v v) (cbrt.f64 3))
  (*.f64 v (*.f64 v (sqrt.f64 3)))
  (*.f64 3 (*.f64 v v))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (log.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (exp.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 3 (*.f64 v v)) (*.f64 9 (pow.f64 v 4))))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (*.f64 4 (sqrt.f64 (+.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 2) 4)) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (cbrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (fabs.f64 (cbrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (/.f64 (sqrt.f64 2) 4)
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
  (/.f64 (sqrt.f64 2) 4)
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (cbrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (sqrt.f64 (/.f64 (sqrt.f64 2) 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (cbrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (cbrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 2))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 (sqrt.f64 2)) 4))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) (cbrt.f64 4)))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) 1/4)
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 6) -27))))
  (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 9 (pow.f64 v 4)))))
  (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
  (*.f64 (sqrt.f64 2) (-.f64 1/4 (+.f64 (*.f64 (pow.f64 v 4) 9/32) (*.f64 (*.f64 v v) 3/8))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))) (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96))
  (-.f64 (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 3 (*.f64 v v))
  (*.f64 (sqrt.f64 2) (-.f64 1/4 (+.f64 (*.f64 (pow.f64 v 4) 9/32) (*.f64 (*.f64 v v) 3/8))))
  (-.f64 (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))) (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96))
  (-.f64 (*.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))) -1/96) (+.f64 (*.f64 1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))) (*.f64 1/4 (*.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))))
0.693 * * * [progress]: adding candidates to table
0.866 * [progress]: [Phase 3 of 3] Extracting.
0.866 * * [regime]: Finding splitpoints for: (#<alt (λ (v) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (-.f64 1 (*.f64 v v))))> #<alt (λ (v) (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (-.f64 1 (*.f64 v v))))> #<alt (λ (v) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))))>)
0.867 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 v v) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))) v)
0.867 * * * * [regimes]: Trying to branch on (*.f64 v v) from (#<alt (λ (v) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (-.f64 1 (*.f64 v v))))> #<alt (λ (v) (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (-.f64 1 (*.f64 v v))))> #<alt (λ (v) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))))>)
0.882 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))) from (#<alt (λ (v) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (-.f64 1 (*.f64 v v))))> #<alt (λ (v) (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (-.f64 1 (*.f64 v v))))> #<alt (λ (v) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))))>)
0.899 * * * * [regimes]: Trying to branch on v from (#<alt (λ (v) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) 3)) (-.f64 1 (*.f64 v v))))> #<alt (λ (v) (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (-.f64 1 (*.f64 v v))))> #<alt (λ (v) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))))>)
0.915 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
0.915 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
0.917 * * [simplify]: iteration  0 :  53  enodes  (cost  19 )
0.917 * * [simplify]: iteration  1 :  53  enodes  (cost  19 )
0.917 * [simplify]: Simplified to:
   (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
1.595 * [regime-testing]: End program error score: 0.012169002375657535