0.650 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.152 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
0.227 * * [simplify]: iteration  0 :  5204  enodes  (cost  13 )
0.228 * [simplify]: Simplified to:
   (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
0.235 * * [progress]: iteration 1 / 4
0.235 * * * [progress]: picking best candidate
0.244 * * * * [pick]: Picked  #<alt (λ (i) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))>
0.244 * * * [progress]: localizing error
0.257 * * * [progress]: generating rewritten candidates
0.257 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.264 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.270 * * * [progress]: generating series expansions
0.270 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.271 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (/ 1 (pow i 2)))) in (i) around 0
0.271 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (/ 1 (pow i 2)))) in i
0.271 * [taylor]: Taking taylor expansion of 1/4 in i
0.271 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.271 * [taylor]: Taking taylor expansion of 4 in i
0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.271 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.271 * [taylor]: Taking taylor expansion of i in i
0.271 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (/ 1 (pow i 2)))) in i
0.271 * [taylor]: Taking taylor expansion of 1/4 in i
0.271 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.271 * [taylor]: Taking taylor expansion of 4 in i
0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.271 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.271 * [taylor]: Taking taylor expansion of i in i
0.279 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in (i) around 0
0.279 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.279 * [taylor]: Taking taylor expansion of 1/4 in i
0.279 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.279 * [taylor]: Taking taylor expansion of 4 in i
0.279 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.279 * [taylor]: Taking taylor expansion of i in i
0.279 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.279 * [taylor]: Taking taylor expansion of 1/4 in i
0.279 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.279 * [taylor]: Taking taylor expansion of 4 in i
0.279 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.279 * [taylor]: Taking taylor expansion of i in i
0.283 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in (i) around 0
0.284 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.284 * [taylor]: Taking taylor expansion of 1/4 in i
0.284 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.284 * [taylor]: Taking taylor expansion of 4 in i
0.284 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.284 * [taylor]: Taking taylor expansion of i in i
0.284 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.284 * [taylor]: Taking taylor expansion of 1/4 in i
0.284 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.284 * [taylor]: Taking taylor expansion of 4 in i
0.284 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.284 * [taylor]: Taking taylor expansion of i in i
0.288 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.288 * [approximate]: Taking taylor expansion of (/ -1 (pow i 2)) in (i) around 0
0.288 * [taylor]: Taking taylor expansion of (/ -1 (pow i 2)) in i
0.288 * [taylor]: Taking taylor expansion of -1 in i
0.288 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.288 * [taylor]: Taking taylor expansion of i in i
0.288 * [taylor]: Taking taylor expansion of (/ -1 (pow i 2)) in i
0.288 * [taylor]: Taking taylor expansion of -1 in i
0.288 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.288 * [taylor]: Taking taylor expansion of i in i
0.295 * [approximate]: Taking taylor expansion of (* -1 (pow i 2)) in (i) around 0
0.295 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.295 * [taylor]: Taking taylor expansion of -1 in i
0.295 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.295 * [taylor]: Taking taylor expansion of i in i
0.295 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.295 * [taylor]: Taking taylor expansion of -1 in i
0.295 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.295 * [taylor]: Taking taylor expansion of i in i
0.301 * [approximate]: Taking taylor expansion of (* -1 (pow i 2)) in (i) around 0
0.301 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.301 * [taylor]: Taking taylor expansion of -1 in i
0.301 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.301 * [taylor]: Taking taylor expansion of i in i
0.301 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.301 * [taylor]: Taking taylor expansion of -1 in i
0.301 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.301 * [taylor]: Taking taylor expansion of i in i
0.307 * * * [progress]: simplifying candidates
0.308 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 1/4 (-.f64 (*.f64 4 4) (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (+.f64 (pow.f64 4 3) (pow.f64 (/.f64 -1 (*.f64 i i)) 3)))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/4)
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (sqrt.f64 1/4))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (cbrt.f64 1/4))
  (/.f64 1/4 1)
  (/.f64 1/4 1)
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/4)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1/4) 1)
  (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (sqrt.f64 1/4) 1)
  (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1/4) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (sqrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (cbrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (neg.f64 1/4)
  (neg.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (*.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (*.f64 1/4 1/4) 1/4) (*.f64 (*.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (+.f64 4 (/.f64 -1 (*.f64 i i)))) (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (exp.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (-.f64 (log.f64 1/4) (log.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 i i) -1)
  (/.f64 (*.f64 i i) (sqrt.f64 -1))
  (/.f64 (*.f64 i i) (cbrt.f64 -1))
  (/.f64 -1 i)
  (/.f64 (*.f64 i i) -1)
  (/.f64 1 (*.f64 i i))
  (/.f64 1 i)
  (/.f64 -1 i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) i)
  (/.f64 (cbrt.f64 -1) i)
  (neg.f64 -1)
  (neg.f64 (*.f64 i i))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (*.f64 (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))) (/.f64 -1 (*.f64 i i)))
  (*.f64 (cbrt.f64 (/.f64 -1 (*.f64 i i))) (cbrt.f64 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 (*.f64 (*.f64 -1 -1) -1) (*.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 i i)))
  (/.f64 (*.f64 (*.f64 -1 -1) -1) (*.f64 (*.f64 (*.f64 i i) i) (*.f64 (*.f64 i i) i)))
  (exp.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (-.f64 (log.f64 -1) (log.f64 (*.f64 i i)))
  (-.f64 (log.f64 -1) (+.f64 (log.f64 i) (log.f64 i)))
  (neg.f64 (+.f64 (*.f64 1/4 (pow.f64 i 2)) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))))
  (+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))) 1/16))
  (+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))) 1/16))
  (/.f64 -1 (pow.f64 i 2))
  (/.f64 -1 (pow.f64 i 2))
  (/.f64 -1 (pow.f64 i 2))
