15.536 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.018 * [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.020 * * [simplify]: iteration  0 :  31  enodes  (cost  12 )
0.022 * * [simplify]: iteration  1 :  168  enodes  (cost  11 )
0.026 * * [simplify]: iteration  2 :  965  enodes  (cost  9 )
0.048 * * [simplify]: iteration  3 :  5001  enodes  (cost  8 )
0.049 * [simplify]: Simplified to:
   (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
0.052 * * [progress]: iteration 1 / 4
0.052 * * * [progress]: picking best candidate
0.053 * * * * [pick]: Picked  #<alt (λ (i) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))>
0.053 * * * [progress]: localizing error
0.061 * * * [progress]: generating rewritten candidates
0.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.075 * * * [progress]: generating series expansions
0.075 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.076 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.076 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.076 * [taylor]: Taking taylor expansion of 0.25 in i
0.076 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.076 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.076 * [taylor]: Taking taylor expansion of i in i
0.076 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.076 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.076 * [taylor]: Taking taylor expansion of 4.0 in i
0.076 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.076 * [taylor]: Taking taylor expansion of i in i
0.076 * [taylor]: Taking taylor expansion of 1.0 in i
0.078 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.078 * [taylor]: Taking taylor expansion of 0.25 in i
0.078 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.078 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.078 * [taylor]: Taking taylor expansion of i in i
0.078 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.078 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.078 * [taylor]: Taking taylor expansion of 4.0 in i
0.078 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.078 * [taylor]: Taking taylor expansion of i in i
0.078 * [taylor]: Taking taylor expansion of 1.0 in i
0.100 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.100 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.100 * [taylor]: Taking taylor expansion of 0.25 in i
0.100 * [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.101 * [taylor]: Taking taylor expansion of 1.0 in i
0.102 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.102 * [taylor]: Taking taylor expansion of 0.25 in i
0.102 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.102 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.102 * [taylor]: Taking taylor expansion of i in i
0.102 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.102 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.102 * [taylor]: Taking taylor expansion of 4.0 in i
0.102 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.102 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.102 * [taylor]: Taking taylor expansion of i in i
0.103 * [taylor]: Taking taylor expansion of 1.0 in i
0.129 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.129 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.129 * [taylor]: Taking taylor expansion of 0.25 in i
0.129 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.129 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.129 * [taylor]: Taking taylor expansion of i in i
0.129 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.129 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.130 * [taylor]: Taking taylor expansion of 4.0 in i
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.130 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.130 * [taylor]: Taking taylor expansion of i in i
0.130 * [taylor]: Taking taylor expansion of 1.0 in i
0.131 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.131 * [taylor]: Taking taylor expansion of 0.25 in i
0.131 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.131 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.131 * [taylor]: Taking taylor expansion of i in i
0.131 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.131 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.131 * [taylor]: Taking taylor expansion of 4.0 in i
0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.131 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.131 * [taylor]: Taking taylor expansion of i in i
0.132 * [taylor]: Taking taylor expansion of 1.0 in i
0.154 * * * [progress]: simplifying candidates
0.155 * [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))))
  (- (* i i))
  (- (* (- (* (* 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)))
  (- (+ (* 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))
0.159 * * [simplify]: iteration  0 :  311  enodes  (cost  392 )
0.165 * * [simplify]: iteration  1 :  1550  enodes  (cost  273 )
0.191 * * [simplify]: iteration  2 :  5001  enodes  (cost  273 )
0.192 * [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))))
  (- (* i i))
  (- (* (- (* (* 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)))
  (- (+ (* 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))
0.192 * * * [progress]: adding candidates to table
0.235 * * [progress]: iteration 2 / 4
0.235 * * * [progress]: picking best candidate
0.238 * * * * [pick]: Picked  #<alt (λ (i) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))>
0.238 * * * [progress]: localizing error
0.246 * * * [progress]: generating rewritten candidates
0.246 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.255 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.275 * * * [progress]: generating series expansions
0.275 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.275 * [approximate]: Taking taylor expansion of (/ i (- (* 4.0 (pow i 2)) 1.0)) in (i) around 0
0.275 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 (pow i 2)) 1.0)) in i
0.275 * [taylor]: Taking taylor expansion of i in i
0.275 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.275 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.276 * [taylor]: Taking taylor expansion of 4.0 in i
0.276 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.276 * [taylor]: Taking taylor expansion of i in i
0.276 * [taylor]: Taking taylor expansion of 1.0 in i
0.277 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 (pow i 2)) 1.0)) in i
0.277 * [taylor]: Taking taylor expansion of i in i
0.277 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.277 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.277 * [taylor]: Taking taylor expansion of 4.0 in i
0.277 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.277 * [taylor]: Taking taylor expansion of i in i
0.277 * [taylor]: Taking taylor expansion of 1.0 in i
0.292 * [approximate]: Taking taylor expansion of (/ 1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.293 * [taylor]: Taking taylor expansion of (/ 1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.293 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.293 * [taylor]: Taking taylor expansion of i in i
0.293 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.293 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.293 * [taylor]: Taking taylor expansion of 4.0 in i
0.293 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.293 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.293 * [taylor]: Taking taylor expansion of i in i
0.293 * [taylor]: Taking taylor expansion of 1.0 in i
0.296 * [taylor]: Taking taylor expansion of (/ 1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.296 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.296 * [taylor]: Taking taylor expansion of i in i
0.297 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.297 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.297 * [taylor]: Taking taylor expansion of 4.0 in i
0.297 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.297 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.297 * [taylor]: Taking taylor expansion of i in i
0.297 * [taylor]: Taking taylor expansion of 1.0 in i
0.321 * [approximate]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.321 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.321 * [taylor]: Taking taylor expansion of -1 in i
0.321 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.321 * [taylor]: Taking taylor expansion of i in i
0.321 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.321 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.321 * [taylor]: Taking taylor expansion of 4.0 in i
0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.321 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.321 * [taylor]: Taking taylor expansion of i in i
0.322 * [taylor]: Taking taylor expansion of 1.0 in i
0.325 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.325 * [taylor]: Taking taylor expansion of -1 in i
0.325 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.325 * [taylor]: Taking taylor expansion of i in i
0.325 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.325 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.325 * [taylor]: Taking taylor expansion of 4.0 in i
0.325 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.325 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.325 * [taylor]: Taking taylor expansion of i in i
0.326 * [taylor]: Taking taylor expansion of 1.0 in i
0.356 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.356 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.356 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.356 * [taylor]: Taking taylor expansion of 0.25 in i
0.356 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.356 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.356 * [taylor]: Taking taylor expansion of i in i
0.356 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.357 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.357 * [taylor]: Taking taylor expansion of 4.0 in i
0.357 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.357 * [taylor]: Taking taylor expansion of i in i
0.357 * [taylor]: Taking taylor expansion of 1.0 in i
0.358 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.358 * [taylor]: Taking taylor expansion of 0.25 in i
0.358 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.358 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.358 * [taylor]: Taking taylor expansion of i in i
0.358 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.358 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.358 * [taylor]: Taking taylor expansion of 4.0 in i
0.358 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.358 * [taylor]: Taking taylor expansion of i in i
0.358 * [taylor]: Taking taylor expansion of 1.0 in i
0.380 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.380 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.380 * [taylor]: Taking taylor expansion of 0.25 in i
0.380 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.381 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.381 * [taylor]: Taking taylor expansion of i in i
0.381 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.381 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.381 * [taylor]: Taking taylor expansion of 4.0 in i
0.381 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.381 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.381 * [taylor]: Taking taylor expansion of i in i
0.381 * [taylor]: Taking taylor expansion of 1.0 in i
0.382 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.382 * [taylor]: Taking taylor expansion of 0.25 in i
0.382 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.382 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.382 * [taylor]: Taking taylor expansion of i in i
0.382 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.382 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.383 * [taylor]: Taking taylor expansion of 4.0 in i
0.383 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.383 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.383 * [taylor]: Taking taylor expansion of i in i
0.383 * [taylor]: Taking taylor expansion of 1.0 in i
0.406 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.406 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.406 * [taylor]: Taking taylor expansion of 0.25 in i
0.406 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.406 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.406 * [taylor]: Taking taylor expansion of i in i
0.406 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.406 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.406 * [taylor]: Taking taylor expansion of 4.0 in i
0.406 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.406 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.406 * [taylor]: Taking taylor expansion of i in i
0.407 * [taylor]: Taking taylor expansion of 1.0 in i
0.409 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.409 * [taylor]: Taking taylor expansion of 0.25 in i
0.409 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.409 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.409 * [taylor]: Taking taylor expansion of i in i
0.409 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.409 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.409 * [taylor]: Taking taylor expansion of 4.0 in i
0.409 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.409 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.409 * [taylor]: Taking taylor expansion of i in i
0.410 * [taylor]: Taking taylor expansion of 1.0 in i
0.441 * * * [progress]: simplifying candidates
0.443 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log i) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (exp (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.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)))
  (* (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- i)
  (- (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (cbrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (cbrt i) (cbrt i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (cbrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (cbrt i) (cbrt i)) 1)
  (/ (cbrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (cbrt i) (cbrt i)) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0)))
  (/ (sqrt i) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (sqrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (sqrt i) 1)
  (/ (sqrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (sqrt i) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0)))
  (/ 1 (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ i (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ 1 (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ 1 1)
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ 1 (+ (* 2.0 i) (sqrt 1.0)))
  (/ i (- (* 2.0 i) (sqrt 1.0)))
  (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) i)
  (/ i (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ i 1)
  (/ i (+ (* 2.0 i) (sqrt 1.0)))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) i)
  (/ i (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3)))
  (/ i (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0)))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))
  (+ (- (log i) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log i) (+ (log 2.0) (log 2.0))))
  (+ (- (log i) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log i) (log (* 2.0 2.0))))
  (+ (- (log i) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (log (/ i (* 2.0 2.0))))
  (+ (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log i) (+ (log 2.0) (log 2.0))))
  (+ (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log i) (log (* 2.0 2.0))))
  (+ (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (log (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (exp (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 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))) (/ (* (* i i) i) (* (* (* 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))) (/ (* (* i i) i) (* (* (* 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))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))))
  (* (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (* (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (* (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))))
  (* (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))))
  (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (* (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (* (/ 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 (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (* i i)
  (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))
  (* (sqrt (/ 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))) (sqrt (/ i (* 2.0 2.0))))
  (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0))
  (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0))
  (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0))))
  (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0))))
  (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0))
  (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (sqrt (/ i (* 2.0 2.0))))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt i) (cbrt i)) 2.0))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (sqrt i) 2.0))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ 1 2.0))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 1)
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i)
  (* (cbrt (/ 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)))
  (* (/ (cbrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (sqrt (- (* (* 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) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 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)) (/ i (* 2.0 2.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))) (/ i (* 2.0 2.0)))
  (* (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i (* 2.0 2.0)))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i)
  (* i (/ i (* 2.0 2.0)))
  (- (+ (* 4.0 (pow i 3)) (+ (* 16.0 (pow i 5)) (* 1.0 i))))
  (+ (* 0.015625 (/ 1 (pow i 5))) (+ (* 0.25 (/ 1 i)) (* 0.0625 (/ 1 (pow i 3)))))
  (+ (* 0.015625 (/ 1 (pow i 5))) (+ (* 0.25 (/ 1 i)) (* 0.0625 (/ 1 (pow i 3)))))
  (- (+ (* 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))
0.450 * * [simplify]: iteration  0 :  530  enodes  (cost  978 )
0.459 * * [simplify]: iteration  1 :  2493  enodes  (cost  842 )
0.510 * * [simplify]: iteration  2 :  5001  enodes  (cost  833 )
0.517 * [simplify]: Simplified to:
   (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (exp (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (pow (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 3)
  (* (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (pow (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 3)
  (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- i)
  (- (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (cbrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (cbrt i) (cbrt i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (cbrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (* (cbrt i) (cbrt i))
  (/ (cbrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (cbrt i) (cbrt i)) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0)))
  (/ (sqrt i) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (sqrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (sqrt i)
  (/ (sqrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (sqrt i) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0)))
  (/ 1 (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ i (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ 1 (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  1
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ 1 (+ (* 2.0 i) (sqrt 1.0)))
  (/ i (- (* 2.0 i) (sqrt 1.0)))
  (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) i)
  (/ i (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  i
  (/ i (+ (* 2.0 i) (sqrt 1.0)))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) i)
  (/ i (+ (- (pow 1.0 3)) (pow (* 2.0 i) 6)))
  (/ i (+ (- (* 1.0 1.0)) (* (* (pow (* 2.0 i) 3) i) 2.0)))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))
  (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (exp (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3)
  (* (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))))
  (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))
  (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3)
  (sqrt (* (/ 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))))
  (pow i 2)
  (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))
  (* (sqrt (/ 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))) (sqrt (/ i (* 2.0 2.0))))
  (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0))
  (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0))
  (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0))))
  (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0))))
  (/ (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) 2.0)
  (/ (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) 2.0)
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (sqrt (/ i (* 2.0 2.0))))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt i) (cbrt i)) 2.0))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (sqrt i) 2.0))
  (/ (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 2.0)
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i)
  (* (cbrt (/ 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)))
  (* (/ (cbrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (sqrt (- (* (* 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) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))
  (/ (/ i (* 2.0 2.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (/ i (* 2.0 2.0)) (+ (* 1.0 (+ 1.0 (* (* 2.0 i) (* 2.0 i)))) (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i)))))
  (* (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i (* 2.0 2.0)))
  (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i)
  (* i (/ i (* 2.0 2.0)))
  (- (+ (* 4.0 (pow i 3)) (+ (* 16.0 (pow i 5)) (* 1.0 i))))
  (+ (/ 0.0625 (pow i 3)) (+ (* 0.015625 (/ 1 (pow i 5))) (* 0.25 (/ 1 i))))
  (+ (/ 0.0625 (pow i 3)) (+ (* 0.015625 (/ 1 (pow i 5))) (* 0.25 (/ 1 i))))
  (- (+ (* 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))
0.517 * * * [progress]: adding candidates to table
0.712 * * [progress]: iteration 3 / 4
0.712 * * * [progress]: picking best candidate
0.715 * * * * [pick]: Picked  #<alt (λ (i) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))>
0.716 * * * [progress]: localizing error
0.726 * * * [progress]: generating rewritten candidates
0.726 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.744 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.759 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.772 * * * [progress]: generating series expansions
0.772 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.773 * [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.774 * [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.774 * [taylor]: Taking taylor expansion of 0.25 in i
0.774 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i
0.774 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.774 * [taylor]: Taking taylor expansion of i in i
0.774 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
0.774 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
0.774 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.774 * [taylor]: Taking taylor expansion of 2.0 in i
0.774 * [taylor]: Taking taylor expansion of i in i
0.774 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.774 * [taylor]: Taking taylor expansion of 1.0 in i
0.774 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
0.774 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.774 * [taylor]: Taking taylor expansion of 2.0 in i
0.775 * [taylor]: Taking taylor expansion of i in i
0.775 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.775 * [taylor]: Taking taylor expansion of 1.0 in i
0.781 * [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.781 * [taylor]: Taking taylor expansion of 0.25 in i
0.781 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i
0.781 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.781 * [taylor]: Taking taylor expansion of i in i
0.781 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i
0.781 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
0.781 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.781 * [taylor]: Taking taylor expansion of 2.0 in i
0.781 * [taylor]: Taking taylor expansion of i in i
0.781 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.781 * [taylor]: Taking taylor expansion of 1.0 in i
0.781 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
0.781 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.781 * [taylor]: Taking taylor expansion of 2.0 in i
0.782 * [taylor]: Taking taylor expansion of i in i
0.782 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.782 * [taylor]: Taking taylor expansion of 1.0 in i
0.857 * [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.857 * [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.857 * [taylor]: Taking taylor expansion of 0.25 in i
0.857 * [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.857 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.857 * [taylor]: Taking taylor expansion of i in i
0.857 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
0.857 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.857 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.857 * [taylor]: Taking taylor expansion of 1.0 in i
0.858 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.858 * [taylor]: Taking taylor expansion of 2.0 in i
0.858 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.858 * [taylor]: Taking taylor expansion of i in i
0.858 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
0.858 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.859 * [taylor]: Taking taylor expansion of 2.0 in i
0.859 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.859 * [taylor]: Taking taylor expansion of i in i
0.859 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.859 * [taylor]: Taking taylor expansion of 1.0 in i
0.861 * [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.861 * [taylor]: Taking taylor expansion of 0.25 in i
0.861 * [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.861 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.861 * [taylor]: Taking taylor expansion of i in i
0.862 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
0.862 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.862 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.862 * [taylor]: Taking taylor expansion of 1.0 in i
0.862 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.862 * [taylor]: Taking taylor expansion of 2.0 in i
0.862 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.862 * [taylor]: Taking taylor expansion of i in i
0.863 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
0.863 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.863 * [taylor]: Taking taylor expansion of 2.0 in i
0.863 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.863 * [taylor]: Taking taylor expansion of i in i
0.863 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.863 * [taylor]: Taking taylor expansion of 1.0 in i
0.916 * [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.916 * [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.916 * [taylor]: Taking taylor expansion of -0.25 in i
0.916 * [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.916 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.916 * [taylor]: Taking taylor expansion of i in i
0.916 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
0.916 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.916 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.916 * [taylor]: Taking taylor expansion of 1.0 in i
0.917 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.917 * [taylor]: Taking taylor expansion of 2.0 in i
0.917 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.917 * [taylor]: Taking taylor expansion of i in i
0.917 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.917 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.917 * [taylor]: Taking taylor expansion of 1.0 in i
0.918 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.918 * [taylor]: Taking taylor expansion of 2.0 in i
0.918 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.918 * [taylor]: Taking taylor expansion of i in i
0.921 * [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.921 * [taylor]: Taking taylor expansion of -0.25 in i
0.921 * [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.921 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.921 * [taylor]: Taking taylor expansion of i in i
0.921 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
0.921 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.921 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.921 * [taylor]: Taking taylor expansion of 1.0 in i
0.921 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.921 * [taylor]: Taking taylor expansion of 2.0 in i
0.921 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.922 * [taylor]: Taking taylor expansion of i in i
0.922 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
0.922 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.922 * [taylor]: Taking taylor expansion of 1.0 in i
0.922 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
0.922 * [taylor]: Taking taylor expansion of 2.0 in i
0.923 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.923 * [taylor]: Taking taylor expansion of i in i
0.966 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.966 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 2.0 i) (sqrt 1.0)))) in (i) around 0
0.966 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 2.0 i) (sqrt 1.0)))) in i
0.966 * [taylor]: Taking taylor expansion of 0.25 in i
0.966 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 2.0 i) (sqrt 1.0))) in i
0.966 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.966 * [taylor]: Taking taylor expansion of i in i
0.966 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
0.966 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.966 * [taylor]: Taking taylor expansion of 2.0 in i
0.966 * [taylor]: Taking taylor expansion of i in i
0.966 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.966 * [taylor]: Taking taylor expansion of 1.0 in i
0.970 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 2.0 i) (sqrt 1.0)))) in i
0.970 * [taylor]: Taking taylor expansion of 0.25 in i
0.970 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 2.0 i) (sqrt 1.0))) in i
0.970 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.970 * [taylor]: Taking taylor expansion of i in i
0.970 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i
0.970 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
0.970 * [taylor]: Taking taylor expansion of 2.0 in i
0.970 * [taylor]: Taking taylor expansion of i in i
0.970 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
0.970 * [taylor]: Taking taylor expansion of 1.0 in i
1.013 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in (i) around 0
1.013 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i
1.013 * [taylor]: Taking taylor expansion of 0.25 in i
1.013 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
1.014 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.014 * [taylor]: Taking taylor expansion of i in i
1.014 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
1.014 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.014 * [taylor]: Taking taylor expansion of 2.0 in i
1.014 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.014 * [taylor]: Taking taylor expansion of i in i
1.014 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.014 * [taylor]: Taking taylor expansion of 1.0 in i
1.016 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i
1.016 * [taylor]: Taking taylor expansion of 0.25 in i
1.016 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i
1.016 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.016 * [taylor]: Taking taylor expansion of i in i
1.016 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i
1.016 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.016 * [taylor]: Taking taylor expansion of 2.0 in i
1.016 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.016 * [taylor]: Taking taylor expansion of i in i
1.016 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.016 * [taylor]: Taking taylor expansion of 1.0 in i
1.036 * [approximate]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in (i) around 0
1.036 * [taylor]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
1.036 * [taylor]: Taking taylor expansion of -0.25 in i
1.036 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.036 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.036 * [taylor]: Taking taylor expansion of i in i
1.036 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.036 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.036 * [taylor]: Taking taylor expansion of 1.0 in i
1.036 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.036 * [taylor]: Taking taylor expansion of 2.0 in i
1.036 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.036 * [taylor]: Taking taylor expansion of i in i
1.038 * [taylor]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i
1.038 * [taylor]: Taking taylor expansion of -0.25 in i
1.038 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.038 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.038 * [taylor]: Taking taylor expansion of i in i
1.038 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.038 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.038 * [taylor]: Taking taylor expansion of 1.0 in i
1.039 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.039 * [taylor]: Taking taylor expansion of 2.0 in i
1.039 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.039 * [taylor]: Taking taylor expansion of i in i
1.056 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.056 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 2.0 i) (sqrt 1.0))) in (i) around 0
1.056 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 2.0 i) (sqrt 1.0))) in i
1.056 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
1.056 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.056 * [taylor]: Taking taylor expansion of 2.0 in i
1.056 * [taylor]: Taking taylor expansion of i in i
1.056 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.056 * [taylor]: Taking taylor expansion of 1.0 in i
1.058 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 2.0 i) (sqrt 1.0))) in i
1.058 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i
1.058 * [taylor]: Taking taylor expansion of (* 2.0 i) in i
1.058 * [taylor]: Taking taylor expansion of 2.0 in i
1.058 * [taylor]: Taking taylor expansion of i in i
1.058 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.058 * [taylor]: Taking taylor expansion of 1.0 in i
1.085 * [approximate]: Taking taylor expansion of (/ 1 (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in (i) around 0
1.086 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.086 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.086 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.086 * [taylor]: Taking taylor expansion of 1.0 in i
1.086 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.086 * [taylor]: Taking taylor expansion of 2.0 in i
1.086 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.086 * [taylor]: Taking taylor expansion of i in i
1.087 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.087 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.087 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.087 * [taylor]: Taking taylor expansion of 1.0 in i
1.088 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.088 * [taylor]: Taking taylor expansion of 2.0 in i
1.088 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.088 * [taylor]: Taking taylor expansion of i in i
1.102 * [approximate]: Taking taylor expansion of (/ 1 (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in (i) around 0
1.102 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.102 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.102 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.102 * [taylor]: Taking taylor expansion of 1.0 in i
1.103 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.103 * [taylor]: Taking taylor expansion of 2.0 in i
1.103 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.103 * [taylor]: Taking taylor expansion of i in i
1.105 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in i
1.105 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i
1.105 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.105 * [taylor]: Taking taylor expansion of 1.0 in i
1.105 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i
1.106 * [taylor]: Taking taylor expansion of 2.0 in i
1.106 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.106 * [taylor]: Taking taylor expansion of i in i
1.123 * * * [progress]: simplifying candidates
1.125 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0)))))
  (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0)))))
  (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0)))))
  (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0)))))
  (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0)))))
  (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0)))))
  (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0)))))
  (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0)))))
  (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0)))))
  (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0)))))
  (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0)))))
  (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0)))))
  (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0)))))
  (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0)))))
  (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0)))))
  (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0)))))
  (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0)))))
  (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0)))))
  (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0)))))
  (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0)))))
  (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0)))))
  (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0)))))
  (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0)))))
  (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0)))))
  (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (log (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (exp (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))))
  (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))))
  (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))))
  (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))))
  (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))))
  (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))))
  (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))))
  (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))))
  (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))))
  (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))))
  (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))))
  (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))))
  (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (* (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))) (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))))
  (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (sqrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (sqrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (* 1 (* i i))
  (* (+ (* 2.0 i) (sqrt 1.0)) (* (- (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0)))
  (* 1 (* (/ i (- (* 2.0 i) (sqrt 1.0))) i))
  (* (+ (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0))
  (* 1 (* i (/ i (* 2.0 2.0))))
  (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0)))
  (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))
  (* (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (cbrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (cbrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (cbrt 1) (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (sqrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (sqrt 1) (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ 1 (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (+ (* (* 2.0 i) (* 2.0 i)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (- (* 2.0 i) (sqrt 1.0)) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* i i))
  (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) i))
  (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* i (/ i (* 2.0 2.0))))
  (* 1 (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0))))
  (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0))))
  (+ (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0))))
  (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (+ (log 2.0) (log 2.0))))
  (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (* 2.0 2.0))))
  (+ (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (exp (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (* (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))))
  (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))))
  (* (cbrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))) (cbrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (cbrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (sqrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (sqrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* i i)
  (* (- (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0))))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0))))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 2.0))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 2.0))
  (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0))))
  (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0))))
  (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 2.0))
  (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 2.0))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (sqrt (/ i (* 2.0 2.0))))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) 2.0))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) 2.0))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ 1 2.0))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) 1)
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) i)
  (* (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ i (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ 1 (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (+ (* (* 2.0 i) (* 2.0 i)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (+ (* 2.0 i) (sqrt 1.0)) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) i)
  (* i (/ i (* 2.0 2.0)))
  (- 1)
  (- (log (+ (* 2.0 i) (sqrt 1.0))))
  (- 0 (log (+ (* 2.0 i) (sqrt 1.0))))
  (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0))))
  (log (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (exp (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))))
  (* (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))))
  (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (- 1)
  (- (+ (* 2.0 i) (sqrt 1.0)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))
  (/ (cbrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (cbrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (sqrt 1) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))
  (/ (sqrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ (* 2.0 i) (sqrt 1.0)))
  (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))
  (/ 1 (cbrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 1)
  (/ 1 (+ (* 2.0 i) (sqrt 1.0)))
  (/ 1 (+ (* 2.0 i) (sqrt 1.0)))
  (/ (+ (* 2.0 i) (sqrt 1.0)) 1)
  (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))
  (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 1)
  (/ (+ (* 2.0 i) (sqrt 1.0)) (cbrt 1))
  (/ (+ (* 2.0 i) (sqrt 1.0)) (sqrt 1))
  (/ (+ (* 2.0 i) (sqrt 1.0)) 1)
  (/ 1 (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))
  (/ 1 (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))))
  (- (+ (* 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))
  (- (+ (* 1.0 (/ (pow i 4) (pow (sqrt 1.0) 3))) (+ (* 0.25 (/ (pow i 2) (sqrt 1.0))) (* 0.5 (/ (pow i 3) (pow (sqrt 1.0) 2))))))
  (+ (* 0.125 i) (+ (* 0.0625 (sqrt 1.0)) (* 0.03125 (/ (pow (sqrt 1.0) 2) i))))
  (+ (* 0.125 i) (+ (* 0.0625 (sqrt 1.0)) (* 0.03125 (/ (pow (sqrt 1.0) 2) i))))
  (- (+ (* 4.0 (/ (pow i 2) (pow (sqrt 1.0) 3))) (/ 1 (sqrt 1.0))) (* 2.0 (/ i (pow (sqrt 1.0) 2))))
  (- (+ (* 0.5 (/ 1 i)) (* 0.125 (/ (pow (sqrt 1.0) 2) (pow i 3)))) (* 0.25 (/ (sqrt 1.0) (pow i 2))))
  (- (+ (* 0.5 (/ 1 i)) (* 0.125 (/ (pow (sqrt 1.0) 2) (pow i 3)))) (* 0.25 (/ (sqrt 1.0) (pow i 2))))
1.136 * * [simplify]: iteration  0 :  908  enodes  (cost  2145 )
1.153 * * [simplify]: iteration  1 :  4667  enodes  (cost  1620 )
1.218 * * [simplify]: iteration  2 :  5002  enodes  (cost  1509 )
1.225 * [simplify]: Simplified to:
   (/ (* i (/ i (* 2.0 2.0))) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))
  (/ (* i (/ i (* 2.0 2.0))) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (* i (/ i (* 2.0 2.0)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (pow (exp (/ i (* 2.0 2.0))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (* (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))) (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))))
  (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (* (pow (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ i (* 2.0 2.0)) 3))
  (sqrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (sqrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (pow i 2)
  (* (* 2.0 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) i)
  (* (+ (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0))
  (* i (/ i (* 2.0 2.0)))
  (- (* (* 2.0 i) (* 2.0 i)) 1.0)
  (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))
  (* (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (cbrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (cbrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (* (/ (cbrt 1) (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (/ (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (* i (/ i (* 2.0 2.0))) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))
  (/ (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (* i (/ i (* 2.0 2.0))) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))
  (/ (* i (/ i (* 2.0 2.0))) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))
  (/ (* i (/ i (* 2.0 2.0))) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))
  (* (* (- (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (- (* 2.0 i) (sqrt 1.0)) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (/ (pow i 2) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (pow i 2) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))
  (/ (* i (/ i (* 2.0 2.0))) (+ (* 2.0 i) (sqrt 1.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (log (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (exp (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (pow (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) 3)
  (pow (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) 3)
  (* (cbrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))) (cbrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))
  (cbrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (pow (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) 3)
  (sqrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (sqrt (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
  (pow i 2)
  (* (- (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0))))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0))))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 2.0))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 2.0))
  (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0))))
  (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0))))
  (/ (/ i (sqrt (- (* 2.0 i) (sqrt 1.0)))) 2.0)
  (/ (/ i (sqrt (- (* 2.0 i) (sqrt 1.0)))) 2.0)
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (sqrt (/ i (* 2.0 2.0))))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) 2.0))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) 2.0))
  (/ (/ i (- (* 2.0 i) (sqrt 1.0))) 2.0)
  (/ i (- (* 2.0 i) (sqrt 1.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) i)
  (* (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ i (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))
  (/ (/ i (* 2.0 2.0)) (- (* 2.0 i) (sqrt 1.0)))
  (/ (* (+ (* (* 2.0 i) (+ (* 2.0 i) (sqrt 1.0))) 1.0) (/ i 2.0)) 2.0)
  (* (+ (* 2.0 i) (sqrt 1.0)) (/ i (* 2.0 2.0)))
  (* (/ i (- (* 2.0 i) (sqrt 1.0))) i)
  (* i (/ i (* 2.0 2.0)))
  (- 1)
  (log (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (log (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (log (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (log (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (exp (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 (pow (+ (* 2.0 i) (sqrt 1.0)) 3))
  (* (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))))
  (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 (pow (+ (* 2.0 i) (sqrt 1.0)) 3))
  (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0))))
  (- 1)
  (- (+ (* 2.0 i) (sqrt 1.0)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))
  (/ (cbrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ (cbrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (+ (* 2.0 i) (sqrt 1.0)))
  (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))
  (/ 1 (cbrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  1
  (/ 1 (+ (* 2.0 i) (sqrt 1.0)))
  (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))
  (/ 1 (cbrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  1
  (/ 1 (+ (* 2.0 i) (sqrt 1.0)))
  (/ 1 (+ (* 2.0 i) (sqrt 1.0)))
  (+ (* 2.0 i) (sqrt 1.0))
  (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))
  (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))
  1
  (/ (+ (* 2.0 i) (sqrt 1.0)) (cbrt 1))
  (+ (* 2.0 i) (sqrt 1.0))
  (+ (* 2.0 i) (sqrt 1.0))
  (/ 1 (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))
  (/ 1 (* (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)) 1))
  (- (/ (- (* 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))))
  (- (- (* 1.0 (/ (pow i 4) (pow (sqrt 1.0) 3)))) (+ (/ (* 0.5 (pow i 3)) 1.0) (* 0.25 (/ (pow i 2) (sqrt 1.0)))))
  (+ (+ (/ (* 0.03125 1.0) i) (* 0.0625 (sqrt 1.0))) (* 0.125 i))
  (+ (+ (/ (* 0.03125 1.0) i) (* 0.0625 (sqrt 1.0))) (* 0.125 i))
  (+ (/ 1 (sqrt 1.0)) (- (* 4.0 (/ (pow i 2) (pow (sqrt 1.0) 3))) (/ (* 2.0 i) 1.0)))
  (+ (/ (* 0.125 1.0) (pow i 3)) (- (* 0.5 (/ 1 i)) (* 0.25 (/ (sqrt 1.0) (pow i 2)))))
  (+ (/ (* 0.125 1.0) (pow i 3)) (- (* 0.5 (/ 1 i)) (* 0.25 (/ (sqrt 1.0) (pow i 2)))))
1.225 * * * [progress]: adding candidates to table
1.501 * * [progress]: iteration 4 / 4
1.501 * * * [progress]: picking best candidate
1.503 * * * * [pick]: Picked  #<alt (λ (i) (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4)))))>
1.503 * * * [progress]: localizing error
1.516 * * * [progress]: generating rewritten candidates
1.516 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2)
1.522 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
1.535 * * * [progress]: generating series expansions
1.535 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2)
1.535 * [approximate]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in (i) around 0
1.535 * [taylor]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
1.535 * [taylor]: Taking taylor expansion of 0.015625 in i
1.535 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.535 * [taylor]: Taking taylor expansion of i in i
1.536 * [taylor]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
1.536 * [taylor]: Taking taylor expansion of 0.015625 in i
1.536 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.536 * [taylor]: Taking taylor expansion of i in i
1.544 * [approximate]: Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
1.544 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1.544 * [taylor]: Taking taylor expansion of 0.015625 in i
1.544 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.544 * [taylor]: Taking taylor expansion of i in i
1.544 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1.544 * [taylor]: Taking taylor expansion of 0.015625 in i
1.544 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.544 * [taylor]: Taking taylor expansion of i in i
1.552 * [approximate]: Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
1.552 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1.552 * [taylor]: Taking taylor expansion of 0.015625 in i
1.552 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.552 * [taylor]: Taking taylor expansion of i in i
1.552 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1.552 * [taylor]: Taking taylor expansion of 0.015625 in i
1.552 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.552 * [taylor]: Taking taylor expansion of i in i
1.564 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
1.565 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 4) (pow i 4)) in (i) around 0
1.565 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 4) (pow i 4)) in i
1.565 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 4) in i
1.565 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.565 * [taylor]: Taking taylor expansion of 1.0 in i
1.566 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.566 * [taylor]: Taking taylor expansion of i in i
1.570 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 4) (pow i 4)) in i
1.570 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 4) in i
1.570 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.570 * [taylor]: Taking taylor expansion of 1.0 in i
1.571 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.571 * [taylor]: Taking taylor expansion of i in i
1.599 * [approximate]: Taking taylor expansion of (* (pow i 4) (pow (sqrt 1.0) 4)) in (i) around 0
1.599 * [taylor]: Taking taylor expansion of (* (pow i 4) (pow (sqrt 1.0) 4)) in i
1.599 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.599 * [taylor]: Taking taylor expansion of i in i
1.599 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 4) in i
1.599 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.599 * [taylor]: Taking taylor expansion of 1.0 in i
1.600 * [taylor]: Taking taylor expansion of (* (pow i 4) (pow (sqrt 1.0) 4)) in i
1.600 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.600 * [taylor]: Taking taylor expansion of i in i
1.600 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 4) in i
1.600 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.600 * [taylor]: Taking taylor expansion of 1.0 in i
1.630 * [approximate]: Taking taylor expansion of (* (pow i 4) (pow (sqrt 1.0) 4)) in (i) around 0
1.630 * [taylor]: Taking taylor expansion of (* (pow i 4) (pow (sqrt 1.0) 4)) in i
1.630 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.630 * [taylor]: Taking taylor expansion of i in i
1.630 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 4) in i
1.630 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.630 * [taylor]: Taking taylor expansion of 1.0 in i
1.631 * [taylor]: Taking taylor expansion of (* (pow i 4) (pow (sqrt 1.0) 4)) in i
1.631 * [taylor]: Taking taylor expansion of (pow i 4) in i
1.631 * [taylor]: Taking taylor expansion of i in i
1.631 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 4) in i
1.631 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i
1.631 * [taylor]: Taking taylor expansion of 1.0 in i
1.665 * * * [progress]: simplifying candidates
1.667 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log 0.015625) (log 1.0)) (* (log i) 2))
  (- (+ (log 0.015625) (log 1.0)) (* (log i) 2))
  (- (+ (log 0.015625) (log 1.0)) (log (pow i 2)))
  (- (log (* 0.015625 1.0)) (* (log i) 2))
  (- (log (* 0.015625 1.0)) (* (log i) 2))
  (- (log (* 0.015625 1.0)) (log (pow i 2)))
  (log (/ (* 0.015625 1.0) (pow i 2)))
  (exp (/ (* 0.015625 1.0) (pow i 2)))
  (/ (* (* (* 0.015625 0.015625) 0.015625) (* (* 1.0 1.0) 1.0)) (* (* (pow i 2) (pow i 2)) (pow i 2)))
  (/ (* (* (* 0.015625 1.0) (* 0.015625 1.0)) (* 0.015625 1.0)) (* (* (pow i 2) (pow i 2)) (pow i 2)))
  (* (cbrt (/ (* 0.015625 1.0) (pow i 2))) (cbrt (/ (* 0.015625 1.0) (pow i 2))))
  (cbrt (/ (* 0.015625 1.0) (pow i 2)))
  (* (* (/ (* 0.015625 1.0) (pow i 2)) (/ (* 0.015625 1.0) (pow i 2))) (/ (* 0.015625 1.0) (pow i 2)))
  (sqrt (/ (* 0.015625 1.0) (pow i 2)))
  (sqrt (/ (* 0.015625 1.0) (pow i 2)))
  (- (* 0.015625 1.0))
  (- (pow i 2))
  (/ 0.015625 (pow (* (cbrt i) (cbrt i)) 2))
  (/ 1.0 (pow (cbrt i) 2))
  (/ 0.015625 (pow (sqrt i) 2))
  (/ 1.0 (pow (sqrt i) 2))
  (/ 0.015625 (pow 1 2))
  (/ 1.0 (pow i 2))
  (/ 0.015625 i)
  (/ 1.0 i)
  (/ 0.015625 (* (cbrt (pow i 2)) (cbrt (pow i 2))))
  (/ 1.0 (cbrt (pow i 2)))
  (/ 0.015625 (sqrt (pow i 2)))
  (/ 1.0 (sqrt (pow i 2)))
  (/ 0.015625 1)
  (/ 1.0 (pow i 2))
  (/ 0.015625 (pow i (/ 2 2)))
  (/ 1.0 (pow i (/ 2 2)))
  (/ 1 (pow i 2))
  (/ (pow i 2) (* 0.015625 1.0))
  (/ (* 0.015625 1.0) (pow (* (cbrt i) (cbrt i)) 2))
  (/ (* 0.015625 1.0) (pow (sqrt i) 2))
  (/ (* 0.015625 1.0) (pow 1 2))
  (/ (* 0.015625 1.0) i)
  (/ (* 0.015625 1.0) (* (cbrt (pow i 2)) (cbrt (pow i 2))))
  (/ (* 0.015625 1.0) (sqrt (pow i 2)))
  (/ (* 0.015625 1.0) 1)
  (/ (* 0.015625 1.0) (pow i (/ 2 2)))
  (/ (pow i 2) 1.0)
  (- (* (log (sqrt 1.0)) 4) (* (log i) 4))
  (- (* (log (sqrt 1.0)) 4) (* (log i) 4))
  (- (* (log (sqrt 1.0)) 4) (log (pow i 4)))
  (- (* (log (sqrt 1.0)) 4) (* (log i) 4))
  (- (* (log (sqrt 1.0)) 4) (* (log i) 4))
  (- (* (log (sqrt 1.0)) 4) (log (pow i 4)))
  (- (log (pow (sqrt 1.0) 4)) (* (log i) 4))
  (- (log (pow (sqrt 1.0) 4)) (* (log i) 4))
  (- (log (pow (sqrt 1.0) 4)) (log (pow i 4)))
  (log (/ (pow (sqrt 1.0) 4) (pow i 4)))
  (exp (/ (pow (sqrt 1.0) 4) (pow i 4)))
  (/ (* (* (pow (sqrt 1.0) 4) (pow (sqrt 1.0) 4)) (pow (sqrt 1.0) 4)) (* (* (pow i 4) (pow i 4)) (pow i 4)))
  (* (cbrt (/ (pow (sqrt 1.0) 4) (pow i 4))) (cbrt (/ (pow (sqrt 1.0) 4) (pow i 4))))
  (cbrt (/ (pow (sqrt 1.0) 4) (pow i 4)))
  (* (* (/ (pow (sqrt 1.0) 4) (pow i 4)) (/ (pow (sqrt 1.0) 4) (pow i 4))) (/ (pow (sqrt 1.0) 4) (pow i 4)))
  (sqrt (/ (pow (sqrt 1.0) 4) (pow i 4)))
  (sqrt (/ (pow (sqrt 1.0) 4) (pow i 4)))
  (- (pow (sqrt 1.0) 4))
  (- (pow i 4))
  (/ (pow (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 4) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow (cbrt i) 4))
  (/ (pow (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 4) (pow (sqrt i) 4))
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow (sqrt i) 4))
  (/ (pow (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 4) (pow 1 4))
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow i 4))
  (/ (pow (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 4) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (cbrt (sqrt 1.0)) 4) (cbrt (pow i 4)))
  (/ (pow (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 4) (sqrt (pow i 4)))
  (/ (pow (cbrt (sqrt 1.0)) 4) (sqrt (pow i 4)))
  (/ (pow (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 4) 1)
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow i 4))
  (/ (pow (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 4) (pow i (/ 4 2)))
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt (* (cbrt 1.0) (cbrt 1.0))) 4) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow (cbrt i) 4))
  (/ (pow (sqrt (* (cbrt 1.0) (cbrt 1.0))) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt (* (cbrt 1.0) (cbrt 1.0))) 4) (pow 1 4))
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow i 4))
  (/ (pow (sqrt (* (cbrt 1.0) (cbrt 1.0))) 4) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (sqrt (cbrt 1.0)) 4) (cbrt (pow i 4)))
  (/ (pow (sqrt (* (cbrt 1.0) (cbrt 1.0))) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt (cbrt 1.0)) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt (* (cbrt 1.0) (cbrt 1.0))) 4) 1)
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow i 4))
  (/ (pow (sqrt (* (cbrt 1.0) (cbrt 1.0))) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow (cbrt i) 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow 1 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow i 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (sqrt (sqrt 1.0)) 4) (cbrt (pow i 4)))
  (/ (pow (sqrt (sqrt 1.0)) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt (sqrt 1.0)) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt (sqrt 1.0)) 4) 1)
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow i 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt 1) 4) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (sqrt 1.0) 4) (pow (cbrt i) 4))
  (/ (pow (sqrt 1) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt 1.0) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt 1) 4) (pow 1 4))
  (/ (pow (sqrt 1.0) 4) (pow i 4))
  (/ (pow (sqrt 1) 4) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (sqrt 1.0) 4) (cbrt (pow i 4)))
  (/ (pow (sqrt 1) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt 1.0) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt 1) 4) 1)
  (/ (pow (sqrt 1.0) 4) (pow i 4))
  (/ (pow (sqrt 1) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt 1.0) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow (cbrt i) 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow 1 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow i 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (sqrt (sqrt 1.0)) 4) (cbrt (pow i 4)))
  (/ (pow (sqrt (sqrt 1.0)) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt (sqrt 1.0)) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt (sqrt 1.0)) 4) 1)
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow i 4))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt (sqrt 1.0)) 4) (pow i (/ 4 2)))
  (/ (pow 1 4) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (sqrt 1.0) 4) (pow (cbrt i) 4))
  (/ (pow 1 4) (pow (sqrt i) 4))
  (/ (pow (sqrt 1.0) 4) (pow (sqrt i) 4))
  (/ (pow 1 4) (pow 1 4))
  (/ (pow (sqrt 1.0) 4) (pow i 4))
  (/ (pow 1 4) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (sqrt 1.0) 4) (cbrt (pow i 4)))
  (/ (pow 1 4) (sqrt (pow i 4)))
  (/ (pow (sqrt 1.0) 4) (sqrt (pow i 4)))
  (/ (pow 1 4) 1)
  (/ (pow (sqrt 1.0) 4) (pow i 4))
  (/ (pow 1 4) (pow i (/ 4 2)))
  (/ (pow (sqrt 1.0) 4) (pow i (/ 4 2)))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow (cbrt i) 4))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (pow (sqrt i) 4))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow (sqrt i) 4))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (pow 1 4))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow i 4))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow i 4)))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (sqrt (pow i 4)))
  (/ (cbrt (pow (sqrt 1.0) 4)) (sqrt (pow i 4)))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) 1)
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow i 4))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (pow i (/ 4 2)))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow i (/ 4 2)))
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow (cbrt i) 4))
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow (sqrt i) 4))
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow (sqrt i) 4))
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow 1 4))
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow i 4))
  (/ (sqrt (pow (sqrt 1.0) 4)) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (sqrt (pow (sqrt 1.0) 4)) (cbrt (pow i 4)))
  (/ (sqrt (pow (sqrt 1.0) 4)) (sqrt (pow i 4)))
  (/ (sqrt (pow (sqrt 1.0) 4)) (sqrt (pow i 4)))
  (/ (sqrt (pow (sqrt 1.0) 4)) 1)
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow i 4))
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow i (/ 4 2)))
  (/ (sqrt (pow (sqrt 1.0) 4)) (pow i (/ 4 2)))
  (/ 1 (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (sqrt 1.0) 4) (pow (cbrt i) 4))
  (/ 1 (pow (sqrt i) 4))
  (/ (pow (sqrt 1.0) 4) (pow (sqrt i) 4))
  (/ 1 (pow 1 4))
  (/ (pow (sqrt 1.0) 4) (pow i 4))
  (/ 1 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (sqrt 1.0) 4) (cbrt (pow i 4)))
  (/ 1 (sqrt (pow i 4)))
  (/ (pow (sqrt 1.0) 4) (sqrt (pow i 4)))
  (/ 1 1)
  (/ (pow (sqrt 1.0) 4) (pow i 4))
  (/ 1 (pow i (/ 4 2)))
  (/ (pow (sqrt 1.0) 4) (pow i (/ 4 2)))
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow (cbrt i) 4))
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow (sqrt i) 4))
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow (sqrt i) 4))
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow 1 4))
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow i 4))
  (/ (pow (sqrt 1.0) (/ 4 2)) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (sqrt 1.0) (/ 4 2)) (cbrt (pow i 4)))
  (/ (pow (sqrt 1.0) (/ 4 2)) (sqrt (pow i 4)))
  (/ (pow (sqrt 1.0) (/ 4 2)) (sqrt (pow i 4)))
  (/ (pow (sqrt 1.0) (/ 4 2)) 1)
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow i 4))
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow i (/ 4 2)))
  (/ (pow (sqrt 1.0) (/ 4 2)) (pow i (/ 4 2)))
  (/ 1 (pow i 4))
  (/ (pow i 4) (pow (sqrt 1.0) 4))
  (/ (pow (sqrt 1.0) 4) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (pow (sqrt 1.0) 4) (pow (sqrt i) 4))
  (/ (pow (sqrt 1.0) 4) (pow 1 4))
  (/ (pow (sqrt 1.0) 4) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (pow (sqrt 1.0) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt 1.0) 4) 1)
  (/ (pow (sqrt 1.0) 4) (pow i (/ 4 2)))
  (/ (pow i 4) (pow (cbrt (sqrt 1.0)) 4))
  (/ (pow i 4) (pow (sqrt (cbrt 1.0)) 4))
  (/ (pow i 4) (pow (sqrt (sqrt 1.0)) 4))
  (/ (pow i 4) (pow (sqrt 1.0) 4))
  (/ (pow i 4) (pow (sqrt (sqrt 1.0)) 4))
  (/ (pow i 4) (pow (sqrt 1.0) 4))
  (/ (pow i 4) (cbrt (pow (sqrt 1.0) 4)))
  (/ (pow i 4) (sqrt (pow (sqrt 1.0) 4)))
  (/ (pow i 4) (pow (sqrt 1.0) 4))
  (/ (pow i 4) (pow (sqrt 1.0) (/ 4 2)))
  (/ 0.015625 (pow i 2))
  (/ 0.015625 (pow i 2))
  (/ 0.015625 (pow i 2))
  (/ (pow (sqrt 1.0) 4) (pow i 4))
  (/ (pow (sqrt 1.0) 4) (pow i 4))
  (/ (pow (sqrt 1.0) 4) (pow i 4))
