26.750 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
0.022 * * [simplify]: iteration  0 :  31  enodes  (cost  12 )
0.023 * * [simplify]: iteration  1 :  168  enodes  (cost  11 )
0.027 * * [simplify]: iteration  2 :  965  enodes  (cost  9 )
0.050 * * [simplify]: iteration  3 :  5001  enodes  (cost  8 )
0.050 * [simplify]: Simplified to:
   (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
0.053 * * [progress]: iteration 1 / 4
0.053 * * * [progress]: picking best candidate
0.055 * * * * [pick]: Picked  #<alt (λ (i) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))>
0.055 * * * [progress]: localizing error
0.062 * * * [progress]: generating rewritten candidates
0.062 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.076 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.084 * * * [progress]: generating series expansions
0.084 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.084 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.084 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.084 * [taylor]: Taking taylor expansion of 0.25 in i
0.084 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.084 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.084 * [taylor]: Taking taylor expansion of i in i
0.084 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.084 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.084 * [taylor]: Taking taylor expansion of 4.0 in i
0.085 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.085 * [taylor]: Taking taylor expansion of i in i
0.085 * [taylor]: Taking taylor expansion of 1.0 in i
0.086 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.086 * [taylor]: Taking taylor expansion of 0.25 in i
0.086 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.086 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.086 * [taylor]: Taking taylor expansion of i in i
0.086 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.086 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.086 * [taylor]: Taking taylor expansion of 4.0 in i
0.086 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.086 * [taylor]: Taking taylor expansion of i in i
0.086 * [taylor]: Taking taylor expansion of 1.0 in i
0.112 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.112 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.112 * [taylor]: Taking taylor expansion of 0.25 in i
0.112 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.112 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.112 * [taylor]: Taking taylor expansion of i in i
0.112 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.112 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.112 * [taylor]: Taking taylor expansion of 4.0 in i
0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.112 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.112 * [taylor]: Taking taylor expansion of i in i
0.112 * [taylor]: Taking taylor expansion of 1.0 in i
0.114 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.114 * [taylor]: Taking taylor expansion of 0.25 in i
0.114 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.114 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.114 * [taylor]: Taking taylor expansion of i in i
0.114 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.114 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.114 * [taylor]: Taking taylor expansion of 4.0 in i
0.114 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.114 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.114 * [taylor]: Taking taylor expansion of i in i
0.114 * [taylor]: Taking taylor expansion of 1.0 in i
0.137 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.137 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.137 * [taylor]: Taking taylor expansion of 0.25 in i
0.137 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.137 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.137 * [taylor]: Taking taylor expansion of i in i
0.137 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.137 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.137 * [taylor]: Taking taylor expansion of 4.0 in i
0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.137 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.137 * [taylor]: Taking taylor expansion of i in i
0.137 * [taylor]: Taking taylor expansion of 1.0 in i
0.139 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.139 * [taylor]: Taking taylor expansion of 0.25 in i
0.139 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.139 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.139 * [taylor]: Taking taylor expansion of i in i
0.139 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.139 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.139 * [taylor]: Taking taylor expansion of 4.0 in i
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.139 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.139 * [taylor]: Taking taylor expansion of i in i
0.139 * [taylor]: Taking taylor expansion of 1.0 in i
0.161 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.161 * [approximate]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in (i) around 0
0.162 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.162 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.162 * [taylor]: Taking taylor expansion of 4.0 in i
0.162 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.162 * [taylor]: Taking taylor expansion of i in i
0.162 * [taylor]: Taking taylor expansion of 1.0 in i
0.162 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.162 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.162 * [taylor]: Taking taylor expansion of 4.0 in i
0.162 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.162 * [taylor]: Taking taylor expansion of i in i
0.162 * [taylor]: Taking taylor expansion of 1.0 in i
0.179 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.179 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.179 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.179 * [taylor]: Taking taylor expansion of 4.0 in i
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.179 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.179 * [taylor]: Taking taylor expansion of i in i
0.180 * [taylor]: Taking taylor expansion of 1.0 in i
0.180 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.180 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.180 * [taylor]: Taking taylor expansion of 4.0 in i
0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.180 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.180 * [taylor]: Taking taylor expansion of i in i
0.180 * [taylor]: Taking taylor expansion of 1.0 in i
0.199 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.199 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.199 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.199 * [taylor]: Taking taylor expansion of 4.0 in i
0.199 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.199 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.199 * [taylor]: Taking taylor expansion of i in i
0.200 * [taylor]: Taking taylor expansion of 1.0 in i
0.200 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.200 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.200 * [taylor]: Taking taylor expansion of 4.0 in i
0.200 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.200 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.200 * [taylor]: Taking taylor expansion of i in i
0.201 * [taylor]: Taking taylor expansion of 1.0 in i
0.219 * * * [progress]: simplifying candidates
0.220 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log i) (log i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0))))
  (- (+ (log i) (log i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0))))
  (- (+ (log i) (log i)) (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (- (log (* i i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0))))
  (- (log (* i i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0))))
  (- (log (* i i)) (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (exp (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (* (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))))
  (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (* (* (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (neg (* i i))
  (neg (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (* 2.0 2.0))
  (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* i i))
  (/ (* i i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)
  (/ (* i i) (* (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3)) (* 2.0 2.0)))
  (/ (* i i) (* (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0)) (* 2.0 2.0)))
  (/ (exp (* (* 2.0 i) (* 2.0 i))) (exp 1.0))
  (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3))
  (+ (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 1.0 1.0) (* (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (neg 1.0)
  (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0))
  (+ (* (* 2.0 i) (* 2.0 i)) 1.0)
  (+ (* 2.0 i) (sqrt 1.0))
  (- (* 2.0 i) (sqrt 1.0))
  (neg 1.0)
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.225 * * [simplify]: iteration  0 :  342  enodes  (cost  496 )
0.232 * * [simplify]: iteration  1 :  1633  enodes  (cost  364 )
0.261 * * [simplify]: iteration  2 :  5001  enodes  (cost  364 )
0.263 * [simplify]: Simplified to:
   (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (exp (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (* (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))))
  (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (neg (* i i))
  (neg (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (* 2.0 2.0))
  (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* i i))
  (/ (* i i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)
  (/ (* i i) (* (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3)) (* 2.0 2.0)))
  (/ (* i i) (* (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0)) (* 2.0 2.0)))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (+ (neg (pow 1.0 3)) (pow (* 2.0 i) 6))
  (+ (+ (* (* (* 2.0 2.0) (* 2.0 2.0)) (pow i 4)) (* (* (* 2.0 i) (* 2.0 i)) 1.0)) (* 1.0 1.0))
  (neg 1.0)
  (+ (neg (* 1.0 1.0)) (* (* (pow (* 2.0 i) 3) i) 2.0))
  (+ (* (* 2.0 i) (* 2.0 i)) 1.0)
  (+ (* 2.0 i) (sqrt 1.0))
  (- (* 2.0 i) (sqrt 1.0))
  (neg 1.0)
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.264 * * * [progress]: adding candidates to table
0.329 * * [progress]: iteration 2 / 4
0.329 * * * [progress]: picking best candidate
0.334 * * * * [pick]: Picked  #<alt (λ (i) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))>
0.334 * * * [progress]: localizing error
0.354 * * * [progress]: generating rewritten candidates
0.355 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.376 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.389 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
0.398 * * * [progress]: generating series expansions
0.398 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.399 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in (i) around 0
0.399 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in i
0.399 * [taylor]: Taking taylor expansion of 4.0 in i
0.399 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (pow i 2)) 1.0) i) in i
0.399 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.399 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.399 * [taylor]: Taking taylor expansion of 4.0 in i
0.399 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.399 * [taylor]: Taking taylor expansion of i in i
0.399 * [taylor]: Taking taylor expansion of 1.0 in i
0.399 * [taylor]: Taking taylor expansion of i in i
0.400 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in i
0.400 * [taylor]: Taking taylor expansion of 4.0 in i
0.400 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (pow i 2)) 1.0) i) in i
0.400 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.400 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.400 * [taylor]: Taking taylor expansion of 4.0 in i
0.400 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.400 * [taylor]: Taking taylor expansion of i in i
0.400 * [taylor]: Taking taylor expansion of 1.0 in i
0.400 * [taylor]: Taking taylor expansion of i in i
0.426 * [approximate]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.426 * [taylor]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.426 * [taylor]: Taking taylor expansion of 4.0 in i
0.426 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.426 * [taylor]: Taking taylor expansion of i in i
0.426 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.426 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.426 * [taylor]: Taking taylor expansion of 4.0 in i
0.426 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.426 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.426 * [taylor]: Taking taylor expansion of i in i
0.426 * [taylor]: Taking taylor expansion of 1.0 in i
0.426 * [taylor]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.426 * [taylor]: Taking taylor expansion of 4.0 in i
0.426 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.426 * [taylor]: Taking taylor expansion of i in i
0.426 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.426 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.426 * [taylor]: Taking taylor expansion of 4.0 in i
0.427 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.427 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.427 * [taylor]: Taking taylor expansion of i in i
0.427 * [taylor]: Taking taylor expansion of 1.0 in i
0.690 * [approximate]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.690 * [taylor]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.690 * [taylor]: Taking taylor expansion of -4.0 in i
0.690 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.690 * [taylor]: Taking taylor expansion of i in i
0.690 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.690 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.690 * [taylor]: Taking taylor expansion of 4.0 in i
0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.690 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.690 * [taylor]: Taking taylor expansion of i in i
0.691 * [taylor]: Taking taylor expansion of 1.0 in i
0.691 * [taylor]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.691 * [taylor]: Taking taylor expansion of -4.0 in i
0.691 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.691 * [taylor]: Taking taylor expansion of i in i
0.691 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.691 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.691 * [taylor]: Taking taylor expansion of 4.0 in i
0.691 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.691 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.691 * [taylor]: Taking taylor expansion of i in i
0.692 * [taylor]: Taking taylor expansion of 1.0 in i
0.735 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.735 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.735 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.735 * [taylor]: Taking taylor expansion of 0.25 in i
0.735 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.735 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.735 * [taylor]: Taking taylor expansion of i in i
0.735 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.735 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.735 * [taylor]: Taking taylor expansion of 4.0 in i
0.735 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.735 * [taylor]: Taking taylor expansion of i in i
0.735 * [taylor]: Taking taylor expansion of 1.0 in i
0.737 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.737 * [taylor]: Taking taylor expansion of 0.25 in i
0.737 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.737 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.737 * [taylor]: Taking taylor expansion of i in i
0.737 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.737 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.737 * [taylor]: Taking taylor expansion of 4.0 in i
0.737 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.737 * [taylor]: Taking taylor expansion of i in i
0.737 * [taylor]: Taking taylor expansion of 1.0 in i
0.763 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.763 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.763 * [taylor]: Taking taylor expansion of 0.25 in i
0.763 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.763 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.763 * [taylor]: Taking taylor expansion of i in i
0.763 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.763 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.763 * [taylor]: Taking taylor expansion of 4.0 in i
0.763 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.763 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.763 * [taylor]: Taking taylor expansion of i in i
0.764 * [taylor]: Taking taylor expansion of 1.0 in i
0.765 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.765 * [taylor]: Taking taylor expansion of 0.25 in i
0.765 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.765 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.765 * [taylor]: Taking taylor expansion of i in i
0.765 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.765 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.765 * [taylor]: Taking taylor expansion of 4.0 in i
0.765 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.765 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.765 * [taylor]: Taking taylor expansion of i in i
0.766 * [taylor]: Taking taylor expansion of 1.0 in i
0.789 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.789 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.789 * [taylor]: Taking taylor expansion of 0.25 in i
0.789 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.789 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.789 * [taylor]: Taking taylor expansion of i in i
0.789 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.789 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.789 * [taylor]: Taking taylor expansion of 4.0 in i
0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.789 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.789 * [taylor]: Taking taylor expansion of i in i
0.790 * [taylor]: Taking taylor expansion of 1.0 in i
0.791 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.791 * [taylor]: Taking taylor expansion of 0.25 in i
0.791 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.791 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.791 * [taylor]: Taking taylor expansion of i in i
0.791 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.791 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.791 * [taylor]: Taking taylor expansion of 4.0 in i
0.791 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.791 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.791 * [taylor]: Taking taylor expansion of i in i
0.792 * [taylor]: Taking taylor expansion of 1.0 in i
0.814 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
0.814 * [approximate]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in (i) around 0
0.814 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.814 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.814 * [taylor]: Taking taylor expansion of 4.0 in i
0.814 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.815 * [taylor]: Taking taylor expansion of i in i
0.815 * [taylor]: Taking taylor expansion of 1.0 in i
0.815 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.815 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.815 * [taylor]: Taking taylor expansion of 4.0 in i
0.815 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.815 * [taylor]: Taking taylor expansion of i in i
0.815 * [taylor]: Taking taylor expansion of 1.0 in i
0.830 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.830 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.830 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.830 * [taylor]: Taking taylor expansion of 4.0 in i
0.830 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.830 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.830 * [taylor]: Taking taylor expansion of i in i
0.831 * [taylor]: Taking taylor expansion of 1.0 in i
0.831 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.831 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.831 * [taylor]: Taking taylor expansion of 4.0 in i
0.831 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.831 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.831 * [taylor]: Taking taylor expansion of i in i
0.832 * [taylor]: Taking taylor expansion of 1.0 in i
0.851 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.851 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.851 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.851 * [taylor]: Taking taylor expansion of 4.0 in i
0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.851 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.851 * [taylor]: Taking taylor expansion of i in i
0.852 * [taylor]: Taking taylor expansion of 1.0 in i
0.852 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.852 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.852 * [taylor]: Taking taylor expansion of 4.0 in i
0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.852 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.852 * [taylor]: Taking taylor expansion of i in i
0.852 * [taylor]: Taking taylor expansion of 1.0 in i
0.871 * * * [progress]: simplifying candidates
0.873 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0))) (log i))
  (- (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0))) (log i))
  (- (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (log i))
  (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (exp (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* i i) i))
  (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* i i) i))
  (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (* i i) i))
  (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (* (* (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (neg (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (neg i)
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i)))
  (/ (* 2.0 2.0) (cbrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i))
  (/ (* 2.0 2.0) (sqrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1)
  (/ (* 2.0 2.0) i)
  (/ 1 i)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (cbrt i) (cbrt i)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (sqrt i))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) 1)
  (/ i (* 2.0 2.0))
  (* i (+ (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 1.0 1.0) (* (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (* i (+ (* (* 2.0 i) (* 2.0 i)) 1.0))
  (- (log i) (- (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0))) (log i)))
  (- (log i) (- (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0))) (log i)))
  (- (log i) (- (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (log i)))
  (- (log i) (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (exp (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (* i i) i) (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (* (* (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (* (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))) (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (* (* (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (neg i)
  (neg (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ (cbrt i) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (cbrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ (cbrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ (cbrt i) (/ (* 2.0 2.0) (sqrt i)))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1))
  (/ (cbrt i) (/ (* 2.0 2.0) i))
  (/ (* (cbrt i) (cbrt i)) 1)
  (/ (cbrt i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (cbrt i) (/ 1 i))
  (/ (sqrt i) (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ (sqrt i) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ (sqrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ (sqrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ (sqrt i) (/ (* 2.0 2.0) (sqrt i)))
  (/ (sqrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1))
  (/ (sqrt i) (/ (* 2.0 2.0) i))
  (/ (sqrt i) 1)
  (/ (sqrt i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (sqrt i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (sqrt i) (/ 1 i))
  (/ 1 (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ i (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ 1 (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ i (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1))
  (/ i (/ (* 2.0 2.0) i))
  (/ 1 1)
  (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ i (/ 1 i))
  (/ 1 (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) i)
  (/ i (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ i (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1))
  (/ i 1)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (cbrt i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (sqrt i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) i)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (exp (* (* 2.0 i) (* 2.0 i))) (exp 1.0))
  (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3))
  (+ (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 1.0 1.0) (* (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (neg 1.0)
  (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0))
  (+ (* (* 2.0 i) (* 2.0 i)) 1.0)
  (+ (* 2.0 i) (sqrt 1.0))
  (- (* 2.0 i) (sqrt 1.0))
  (neg 1.0)
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.881 * * [simplify]: iteration  0 :  483  enodes  (cost  1066 )
0.890 * * [simplify]: iteration  1 :  2407  enodes  (cost  906 )
0.930 * * [simplify]: iteration  2 :  5001  enodes  (cost  899 )
0.935 * [simplify]: Simplified to:
   (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (exp (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (pow (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) 3)
  (pow (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) 3)
  (pow (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) 3)
  (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (pow (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) 3)
  (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (neg (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (neg i)
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i)))
  (/ (* 2.0 2.0) (cbrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i))
  (/ (* 2.0 2.0) (sqrt i))
  (- (* (* 2.0 i) (* 2.0 i)) 1.0)
  (/ (* 2.0 2.0) i)
  (/ 1 i)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (cbrt i) (cbrt i)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (sqrt i))
  (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))
  (/ i (* 2.0 2.0))
  (+ (* (* i 1.0) (+ (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* i (pow (* 2.0 i) 3)) (* 2.0 i)))
  (* i (+ (* (* 2.0 i) (* 2.0 i)) 1.0))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (exp (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (* (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))) (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (sqrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (neg i)
  (neg (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ (cbrt i) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (cbrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ (* (cbrt i) (cbrt i)) (* 2.0 2.0))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ (cbrt i) (/ (* 2.0 2.0) (sqrt i)))
  (/ (cbrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt i)))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (* (cbrt i) (cbrt i))
  (/ (cbrt i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (* (cbrt i) i)
  (/ (sqrt i) (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ (sqrt i) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ (sqrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (* 2.0 2.0))
  (/ (sqrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (sqrt i)
  (/ (sqrt i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (sqrt i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (* (sqrt i) i)
  (/ 1 (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ i (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ 1 (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ i (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (/ (* 2.0 2.0) i))
  1
  (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (pow i 2)
  (/ 1 (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) i)
  (/ i (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ i (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  i
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (cbrt i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (sqrt i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) i)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (+ (neg (pow 1.0 3)) (pow (* 2.0 i) 6))
  (+ (* 1.0 (+ 1.0 (* (* 2.0 i) (* 2.0 i)))) (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))))
  (neg 1.0)
  (- (/ (pow (* 2.0 i) 4) 1) (/ (* 1.0 1.0) 1))
  (+ (* (* 2.0 i) (* 2.0 i)) 1.0)
  (+ (* 2.0 i) (sqrt 1.0))
  (- (* 2.0 i) (sqrt 1.0))
  (neg 1.0)
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.935 * * * [progress]: adding candidates to table
1.069 * * [progress]: iteration 3 / 4
1.069 * * * [progress]: picking best candidate
1.074 * * * * [pick]: Picked  #<alt (λ (i) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))>
1.074 * * * [progress]: localizing error
1.080 * * * [progress]: generating rewritten candidates
1.080 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.085 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.089 * * * [progress]: generating series expansions
1.089 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.089 * [approximate]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in (i) around 0
1.089 * [taylor]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in i
1.089 * [taylor]: Taking taylor expansion of i in i
1.089 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.090 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.090 * [taylor]: Taking taylor expansion of 16.0 in i
1.090 * [taylor]: Taking taylor expansion of i in i
1.090 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.090 * [taylor]: Taking taylor expansion of 4.0 in i
1.090 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.090 * [taylor]: Taking taylor expansion of i in i
1.092 * [taylor]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in i
1.092 * [taylor]: Taking taylor expansion of i in i
1.092 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.092 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.092 * [taylor]: Taking taylor expansion of 16.0 in i
1.092 * [taylor]: Taking taylor expansion of i in i
1.092 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.092 * [taylor]: Taking taylor expansion of 4.0 in i
1.092 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.092 * [taylor]: Taking taylor expansion of i in i
1.111 * [approximate]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in (i) around 0
1.111 * [taylor]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in i
1.111 * [taylor]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i) in i
1.111 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.111 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.111 * [taylor]: Taking taylor expansion of 16.0 in i
1.111 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.111 * [taylor]: Taking taylor expansion of i in i
1.111 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.112 * [taylor]: Taking taylor expansion of 4.0 in i
1.112 * [taylor]: Taking taylor expansion of i in i
1.112 * [taylor]: Taking taylor expansion of i in i
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in i
1.115 * [taylor]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i) in i
1.115 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.115 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.115 * [taylor]: Taking taylor expansion of 16.0 in i
1.115 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.115 * [taylor]: Taking taylor expansion of i in i
1.115 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.115 * [taylor]: Taking taylor expansion of 4.0 in i
1.115 * [taylor]: Taking taylor expansion of i in i
1.115 * [taylor]: Taking taylor expansion of i in i
1.140 * [approximate]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 i) (* 16.0 (/ 1 i))))) in (i) around 0
1.140 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 i) (* 16.0 (/ 1 i))))) in i
1.140 * [taylor]: Taking taylor expansion of -1 in i
1.140 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 i) (* 16.0 (/ 1 i)))) in i
1.140 * [taylor]: Taking taylor expansion of i in i
1.140 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.140 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.140 * [taylor]: Taking taylor expansion of 4.0 in i
1.140 * [taylor]: Taking taylor expansion of i in i
1.140 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.140 * [taylor]: Taking taylor expansion of 16.0 in i
1.140 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.140 * [taylor]: Taking taylor expansion of i in i
1.145 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 i) (* 16.0 (/ 1 i))))) in i
1.145 * [taylor]: Taking taylor expansion of -1 in i
1.145 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 i) (* 16.0 (/ 1 i)))) in i
1.145 * [taylor]: Taking taylor expansion of i in i
1.145 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.145 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.145 * [taylor]: Taking taylor expansion of 4.0 in i
1.145 * [taylor]: Taking taylor expansion of i in i
1.145 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.145 * [taylor]: Taking taylor expansion of 16.0 in i
1.145 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.145 * [taylor]: Taking taylor expansion of i in i
1.173 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.174 * [approximate]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in (i) around 0
1.174 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.174 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.174 * [taylor]: Taking taylor expansion of 16.0 in i
1.174 * [taylor]: Taking taylor expansion of i in i
1.174 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.174 * [taylor]: Taking taylor expansion of 4.0 in i
1.174 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.174 * [taylor]: Taking taylor expansion of i in i
1.174 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.174 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.174 * [taylor]: Taking taylor expansion of 16.0 in i
1.174 * [taylor]: Taking taylor expansion of i in i
1.174 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.174 * [taylor]: Taking taylor expansion of 4.0 in i
1.174 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.174 * [taylor]: Taking taylor expansion of i in i
1.194 * [approximate]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in (i) around 0
1.194 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.194 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.194 * [taylor]: Taking taylor expansion of 16.0 in i
1.194 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.194 * [taylor]: Taking taylor expansion of i in i
1.194 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.194 * [taylor]: Taking taylor expansion of 4.0 in i
1.194 * [taylor]: Taking taylor expansion of i in i
1.194 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.194 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.194 * [taylor]: Taking taylor expansion of 16.0 in i
1.194 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.194 * [taylor]: Taking taylor expansion of i in i
1.195 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.195 * [taylor]: Taking taylor expansion of 4.0 in i
1.195 * [taylor]: Taking taylor expansion of i in i
1.214 * [approximate]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in (i) around 0
1.214 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.214 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.214 * [taylor]: Taking taylor expansion of 4.0 in i
1.214 * [taylor]: Taking taylor expansion of i in i
1.214 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.214 * [taylor]: Taking taylor expansion of 16.0 in i
1.214 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.214 * [taylor]: Taking taylor expansion of i in i
1.214 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.214 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.214 * [taylor]: Taking taylor expansion of 4.0 in i
1.214 * [taylor]: Taking taylor expansion of i in i
1.214 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.214 * [taylor]: Taking taylor expansion of 16.0 in i
1.214 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.214 * [taylor]: Taking taylor expansion of i in i
1.238 * * * [progress]: simplifying candidates
1.239 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log i) (log (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (log (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (exp (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (* (* i i) i) (* (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))) (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (* (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (sqrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (sqrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (neg i)
  (neg (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (cbrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (cbrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (* (cbrt i) (cbrt i)) 1)
  (/ (cbrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) 1)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ 1 (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ 1 1)
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ i (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i 1)
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt i))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ i (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3)))
  (/ i (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i)))))
  (/ (exp (* 16.0 i)) (exp (* 4.0 (/ 1 i))))
  (log (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (exp (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3))
  (+ (* (* 16.0 i) (* 16.0 i)) (+ (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))) (* (* 16.0 i) (* 4.0 (/ 1 i)))))
  (neg (* 4.0 (/ 1 i)))
  (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))))
  (+ (* 16.0 i) (* 4.0 (/ 1 i)))
  (neg (* 4.0 (/ 1 i)))
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
1.244 * * [simplify]: iteration  0 :  223  enodes  (cost  402 )
1.248 * * [simplify]: iteration  1 :  845  enodes  (cost  369 )
1.267 * * [simplify]: iteration  2 :  4348  enodes  (cost  365 )
1.433 * * [simplify]: iteration  3 :  5001  enodes  (cost  365 )
1.435 * [simplify]: Simplified to:
   (log (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (log (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (exp (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (pow (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) 3)
  (* (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))) (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (pow (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) 3)
  (sqrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (sqrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (neg i)
  (+ (neg (* 16.0 i)) (/ 4.0 i))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (cbrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (cbrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (cbrt i) (cbrt i))
  (/ (cbrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (sqrt i)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ 1 (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  1
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ i (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  i
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt i))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ i (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3)))
  (/ i (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i)))))
  (exp (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (log (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (exp (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (pow (- (* 16.0 i) (* 4.0 (/ 1 i))) 3)
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3))
  (+ (* (* 16.0 i) (+ (* 16.0 i) (* 4.0 (/ 1 i)))) (/ (* (/ 4.0 i) 4.0) i))
  (/ (neg 4.0) i)
  (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))))
  (+ (* 16.0 i) (* 4.0 (/ 1 i)))
  (/ (neg 4.0) i)
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4)))) (/ (/ 0.015625 i) i))
  (+ (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4)))) (/ (/ 0.015625 i) i))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
1.435 * * * [progress]: adding candidates to table
1.504 * * [progress]: iteration 4 / 4
1.504 * * * [progress]: picking best candidate
1.505 * * * * [pick]: Picked  #<alt (λ (i) (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))>
1.505 * * * [progress]: localizing error
1.515 * * * [progress]: generating rewritten candidates
1.515 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.531 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.549 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
1.580 * * * [progress]: generating series expansions
1.580 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.582 * [approximate]: Taking taylor expansion of (* 4.0 (/ (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) i)) in (i) around 0
1.582 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) i)) in i
1.582 * [taylor]: Taking taylor expansion of 4.0 in i
1.582 * [taylor]: Taking taylor expansion of (/ (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) i) in i
1.582 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
1.582 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
1.582 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.582 * [taylor]: Taking taylor expansion of 2.0 in i
1.582 * [taylor]: Taking taylor expansion of i in i
1.582 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.582 * [taylor]: Taking taylor expansion of 1.0 in i
1.584 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
1.584 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.584 * [taylor]: Taking taylor expansion of 2.0 in i
1.584 * [taylor]: Taking taylor expansion of i in i
1.584 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.584 * [taylor]: Taking taylor expansion of 1.0 in i
1.585 * [taylor]: Taking taylor expansion of i in i
1.592 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) i)) in i
1.592 * [taylor]: Taking taylor expansion of 4.0 in i
1.592 * [taylor]: Taking taylor expansion of (/ (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) i) in i
1.592 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
1.592 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
1.592 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.592 * [taylor]: Taking taylor expansion of 2.0 in i
1.592 * [taylor]: Taking taylor expansion of i in i
1.592 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.592 * [taylor]: Taking taylor expansion of 1.0 in i
1.593 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
1.593 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.593 * [taylor]: Taking taylor expansion of 2.0 in i
1.593 * [taylor]: Taking taylor expansion of i in i
1.593 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.593 * [taylor]: Taking taylor expansion of 1.0 in i
1.594 * [taylor]: Taking taylor expansion of i in i
1.662 * [approximate]: Taking taylor expansion of (* 4.0 (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in (i) around 0
1.662 * [taylor]: Taking taylor expansion of (* 4.0 (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i
1.662 * [taylor]: Taking taylor expansion of 4.0 in i
1.662 * [taylor]: Taking taylor expansion of (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i
1.662 * [taylor]: Taking taylor expansion of i in i
1.662 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
1.662 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.662 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.662 * [taylor]: Taking taylor expansion of 1.0 in i
1.663 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.663 * [taylor]: Taking taylor expansion of 2.0 in i
1.663 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.663 * [taylor]: Taking taylor expansion of i in i
1.663 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
1.663 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.663 * [taylor]: Taking taylor expansion of 2.0 in i
1.663 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.663 * [taylor]: Taking taylor expansion of i in i
1.663 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.663 * [taylor]: Taking taylor expansion of 1.0 in i
1.664 * [taylor]: Taking taylor expansion of (* 4.0 (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i
1.664 * [taylor]: Taking taylor expansion of 4.0 in i
1.664 * [taylor]: Taking taylor expansion of (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i
1.664 * [taylor]: Taking taylor expansion of i in i
1.664 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
1.664 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.664 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.664 * [taylor]: Taking taylor expansion of 1.0 in i
1.665 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.665 * [taylor]: Taking taylor expansion of 2.0 in i
1.665 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.665 * [taylor]: Taking taylor expansion of i in i
1.665 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
1.665 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.665 * [taylor]: Taking taylor expansion of 2.0 in i
1.665 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.665 * [taylor]: Taking taylor expansion of i in i
1.666 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.666 * [taylor]: Taking taylor expansion of 1.0 in i
1.750 * [approximate]: Taking taylor expansion of (* 4.0 (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in (i) around 0
1.750 * [taylor]: Taking taylor expansion of (* 4.0 (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i
1.750 * [taylor]: Taking taylor expansion of 4.0 in i
1.750 * [taylor]: Taking taylor expansion of (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
1.750 * [taylor]: Taking taylor expansion of i in i
1.750 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.750 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.751 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.751 * [taylor]: Taking taylor expansion of 1.0 in i
1.751 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.751 * [taylor]: Taking taylor expansion of 2.0 in i
1.751 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.751 * [taylor]: Taking taylor expansion of i in i
1.751 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.752 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.752 * [taylor]: Taking taylor expansion of 1.0 in i
1.752 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.752 * [taylor]: Taking taylor expansion of 2.0 in i
1.752 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.752 * [taylor]: Taking taylor expansion of i in i
1.752 * [taylor]: Taking taylor expansion of (* 4.0 (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i
1.753 * [taylor]: Taking taylor expansion of 4.0 in i
1.753 * [taylor]: Taking taylor expansion of (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
1.753 * [taylor]: Taking taylor expansion of i in i
1.753 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.753 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.753 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.753 * [taylor]: Taking taylor expansion of 1.0 in i
1.753 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.753 * [taylor]: Taking taylor expansion of 2.0 in i
1.753 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.753 * [taylor]: Taking taylor expansion of i in i
1.754 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.754 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.754 * [taylor]: Taking taylor expansion of 1.0 in i
1.754 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.754 * [taylor]: Taking taylor expansion of 2.0 in i
1.754 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.754 * [taylor]: Taking taylor expansion of i in i
1.836 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.836 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in (i) around 0
1.836 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in i
1.836 * [taylor]: Taking taylor expansion of 0.25 in i
1.837 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i
1.837 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.837 * [taylor]: Taking taylor expansion of i in i
1.837 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
1.837 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
1.837 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.837 * [taylor]: Taking taylor expansion of 2.0 in i
1.837 * [taylor]: Taking taylor expansion of i in i
1.837 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.837 * [taylor]: Taking taylor expansion of 1.0 in i
1.837 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
1.837 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.837 * [taylor]: Taking taylor expansion of 2.0 in i
1.837 * [taylor]: Taking taylor expansion of i in i
1.837 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.837 * [taylor]: Taking taylor expansion of 1.0 in i
1.843 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in i
1.843 * [taylor]: Taking taylor expansion of 0.25 in i
1.843 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i
1.843 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.843 * [taylor]: Taking taylor expansion of i in i
1.843 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
1.843 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
1.843 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.843 * [taylor]: Taking taylor expansion of 2.0 in i
1.843 * [taylor]: Taking taylor expansion of i in i
1.843 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.843 * [taylor]: Taking taylor expansion of 1.0 in i
1.844 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
1.844 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.844 * [taylor]: Taking taylor expansion of 2.0 in i
1.844 * [taylor]: Taking taylor expansion of i in i
1.844 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.844 * [taylor]: Taking taylor expansion of 1.0 in i
1.921 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in (i) around 0
1.921 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i
1.921 * [taylor]: Taking taylor expansion of 0.25 in i
1.921 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i
1.921 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.921 * [taylor]: Taking taylor expansion of i in i
1.921 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
1.921 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.921 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.921 * [taylor]: Taking taylor expansion of 1.0 in i
1.922 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.922 * [taylor]: Taking taylor expansion of 2.0 in i
1.922 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.922 * [taylor]: Taking taylor expansion of i in i
1.922 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
1.922 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.922 * [taylor]: Taking taylor expansion of 2.0 in i
1.922 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.922 * [taylor]: Taking taylor expansion of i in i
1.922 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.922 * [taylor]: Taking taylor expansion of 1.0 in i
1.925 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i
1.925 * [taylor]: Taking taylor expansion of 0.25 in i
1.925 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i
1.925 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.925 * [taylor]: Taking taylor expansion of i in i
1.925 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
1.925 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.925 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.925 * [taylor]: Taking taylor expansion of 1.0 in i
1.926 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.926 * [taylor]: Taking taylor expansion of 2.0 in i
1.926 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.926 * [taylor]: Taking taylor expansion of i in i
1.926 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
1.926 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.926 * [taylor]: Taking taylor expansion of 2.0 in i
1.926 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.926 * [taylor]: Taking taylor expansion of i in i
1.926 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.927 * [taylor]: Taking taylor expansion of 1.0 in i
1.979 * [approximate]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in (i) around 0
1.979 * [taylor]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i
1.979 * [taylor]: Taking taylor expansion of -0.25 in i
1.979 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
1.979 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.980 * [taylor]: Taking taylor expansion of i in i
1.980 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.980 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.980 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.980 * [taylor]: Taking taylor expansion of 1.0 in i
1.980 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.980 * [taylor]: Taking taylor expansion of 2.0 in i
1.980 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.980 * [taylor]: Taking taylor expansion of i in i
1.981 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.981 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.981 * [taylor]: Taking taylor expansion of 1.0 in i
1.981 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.981 * [taylor]: Taking taylor expansion of 2.0 in i
1.981 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.981 * [taylor]: Taking taylor expansion of i in i
1.984 * [taylor]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i
1.984 * [taylor]: Taking taylor expansion of -0.25 in i
1.984 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
1.984 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.984 * [taylor]: Taking taylor expansion of i in i
1.984 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.984 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.984 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.984 * [taylor]: Taking taylor expansion of 1.0 in i
1.985 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.985 * [taylor]: Taking taylor expansion of 2.0 in i
1.985 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.985 * [taylor]: Taking taylor expansion of i in i
1.985 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.985 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.985 * [taylor]: Taking taylor expansion of 1.0 in i
1.986 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.986 * [taylor]: Taking taylor expansion of 2.0 in i
1.986 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.986 * [taylor]: Taking taylor expansion of i in i
2.030 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
2.031 * [approximate]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in (i) around 0
2.031 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
2.031 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
2.031 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
2.031 * [taylor]: Taking taylor expansion of 2.0 in i
2.031 * [taylor]: Taking taylor expansion of i in i
2.031 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.031 * [taylor]: Taking taylor expansion of 1.0 in i
2.032 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
2.032 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
2.032 * [taylor]: Taking taylor expansion of 2.0 in i
2.032 * [taylor]: Taking taylor expansion of i in i
2.032 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.032 * [taylor]: Taking taylor expansion of 1.0 in i
2.032 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
2.032 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
2.032 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
2.032 * [taylor]: Taking taylor expansion of 2.0 in i
2.032 * [taylor]: Taking taylor expansion of i in i
2.032 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.032 * [taylor]: Taking taylor expansion of 1.0 in i
2.033 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
2.033 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
2.033 * [taylor]: Taking taylor expansion of 2.0 in i
2.033 * [taylor]: Taking taylor expansion of i in i
2.033 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.033 * [taylor]: Taking taylor expansion of 1.0 in i
2.083 * [approximate]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in (i) around 0
2.083 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
2.083 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
2.083 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.083 * [taylor]: Taking taylor expansion of 1.0 in i
2.084 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
2.084 * [taylor]: Taking taylor expansion of 2.0 in i
2.084 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.084 * [taylor]: Taking taylor expansion of i in i
2.084 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
2.084 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
2.084 * [taylor]: Taking taylor expansion of 2.0 in i
2.084 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.084 * [taylor]: Taking taylor expansion of i in i
2.085 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.085 * [taylor]: Taking taylor expansion of 1.0 in i
2.085 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
2.085 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
2.085 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.085 * [taylor]: Taking taylor expansion of 1.0 in i
2.086 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
2.086 * [taylor]: Taking taylor expansion of 2.0 in i
2.086 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.086 * [taylor]: Taking taylor expansion of i in i
2.086 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
2.086 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
2.086 * [taylor]: Taking taylor expansion of 2.0 in i
2.086 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.087 * [taylor]: Taking taylor expansion of i in i
2.087 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.087 * [taylor]: Taking taylor expansion of 1.0 in i
2.142 * [approximate]: Taking taylor expansion of (* -1 (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in (i) around 0
2.142 * [taylor]: Taking taylor expansion of (* -1 (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
2.142 * [taylor]: Taking taylor expansion of -1 in i
2.142 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
2.142 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
2.142 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.142 * [taylor]: Taking taylor expansion of 1.0 in i
2.143 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
2.143 * [taylor]: Taking taylor expansion of 2.0 in i
2.143 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.143 * [taylor]: Taking taylor expansion of i in i
2.143 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
2.143 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.143 * [taylor]: Taking taylor expansion of 1.0 in i
2.144 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
2.144 * [taylor]: Taking taylor expansion of 2.0 in i
2.144 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.144 * [taylor]: Taking taylor expansion of i in i
2.144 * [taylor]: Taking taylor expansion of (* -1 (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
2.144 * [taylor]: Taking taylor expansion of -1 in i
2.144 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
2.144 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
2.144 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.144 * [taylor]: Taking taylor expansion of 1.0 in i
2.145 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
2.145 * [taylor]: Taking taylor expansion of 2.0 in i
2.145 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.145 * [taylor]: Taking taylor expansion of i in i
2.145 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
2.145 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
2.145 * [taylor]: Taking taylor expansion of 1.0 in i
2.146 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
2.146 * [taylor]: Taking taylor expansion of 2.0 in i
2.146 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.146 * [taylor]: Taking taylor expansion of i in i
2.244 * * * [progress]: simplifying candidates
2.248 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (+ (log (+ (* 2.0 i) (sqrt 1.0))) (log (- (* 2.0 i) (sqrt 1.0)))) (+ (log 2.0) (log 2.0))) (log i))
  (- (+ (+ (log (+ (* 2.0 i) (sqrt 1.0))) (log (- (* 2.0 i) (sqrt 1.0)))) (log (* 2.0 2.0))) (log i))
  (- (+ (log (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (+ (log 2.0) (log 2.0))) (log i))
  (- (+ (log (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (log (* 2.0 2.0))) (log i))
  (- (log (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))) (log i))
  (log (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (exp (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* i i) i))
  (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* i i) i))
  (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* i i) i))
  (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* i i) i))
  (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))) (* (* i i) i))
  (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (* (* (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i) (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (neg (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (neg i)
  (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (cbrt i) (cbrt i)))
  (/ (* 2.0 2.0) (cbrt i))
  (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (sqrt i))
  (/ (* 2.0 2.0) (sqrt i))
  (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) 1)
  (/ (* 2.0 2.0) i)
  (/ 1 i)
  (/ i (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) (* (cbrt i) (cbrt i)))
  (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) (sqrt i))
  (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) 1)
  (/ i (* 2.0 2.0))
  (* i (* (+ (* (* 2.0 i) (* 2.0 i)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))) (+ (* (* 2.0 i) (* 2.0 i)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0))))))
  (* i (* (+ (* (* 2.0 i) (* 2.0 i)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))) (+ (* 2.0 i) (sqrt 1.0))))
  (* i (* (- (* 2.0 i) (sqrt 1.0)) (+ (* (* 2.0 i) (* 2.0 i)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0))))))
  (* i (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))
  (* i (+ (* (* 2.0 i) (* 2.0 i)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))))
  (* i (+ (* 2.0 i) (sqrt 1.0)))
  (* i (+ (* (* 2.0 i) (* 2.0 i)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))))
  (* i (- (* 2.0 i) (sqrt 1.0)))
  (- (log i) (- (+ (+ (log (+ (* 2.0 i) (sqrt 1.0))) (log (- (* 2.0 i) (sqrt 1.0)))) (+ (log 2.0) (log 2.0))) (log i)))
  (- (log i) (- (+ (+ (log (+ (* 2.0 i) (sqrt 1.0))) (log (- (* 2.0 i) (sqrt 1.0)))) (log (* 2.0 2.0))) (log i)))
  (- (log i) (- (+ (log (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (+ (log 2.0) (log 2.0))) (log i)))
  (- (log i) (- (+ (log (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (log (* 2.0 2.0))) (log i)))
  (- (log i) (- (log (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))) (log i)))
  (- (log i) (log (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (exp (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (* (* i i) i) (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (/ (* (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (* (* (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i) (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (* (cbrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))) (cbrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (cbrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (* (* (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))) (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (neg i)
  (neg (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (/ (cbrt i) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (cbrt i) (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (cbrt i) (cbrt i))))
  (/ (cbrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ (* (cbrt i) (cbrt i)) (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (sqrt i)))
  (/ (cbrt i) (/ (* 2.0 2.0) (sqrt i)))
  (/ (* (cbrt i) (cbrt i)) (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) 1))
  (/ (cbrt i) (/ (* 2.0 2.0) i))
  (/ (* (cbrt i) (cbrt i)) 1)
  (/ (cbrt i) (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (/ (cbrt i) (/ 1 i))
  (/ (sqrt i) (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (/ (sqrt i) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (sqrt i) (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (cbrt i) (cbrt i))))
  (/ (sqrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ (sqrt i) (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (sqrt i)))
  (/ (sqrt i) (/ (* 2.0 2.0) (sqrt i)))
  (/ (sqrt i) (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) 1))
  (/ (sqrt i) (/ (* 2.0 2.0) i))
  (/ (sqrt i) 1)
  (/ (sqrt i) (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (/ (sqrt i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (/ (sqrt i) (/ 1 i))
  (/ 1 (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (/ i (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ 1 (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ i (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ 1 (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (cbrt i) (cbrt i))))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (/ 1 (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (sqrt i)))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (/ 1 (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) 1))
  (/ i (/ (* 2.0 2.0) i))
  (/ 1 1)
  (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (/ 1 (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (/ i (/ 1 i))
  (/ 1 (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (/ (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i) i)
  (/ i (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (/ i (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ i (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (cbrt i) (cbrt i))))
  (/ i (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (sqrt i)))
  (/ i (/ (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) 1))
  (/ i 1)
  (/ i (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (/ (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i) (cbrt i))
  (/ (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i) (sqrt i))
  (/ (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i) i)
  (/ i (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))
  (+ (log (+ (* 2.0 i) (sqrt 1.0))) (log (- (* 2.0 i) (sqrt 1.0))))
  (log (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (exp (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))
  (* (cbrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (cbrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))))
  (cbrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (* (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (sqrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (sqrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))
  (* (+ (* (* 2.0 i) (* 2.0 i)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))) (+ (* (* 2.0 i) (* 2.0 i)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))))
  (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))))
  (* (+ (* (* 2.0 i) (* 2.0 i)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))) (+ (* 2.0 i) (sqrt 1.0)))
  (* (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))
  (* (- (* 2.0 i) (sqrt 1.0)) (+ (* (* 2.0 i) (* 2.0 i)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))))
  (* (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))) (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))))
  (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))
  (* (sqrt (+ (* 2.0 i) (sqrt 1.0))) (sqrt (- (* 2.0 i) (sqrt 1.0))))
  (* (sqrt (+ (* 2.0 i) (sqrt 1.0))) (sqrt (- (* 2.0 i) (sqrt 1.0))))
  (* (+ (* 2.0 i) (sqrt 1.0)) (* 2.0 i))
  (* (+ (* 2.0 i) (sqrt 1.0)) (neg (sqrt 1.0)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (* 2.0 i))
  (* (+ (* 2.0 i) (sqrt 1.0)) (neg (sqrt 1.0)))
  (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0)))
  (* (neg (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))
  (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0)))
  (* (neg (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0)))))
  (* (+ (* 2.0 i) (sqrt 1.0)) (sqrt (- (* 2.0 i) (sqrt 1.0))))
  (* (+ (* 2.0 i) (sqrt 1.0)) 1)
  (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))
  (* (sqrt (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))))
  (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (* 2.0 i) (sqrt 1.0)))
  (* (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))
  (- (* 16.0 i) (* 4.0 (/ (pow (sqrt 1.0) 2) i)))
  (- (* 16.0 i) (* 4.0 (/ (pow (sqrt 1.0) 2) i)))
  (- (* 16.0 i) (* 4.0 (/ (pow (sqrt 1.0) 2) i)))
  (neg (+ (* 1.0 (/ (pow i 4) (pow (sqrt 1.0) 4))) (+ (* 0.25 (/ (pow i 2) (pow (sqrt 1.0) 2))) (* 4.0 (/ (pow i 6) (pow (sqrt 1.0) 6))))))
  (+ (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4))) (+ (* 0.015625 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4))) (+ (* 0.015625 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) (pow (sqrt 1.0) 2))
  (- (* 4.0 (pow i 2)) (pow (sqrt 1.0) 2))
  (- (* 4.0 (pow i 2)) (pow (sqrt 1.0) 2))
2.264 * * [simplify]: iteration  0 :  696  enodes  (cost  1880 )
2.285 * * [simplify]: iteration  1 :  3989  enodes  (cost  1461 )
2.368 * * [simplify]: iteration  2 :  5001  enodes  (cost  1429 )
2.375 * [simplify]: Simplified to:
   (- (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (log (/ i (* 2.0 2.0))))
  (- (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (log (/ i (* 2.0 2.0))))
  (- (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (log (/ i (* 2.0 2.0))))
  (- (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (log (/ i (* 2.0 2.0))))
  (- (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (log (/ i (* 2.0 2.0))))
  (- (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (log (/ i (* 2.0 2.0))))
  (pow (exp (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ i 2.0))) 2.0)
  (* (pow (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ i 2.0)) 3) (pow 2.0 3))
  (* (pow (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ i 2.0)) 3) (pow 2.0 3))
  (* (pow (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ i 2.0)) 3) (pow 2.0 3))
  (* (pow (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ i 2.0)) 3) (pow 2.0 3))
  (* (pow (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ i 2.0)) 3) (pow 2.0 3))
  (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (* (pow (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ i 2.0)) 3) (pow 2.0 3))
  (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))
  (* (neg (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0))
  (neg i)
  (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (* (cbrt i) (cbrt i)))
  (/ (* 2.0 2.0) (cbrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (pow i 1/2))
  (/ (* 2.0 2.0) (sqrt i))
  (- (* (* 2.0 i) (* 2.0 i)) 1.0)
  (/ (* 2.0 2.0) i)
  (/ 1 i)
  (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0))
  (/ (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ (* 2.0 2.0) (cbrt i))) (cbrt i))
  (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ (sqrt i) (* 2.0 2.0)))
  (* (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) 2.0) 2.0)
  (/ i (* 2.0 2.0))
  (* (- (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0))) (* (+ (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0))) 1.0) i))
  (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0)))) i)
  (* (* i (- (* 2.0 i) (sqrt 1.0))) (+ (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0))) 1.0))
  (* i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (* (+ (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0))) 1.0) i)
  (* i (+ (* 2.0 i) (sqrt 1.0)))
  (* (- (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0))) i)
  (* i (- (* 2.0 i) (sqrt 1.0)))
  (+ (log (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))) (log (/ i (* 2.0 2.0))))
  (+ (log (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))) (log (/ i (* 2.0 2.0))))
  (+ (log (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))) (log (/ i (* 2.0 2.0))))
  (+ (log (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))) (log (/ i (* 2.0 2.0))))
  (+ (log (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))) (log (/ i (* 2.0 2.0))))
  (+ (log (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))) (log (/ i (* 2.0 2.0))))
  (+ (log (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))) (log (/ i (* 2.0 2.0))))
  (pow (exp (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))) (/ i (* 2.0 2.0)))
  (* (pow (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0)) 3) (pow i 3))
  (* (pow (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0)) 3) (pow i 3))
  (* (pow (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0)) 3) (pow i 3))
  (* (pow (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0)) 3) (pow i 3))
  (* (pow (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0)) 3) (pow i 3))
  (* (pow (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0)) 3) (pow i 3))
  (* (cbrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))) (cbrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (cbrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (* (pow (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0)) 3) (pow i 3))
  (sqrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (neg i)
  (/ (neg (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (/ i (* 2.0 2.0)))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (/ (cbrt i) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (cbrt i) (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (* (* (cbrt i) (cbrt i)) (* (cbrt i) (cbrt i))) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ (* (cbrt i) (cbrt i)) (* 2.0 2.0))
  (/ (* (* (cbrt i) (cbrt i)) (sqrt i)) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ (cbrt i) (/ (* 2.0 2.0) (sqrt i)))
  (* (/ (cbrt i) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (cbrt i))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (* (cbrt i) (cbrt i))
  (/ (* (cbrt i) i) (* (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) 2.0) 2.0))
  (* (/ (cbrt i) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (/ (cbrt i) (* 2.0 2.0)))
  (* (cbrt i) i)
  (/ (sqrt i) (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (/ (sqrt i) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (* (sqrt i) (* (cbrt i) (cbrt i))) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ (sqrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ i (* 2.0 2.0))
  (/ (sqrt i) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (sqrt i)
  (/ (* (sqrt i) i) (* (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) 2.0) 2.0))
  (/ (/ (sqrt i) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0))
  (* (sqrt i) i)
  (/ 1 (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (/ i (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ 1 (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ i (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (* 1 (* (cbrt i) (cbrt i))) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (/ (* 1 (sqrt i)) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (/ 1 (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ i (/ (* 2.0 2.0) i))
  1
  (* (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (/ i (* 2.0 2.0)))
  (/ (/ 1 (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0))
  (pow i 2)
  (/ (* (/ 1 (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) i) (* 2.0 2.0))
  (* (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) i) (/ (* 2.0 2.0) i))
  (/ i (* (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)) (cbrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i))))
  (/ i (sqrt (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))
  (/ (* i (* (cbrt i) (cbrt i))) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ (* i (sqrt i)) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  i
  (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0))
  (* (/ (* 2.0 2.0) (cbrt i)) (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) i))
  (* (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (sqrt i)) (/ (* 2.0 2.0) i))
  (* (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) i) (/ (* 2.0 2.0) i))
  (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0))
  (- (* (* 2.0 i) (* 2.0 i)) 1.0)
  (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (pow (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) 3)
  (* (cbrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (cbrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))))
  (cbrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (pow (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) 3)
  (sqrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (sqrt (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))))
  (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))
  (* (+ (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0))) (- (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0))))
  (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (- (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0))))
  (* (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (* (+ (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))
  (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (- (* (* 2.0 i) (* 2.0 i)) 1.0)
  (* (sqrt (+ (* 2.0 i) (sqrt 1.0))) (sqrt (- (* 2.0 i) (sqrt 1.0))))
  (* (sqrt (+ (* 2.0 i) (sqrt 1.0))) (sqrt (- (* 2.0 i) (sqrt 1.0))))
  (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0)))
  (* (neg (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))
  (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0)))
  (* (neg (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))
  (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0)))
  (* (neg (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))
  (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0)))
  (* (neg (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0)))))
  (* (+ (* 2.0 i) (sqrt 1.0)) (sqrt (- (* 2.0 i) (sqrt 1.0))))
  (+ (* 2.0 i) (sqrt 1.0))
  (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))
  (* (sqrt (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))
  (- (* (* 2.0 i) (* 2.0 i)) 1.0)
  (* (+ (* 2.0 i) (sqrt 1.0)) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))
  (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (+ (* 2.0 i) (sqrt 1.0)))
  (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (* 2.0 i) (sqrt 1.0)))
  (* (- (* 2.0 i) (sqrt 1.0)) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)))
  (+ (* 16.0 i) (neg (/ (* 4.0 1.0) i)))
  (+ (* 16.0 i) (neg (/ (* 4.0 1.0) i)))
  (+ (* 16.0 i) (neg (/ (* 4.0 1.0) i)))
  (- (/ (neg (* 1.0 (pow i 4))) (* 1.0 1.0)) (+ (* 4.0 (/ (pow i 6) (pow (sqrt 1.0) 6))) (/ (* 0.25 (pow i 2)) 1.0)))
  (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4))))
  (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4))))
  (+ (* 4.0 (pow i 2)) (neg 1.0))
  (+ (* 4.0 (pow i 2)) (neg 1.0))
  (+ (* 4.0 (pow i 2)) (neg 1.0))
2.376 * * * [progress]: adding candidates to table
2.577 * [progress]: [Phase 3 of 3] Extracting.
2.577 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))> #<alt (λ (i) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))> #<alt (λ (i) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))>)
2.578 * * * [regime-changes]: Trying 1 branch expressions: (i)
2.578 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ i (/ (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) i)))> #<alt (λ (i) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))> #<alt (λ (i) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))>)
2.589 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.589 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
2.590 * * [simplify]: iteration  0 :  13  enodes  (cost  5 )
2.590 * * [simplify]: iteration  1 :  13  enodes  (cost  5 )
2.590 * [simplify]: Simplified to:
   (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
3.122 * [regime-testing]: Baseline error score: 0.210729813420821
3.123 * [regime-testing]: Oracle error score: 0.14137678335429235
3.124 * [regime-testing]: End program error score: 0.210729813420821