0.392 * * [simplify]: iteration  0 :  5191  enodes  (cost  918 )
0.397 * [simplify]: Simplified to:
   (/.f64 1/4 (+.f64 16 (/.f64 -1 (pow.f64 i 4))))
  (/.f64 1/4 (+.f64 64 (/.f64 -1 (pow.f64 i 6))))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/4)
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/2)
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (cbrt.f64 1/4))
  1/4
  1/4
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/4)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  1/2
  (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1/2
  (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/2 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 1/2 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4))
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4))
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (cbrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  -1/4
  (+.f64 (/.f64 1 (*.f64 i i)) -4)
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (exp.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 i i) -1)
  (/.f64 (*.f64 i i) (sqrt.f64 -1))
  (/.f64 (*.f64 i i) (cbrt.f64 -1))
  (/.f64 -1 i)
  (/.f64 (*.f64 i i) -1)
  (/.f64 1 (*.f64 i i))
  (/.f64 1 i)
  (/.f64 -1 i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) i)
  (/.f64 (cbrt.f64 -1) i)
  1
  (neg.f64 (*.f64 i i))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 -1 (pow.f64 i 6))
  (*.f64 (cbrt.f64 (/.f64 -1 (*.f64 i i))) (cbrt.f64 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 -1 (pow.f64 i 6))
  (/.f64 -1 (pow.f64 i 6))
  (exp.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (-.f64 (*.f64 (*.f64 i i) -1/4) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 1/16 (/.f64 1/64 (*.f64 i i))))
  (+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 1/16 (/.f64 1/64 (*.f64 i i))))
  (/.f64 -1 (*.f64 i i))
  (/.f64 -1 (*.f64 i i))
  (/.f64 -1 (*.f64 i i))