1.674 * * [simplify]: iteration  0 :  426  enodes  (cost  1138 )
1.681 * * [simplify]: iteration  1 :  1940  enodes  (cost  943 )
1.708 * * [simplify]: iteration  2 :  5001  enodes  (cost  835 )
1.713 * [simplify]: Simplified to:
   (log (/ (* 0.015625 1.0) (pow i 2)))
  (log (/ (* 0.015625 1.0) (pow i 2)))
  (log (/ (* 0.015625 1.0) (pow i 2)))
  (log (/ (* 0.015625 1.0) (pow i 2)))
  (log (/ (* 0.015625 1.0) (pow i 2)))
  (log (/ (* 0.015625 1.0) (pow i 2)))
  (log (/ (* 0.015625 1.0) (pow i 2)))
  (exp (/ (* 0.015625 1.0) (pow i 2)))
  (pow (/ (* 0.015625 1.0) (pow i 2)) 3)
  (pow (/ (* 0.015625 1.0) (pow i 2)) 3)
  (* (cbrt (/ (* 0.015625 1.0) (pow i 2))) (cbrt (/ (* 0.015625 1.0) (pow i 2))))
  (cbrt (/ (* 0.015625 1.0) (pow i 2)))
  (pow (/ (* 0.015625 1.0) (pow i 2)) 3)
  (sqrt (/ (* 0.015625 1.0) (pow i 2)))
  (sqrt (/ (* 0.015625 1.0) (pow i 2)))
  (- (* 0.015625 1.0))
  (- (pow i 2))
  (/ 0.015625 (pow (cbrt i) 4))
  (/ 1.0 (pow (cbrt i) 2))
  (/ 0.015625 i)
  (/ 1.0 i)
  0.015625
  (/ (/ 1.0 i) i)
  (/ 0.015625 i)
  (/ 1.0 i)
  (/ 0.015625 (* (cbrt (pow i 2)) (cbrt (pow i 2))))
  (/ 1.0 (cbrt (pow i 2)))
  (/ 0.015625 (fabs i))
  (/ 1.0 (fabs i))
  0.015625
  (/ (/ 1.0 i) i)
  (/ 0.015625 i)
  (/ 1.0 i)
  (/ 1 (pow i 2))
  (/ (pow i 2) (* 0.015625 1.0))
  (/ 1.0 (/ (pow (cbrt i) 4) 0.015625))
  (/ 1.0 (/ i 0.015625))
  (* 0.015625 1.0)
  (/ 1.0 (/ i 0.015625))
  (/ (* 0.015625 1.0) (* (cbrt (pow i 2)) (cbrt (pow i 2))))
  (/ 1.0 (/ (fabs i) 0.015625))
  (* 0.015625 1.0)
  (/ 1.0 (/ i 0.015625))
  (/ (pow i 2) 1.0)
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (* 4 (- (log (sqrt 1.0)) (log i)))
  (exp (/ (pow (sqrt 1.0) 4) (pow i 4)))
  (pow (/ (pow (sqrt 1.0) 4) (pow i 4)) 3)
  (* (cbrt (/ (pow (sqrt 1.0) 4) (pow i 4))) (cbrt (/ (pow (sqrt 1.0) 4) (pow i 4))))
  (cbrt (/ (pow (sqrt 1.0) 4) (pow i 4)))
  (pow (/ (pow (sqrt 1.0) 4) (pow i 4)) 3)
  (fabs (/ (/ 1.0 i) i))
  (fabs (/ (/ 1.0 i) i))
  (* (- 1.0) 1.0)
  (- (pow i 4))
  (/ (pow (pow (cbrt (sqrt 1.0)) 2) 4) (pow (cbrt i) 8))
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow (cbrt i) 4))
  (/ (/ (pow (pow (cbrt (sqrt 1.0)) 2) 4) i) i)
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow i 2))
  (pow (pow (cbrt (sqrt 1.0)) 2) 4)
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow i 4))
  (/ (/ (pow (pow (cbrt (sqrt 1.0)) 2) 4) (cbrt (pow i 4))) (cbrt (pow i 4)))
  (/ (pow (cbrt (sqrt 1.0)) 4) (cbrt (pow i 4)))
  (/ (pow (pow (cbrt (sqrt 1.0)) 2) 4) (sqrt (pow i 4)))
  (/ (pow (cbrt (sqrt 1.0)) 4) (sqrt (pow i 4)))
  (pow (pow (cbrt (sqrt 1.0)) 2) 4)
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow i 4))
  (/ (/ (pow (pow (cbrt (sqrt 1.0)) 2) 4) i) i)
  (/ (pow (cbrt (sqrt 1.0)) 4) (pow i 2))
  (/ (pow (fabs (cbrt 1.0)) 4) (pow (cbrt i) 8))
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow (cbrt i) 4))
  (/ (/ (pow (fabs (cbrt 1.0)) 4) i) i)
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow i 2))
  (pow (fabs (cbrt 1.0)) 4)
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow i 4))
  (/ (/ (pow (fabs (cbrt 1.0)) 4) (cbrt (pow i 4))) (cbrt (pow i 4)))
  (/ (pow (sqrt (cbrt 1.0)) 4) (cbrt (pow i 4)))
  (/ (pow (fabs (cbrt 1.0)) 4) (sqrt (pow i 4)))
  (/ (pow (sqrt (cbrt 1.0)) 4) (sqrt (pow i 4)))
  (pow (fabs (cbrt 1.0)) 4)
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow i 4))
  (/ (/ (pow (fabs (cbrt 1.0)) 4) i) i)
  (/ (pow (sqrt (cbrt 1.0)) 4) (pow i 2))
  (/ 1.0 (* (pow (cbrt i) 8) 1))
  (/ 1.0 (pow (cbrt i) 4))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  1.0
  (/ 1.0 (pow i 4))
  (/ 1.0 (* (* (cbrt (pow i 4)) (cbrt (pow i 4))) 1))
  (/ 1.0 (* (cbrt (pow i 4)) 1))
  (/ 1.0 (* (sqrt (pow i 4)) 1))
  (/ 1.0 (* (sqrt (pow i 4)) 1))
  1.0
  (/ 1.0 (pow i 4))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ 1 (pow (cbrt i) 8))
  (/ 1.0 (/ (pow (cbrt i) 4) 1.0))
  (/ 1 (pow i 2))
  (* (/ 1.0 i) (/ 1.0 i))
  1
  (* (/ 1.0 (pow i 4)) 1.0)
  (/ 1 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 1.0 (/ (cbrt (pow i 4)) 1.0))
  (/ 1 (sqrt (pow i 4)))
  (/ 1.0 (/ (sqrt (pow i 4)) 1.0))
  1
  (* (/ 1.0 (pow i 4)) 1.0)
  (/ 1 (pow i 2))
  (* (/ 1.0 i) (/ 1.0 i))
  (/ 1.0 (* (pow (cbrt i) 8) 1))
  (/ 1.0 (pow (cbrt i) 4))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  1.0
  (/ 1.0 (pow i 4))
  (/ 1.0 (* (* (cbrt (pow i 4)) (cbrt (pow i 4))) 1))
  (/ 1.0 (* (cbrt (pow i 4)) 1))
  (/ 1.0 (* (sqrt (pow i 4)) 1))
  (/ 1.0 (* (sqrt (pow i 4)) 1))
  1.0
  (/ 1.0 (pow i 4))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ 1 (pow (cbrt i) 8))
  (/ 1.0 (/ (pow (cbrt i) 4) 1.0))
  (/ 1 (pow i 2))
  (* (/ 1.0 i) (/ 1.0 i))
  1
  (* (/ 1.0 (pow i 4)) 1.0)
  (/ 1 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 1.0 (/ (cbrt (pow i 4)) 1.0))
  (/ 1 (sqrt (pow i 4)))
  (/ 1.0 (/ (sqrt (pow i 4)) 1.0))
  1
  (* (/ 1.0 (pow i 4)) 1.0)
  (/ 1 (pow i 2))
  (* (/ 1.0 i) (/ 1.0 i))
  (* (/ (cbrt (pow (sqrt 1.0) 4)) (pow (cbrt i) 8)) (cbrt (pow (sqrt 1.0) 4)))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow (cbrt i) 4))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (pow i 2))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow i 2))
  (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4)))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow i 4))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow i 4)))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (sqrt (pow i 4)))
  (/ (cbrt (pow (sqrt 1.0) 4)) (sqrt (pow i 4)))
  (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4)))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow i 4))
  (/ (* (cbrt (pow (sqrt 1.0) 4)) (cbrt (pow (sqrt 1.0) 4))) (pow i 2))
  (/ (cbrt (pow (sqrt 1.0) 4)) (pow i 2))
  (/ (fabs 1.0) (pow (cbrt i) 8))
  (/ (fabs 1.0) (pow (cbrt i) 4))
  (/ (/ (fabs 1.0) i) i)
  (/ (/ (fabs 1.0) i) i)
  (fabs 1.0)
  (/ (fabs 1.0) (pow i 4))
  (/ (/ (fabs 1.0) (cbrt (pow i 4))) (cbrt (pow i 4)))
  (/ (fabs 1.0) (cbrt (pow i 4)))
  (/ (fabs 1.0) (sqrt (pow i 4)))
  (/ (fabs 1.0) (sqrt (pow i 4)))
  (fabs 1.0)
  (/ (fabs 1.0) (pow i 4))
  (/ (/ (fabs 1.0) i) i)
  (/ (/ (fabs 1.0) i) i)
  (/ 1 (pow (cbrt i) 8))
  (/ 1.0 (/ (pow (cbrt i) 4) 1.0))
  (/ 1 (pow i 2))
  (* (/ 1.0 i) (/ 1.0 i))
  1
  (* (/ 1.0 (pow i 4)) 1.0)
  (/ 1 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 1.0 (/ (cbrt (pow i 4)) 1.0))
  (/ 1 (sqrt (pow i 4)))
  (/ 1.0 (/ (sqrt (pow i 4)) 1.0))
  1
  (* (/ 1.0 (pow i 4)) 1.0)
  (/ 1 (pow i 2))
  (* (/ 1.0 i) (/ 1.0 i))
  (/ 1.0 (* (pow (cbrt i) 8) 1))
  (/ 1.0 (pow (cbrt i) 4))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  1.0
  (/ 1.0 (pow i 4))
  (/ 1.0 (* (* (cbrt (pow i 4)) (cbrt (pow i 4))) 1))
  (/ 1.0 (* (cbrt (pow i 4)) 1))
  (/ 1.0 (* (sqrt (pow i 4)) 1))
  (/ 1.0 (* (sqrt (pow i 4)) 1))
  1.0
  (/ 1.0 (pow i 4))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ 1 (pow i 4))
  (/ (pow i 4) (* 1.0 1.0))
  (/ 1.0 (/ (pow (cbrt i) 8) 1.0))
  (* (/ 1.0 i) (/ 1.0 i))
  (* 1.0 1.0)
  (/ 1.0 (/ (* (cbrt (pow i 4)) (cbrt (pow i 4))) 1.0))
  (/ 1.0 (/ (sqrt (pow i 4)) 1.0))
  (* 1.0 1.0)
  (* (/ 1.0 i) (/ 1.0 i))
  (/ (pow i 4) (pow (cbrt (sqrt 1.0)) 4))
  (/ (pow i 4) (pow (sqrt (cbrt 1.0)) 4))
  (/ (pow i 4) 1.0)
  (/ (pow i 4) (* 1.0 1.0))
  (/ (pow i 4) 1.0)
  (/ (pow i 4) (* 1.0 1.0))
  (/ (pow i 4) (cbrt (pow (sqrt 1.0) 4)))
  (/ (pow i 4) (fabs 1.0))
  (/ (pow i 4) (* 1.0 1.0))
  (/ (pow i 4) 1.0)
  (/ 0.015625 (pow i 2))
  (/ 0.015625 (pow i 2))
  (/ 0.015625 (pow i 2))
  (* (/ 1.0 (pow i 4)) 1.0)
  (* (/ 1.0 (pow i 4)) 1.0)
  (* (/ 1.0 (pow i 4)) 1.0)
1.713 * * * [progress]: adding candidates to table
1.996 * [progress]: [Phase 3 of 3] Extracting.
1.996 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))> #<alt (λ (i) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))> #<alt (λ (i) (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4)))))>)
1.996 * * * [regime-changes]: Trying 1 branch expressions: (i)
1.996 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0)))))> #<alt (λ (i) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))> #<alt (λ (i) (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4)))))>)
2.012 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
2.013 * * [simplify]: iteration  0 :  20  enodes  (cost  12 )
2.013 * * [simplify]: iteration  1 :  20  enodes  (cost  12 )
2.013 * [simplify]: Simplified to:
   (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))))
2.497 * [regime-testing]: Baseline error score: 0.11266100158550167
2.498 * [regime-testing]: Oracle error score: 0.0030003750468808603
2.499 * [regime-testing]: End program error score: 0.11266100158550167