23.369 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [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.028 * * [simplify]: iteration  0 :  31  enodes  (cost  12 )
0.030 * * [simplify]: iteration  1 :  168  enodes  (cost  11 )
0.035 * * [simplify]: iteration  2 :  965  enodes  (cost  9 )
0.058 * * [simplify]: iteration  3 :  5001  enodes  (cost  8 )
0.059 * [simplify]: Simplified to:
   (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
0.063 * * [progress]: iteration 1 / 4
0.063 * * * [progress]: picking best candidate
0.065 * * * * [pick]: Picked  #<alt (λ (i) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))>
0.065 * * * [progress]: localizing error
0.073 * * * [progress]: generating rewritten candidates
0.073 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.086 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.097 * * * [progress]: generating series expansions
0.097 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.097 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.097 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.097 * [taylor]: Taking taylor expansion of 0.25 in i
0.097 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.097 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.097 * [taylor]: Taking taylor expansion of i in i
0.097 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.097 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.097 * [taylor]: Taking taylor expansion of 4.0 in i
0.097 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.097 * [taylor]: Taking taylor expansion of i in i
0.097 * [taylor]: Taking taylor expansion of 1.0 in i
0.097 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.097 * [taylor]: Taking taylor expansion of 0.25 in i
0.097 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.098 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.098 * [taylor]: Taking taylor expansion of i in i
0.098 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.098 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.098 * [taylor]: Taking taylor expansion of 4.0 in i
0.098 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.098 * [taylor]: Taking taylor expansion of i in i
0.098 * [taylor]: Taking taylor expansion of 1.0 in i
0.099 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.099 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.099 * [taylor]: Taking taylor expansion of 0.25 in i
0.099 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.099 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.099 * [taylor]: Taking taylor expansion of i in i
0.099 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.099 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.099 * [taylor]: Taking taylor expansion of 4.0 in i
0.099 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.099 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.099 * [taylor]: Taking taylor expansion of i in i
0.099 * [taylor]: Taking taylor expansion of 1.0 in i
0.099 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.099 * [taylor]: Taking taylor expansion of 0.25 in i
0.099 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.100 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.100 * [taylor]: Taking taylor expansion of i in i
0.100 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.100 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.100 * [taylor]: Taking taylor expansion of 4.0 in i
0.100 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.100 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.100 * [taylor]: Taking taylor expansion of i in i
0.100 * [taylor]: Taking taylor expansion of 1.0 in i
0.101 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.101 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.101 * [taylor]: Taking taylor expansion of 0.25 in i
0.101 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.101 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.101 * [taylor]: Taking taylor expansion of i in i
0.101 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.101 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.101 * [taylor]: Taking taylor expansion of 4.0 in i
0.101 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.101 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.101 * [taylor]: Taking taylor expansion of i in i
0.101 * [taylor]: Taking taylor expansion of 1.0 in i
0.101 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.101 * [taylor]: Taking taylor expansion of 0.25 in i
0.101 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.101 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.101 * [taylor]: Taking taylor expansion of i in i
0.101 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.101 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.101 * [taylor]: Taking taylor expansion of 4.0 in i
0.101 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.101 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.101 * [taylor]: Taking taylor expansion of i in i
0.102 * [taylor]: Taking taylor expansion of 1.0 in i
0.103 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.103 * [approximate]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in (i) around 0
0.103 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.103 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.103 * [taylor]: Taking taylor expansion of 4.0 in i
0.103 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.103 * [taylor]: Taking taylor expansion of i in i
0.103 * [taylor]: Taking taylor expansion of 1.0 in i
0.103 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.103 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.103 * [taylor]: Taking taylor expansion of 4.0 in i
0.103 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.103 * [taylor]: Taking taylor expansion of i in i
0.103 * [taylor]: Taking taylor expansion of 1.0 in i
0.104 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.104 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.104 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.104 * [taylor]: Taking taylor expansion of 4.0 in i
0.104 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.104 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.104 * [taylor]: Taking taylor expansion of i in i
0.104 * [taylor]: Taking taylor expansion of 1.0 in i
0.104 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.104 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.104 * [taylor]: Taking taylor expansion of 4.0 in i
0.104 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.104 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.104 * [taylor]: Taking taylor expansion of i in i
0.104 * [taylor]: Taking taylor expansion of 1.0 in i
0.106 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.106 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.106 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.106 * [taylor]: Taking taylor expansion of 4.0 in i
0.106 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.106 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.106 * [taylor]: Taking taylor expansion of i in i
0.106 * [taylor]: Taking taylor expansion of 1.0 in i
0.106 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.106 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.106 * [taylor]: Taking taylor expansion of 4.0 in i
0.106 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.106 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.106 * [taylor]: Taking taylor expansion of i in i
0.106 * [taylor]: Taking taylor expansion of 1.0 in i
0.108 * * * [progress]: simplifying candidates
0.108 * [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.113 * * [simplify]: iteration  0 :  342  enodes  (cost  496 )
0.120 * * [simplify]: iteration  1 :  1633  enodes  (cost  364 )
0.148 * * [simplify]: iteration  2 :  5001  enodes  (cost  364 )
0.150 * [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.151 * * * [progress]: adding candidates to table
0.205 * * [progress]: iteration 2 / 4
0.205 * * * [progress]: picking best candidate
0.214 * * * * [pick]: Picked  #<alt (λ (i) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))>
0.214 * * * [progress]: localizing error
0.222 * * * [progress]: generating rewritten candidates
0.222 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.234 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.246 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
0.257 * * * [progress]: generating series expansions
0.257 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.257 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in (i) around 0
0.257 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in i
0.257 * [taylor]: Taking taylor expansion of 4.0 in i
0.257 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (pow i 2)) 1.0) i) in i
0.257 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.257 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.257 * [taylor]: Taking taylor expansion of 4.0 in i
0.257 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.257 * [taylor]: Taking taylor expansion of i in i
0.257 * [taylor]: Taking taylor expansion of 1.0 in i
0.257 * [taylor]: Taking taylor expansion of i in i
0.257 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in i
0.257 * [taylor]: Taking taylor expansion of 4.0 in i
0.257 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (pow i 2)) 1.0) i) in i
0.258 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.258 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.258 * [taylor]: Taking taylor expansion of 4.0 in i
0.258 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.258 * [taylor]: Taking taylor expansion of i in i
0.258 * [taylor]: Taking taylor expansion of 1.0 in i
0.258 * [taylor]: Taking taylor expansion of i in i
0.259 * [approximate]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.259 * [taylor]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.260 * [taylor]: Taking taylor expansion of 4.0 in i
0.260 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.260 * [taylor]: Taking taylor expansion of i in i
0.260 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.260 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.260 * [taylor]: Taking taylor expansion of 4.0 in i
0.260 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.260 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.260 * [taylor]: Taking taylor expansion of i in i
0.260 * [taylor]: Taking taylor expansion of 1.0 in i
0.260 * [taylor]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.260 * [taylor]: Taking taylor expansion of 4.0 in i
0.260 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.260 * [taylor]: Taking taylor expansion of i in i
0.260 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.260 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.260 * [taylor]: Taking taylor expansion of 4.0 in i
0.260 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.260 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.260 * [taylor]: Taking taylor expansion of i in i
0.260 * [taylor]: Taking taylor expansion of 1.0 in i
0.263 * [approximate]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.263 * [taylor]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.263 * [taylor]: Taking taylor expansion of -4.0 in i
0.263 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.263 * [taylor]: Taking taylor expansion of i in i
0.263 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.263 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.263 * [taylor]: Taking taylor expansion of 4.0 in i
0.263 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.263 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.263 * [taylor]: Taking taylor expansion of i in i
0.263 * [taylor]: Taking taylor expansion of 1.0 in i
0.263 * [taylor]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.263 * [taylor]: Taking taylor expansion of -4.0 in i
0.263 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.263 * [taylor]: Taking taylor expansion of i in i
0.263 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.263 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.263 * [taylor]: Taking taylor expansion of 4.0 in i
0.263 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.263 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.263 * [taylor]: Taking taylor expansion of i in i
0.263 * [taylor]: Taking taylor expansion of 1.0 in i
0.266 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.266 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.266 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.266 * [taylor]: Taking taylor expansion of 0.25 in i
0.266 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.266 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.266 * [taylor]: Taking taylor expansion of i in i
0.266 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.266 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.266 * [taylor]: Taking taylor expansion of 4.0 in i
0.266 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.266 * [taylor]: Taking taylor expansion of i in i
0.267 * [taylor]: Taking taylor expansion of 1.0 in i
0.267 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.267 * [taylor]: Taking taylor expansion of 0.25 in i
0.267 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.267 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.267 * [taylor]: Taking taylor expansion of i in i
0.267 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.267 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.267 * [taylor]: Taking taylor expansion of 4.0 in i
0.267 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.267 * [taylor]: Taking taylor expansion of i in i
0.267 * [taylor]: Taking taylor expansion of 1.0 in i
0.268 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.268 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.268 * [taylor]: Taking taylor expansion of 0.25 in i
0.268 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.268 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.268 * [taylor]: Taking taylor expansion of i in i
0.268 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.268 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.268 * [taylor]: Taking taylor expansion of 4.0 in i
0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.268 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.268 * [taylor]: Taking taylor expansion of i in i
0.268 * [taylor]: Taking taylor expansion of 1.0 in i
0.268 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.268 * [taylor]: Taking taylor expansion of 0.25 in i
0.268 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.268 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.268 * [taylor]: Taking taylor expansion of i in i
0.268 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.268 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.268 * [taylor]: Taking taylor expansion of 4.0 in i
0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.268 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.268 * [taylor]: Taking taylor expansion of i in i
0.268 * [taylor]: Taking taylor expansion of 1.0 in i
0.270 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.270 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.270 * [taylor]: Taking taylor expansion of 0.25 in i
0.270 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.270 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.270 * [taylor]: Taking taylor expansion of i in i
0.270 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.270 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.270 * [taylor]: Taking taylor expansion of 4.0 in i
0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.270 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.270 * [taylor]: Taking taylor expansion of i in i
0.270 * [taylor]: Taking taylor expansion of 1.0 in i
0.270 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.270 * [taylor]: Taking taylor expansion of 0.25 in i
0.270 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.270 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.270 * [taylor]: Taking taylor expansion of i in i
0.270 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.270 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.270 * [taylor]: Taking taylor expansion of 4.0 in i
0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.270 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.270 * [taylor]: Taking taylor expansion of i in i
0.270 * [taylor]: Taking taylor expansion of 1.0 in i
0.271 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
0.272 * [approximate]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in (i) around 0
0.272 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.272 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.272 * [taylor]: Taking taylor expansion of 4.0 in i
0.272 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.272 * [taylor]: Taking taylor expansion of i in i
0.272 * [taylor]: Taking taylor expansion of 1.0 in i
0.272 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.272 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.272 * [taylor]: Taking taylor expansion of 4.0 in i
0.272 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.272 * [taylor]: Taking taylor expansion of i in i
0.272 * [taylor]: Taking taylor expansion of 1.0 in i
0.273 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.273 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.273 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.273 * [taylor]: Taking taylor expansion of 4.0 in i
0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.273 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.273 * [taylor]: Taking taylor expansion of i in i
0.273 * [taylor]: Taking taylor expansion of 1.0 in i
0.273 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.273 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.273 * [taylor]: Taking taylor expansion of 4.0 in i
0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.273 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.273 * [taylor]: Taking taylor expansion of i in i
0.273 * [taylor]: Taking taylor expansion of 1.0 in i
0.275 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.275 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.275 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.275 * [taylor]: Taking taylor expansion of 4.0 in i
0.275 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.275 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.275 * [taylor]: Taking taylor expansion of i in i
0.275 * [taylor]: Taking taylor expansion of 1.0 in i
0.275 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.275 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.275 * [taylor]: Taking taylor expansion of 4.0 in i
0.275 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.275 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.275 * [taylor]: Taking taylor expansion of i in i
0.275 * [taylor]: Taking taylor expansion of 1.0 in i
0.276 * * * [progress]: simplifying candidates
0.278 * [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.286 * * [simplify]: iteration  0 :  483  enodes  (cost  1066 )
0.295 * * [simplify]: iteration  1 :  2407  enodes  (cost  906 )
0.337 * * [simplify]: iteration  2 :  5001  enodes  (cost  899 )
0.341 * [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.342 * * * [progress]: adding candidates to table
0.447 * * [progress]: iteration 3 / 4
0.447 * * * [progress]: picking best candidate
0.454 * * * * [pick]: Picked  #<alt (λ (i) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))>
0.454 * * * [progress]: localizing error
0.463 * * * [progress]: generating rewritten candidates
0.463 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.473 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 1)
0.479 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.486 * * * [progress]: generating series expansions
0.486 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.487 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.487 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.487 * [taylor]: Taking taylor expansion of 0.25 in i
0.487 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.487 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.487 * [taylor]: Taking taylor expansion of i in i
0.487 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.487 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.487 * [taylor]: Taking taylor expansion of 4.0 in i
0.487 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.487 * [taylor]: Taking taylor expansion of i in i
0.487 * [taylor]: Taking taylor expansion of 1.0 in i
0.487 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.487 * [taylor]: Taking taylor expansion of 0.25 in i
0.487 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.487 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.487 * [taylor]: Taking taylor expansion of i in i
0.487 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.487 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.487 * [taylor]: Taking taylor expansion of 4.0 in i
0.487 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.487 * [taylor]: Taking taylor expansion of i in i
0.487 * [taylor]: Taking taylor expansion of 1.0 in i
0.489 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.489 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.489 * [taylor]: Taking taylor expansion of 0.25 in i
0.489 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.489 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.489 * [taylor]: Taking taylor expansion of i in i
0.489 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.489 * [taylor]: Taking taylor expansion of 4.0 in i
0.489 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.489 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.489 * [taylor]: Taking taylor expansion of i in i
0.489 * [taylor]: Taking taylor expansion of 1.0 in i
0.489 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.489 * [taylor]: Taking taylor expansion of 0.25 in i
0.489 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.489 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.489 * [taylor]: Taking taylor expansion of i in i
0.489 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.489 * [taylor]: Taking taylor expansion of 4.0 in i
0.489 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.489 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.489 * [taylor]: Taking taylor expansion of i in i
0.489 * [taylor]: Taking taylor expansion of 1.0 in i
0.490 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.490 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.490 * [taylor]: Taking taylor expansion of 0.25 in i
0.490 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.491 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.491 * [taylor]: Taking taylor expansion of i in i
0.491 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.491 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.491 * [taylor]: Taking taylor expansion of 4.0 in i
0.491 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.491 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.491 * [taylor]: Taking taylor expansion of i in i
0.491 * [taylor]: Taking taylor expansion of 1.0 in i
0.491 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.491 * [taylor]: Taking taylor expansion of 0.25 in i
0.491 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.491 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.491 * [taylor]: Taking taylor expansion of i in i
0.491 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.491 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.491 * [taylor]: Taking taylor expansion of 4.0 in i
0.491 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.491 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.491 * [taylor]: Taking taylor expansion of i in i
0.491 * [taylor]: Taking taylor expansion of 1.0 in i
0.492 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 1)
0.492 * [approximate]: Taking taylor expansion of (* 4.0 (pow i 2)) in (i) around 0
0.492 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.492 * [taylor]: Taking taylor expansion of 4.0 in i
0.492 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.492 * [taylor]: Taking taylor expansion of i in i
0.492 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.492 * [taylor]: Taking taylor expansion of 4.0 in i
0.492 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.492 * [taylor]: Taking taylor expansion of i in i
0.493 * [approximate]: Taking taylor expansion of (/ 4.0 (pow i 2)) in (i) around 0
0.493 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 2)) in i
0.493 * [taylor]: Taking taylor expansion of 4.0 in i
0.493 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.493 * [taylor]: Taking taylor expansion of i in i
0.493 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 2)) in i
0.493 * [taylor]: Taking taylor expansion of 4.0 in i
0.493 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.493 * [taylor]: Taking taylor expansion of i in i
0.494 * [approximate]: Taking taylor expansion of (/ 4.0 (pow i 2)) in (i) around 0
0.494 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 2)) in i
0.494 * [taylor]: Taking taylor expansion of 4.0 in i
0.494 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.494 * [taylor]: Taking taylor expansion of i in i
0.494 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 2)) in i
0.494 * [taylor]: Taking taylor expansion of 4.0 in i
0.494 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.494 * [taylor]: Taking taylor expansion of i in i
0.495 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
0.495 * [approximate]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in (i) around 0
0.495 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.495 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.495 * [taylor]: Taking taylor expansion of 4.0 in i
0.495 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.495 * [taylor]: Taking taylor expansion of i in i
0.495 * [taylor]: Taking taylor expansion of 1.0 in i
0.495 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.495 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.495 * [taylor]: Taking taylor expansion of 4.0 in i
0.495 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.495 * [taylor]: Taking taylor expansion of i in i
0.495 * [taylor]: Taking taylor expansion of 1.0 in i
0.496 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.496 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.496 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.496 * [taylor]: Taking taylor expansion of 4.0 in i
0.496 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.496 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.496 * [taylor]: Taking taylor expansion of i in i
0.496 * [taylor]: Taking taylor expansion of 1.0 in i
0.496 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.496 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.496 * [taylor]: Taking taylor expansion of 4.0 in i
0.496 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.496 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.496 * [taylor]: Taking taylor expansion of i in i
0.496 * [taylor]: Taking taylor expansion of 1.0 in i
0.498 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.498 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.498 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.498 * [taylor]: Taking taylor expansion of 4.0 in i
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.498 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.498 * [taylor]: Taking taylor expansion of i in i
0.498 * [taylor]: Taking taylor expansion of 1.0 in i
0.498 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.498 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.498 * [taylor]: Taking taylor expansion of 4.0 in i
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.498 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.498 * [taylor]: Taking taylor expansion of i in i
0.498 * [taylor]: Taking taylor expansion of 1.0 in i
0.500 * * * [progress]: simplifying candidates
0.501 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log i) (log i)) (+ (log (- (* 4.0 (pow i 2)) 1.0)) (+ (log 2.0) (log 2.0))))
  (- (+ (log i) (log i)) (+ (log (- (* 4.0 (pow i 2)) 1.0)) (log (* 2.0 2.0))))
  (- (+ (log i) (log i)) (log (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (- (log (* i i)) (+ (log (- (* 4.0 (pow i 2)) 1.0)) (+ (log 2.0) (log 2.0))))
  (- (log (* i i)) (+ (log (- (* 4.0 (pow i 2)) 1.0)) (log (* 2.0 2.0))))
  (- (log (* i i)) (log (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (exp (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4.0 (pow i 2)) 1.0) (- (* 4.0 (pow i 2)) 1.0)) (- (* 4.0 (pow i 2)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4.0 (pow i 2)) 1.0) (- (* 4.0 (pow i 2)) 1.0)) (- (* 4.0 (pow i 2)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4.0 (pow i 2)) 1.0) (- (* 4.0 (pow i 2)) 1.0)) (- (* 4.0 (pow i 2)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4.0 (pow i 2)) 1.0) (- (* 4.0 (pow i 2)) 1.0)) (- (* 4.0 (pow i 2)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (* (cbrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))))
  (cbrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (* (* (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (neg (* i i))
  (neg (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))
  (/ i (- (* 4.0 (pow i 2)) 1.0))
  (/ i (* 2.0 2.0))
  (/ 1 (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* i i))
  (/ (* i i) (- (* 4.0 (pow i 2)) 1.0))
  (/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) i)
  (/ (* i i) (* (- (pow (* 4.0 (pow i 2)) 3) (pow 1.0 3)) (* 2.0 2.0)))
  (/ (* i i) (* (- (* (* 4.0 (pow i 2)) (* 4.0 (pow i 2))) (* 1.0 1.0)) (* 2.0 2.0)))
  (+ (log 4.0) (* (log i) 2))
  (+ (log 4.0) (* (log i) 2))
  (+ (log 4.0) (log (pow i 2)))
  (log (* 4.0 (pow i 2)))
  (exp (* 4.0 (pow i 2)))
  (* (* (* 4.0 4.0) 4.0) (* (* (pow i 2) (pow i 2)) (pow i 2)))
  (* (cbrt (* 4.0 (pow i 2))) (cbrt (* 4.0 (pow i 2))))
  (cbrt (* 4.0 (pow i 2)))
  (* (* (* 4.0 (pow i 2)) (* 4.0 (pow i 2))) (* 4.0 (pow i 2)))
  (sqrt (* 4.0 (pow i 2)))
  (sqrt (* 4.0 (pow i 2)))
  (* (sqrt 4.0) (pow (sqrt i) 2))
  (* (sqrt 4.0) (pow (sqrt i) 2))
  (* (sqrt 4.0) i)
  (* (sqrt 4.0) i)
  (* (sqrt 4.0) (sqrt (pow i 2)))
  (* (sqrt 4.0) (sqrt (pow i 2)))
  (* (sqrt 4.0) (pow i (/ 2 2)))
  (* (sqrt 4.0) (pow i (/ 2 2)))
  (* 4.0 (pow (* (cbrt i) (cbrt i)) 2))
  (* 4.0 (pow (sqrt i) 2))
  (* 4.0 (pow 1 2))
  (* 4.0 i)
  (* 4.0 (* (cbrt (pow i 2)) (cbrt (pow i 2))))
  (* 4.0 (sqrt (pow i 2)))
  (* 4.0 1)
  (* 4.0 (pow i (/ 2 2)))
  (* (cbrt 4.0) (pow i 2))
  (* (sqrt 4.0) (pow i 2))
  (* 4.0 (pow i 2))
  (/ (exp (* 4.0 (pow i 2))) (exp 1.0))
  (log (- (* 4.0 (pow i 2)) 1.0))
  (exp (- (* 4.0 (pow i 2)) 1.0))
  (* (cbrt (- (* 4.0 (pow i 2)) 1.0)) (cbrt (- (* 4.0 (pow i 2)) 1.0)))
  (cbrt (- (* 4.0 (pow i 2)) 1.0))
  (* (* (- (* 4.0 (pow i 2)) 1.0) (- (* 4.0 (pow i 2)) 1.0)) (- (* 4.0 (pow i 2)) 1.0))
  (sqrt (- (* 4.0 (pow i 2)) 1.0))
  (sqrt (- (* 4.0 (pow i 2)) 1.0))
  (- (pow (* 4.0 (pow i 2)) 3) (pow 1.0 3))
  (+ (* (* 4.0 (pow i 2)) (* 4.0 (pow i 2))) (+ (* 1.0 1.0) (* (* 4.0 (pow i 2)) 1.0)))
  (neg 1.0)
  (- (* (* 4.0 (pow i 2)) (* 4.0 (pow i 2))) (* 1.0 1.0))
  (+ (* 4.0 (pow i 2)) 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))
  (* 4.0 (pow i 2))
  (* 4.0 (pow i 2))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.507 * * [simplify]: iteration  0 :  409  enodes  (cost  514 )
0.514 * * [simplify]: iteration  1 :  1929  enodes  (cost  402 )
0.549 * * [simplify]: iteration  2 :  5002  enodes  (cost  402 )
0.552 * [simplify]: Simplified to:
   (log (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (exp (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (pow (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) 3)
  (* (cbrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))))
  (cbrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (pow (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) 3)
  (sqrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))
  (neg (* i i))
  (neg (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))
  (/ i (- (* 4.0 (pow i 2)) 1.0))
  (/ i (* 2.0 2.0))
  (/ 1 (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* i i))
  (/ (* i i) (- (* 4.0 (pow i 2)) 1.0))
  (/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) i)
  (/ (* i i) (* (- (pow (* 4.0 (pow i 2)) 3) (pow 1.0 3)) (* 2.0 2.0)))
  (/ (* i i) (* (- (* (* 4.0 (pow i 2)) (* 4.0 (pow i 2))) (* 1.0 1.0)) (* 2.0 2.0)))
  (log (* 4.0 (pow i 2)))
  (log (* 4.0 (pow i 2)))
  (log (* 4.0 (pow i 2)))
  (log (* 4.0 (pow i 2)))
  (exp (* 4.0 (pow i 2)))
  (pow (* 4.0 (pow i 2)) 3)
  (* (cbrt (* 4.0 (pow i 2))) (cbrt (* 4.0 (pow i 2))))
  (cbrt (* 4.0 (pow i 2)))
  (pow (* 4.0 (pow i 2)) 3)
  (sqrt (* 4.0 (pow i 2)))
  (sqrt (* 4.0 (pow i 2)))
  (* i (sqrt 4.0))
  (* i (sqrt 4.0))
  (* i (sqrt 4.0))
  (* i (sqrt 4.0))
  (* (sqrt 4.0) (sqrt (pow i 2)))
  (* (sqrt 4.0) (sqrt (pow i 2)))
  (* i (sqrt 4.0))
  (* i (sqrt 4.0))
  (* 4.0 (pow (* (cbrt i) (cbrt i)) 2))
  (* i 4.0)
  4.0
  (* i 4.0)
  (* 4.0 (* (cbrt (pow i 2)) (cbrt (pow i 2))))
  (* 4.0 (fabs i))
  4.0
  (* i 4.0)
  (* (cbrt 4.0) (pow i 2))
  (* (sqrt 4.0) (pow i 2))
  (* 4.0 (pow i 2))
  (exp (- (* 4.0 (pow i 2)) 1.0))
  (log (- (* 4.0 (pow i 2)) 1.0))
  (exp (- (* 4.0 (pow i 2)) 1.0))
  (* (cbrt (- (* 4.0 (pow i 2)) 1.0)) (cbrt (- (* 4.0 (pow i 2)) 1.0)))
  (cbrt (- (* 4.0 (pow i 2)) 1.0))
  (pow (- (* 4.0 (pow i 2)) 1.0) 3)
  (sqrt (- (* 4.0 (pow i 2)) 1.0))
  (sqrt (- (* 4.0 (pow i 2)) 1.0))
  (- (pow (* 4.0 (pow i 2)) 3) (pow 1.0 3))
  (+ (+ (* (pow i 4) (* 4.0 4.0)) (* (* 4.0 (pow i 2)) 1.0)) (* 1.0 1.0))
  (neg 1.0)
  (+ (neg (* 1.0 1.0)) (* (pow i 4) (* 4.0 4.0)))
  (+ (* 4.0 (pow i 2)) 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))
  (* 4.0 (pow i 2))
  (* 4.0 (pow i 2))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.552 * * * [progress]: adding candidates to table
0.627 * * [progress]: iteration 4 / 4
0.627 * * * [progress]: picking best candidate
0.632 * * * * [pick]: Picked  #<alt (λ (i) (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))>
0.632 * * * [progress]: localizing error
0.642 * * * [progress]: generating rewritten candidates
0.642 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.660 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.673 * * * [progress]: generating series expansions
0.673 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.673 * [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
0.673 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in i
0.673 * [taylor]: Taking taylor expansion of 0.25 in i
0.673 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i
0.673 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.673 * [taylor]: Taking taylor expansion of i in i
0.674 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
0.674 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
0.674 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.674 * [taylor]: Taking taylor expansion of 2.0 in i
0.674 * [taylor]: Taking taylor expansion of i in i
0.674 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.674 * [taylor]: Taking taylor expansion of 1.0 in i
0.674 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
0.674 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.674 * [taylor]: Taking taylor expansion of 2.0 in i
0.674 * [taylor]: Taking taylor expansion of i in i
0.674 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.674 * [taylor]: Taking taylor expansion of 1.0 in i
0.674 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in i
0.674 * [taylor]: Taking taylor expansion of 0.25 in i
0.674 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i
0.674 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.674 * [taylor]: Taking taylor expansion of i in i
0.674 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
0.674 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
0.674 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.674 * [taylor]: Taking taylor expansion of 2.0 in i
0.674 * [taylor]: Taking taylor expansion of i in i
0.674 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.674 * [taylor]: Taking taylor expansion of 1.0 in i
0.674 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
0.674 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.674 * [taylor]: Taking taylor expansion of 2.0 in i
0.674 * [taylor]: Taking taylor expansion of i in i
0.674 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.674 * [taylor]: Taking taylor expansion of 1.0 in i
0.678 * [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
0.678 * [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
0.679 * [taylor]: Taking taylor expansion of 0.25 in i
0.679 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i
0.679 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.679 * [taylor]: Taking taylor expansion of i in i
0.679 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
0.679 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.679 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.679 * [taylor]: Taking taylor expansion of 1.0 in i
0.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.679 * [taylor]: Taking taylor expansion of 2.0 in i
0.679 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.679 * [taylor]: Taking taylor expansion of i in i
0.679 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
0.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.679 * [taylor]: Taking taylor expansion of 2.0 in i
0.679 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.679 * [taylor]: Taking taylor expansion of i in i
0.679 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.679 * [taylor]: Taking taylor expansion of 1.0 in i
0.679 * [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
0.679 * [taylor]: Taking taylor expansion of 0.25 in i
0.679 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i
0.679 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.679 * [taylor]: Taking taylor expansion of i in i
0.679 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
0.679 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.679 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.679 * [taylor]: Taking taylor expansion of 1.0 in i
0.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.679 * [taylor]: Taking taylor expansion of 2.0 in i
0.679 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.679 * [taylor]: Taking taylor expansion of i in i
0.679 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
0.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.679 * [taylor]: Taking taylor expansion of 2.0 in i
0.679 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.679 * [taylor]: Taking taylor expansion of i in i
0.679 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.679 * [taylor]: Taking taylor expansion of 1.0 in i
0.682 * [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
0.682 * [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
0.682 * [taylor]: Taking taylor expansion of -0.25 in i
0.682 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
0.682 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.682 * [taylor]: Taking taylor expansion of i in i
0.682 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
0.682 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.682 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.682 * [taylor]: Taking taylor expansion of 1.0 in i
0.682 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.682 * [taylor]: Taking taylor expansion of 2.0 in i
0.682 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.682 * [taylor]: Taking taylor expansion of i in i
0.682 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.683 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.683 * [taylor]: Taking taylor expansion of 1.0 in i
0.683 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.683 * [taylor]: Taking taylor expansion of 2.0 in i
0.683 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.683 * [taylor]: Taking taylor expansion of i in i
0.683 * [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
0.683 * [taylor]: Taking taylor expansion of -0.25 in i
0.683 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
0.683 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.683 * [taylor]: Taking taylor expansion of i in i
0.683 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
0.683 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.683 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.683 * [taylor]: Taking taylor expansion of 1.0 in i
0.683 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.683 * [taylor]: Taking taylor expansion of 2.0 in i
0.683 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.683 * [taylor]: Taking taylor expansion of i in i
0.683 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.683 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.683 * [taylor]: Taking taylor expansion of 1.0 in i
0.683 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.683 * [taylor]: Taking taylor expansion of 2.0 in i
0.683 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.683 * [taylor]: Taking taylor expansion of i in i
0.686 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.686 * [approximate]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in (i) around 0
0.686 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
0.686 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
0.686 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.686 * [taylor]: Taking taylor expansion of 2.0 in i
0.686 * [taylor]: Taking taylor expansion of i in i
0.686 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.686 * [taylor]: Taking taylor expansion of 1.0 in i
0.686 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
0.686 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.686 * [taylor]: Taking taylor expansion of 2.0 in i
0.686 * [taylor]: Taking taylor expansion of i in i
0.686 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.686 * [taylor]: Taking taylor expansion of 1.0 in i
0.686 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
0.686 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
0.686 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.686 * [taylor]: Taking taylor expansion of 2.0 in i
0.686 * [taylor]: Taking taylor expansion of i in i
0.686 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.686 * [taylor]: Taking taylor expansion of 1.0 in i
0.686 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
0.686 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.686 * [taylor]: Taking taylor expansion of 2.0 in i
0.686 * [taylor]: Taking taylor expansion of i in i
0.686 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.686 * [taylor]: Taking taylor expansion of 1.0 in i
0.689 * [approximate]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in (i) around 0
0.689 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
0.689 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.689 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.689 * [taylor]: Taking taylor expansion of 1.0 in i
0.689 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.689 * [taylor]: Taking taylor expansion of 2.0 in i
0.689 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.689 * [taylor]: Taking taylor expansion of i in i
0.689 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
0.689 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.689 * [taylor]: Taking taylor expansion of 2.0 in i
0.689 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.689 * [taylor]: Taking taylor expansion of i in i
0.690 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.690 * [taylor]: Taking taylor expansion of 1.0 in i
0.690 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
0.690 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.690 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.690 * [taylor]: Taking taylor expansion of 1.0 in i
0.690 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.690 * [taylor]: Taking taylor expansion of 2.0 in i
0.690 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.690 * [taylor]: Taking taylor expansion of i in i
0.690 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
0.690 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.690 * [taylor]: Taking taylor expansion of 2.0 in i
0.690 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.690 * [taylor]: Taking taylor expansion of i in i
0.690 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.690 * [taylor]: Taking taylor expansion of 1.0 in i
0.694 * [approximate]: Taking taylor expansion of (* -1 (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in (i) around 0
0.694 * [taylor]: Taking taylor expansion of (* -1 (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
0.694 * [taylor]: Taking taylor expansion of -1 in i
0.694 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
0.694 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.694 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.694 * [taylor]: Taking taylor expansion of 1.0 in i
0.694 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.694 * [taylor]: Taking taylor expansion of 2.0 in i
0.694 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.694 * [taylor]: Taking taylor expansion of i in i
0.694 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.694 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.694 * [taylor]: Taking taylor expansion of 1.0 in i
0.694 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.694 * [taylor]: Taking taylor expansion of 2.0 in i
0.694 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.694 * [taylor]: Taking taylor expansion of i in i
0.694 * [taylor]: Taking taylor expansion of (* -1 (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
0.694 * [taylor]: Taking taylor expansion of -1 in i
0.694 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
0.694 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.694 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.694 * [taylor]: Taking taylor expansion of 1.0 in i
0.694 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.694 * [taylor]: Taking taylor expansion of 2.0 in i
0.694 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.694 * [taylor]: Taking taylor expansion of i in i
0.694 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.694 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.694 * [taylor]: Taking taylor expansion of 1.0 in i
0.694 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.694 * [taylor]: Taking taylor expansion of 2.0 in i
0.694 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.694 * [taylor]: Taking taylor expansion of i in i
0.699 * * * [progress]: simplifying candidates
0.700 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log i) (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 i)) (+ (+ (log (+ (* 2.0 i) (sqrt 1.0))) (log (- (* 2.0 i) (sqrt 1.0)))) (+ (log 2.0) (log 2.0))))
  (- (log (* i i)) (+ (+ (log (+ (* 2.0 i) (sqrt 1.0))) (log (- (* 2.0 i) (sqrt 1.0)))) (log (* 2.0 2.0))))
  (- (log (* i i)) (+ (log (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (+ (log 2.0) (log 2.0))))
  (- (log (* i i)) (+ (log (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))) (log (* 2.0 2.0))))
  (- (log (* i i)) (log (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))
  (log (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))
  (exp (/ (* i i) (* (* (+ (* 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 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 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))))
  (* (cbrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))))
  (cbrt (/ (* 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 i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))
  (neg (* i i))
  (neg (* (* (+ (* 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))))
  (/ i (* 2.0 2.0))
  (/ 1 (* (* (+ (* 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) (* (+ (* 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)) i)
  (/ (* i i) (* (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (* 2.0 2.0)))
  (/ (* i i) (* (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0)))) (* 2.0 2.0)))
  (/ (* i i) (* (* (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (* 2.0 2.0)))
  (/ (* i i) (* (* (- (* (* 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 2.0)))
  (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (* 2.0 2.0)))
  (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0)))) (* 2.0 2.0)))
  (/ (* i i) (* (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (/ (* i i) (* (* (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (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)))
  (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))
0.708 * * [simplify]: iteration  0 :  628  enodes  (cost  1179 )
0.720 * * [simplify]: iteration  1 :  3646  enodes  (cost  850 )
0.776 * * [simplify]: iteration  2 :  5001  enodes  (cost  825 )
0.780 * [simplify]: Simplified to:
   (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (pow (exp (/ i (* 2.0 2.0))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (cbrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))))
  (cbrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (sqrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))
  (neg (* i i))
  (* (neg (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (* 2.0 2.0))
  (/ 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))
  (* (/ (+ (* (* 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)) i))
  (/ (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (/ i (* 2.0 2.0)))
  (/ (* i i) (* (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (* 2.0 2.0)))
  (* (/ i (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))) (/ i (* 2.0 2.0)))
  (* (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (/ i (* (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (* 2.0 2.0))))
  (/ (* i (/ i (* 2.0 2.0))) (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))))
  (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (* 2.0 2.0)))
  (* (/ i (* (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (/ (* i i) (* (* (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)))
  (* (/ i (+ (* (* 2.0 i) (* 2.0 i)) (neg 1.0))) (/ i (* (- (* 2.0 i) (sqrt 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)) 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)) 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)))
  (- (/ (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))
0.780 * * * [progress]: adding candidates to table
0.888 * [progress]: [Phase 3 of 3] Extracting.
0.888 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))> #<alt (λ (i) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)))> #<alt (λ (i) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))> #<alt (λ (i) (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))>)
0.889 * * * [regime-changes]: Trying 1 branch expressions: (i)
0.889 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))> #<alt (λ (i) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)))> #<alt (λ (i) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))> #<alt (λ (i) (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))>)
0.924 * * * [regime]: Found split indices: #<option (#s(si 0 128) #s(si 1 255))>
0.924 * [binary-search]: Improving bounds with binary search for i and (#<alt (λ (i) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))> #<alt (λ (i) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)))> #<alt (λ (i) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))> #<alt (λ (i) (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))>)
0.940 * [regimes]: Found splitpoints: (#s(sp 0 i 213.33103315643075) #s(sp 1 i +nan.0)) , with alts (#<alt (λ (i) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))))> #<alt (λ (i) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)))> #<alt (λ (i) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))> #<alt (λ (i) (/ (* i i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0))))>)
0.941 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= i 213.33103315643075) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)))
0.942 * * [simplify]: iteration  0 :  35  enodes  (cost  15 )
0.942 * * [simplify]: iteration  1 :  35  enodes  (cost  15 )
0.942 * [simplify]: Simplified to:
   (if (<= i 213.33103315643075) (/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0))) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)))
2.092 * [regime-testing]: End program error score: 0.005506237544612883