0.398 * * * [progress]: adding candidates to table
0.572 * * [progress]: iteration 2 / 4
0.572 * * * [progress]: picking best candidate
0.594 * * * * [pick]: Picked  #<alt (λ (i) (*.f64 1/4 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))))>
0.595 * * * [progress]: localizing error
0.605 * * * [progress]: generating rewritten candidates
0.605 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.612 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2 2)
0.618 * * * [progress]: generating series expansions
0.619 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.619 * [approximate]: Taking taylor expansion of (/ 1 (- 4 (/ 1 (pow i 2)))) in (i) around 0
0.619 * [taylor]: Taking taylor expansion of (/ 1 (- 4 (/ 1 (pow i 2)))) in i
0.619 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.619 * [taylor]: Taking taylor expansion of 4 in i
0.619 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.619 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.619 * [taylor]: Taking taylor expansion of i in i
0.620 * [taylor]: Taking taylor expansion of (/ 1 (- 4 (/ 1 (pow i 2)))) in i
0.620 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.620 * [taylor]: Taking taylor expansion of 4 in i
0.620 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.620 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.620 * [taylor]: Taking taylor expansion of i in i
0.626 * [approximate]: Taking taylor expansion of (/ 1 (- 4 (pow i 2))) in (i) around 0
0.626 * [taylor]: Taking taylor expansion of (/ 1 (- 4 (pow i 2))) in i
0.626 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.626 * [taylor]: Taking taylor expansion of 4 in i
0.627 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.627 * [taylor]: Taking taylor expansion of i in i
0.627 * [taylor]: Taking taylor expansion of (/ 1 (- 4 (pow i 2))) in i
0.627 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.627 * [taylor]: Taking taylor expansion of 4 in i
0.627 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.627 * [taylor]: Taking taylor expansion of i in i
0.631 * [approximate]: Taking taylor expansion of (/ 1 (- 4 (pow i 2))) in (i) around 0
0.631 * [taylor]: Taking taylor expansion of (/ 1 (- 4 (pow i 2))) in i
0.631 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.631 * [taylor]: Taking taylor expansion of 4 in i
0.631 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.631 * [taylor]: Taking taylor expansion of i in i
0.631 * [taylor]: Taking taylor expansion of (/ 1 (- 4 (pow i 2))) in i
0.631 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.631 * [taylor]: Taking taylor expansion of 4 in i
0.631 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.631 * [taylor]: Taking taylor expansion of i in i
0.635 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2 2)
0.635 * [approximate]: Taking taylor expansion of (/ -1 (pow i 2)) in (i) around 0
0.635 * [taylor]: Taking taylor expansion of (/ -1 (pow i 2)) in i
0.635 * [taylor]: Taking taylor expansion of -1 in i
0.635 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.635 * [taylor]: Taking taylor expansion of i in i
0.635 * [taylor]: Taking taylor expansion of (/ -1 (pow i 2)) in i
0.635 * [taylor]: Taking taylor expansion of -1 in i
0.635 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.635 * [taylor]: Taking taylor expansion of i in i
0.642 * [approximate]: Taking taylor expansion of (* -1 (pow i 2)) in (i) around 0
0.642 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.642 * [taylor]: Taking taylor expansion of -1 in i
0.642 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.642 * [taylor]: Taking taylor expansion of i in i
0.642 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.642 * [taylor]: Taking taylor expansion of -1 in i
0.642 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.642 * [taylor]: Taking taylor expansion of i in i
0.648 * [approximate]: Taking taylor expansion of (* -1 (pow i 2)) in (i) around 0
0.648 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.648 * [taylor]: Taking taylor expansion of -1 in i
0.648 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.648 * [taylor]: Taking taylor expansion of i in i
0.648 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.648 * [taylor]: Taking taylor expansion of -1 in i
0.648 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.648 * [taylor]: Taking taylor expansion of i in i
0.654 * * * [progress]: simplifying candidates
0.655 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 1 (-.f64 (*.f64 4 4) (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (+.f64 (pow.f64 4 3) (pow.f64 (/.f64 -1 (*.f64 i i)) 3)))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1)
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (sqrt.f64 1))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (cbrt.f64 1))
  (/.f64 1 1)
  (/.f64 1 1)
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 1)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 1)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 1 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1) 1)
  (/.f64 (sqrt.f64 1) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (sqrt.f64 1) 1)
  (/.f64 (sqrt.f64 1) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (sqrt.f64 1) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)
  (/.f64 (cbrt.f64 1) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)
  (/.f64 (cbrt.f64 1) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (neg.f64 1)
  (neg.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (sqrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (*.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (cbrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (cbrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (+.f64 4 (/.f64 -1 (*.f64 i i)))) (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (exp.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (log.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (-.f64 (log.f64 1) (log.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (neg.f64 (log.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (neg.f64 1)
  (/.f64 (*.f64 i i) -1)
  (/.f64 (*.f64 i i) (sqrt.f64 -1))
  (/.f64 (*.f64 i i) (cbrt.f64 -1))
  (/.f64 -1 i)
  (/.f64 (*.f64 i i) -1)
  (/.f64 1 (*.f64 i i))
  (/.f64 1 i)
  (/.f64 -1 i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) i)
  (/.f64 (cbrt.f64 -1) i)
  (neg.f64 -1)
  (neg.f64 (*.f64 i i))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (*.f64 (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))) (/.f64 -1 (*.f64 i i)))
  (*.f64 (cbrt.f64 (/.f64 -1 (*.f64 i i))) (cbrt.f64 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 (*.f64 (*.f64 -1 -1) -1) (*.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 i i)))
  (/.f64 (*.f64 (*.f64 -1 -1) -1) (*.f64 (*.f64 (*.f64 i i) i) (*.f64 (*.f64 i i) i)))
  (exp.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (-.f64 (log.f64 -1) (log.f64 (*.f64 i i)))
  (-.f64 (log.f64 -1) (+.f64 (log.f64 i) (log.f64 i)))
  (neg.f64 (+.f64 (pow.f64 i 2) (+.f64 (*.f64 4 (pow.f64 i 4)) (*.f64 16 (pow.f64 i 6)))))
  (+.f64 (*.f64 1/64 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 1/16 (/.f64 1 (pow.f64 i 2))) 1/4))
  (+.f64 (*.f64 1/64 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 1/16 (/.f64 1 (pow.f64 i 2))) 1/4))
  (/.f64 -1 (pow.f64 i 2))
  (/.f64 -1 (pow.f64 i 2))
  (/.f64 -1 (pow.f64 i 2))
0.716 * * [simplify]: iteration  0 :  5223  enodes  (cost  922 )
0.722 * [simplify]: Simplified to:
   (/.f64 1 (+.f64 16 (/.f64 -1 (pow.f64 i 4))))
  (/.f64 1 (+.f64 64 (/.f64 -1 (pow.f64 i 6))))
  (+.f64 4 (/.f64 -1 (*.f64 i i)))
  (+.f64 4 (/.f64 -1 (*.f64 i i)))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (cbrt.f64 1))
  1
  1
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (+.f64 4 (/.f64 -1 (*.f64 i i)))
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 1 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  1
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 1 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (/.f64 (cbrt.f64 1) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (/.f64 (cbrt.f64 1) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  -1
  (+.f64 (/.f64 1 (*.f64 i i)) -4)
  (sqrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (*.f64 (cbrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (cbrt.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (exp.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (neg.f64 (log.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (neg.f64 (log.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (neg.f64 (log.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  -1
  (/.f64 (*.f64 i i) -1)
  (/.f64 (*.f64 i i) (sqrt.f64 -1))
  (/.f64 (*.f64 i i) (cbrt.f64 -1))
  (/.f64 -1 i)
  (/.f64 (*.f64 i i) -1)
  (/.f64 1 (*.f64 i i))
  (/.f64 1 i)
  (/.f64 -1 i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) i)
  (/.f64 (cbrt.f64 -1) i)
  1
  (neg.f64 (*.f64 i i))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 -1 (pow.f64 i 6))
  (*.f64 (cbrt.f64 (/.f64 -1 (*.f64 i i))) (cbrt.f64 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 -1 (pow.f64 i 6))
  (/.f64 -1 (pow.f64 i 6))
  (exp.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (+.f64 (-.f64 (*.f64 (pow.f64 i 4) -4) (*.f64 i i)) (*.f64 (pow.f64 i 6) -16))
  (+.f64 (/.f64 1/64 (pow.f64 i 4)) (+.f64 (/.f64 1/16 (*.f64 i i)) 1/4))
  (+.f64 (/.f64 1/64 (pow.f64 i 4)) (+.f64 (/.f64 1/16 (*.f64 i i)) 1/4))
  (/.f64 -1 (*.f64 i i))
  (/.f64 -1 (*.f64 i i))
  (/.f64 -1 (*.f64 i i))
0.722 * * * [progress]: adding candidates to table
0.875 * * [progress]: iteration 3 / 4
0.875 * * * [progress]: picking best candidate
0.891 * * * * [pick]: Picked  #<alt (λ (i) (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))>
0.892 * * * [progress]: localizing error
0.906 * * * [progress]: generating rewritten candidates
0.906 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.916 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.923 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
0.927 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.942 * * * [progress]: generating series expansions
0.942 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.943 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4 (/ 1 (pow i 2)))) in (i) around 0
0.943 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4 (/ 1 (pow i 2)))) in i
0.943 * [taylor]: Taking taylor expansion of 0.25 in i
0.943 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.944 * [taylor]: Taking taylor expansion of 4 in i
0.944 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.944 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.944 * [taylor]: Taking taylor expansion of i in i
0.944 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4 (/ 1 (pow i 2)))) in i
0.944 * [taylor]: Taking taylor expansion of 0.25 in i
0.944 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.944 * [taylor]: Taking taylor expansion of 4 in i
0.944 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.944 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.944 * [taylor]: Taking taylor expansion of i in i
0.951 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4 (pow i 2))) in (i) around 0
0.951 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4 (pow i 2))) in i
0.951 * [taylor]: Taking taylor expansion of 0.25 in i
0.951 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.951 * [taylor]: Taking taylor expansion of 4 in i
0.951 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.951 * [taylor]: Taking taylor expansion of i in i
0.952 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4 (pow i 2))) in i
0.952 * [taylor]: Taking taylor expansion of 0.25 in i
0.952 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.952 * [taylor]: Taking taylor expansion of 4 in i
0.952 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.952 * [taylor]: Taking taylor expansion of i in i
0.955 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4 (pow i 2))) in (i) around 0
0.956 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4 (pow i 2))) in i
0.956 * [taylor]: Taking taylor expansion of 0.25 in i
0.956 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.956 * [taylor]: Taking taylor expansion of 4 in i
0.956 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.956 * [taylor]: Taking taylor expansion of i in i
0.956 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4 (pow i 2))) in i
0.956 * [taylor]: Taking taylor expansion of 0.25 in i
0.956 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.956 * [taylor]: Taking taylor expansion of 4 in i
0.956 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.956 * [taylor]: Taking taylor expansion of i in i
0.959 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.959 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (/ 1 (pow i 2)))) in (i) around 0
0.959 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (/ 1 (pow i 2)))) in i
0.959 * [taylor]: Taking taylor expansion of 1/4 in i
0.960 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.960 * [taylor]: Taking taylor expansion of 4 in i
0.960 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.960 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.960 * [taylor]: Taking taylor expansion of i in i
0.960 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (/ 1 (pow i 2)))) in i
0.960 * [taylor]: Taking taylor expansion of 1/4 in i
0.960 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.960 * [taylor]: Taking taylor expansion of 4 in i
0.960 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.960 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.960 * [taylor]: Taking taylor expansion of i in i
0.966 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in (i) around 0
0.966 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.966 * [taylor]: Taking taylor expansion of 1/4 in i
0.966 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.966 * [taylor]: Taking taylor expansion of 4 in i
0.966 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.966 * [taylor]: Taking taylor expansion of i in i
0.966 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.966 * [taylor]: Taking taylor expansion of 1/4 in i
0.966 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.966 * [taylor]: Taking taylor expansion of 4 in i
0.966 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.966 * [taylor]: Taking taylor expansion of i in i
0.970 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in (i) around 0
0.970 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.970 * [taylor]: Taking taylor expansion of 1/4 in i
0.970 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.970 * [taylor]: Taking taylor expansion of 4 in i
0.970 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.970 * [taylor]: Taking taylor expansion of i in i
0.970 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.970 * [taylor]: Taking taylor expansion of 1/4 in i
0.970 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.970 * [taylor]: Taking taylor expansion of 4 in i
0.970 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.970 * [taylor]: Taking taylor expansion of i in i
0.973 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2)
0.974 * [approximate]: Taking taylor expansion of (/ -1 (pow i 2)) in (i) around 0
0.974 * [taylor]: Taking taylor expansion of (/ -1 (pow i 2)) in i
0.974 * [taylor]: Taking taylor expansion of -1 in i
0.974 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.974 * [taylor]: Taking taylor expansion of i in i
0.974 * [taylor]: Taking taylor expansion of (/ -1 (pow i 2)) in i
0.974 * [taylor]: Taking taylor expansion of -1 in i
0.974 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.974 * [taylor]: Taking taylor expansion of i in i
0.979 * [approximate]: Taking taylor expansion of (* -1 (pow i 2)) in (i) around 0
0.979 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.979 * [taylor]: Taking taylor expansion of -1 in i
0.979 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.979 * [taylor]: Taking taylor expansion of i in i
0.979 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.979 * [taylor]: Taking taylor expansion of -1 in i
0.980 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.980 * [taylor]: Taking taylor expansion of i in i
0.984 * [approximate]: Taking taylor expansion of (* -1 (pow i 2)) in (i) around 0
0.984 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.984 * [taylor]: Taking taylor expansion of -1 in i
0.984 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.984 * [taylor]: Taking taylor expansion of i in i
0.985 * [taylor]: Taking taylor expansion of (* -1 (pow i 2)) in i
0.985 * [taylor]: Taking taylor expansion of -1 in i
0.985 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.985 * [taylor]: Taking taylor expansion of i in i
0.989 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.990 * [approximate]: Taking taylor expansion of (pow (/ 1/4 (- 4 (/ 1 (pow i 2)))) 3) in (i) around 0
0.990 * [taylor]: Taking taylor expansion of (pow (/ 1/4 (- 4 (/ 1 (pow i 2)))) 3) in i
0.990 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (/ 1 (pow i 2)))) in i
0.990 * [taylor]: Taking taylor expansion of 1/4 in i
0.990 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.990 * [taylor]: Taking taylor expansion of 4 in i
0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.990 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.990 * [taylor]: Taking taylor expansion of i in i
0.990 * [taylor]: Taking taylor expansion of (pow (/ 1/4 (- 4 (/ 1 (pow i 2)))) 3) in i
0.990 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (/ 1 (pow i 2)))) in i
0.990 * [taylor]: Taking taylor expansion of 1/4 in i
0.990 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow i 2))) in i
0.990 * [taylor]: Taking taylor expansion of 4 in i
0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.990 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.990 * [taylor]: Taking taylor expansion of i in i
0.999 * [approximate]: Taking taylor expansion of (pow (/ 1/4 (- 4 (pow i 2))) 3) in (i) around 0
0.999 * [taylor]: Taking taylor expansion of (pow (/ 1/4 (- 4 (pow i 2))) 3) in i
0.999 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.999 * [taylor]: Taking taylor expansion of 1/4 in i
0.999 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.999 * [taylor]: Taking taylor expansion of 4 in i
0.999 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.999 * [taylor]: Taking taylor expansion of i in i
0.999 * [taylor]: Taking taylor expansion of (pow (/ 1/4 (- 4 (pow i 2))) 3) in i
0.999 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
0.999 * [taylor]: Taking taylor expansion of 1/4 in i
0.999 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
0.999 * [taylor]: Taking taylor expansion of 4 in i
0.999 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.999 * [taylor]: Taking taylor expansion of i in i
1.006 * [approximate]: Taking taylor expansion of (pow (/ 1/4 (- 4 (pow i 2))) 3) in (i) around 0
1.006 * [taylor]: Taking taylor expansion of (pow (/ 1/4 (- 4 (pow i 2))) 3) in i
1.006 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
1.006 * [taylor]: Taking taylor expansion of 1/4 in i
1.006 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
1.006 * [taylor]: Taking taylor expansion of 4 in i
1.006 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.006 * [taylor]: Taking taylor expansion of i in i
1.006 * [taylor]: Taking taylor expansion of (pow (/ 1/4 (- 4 (pow i 2))) 3) in i
1.006 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (pow i 2))) in i
1.006 * [taylor]: Taking taylor expansion of 1/4 in i
1.007 * [taylor]: Taking taylor expansion of (- 4 (pow i 2)) in i
1.007 * [taylor]: Taking taylor expansion of 4 in i
1.007 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.007 * [taylor]: Taking taylor expansion of i in i
1.016 * * * [progress]: simplifying candidates
1.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (*.f64 (*.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)) (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))) (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (cbrt.f64 (pow.f64 1/4 3))
  (cbrt.f64 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 3 2)))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 3 2)))
  (cbrt.f64 1)
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (*.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 (*.f64 4 4) (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 (pow.f64 4 3) (pow.f64 (/.f64 -1 (*.f64 i i)) 3))) 3))
  (cbrt.f64 (pow.f64 (+.f64 (*.f64 4 4) (-.f64 (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))) (*.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 1/4 3))
  (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)) (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (cbrt.f64 (*.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 (*.f64 4 4) (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 (pow.f64 4 3) (pow.f64 (/.f64 -1 (*.f64 i i)) 3))) 3))
  (cbrt.f64 (pow.f64 (+.f64 (*.f64 4 4) (-.f64 (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))) (*.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 1/4 3))
  (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1) 3))
  (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3))
  (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3))
  (exp.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (log.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (/.f64 1/4 (-.f64 (*.f64 4 4) (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (+.f64 (pow.f64 4 3) (pow.f64 (/.f64 -1 (*.f64 i i)) 3)))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/4)
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (sqrt.f64 1/4))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (cbrt.f64 1/4))
  (/.f64 1/4 1)
  (/.f64 1/4 1)
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/4)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1/4) 1)
  (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (sqrt.f64 1/4) 1)
  (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (sqrt.f64 1/4) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (sqrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (/.f64 (cbrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (neg.f64 1/4)
  (neg.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (*.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 (*.f64 1/4 1/4) 1/4) (*.f64 (*.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (+.f64 4 (/.f64 -1 (*.f64 i i)))) (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (exp.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (-.f64 (log.f64 1/4) (log.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 i i) -1)
  (/.f64 (*.f64 i i) (sqrt.f64 -1))
  (/.f64 (*.f64 i i) (cbrt.f64 -1))
  (/.f64 -1 i)
  (/.f64 (*.f64 i i) -1)
  (/.f64 1 (*.f64 i i))
  (/.f64 1 i)
  (/.f64 -1 i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) i)
  (/.f64 (cbrt.f64 -1) i)
  (neg.f64 -1)
  (neg.f64 (*.f64 i i))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (*.f64 (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))) (/.f64 -1 (*.f64 i i)))
  (*.f64 (cbrt.f64 (/.f64 -1 (*.f64 i i))) (cbrt.f64 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 (*.f64 (*.f64 -1 -1) -1) (*.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 i i)))
  (/.f64 (*.f64 (*.f64 -1 -1) -1) (*.f64 (*.f64 (*.f64 i i) i) (*.f64 (*.f64 i i) i)))
  (exp.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (-.f64 (log.f64 -1) (log.f64 (*.f64 i i)))
  (-.f64 (log.f64 -1) (+.f64 (log.f64 i) (log.f64 i)))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 3 2))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 3 2))
  (sqrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (sqrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (*.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 1/4 3)
  (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3)
  (pow.f64 (/.f64 1/4 (-.f64 (*.f64 4 4) (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) 3)
  (pow.f64 (/.f64 1/4 (+.f64 (pow.f64 4 3) (pow.f64 (/.f64 -1 (*.f64 i i)) 3))) 3)
  (pow.f64 (+.f64 (*.f64 4 4) (-.f64 (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))) (*.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 1/4 3)
  (pow.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 1 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 1 1) 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 1 1) 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3)
  (pow.f64 (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) 1) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) 1) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1) 3)
  (pow.f64 (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1) 3)
  (pow.f64 (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3)
  (pow.f64 (/.f64 (cbrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3)
  (pow.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (*.f64 (*.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3) (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)) (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (*.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)) (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (exp.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (log.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (*.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 (/.f64 1/4 (-.f64 (*.f64 4 4) (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) 3)
  (pow.f64 (/.f64 1/4 (+.f64 (pow.f64 4 3) (pow.f64 (/.f64 -1 (*.f64 i i)) 3))) 3)
  (pow.f64 (+.f64 (*.f64 4 4) (-.f64 (*.f64 (/.f64 -1 (*.f64 i i)) (/.f64 -1 (*.f64 i i))) (*.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 1/4 3)
  (pow.f64 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 1 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 1 1) 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 1 1) 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3)
  (pow.f64 (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) 1) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) 1) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3)
  (pow.f64 (/.f64 (sqrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1) 3)
  (pow.f64 (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) 1) 3)
  (pow.f64 (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3)
  (pow.f64 (/.f64 (cbrt.f64 1/4) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))) 3)
  (pow.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 1)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (sqrt.f64 3))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (*.f64 1 3)
  (*.f64 (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (*.f64 (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (*.f64 (-.f64 (log.f64 1/4) (log.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (neg.f64 (+.f64 (*.f64 1/4 (pow.f64 i 2)) (+.f64 (*.f64 1 (pow.f64 i 4)) (*.f64 4 (pow.f64 i 6)))))
  (+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))) 1/16))
  (+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))) 1/16))
  (neg.f64 (+.f64 (*.f64 1/4 (pow.f64 i 2)) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))))
  (+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))) 1/16))
  (+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))) 1/16))
  (/.f64 -1 (pow.f64 i 2))
  (/.f64 -1 (pow.f64 i 2))
  (/.f64 -1 (pow.f64 i 2))
  (neg.f64 (+.f64 (*.f64 3/2 (pow.f64 i 10)) (+.f64 (*.f64 1/64 (pow.f64 i 6)) (*.f64 3/16 (pow.f64 i 8)))))
  (+.f64 (*.f64 3/32768 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 3/16384 (/.f64 1 (pow.f64 i 2))) 1/4096))
  (+.f64 (*.f64 3/32768 (/.f64 1 (pow.f64 i 4))) (+.f64 (*.f64 3/16384 (/.f64 1 (pow.f64 i 2))) 1/4096))
1.089 * * [simplify]: iteration  0 :  4906  enodes  (cost  3416 )
1.090 * * [simplify]: iteration  1 :  4906  enodes  (cost  3416 )
1.106 * [simplify]: Simplified to:
   (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 1/64)
  (+.f64 4 (/.f64 -1 (*.f64 i i)))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3/2))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3/2))
  (cbrt.f64 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (/.f64 1/4 (+.f64 16 (/.f64 -1 (pow.f64 i 4))))
  (-.f64 4 (/.f64 -1 (*.f64 i i)))
  (/.f64 1/4 (+.f64 64 (/.f64 -1 (pow.f64 i 6))))
  (+.f64 16 (/.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) (*.f64 i i)))
  (cbrt.f64 1/64)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6)))
  (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 1/8)
  (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1/8)
  (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (/.f64 1/8 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6)))
  (/.f64 1/2 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 1/16)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1/16)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (cbrt.f64 1/16) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (+.f64 16 (/.f64 -1 (pow.f64 i 4))))
  (-.f64 4 (/.f64 -1 (*.f64 i i)))
  (/.f64 1/4 (+.f64 64 (/.f64 -1 (pow.f64 i 6))))
  (+.f64 16 (/.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) (*.f64 i i)))
  (cbrt.f64 1/64)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6)))
  (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 1/8)
  (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1/8)
  (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (/.f64 1/8 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6)))
  (/.f64 1/2 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 1/16)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1/16)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (cbrt.f64 1/16) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (exp.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (+.f64 16 (/.f64 -1 (pow.f64 i 4))))
  (/.f64 1/4 (+.f64 64 (/.f64 -1 (pow.f64 i 6))))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/4)
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/2)
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) (cbrt.f64 1/4))
  1/4
  1/4
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (*.f64 (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2)) (cbrt.f64 1/4))
  (/.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 1/4)
  (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6)))
  (/.f64 1/4 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  1/2
  (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1/2
  (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (/.f64 1/8 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6)))
  (/.f64 1/2 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 1/16)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 1/16)
  (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 (cbrt.f64 1/16) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  -1/4
  (+.f64 (/.f64 1 (*.f64 i i)) -4)
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2))
  (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (exp.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
  (/.f64 (*.f64 i i) -1)
  (/.f64 (*.f64 i i) (sqrt.f64 -1))
  (/.f64 (*.f64 i i) (cbrt.f64 -1))
  (/.f64 -1 i)
  (/.f64 (*.f64 i i) -1)
  (/.f64 1 (*.f64 i i))
  (/.f64 1 i)
  (/.f64 -1 i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (sqrt.f64 -1) i)
  (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) i)
  (/.f64 (cbrt.f64 -1) i)
  1
  (neg.f64 (*.f64 i i))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (sqrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 -1 (pow.f64 i 6))
  (*.f64 (cbrt.f64 (/.f64 -1 (*.f64 i i))) (cbrt.f64 (/.f64 -1 (*.f64 i i))))
  (cbrt.f64 (/.f64 -1 (*.f64 i i)))
  (/.f64 -1 (pow.f64 i 6))
  (/.f64 -1 (pow.f64 i 6))
  (exp.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (log.f64 (/.f64 -1 (*.f64 i i)))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3/2)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3/2)
  (sqrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (sqrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2)
  1/64
  (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3)
  (pow.f64 (/.f64 1/4 (+.f64 16 (/.f64 -1 (pow.f64 i 4)))) 3)
  (pow.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) 3)
  (pow.f64 (/.f64 1/4 (+.f64 64 (/.f64 -1 (pow.f64 i 6)))) 3)
  (pow.f64 (+.f64 16 (/.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) (*.f64 i i))) 3)
  1/64
  (/.f64 1 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  1
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  1
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  1
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6))
  (/.f64 1/64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1/8
  (/.f64 1/8 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  1/8
  (/.f64 1/8 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  (pow.f64 (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (/.f64 1/8 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6))
  (/.f64 1/8 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1/16
  (/.f64 1/4 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  1/16
  (/.f64 1/4 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  (/.f64 1/16 (pow.f64 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (/.f64 1/4 (pow.f64 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (pow.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3) 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (exp.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (*.f64 3 (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2)
  (pow.f64 (/.f64 1/4 (+.f64 16 (/.f64 -1 (pow.f64 i 4)))) 3)
  (pow.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) 3)
  (pow.f64 (/.f64 1/4 (+.f64 64 (/.f64 -1 (pow.f64 i 6)))) 3)
  (pow.f64 (+.f64 16 (/.f64 (-.f64 4 (/.f64 -1 (*.f64 i i))) (*.f64 i i))) 3)
  1/64
  (/.f64 1 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  1
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  1
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  1
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)
  (pow.f64 (/.f64 1 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/4 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6))
  (/.f64 1/64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1/8
  (/.f64 1/8 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  1/8
  (/.f64 1/8 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  (pow.f64 (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/2 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (/.f64 1/8 (pow.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 6))
  (/.f64 1/8 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  1/16
  (/.f64 1/4 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  1/16
  (/.f64 1/4 (pow.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))) 3))
  (/.f64 1/16 (pow.f64 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (/.f64 1/4 (pow.f64 (sqrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (sqrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) 3)
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 2)
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (sqrt.f64 3))
  (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  3
  (*.f64 3 (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (*.f64 3 (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (*.f64 3 (log.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
  (-.f64 (*.f64 (*.f64 i i) -1/4) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 1/16 (/.f64 1/64 (*.f64 i i))))
  (+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 1/16 (/.f64 1/64 (*.f64 i i))))
  (-.f64 (*.f64 (*.f64 i i) -1/4) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 1/16 (/.f64 1/64 (*.f64 i i))))
  (+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 1/16 (/.f64 1/64 (*.f64 i i))))
  (/.f64 -1 (*.f64 i i))
  (/.f64 -1 (*.f64 i i))
  (/.f64 -1 (*.f64 i i))
  (+.f64 (*.f64 (pow.f64 i 8) -3/16) (-.f64 (*.f64 (pow.f64 i 6) -1/64) (*.f64 3/2 (pow.f64 i 10))))
  (+.f64 (/.f64 3/32768 (pow.f64 i 4)) (+.f64 (/.f64 3/16384 (*.f64 i i)) 1/4096))
  (+.f64 (/.f64 3/32768 (pow.f64 i 4)) (+.f64 (/.f64 3/16384 (*.f64 i i)) 1/4096))
1.107 * * * [progress]: adding candidates to table
1.669 * * [progress]: iteration 4 / 4
1.669 * * * [progress]: picking best candidate
1.674 * * * * [pick]: Picked  #<alt (λ (i) (-.f64 (*.f64 (*.f64 i i) -1/4) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))))>
1.674 * * * [progress]: localizing error
1.689 * * * [progress]: generating rewritten candidates
1.689 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
1.694 * * * [progress]: generating series expansions
1.694 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
1.695 * [approximate]: Taking taylor expansion of (+ (pow i 4) (* 4 (pow i 6))) in (i) around 0
1.695 * [taylor]: Taking taylor expansion of (+ (pow i 4) (* 4 (pow i 6))) in i
1.695 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.695 * [taylor]: Taking taylor expansion of i in i
1.695 * [taylor]: Taking taylor expansion of (* 4 (pow i 6)) in i
1.695 * [taylor]: Taking taylor expansion of 4 in i
1.695 * [taylor]: Taking taylor expansion of (pow i 6) in i
1.695 * [taylor]: Taking taylor expansion of i in i
1.695 * [taylor]: Taking taylor expansion of (+ (pow i 4) (* 4 (pow i 6))) in i
1.695 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.695 * [taylor]: Taking taylor expansion of i in i
1.695 * [taylor]: Taking taylor expansion of (* 4 (pow i 6)) in i
1.695 * [taylor]: Taking taylor expansion of 4 in i
1.695 * [taylor]: Taking taylor expansion of (pow i 6) in i
1.695 * [taylor]: Taking taylor expansion of i in i
1.714 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow i 4)) (* 4 (/ 1 (pow i 6)))) in (i) around 0
1.714 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow i 4)) (* 4 (/ 1 (pow i 6)))) in i
1.714 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
1.714 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.714 * [taylor]: Taking taylor expansion of i in i
1.714 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 6))) in i
1.714 * [taylor]: Taking taylor expansion of 4 in i
1.714 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
1.714 * [taylor]: Taking taylor expansion of (pow i 6) in i
1.714 * [taylor]: Taking taylor expansion of i in i
1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow i 4)) (* 4 (/ 1 (pow i 6)))) in i
1.715 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
1.715 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.715 * [taylor]: Taking taylor expansion of i in i
1.715 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 6))) in i
1.715 * [taylor]: Taking taylor expansion of 4 in i
1.715 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
1.715 * [taylor]: Taking taylor expansion of (pow i 6) in i
1.715 * [taylor]: Taking taylor expansion of i in i
1.744 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow i 4)) (* 4 (/ 1 (pow i 6)))) in (i) around 0
1.744 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow i 4)) (* 4 (/ 1 (pow i 6)))) in i
1.744 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
1.744 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.744 * [taylor]: Taking taylor expansion of i in i
1.745 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 6))) in i
1.745 * [taylor]: Taking taylor expansion of 4 in i
1.745 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
1.745 * [taylor]: Taking taylor expansion of (pow i 6) in i
1.745 * [taylor]: Taking taylor expansion of i in i
1.745 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow i 4)) (* 4 (/ 1 (pow i 6)))) in i
1.745 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
1.745 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.745 * [taylor]: Taking taylor expansion of i in i
1.745 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 6))) in i
1.745 * [taylor]: Taking taylor expansion of 4 in i
1.745 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
1.745 * [taylor]: Taking taylor expansion of (pow i 6) in i
1.745 * [taylor]: Taking taylor expansion of i in i
1.772 * * * [progress]: simplifying candidates
1.772 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 (pow.f64 i 4) (pow.f64 i 4)) (*.f64 (*.f64 4 (pow.f64 i 6)) (*.f64 4 (pow.f64 i 6))))
  (-.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))
  (+.f64 (pow.f64 (pow.f64 i 4) 3) (pow.f64 (*.f64 4 (pow.f64 i 6)) 3))
  (+.f64 (*.f64 (pow.f64 i 4) (pow.f64 i 4)) (-.f64 (*.f64 (*.f64 4 (pow.f64 i 6)) (*.f64 4 (pow.f64 i 6))) (*.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))))
  (sqrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (sqrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (*.f64 (*.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))) (cbrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))))
  (cbrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (exp.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (log.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (*.f64 (exp.f64 (pow.f64 i 4)) (exp.f64 (*.f64 4 (pow.f64 i 6))))
  (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))
  (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))
  (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))
1.850 * * [simplify]: iteration  0 :  5249  enodes  (cost  238 )
1.852 * [simplify]: Simplified to:
   (+.f64 (pow.f64 i 8) (*.f64 (pow.f64 i 12) -16))
  (-.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))
  (+.f64 (pow.f64 i 12) (*.f64 64 (pow.f64 i 18)))
  (+.f64 (pow.f64 i 8) (-.f64 (*.f64 (pow.f64 i 12) 16) (*.f64 4 (pow.f64 i 10))))
  (sqrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (sqrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (pow.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))) 3)
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))) (cbrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))))
  (cbrt.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (exp.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (log.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (exp.f64 (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6))))
  (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))
  (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))
  (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))
1.852 * * * [progress]: adding candidates to table
1.883 * [progress]: [Phase 3 of 3] Extracting.
1.883 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (*.f64 1/4 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))))> #<alt (λ (i) (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))> #<alt (λ (i) (-.f64 (*.f64 (*.f64 i i) -1/4) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))))>)
1.884 * * * [regime-changes]: Trying 1 branch expressions: (i)
1.884 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (*.f64 1/4 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i))))))> #<alt (λ (i) (cbrt.f64 (pow.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))) 3)))> #<alt (λ (i) (-.f64 (*.f64 (*.f64 i i) -1/4) (+.f64 (pow.f64 i 4) (*.f64 4 (pow.f64 i 6)))))>)
1.935 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.936 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 1/4 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
1.938 * * [simplify]: iteration  0 :  13  enodes  (cost  16 )
1.938 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
1.938 * [simplify]: Simplified to:
   (*.f64 1/4 (/.f64 1 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
3.417 * [regime-testing]: End program error score: 0.32914960471867755