11.141 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
0.027 * * [simplify]: iteration  0 :  10  enodes  (cost  25 )
0.028 * * [simplify]: iteration  1 :  31  enodes  (cost  25 )
0.035 * * [simplify]: iteration  2 :  163  enodes  (cost  23 )
0.140 * * [simplify]: iteration  3 :  856  enodes  (cost  19 )
4.434 * * [simplify]: iteration  4 :  4710  enodes  (cost  15 )
5.557 * * [simplify]: iteration  done :  5001  enodes  (cost  15 )
5.557 * [simplify]: Simplified to:
   (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
5.561 * * [progress]: iteration 1 / 4
5.561 * * * [progress]: picking best candidate
5.565 * * * * [pick]: Picked  #<alt (λ (i) (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))>
5.565 * * * [progress]: localizing error
5.573 * * * [progress]: generating rewritten candidates
5.573 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
5.578 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.601 * * * [progress]: generating series expansions
5.601 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
5.601 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 2)) in (i) around 0
5.601 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
5.601 * [taylor]: Taking taylor expansion of 1.0 in i
5.601 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.601 * [taylor]: Taking taylor expansion of i in i
5.601 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
5.601 * [taylor]: Taking taylor expansion of 1.0 in i
5.601 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.601 * [taylor]: Taking taylor expansion of i in i
5.602 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
5.602 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
5.602 * [taylor]: Taking taylor expansion of 1.0 in i
5.602 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.602 * [taylor]: Taking taylor expansion of i in i
5.602 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
5.602 * [taylor]: Taking taylor expansion of 1.0 in i
5.602 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.602 * [taylor]: Taking taylor expansion of i in i
5.603 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
5.603 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
5.603 * [taylor]: Taking taylor expansion of 1.0 in i
5.603 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.603 * [taylor]: Taking taylor expansion of i in i
5.603 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
5.603 * [taylor]: Taking taylor expansion of 1.0 in i
5.603 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.603 * [taylor]: Taking taylor expansion of i in i
5.604 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.604 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in (i) around 0
5.604 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in i
5.604 * [taylor]: Taking taylor expansion of 0.25 in i
5.604 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
5.604 * [taylor]: Taking taylor expansion of 4.0 in i
5.604 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
5.604 * [taylor]: Taking taylor expansion of 1.0 in i
5.604 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
5.604 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.604 * [taylor]: Taking taylor expansion of i in i
5.604 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in i
5.604 * [taylor]: Taking taylor expansion of 0.25 in i
5.604 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
5.604 * [taylor]: Taking taylor expansion of 4.0 in i
5.604 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
5.604 * [taylor]: Taking taylor expansion of 1.0 in i
5.605 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
5.605 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.605 * [taylor]: Taking taylor expansion of i in i
5.606 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in (i) around 0
5.606 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
5.606 * [taylor]: Taking taylor expansion of 0.25 in i
5.606 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
5.606 * [taylor]: Taking taylor expansion of 4.0 in i
5.606 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
5.606 * [taylor]: Taking taylor expansion of 1.0 in i
5.606 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.606 * [taylor]: Taking taylor expansion of i in i
5.606 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
5.606 * [taylor]: Taking taylor expansion of 0.25 in i
5.606 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
5.606 * [taylor]: Taking taylor expansion of 4.0 in i
5.606 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
5.606 * [taylor]: Taking taylor expansion of 1.0 in i
5.606 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.606 * [taylor]: Taking taylor expansion of i in i
5.607 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in (i) around 0
5.607 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
5.607 * [taylor]: Taking taylor expansion of 0.25 in i
5.607 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
5.607 * [taylor]: Taking taylor expansion of 4.0 in i
5.607 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
5.607 * [taylor]: Taking taylor expansion of 1.0 in i
5.607 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.607 * [taylor]: Taking taylor expansion of i in i
5.607 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
5.607 * [taylor]: Taking taylor expansion of 0.25 in i
5.607 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
5.607 * [taylor]: Taking taylor expansion of 4.0 in i
5.607 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
5.607 * [taylor]: Taking taylor expansion of 1.0 in i
5.607 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.607 * [taylor]: Taking taylor expansion of i in i
5.608 * * * [progress]: simplifying candidates
5.610 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log 1.0) (+ (log i) (log i)))
  (- (log 1.0) (log (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (neg 1.0)
  (neg (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ 1 (* i i))
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (- (neg (+ (log 2.0) (log 2.0))) (log (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (- (neg (log (* 2.0 2.0))) (log (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (- (- 0 (+ (log 2.0) (log 2.0))) (log (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (- (- 0 (log (* 2.0 2.0))) (log (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (- (- (log 1) (+ (log 2.0) (log 2.0))) (log (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (- (- (log 1) (log (* 2.0 2.0))) (log (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (- (log (/ 1 (* 2.0 2.0))) (log (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (log (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (exp (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ (* (* 1 1) 1) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ (* (* 1 1) 1) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (* (* (/ 1 (* 2.0 2.0)) (/ 1 (* 2.0 2.0))) (/ 1 (* 2.0 2.0))) (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (* (cbrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))) (cbrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (cbrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (* (* (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))) (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (sqrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (sqrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (neg (/ 1 (* 2.0 2.0)))
  (neg (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) 1)
  (/ (cbrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i)))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) 1)
  (/ (sqrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 2.0) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ (cbrt 1) 2.0) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ (cbrt 1) 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 2.0) 1)
  (/ (/ (cbrt 1) 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 2.0) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ (cbrt 1) 2.0) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ (cbrt 1) 2.0) (- 2.0 (/ (sqrt 1.0) i)))
  (/ (/ (sqrt 1) 2.0) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ (sqrt 1) 2.0) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ (sqrt 1) 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ (sqrt 1) 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ (sqrt 1) 2.0) 1)
  (/ (/ (sqrt 1) 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (/ (sqrt 1) 2.0) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ (sqrt 1) 2.0) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ (sqrt 1) 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ (sqrt 1) 2.0) (- 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 2.0) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 2.0) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) 1)
  (/ (/ 1 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (/ 1 2.0) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
  (/ 1 (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 (* 2.0 2.0)) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 1)
  (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ 1 (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ 1 (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 (* 2.0 2.0)) (- 2.0 (/ (sqrt 1.0) i)))
  (/ 1 (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 (* 2.0 2.0)) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 1)
  (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ 1 (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ 1 (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 (* 2.0 2.0)) (- 2.0 (/ (sqrt 1.0) i)))
  (/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (/ 1 (* 2.0 2.0)))
  (/ (/ 1 (* 2.0 2.0)) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 (* 2.0 2.0)) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) 1)
  (/ (/ 1 (* 2.0 2.0)) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (cbrt (/ 1 (* 2.0 2.0))))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (sqrt (/ 1 (* 2.0 2.0))))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (/ (cbrt 1) 2.0))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (/ (sqrt 1) 2.0))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (/ 1 2.0))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (/ 1 (* 2.0 2.0)))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (/ 1 (* 2.0 2.0)))
  (/ (/ 1 (* 2.0 2.0)) (- (pow (* 2.0 2.0) 3) (pow (/ 1.0 (* i i)) 3)))
  (/ (/ 1 (* 2.0 2.0)) (- (* (* 2.0 2.0) (* 2.0 2.0)) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (neg (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (+ (* 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))
5.616 * * [simplify]: iteration  0 :  205  enodes  (cost  1971 )
5.668 * * [simplify]: iteration  1 :  491  enodes  (cost  1866 )
5.814 * * [simplify]: iteration  2 :  1317  enodes  (cost  1718 )
7.428 * * [simplify]: iteration  3 :  4924  enodes  (cost  1717 )
8.152 * * [simplify]: iteration  done :  5000  enodes  (cost  1717 )
8.153 * [simplify]: Simplified to:
   (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (pow (/ 1.0 (pow i 2)) 3)
  (pow (/ 1.0 (pow i 2)) 3)
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (pow (/ 1.0 (pow i 2)) 3)
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (neg 1.0)
  (neg (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ 1 (pow i 2))
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (neg (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (neg (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (neg (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (neg (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (neg (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (neg (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (neg (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (neg (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (exp (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (pow (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))) 3)
  (pow (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))) 3)
  (pow (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))) 3)
  (* (cbrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))) (cbrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (cbrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (pow (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))) 3)
  (sqrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (sqrt (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ -1 (* 2.0 2.0))
  (neg (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0))))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i)))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (sqrt (/ 1 (* 2.0 2.0)))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (sqrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 2.0) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 2.0) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 2.0)
  (/ (/ 1 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (/ 1 2.0) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 2.0) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 2.0) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 2.0)
  (/ (/ 1 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (/ 1 2.0) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 2.0) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 2.0) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 2.0)
  (/ (/ 1 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (/ 1 2.0) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
  (/ 1 (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 (* 2.0 2.0)) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  1
  (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (pow i 2))))
  (/ 1 (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ 1 (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 (* 2.0 2.0)) (- 2.0 (/ (sqrt 1.0) i)))
  (/ 1 (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 (* 2.0 2.0)) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  1
  (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (pow i 2))))
  (/ 1 (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (- 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ 1 (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (/ 1 (* 2.0 2.0)) (- 2.0 (/ (sqrt 1.0) i)))
  (/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (/ (/ 1 (* 2.0 2.0)) (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))))
  (/ (/ 1 (* 2.0 2.0)) (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (/ 1 (* 2.0 2.0))
  (/ (/ 1 (* 2.0 2.0)) (+ 2.0 (sqrt (/ 1.0 (* i i)))))
  (/ (/ 1 (* 2.0 2.0)) (+ 2.0 (/ (sqrt 1.0) i)))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (cbrt (/ 1 (* 2.0 2.0))))
  (/ (- (* 2.0 2.0) (/ 1.0 (* i i))) (sqrt (/ 1 (* 2.0 2.0))))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) 2.0)
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) 2.0)
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) 2.0)
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (/ 1 (* (- (pow 2.0 6) (pow (/ 1.0 (pow i 2)) 3)) (* 2.0 2.0)))
  (/ 1 (+ (pow 2.0 6) (* (neg (/ (* 1.0 1.0) (pow i 4))) (* 2.0 2.0))))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (neg (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (+ (/ 0.00390625 (pow i 4)) (+ (/ 0.015625 (* i i)) 0.0625))
  (+ (/ 0.00390625 (pow i 4)) (+ (/ 0.015625 (* i i)) 0.0625))
8.154 * * * [progress]: adding candidates to table
8.281 * * [progress]: iteration 2 / 4
8.281 * * * [progress]: picking best candidate
8.284 * * * * [pick]: Picked  #<alt (λ (i) (neg (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))))>
8.284 * * * [progress]: localizing error
8.296 * * * [progress]: generating rewritten candidates
8.296 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
8.305 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 2 2)
8.307 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
8.313 * * * [progress]: generating series expansions
8.313 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
8.313 * [approximate]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) in (i) around 0
8.313 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) in i
8.313 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
8.313 * [taylor]: Taking taylor expansion of 1.0 in i
8.314 * [taylor]: Taking taylor expansion of (pow i 4) in i
8.314 * [taylor]: Taking taylor expansion of i in i
8.314 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) in i
8.314 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
8.314 * [taylor]: Taking taylor expansion of 4.0 in i
8.314 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.314 * [taylor]: Taking taylor expansion of i in i
8.314 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
8.314 * [taylor]: Taking taylor expansion of 0.25 in i
8.314 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.314 * [taylor]: Taking taylor expansion of i in i
8.314 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) in i
8.314 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
8.314 * [taylor]: Taking taylor expansion of 1.0 in i
8.314 * [taylor]: Taking taylor expansion of (pow i 4) in i
8.314 * [taylor]: Taking taylor expansion of i in i
8.314 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) in i
8.314 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
8.314 * [taylor]: Taking taylor expansion of 4.0 in i
8.314 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.314 * [taylor]: Taking taylor expansion of i in i
8.314 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
8.314 * [taylor]: Taking taylor expansion of 0.25 in i
8.314 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.314 * [taylor]: Taking taylor expansion of i in i
8.315 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in (i) around 0
8.315 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in i
8.315 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i
8.315 * [taylor]: Taking taylor expansion of 1.0 in i
8.315 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
8.315 * [taylor]: Taking taylor expansion of (pow i 4) in i
8.315 * [taylor]: Taking taylor expansion of i in i
8.315 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i
8.315 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
8.315 * [taylor]: Taking taylor expansion of 0.25 in i
8.315 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.315 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.315 * [taylor]: Taking taylor expansion of i in i
8.315 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i
8.315 * [taylor]: Taking taylor expansion of 4.0 in i
8.315 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
8.315 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.316 * [taylor]: Taking taylor expansion of i in i
8.316 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in i
8.316 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i
8.316 * [taylor]: Taking taylor expansion of 1.0 in i
8.316 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
8.316 * [taylor]: Taking taylor expansion of (pow i 4) in i
8.316 * [taylor]: Taking taylor expansion of i in i
8.316 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i
8.316 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
8.316 * [taylor]: Taking taylor expansion of 0.25 in i
8.316 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.316 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.316 * [taylor]: Taking taylor expansion of i in i
8.316 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i
8.316 * [taylor]: Taking taylor expansion of 4.0 in i
8.316 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
8.316 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.316 * [taylor]: Taking taylor expansion of i in i
8.318 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in (i) around 0
8.318 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in i
8.318 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i
8.318 * [taylor]: Taking taylor expansion of 1.0 in i
8.318 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
8.318 * [taylor]: Taking taylor expansion of (pow i 4) in i
8.318 * [taylor]: Taking taylor expansion of i in i
8.318 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i
8.318 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
8.318 * [taylor]: Taking taylor expansion of 0.25 in i
8.318 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.318 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.318 * [taylor]: Taking taylor expansion of i in i
8.318 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i
8.318 * [taylor]: Taking taylor expansion of 4.0 in i
8.318 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
8.318 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.318 * [taylor]: Taking taylor expansion of i in i
8.318 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in i
8.318 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i
8.318 * [taylor]: Taking taylor expansion of 1.0 in i
8.318 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
8.318 * [taylor]: Taking taylor expansion of (pow i 4) in i
8.318 * [taylor]: Taking taylor expansion of i in i
8.318 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i
8.318 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
8.318 * [taylor]: Taking taylor expansion of 0.25 in i
8.318 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.318 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.318 * [taylor]: Taking taylor expansion of i in i
8.318 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i
8.318 * [taylor]: Taking taylor expansion of 4.0 in i
8.318 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
8.318 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.318 * [taylor]: Taking taylor expansion of i in i
8.320 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 2 2)
8.320 * [approximate]: Taking taylor expansion of (pow i 2) in (i) around 0
8.320 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.320 * [taylor]: Taking taylor expansion of i in i
8.320 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.320 * [taylor]: Taking taylor expansion of i in i
8.320 * [approximate]: Taking taylor expansion of (pow (/ 1 i) 2) in (i) around 0
8.321 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 2) in i
8.321 * [taylor]: Taking taylor expansion of (/ 1 i) in i
8.321 * [taylor]: Taking taylor expansion of i in i
8.321 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 2) in i
8.321 * [taylor]: Taking taylor expansion of (/ 1 i) in i
8.321 * [taylor]: Taking taylor expansion of i in i
8.324 * [approximate]: Taking taylor expansion of (pow (/ -1 i) 2) in (i) around 0
8.324 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 2) in i
8.324 * [taylor]: Taking taylor expansion of (/ -1 i) in i
8.324 * [taylor]: Taking taylor expansion of -1 in i
8.324 * [taylor]: Taking taylor expansion of i in i
8.324 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 2) in i
8.324 * [taylor]: Taking taylor expansion of (/ -1 i) in i
8.324 * [taylor]: Taking taylor expansion of -1 in i
8.324 * [taylor]: Taking taylor expansion of i in i
8.325 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
8.325 * [approximate]: Taking taylor expansion of (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) in (i) around 0
8.325 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) in i
8.325 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
8.325 * [taylor]: Taking taylor expansion of 4.0 in i
8.325 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.325 * [taylor]: Taking taylor expansion of i in i
8.325 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
8.325 * [taylor]: Taking taylor expansion of 0.25 in i
8.325 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.325 * [taylor]: Taking taylor expansion of i in i
8.325 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) in i
8.325 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
8.325 * [taylor]: Taking taylor expansion of 4.0 in i
8.325 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.325 * [taylor]: Taking taylor expansion of i in i
8.325 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
8.326 * [taylor]: Taking taylor expansion of 0.25 in i
8.326 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.326 * [taylor]: Taking taylor expansion of i in i
8.329 * [approximate]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in (i) around 0
8.329 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i
8.329 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
8.329 * [taylor]: Taking taylor expansion of 0.25 in i
8.329 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.329 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.329 * [taylor]: Taking taylor expansion of i in i
8.329 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i
8.329 * [taylor]: Taking taylor expansion of 4.0 in i
8.329 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
8.329 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.329 * [taylor]: Taking taylor expansion of i in i
8.329 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i
8.329 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
8.329 * [taylor]: Taking taylor expansion of 0.25 in i
8.329 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.329 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.329 * [taylor]: Taking taylor expansion of i in i
8.329 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i
8.329 * [taylor]: Taking taylor expansion of 4.0 in i
8.329 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
8.329 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.329 * [taylor]: Taking taylor expansion of i in i
8.334 * [approximate]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in (i) around 0
8.334 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i
8.334 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
8.334 * [taylor]: Taking taylor expansion of 0.25 in i
8.334 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.334 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.334 * [taylor]: Taking taylor expansion of i in i
8.334 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i
8.334 * [taylor]: Taking taylor expansion of 4.0 in i
8.334 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
8.334 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.334 * [taylor]: Taking taylor expansion of i in i
8.334 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i
8.335 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
8.335 * [taylor]: Taking taylor expansion of 0.25 in i
8.335 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.335 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.335 * [taylor]: Taking taylor expansion of i in i
8.335 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i
8.335 * [taylor]: Taking taylor expansion of 4.0 in i
8.335 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i
8.335 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.335 * [taylor]: Taking taylor expansion of i in i
8.339 * * * [progress]: simplifying candidates
8.340 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* 1.0 (pow i 4))) (* (exp (* 4.0 (pow i 6))) (exp (* 0.25 (pow i 2)))))
  (* (exp (* 1.0 (pow i 4))) (exp (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (log (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (exp (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (* (cbrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))) (cbrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))))
  (cbrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (* (* (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))) (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (sqrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (sqrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (+ (pow (* 1.0 (pow i 4)) 3) (pow (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) 3))
  (+ (* (* 1.0 (pow i 4)) (* 1.0 (pow i 4))) (- (* (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) (* (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))))
  (- (* (* 1.0 (pow i 4)) (* 1.0 (pow i 4))) (* (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (- (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
  (* (log i) 2)
  (* (log i) 2)
  (* 1 2)
  (pow i (* (cbrt 2) (cbrt 2)))
  (pow i (sqrt 2))
  (pow i 1)
  (pow (* (cbrt i) (cbrt i)) 2)
  (pow (cbrt i) 2)
  (pow (sqrt i) 2)
  (pow (sqrt i) 2)
  (pow 1 2)
  (pow i 2)
  (log (pow i 2))
  (exp (pow i 2))
  (* (cbrt (pow i 2)) (cbrt (pow i 2)))
  (cbrt (pow i 2))
  (* (* (pow i 2) (pow i 2)) (pow i 2))
  (sqrt (pow i 2))
  (sqrt (pow i 2))
  (pow i (/ 2 2))
  (pow i (/ 2 2))
  (* (exp (* 4.0 (pow i 6))) (exp (* 0.25 (pow i 2))))
  (log (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (exp (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (* (cbrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) (cbrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (cbrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (* (* (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (sqrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (sqrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (+ (pow (* 4.0 (pow i 6)) 3) (pow (* 0.25 (pow i 2)) 3))
  (+ (* (* 4.0 (pow i 6)) (* 4.0 (pow i 6))) (- (* (* 0.25 (pow i 2)) (* 0.25 (pow i 2))) (* (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (- (* (* 4.0 (pow i 6)) (* 4.0 (pow i 6))) (* (* 0.25 (pow i 2)) (* 0.25 (pow i 2))))
  (- (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))
  (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (pow i 2)
  (pow i 2)
  (pow i 2)
  (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))
  (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))
  (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))
8.343 * * [simplify]: iteration  0 :  82  enodes  (cost  766 )
8.358 * * [simplify]: iteration  1 :  251  enodes  (cost  699 )
8.416 * * [simplify]: iteration  2 :  795  enodes  (cost  631 )
8.814 * * [simplify]: iteration  3 :  3744  enodes  (cost  629 )
10.317 * * [simplify]: iteration  done :  5000  enodes  (cost  629 )
10.317 * [simplify]: Simplified to:
   (exp (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (exp (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (log (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (exp (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (* (cbrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))) (cbrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))))
  (cbrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (pow (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) 3)
  (sqrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (sqrt (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (+ (pow (* 1.0 (pow i 4)) 3) (pow (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) 3))
  (+ (* (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) (- (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) (* 1.0 (pow i 4)))) (* (* 1.0 1.0) (pow i 8)))
  (- (* (* 1.0 1.0) (pow i 8)) (* (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (- (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
  (log (pow i 2))
  (log (pow i 2))
  2
  (pow i (* (cbrt 2) (cbrt 2)))
  (pow i (sqrt 2))
  i
  (pow (cbrt i) 4)
  (pow (cbrt i) 2)
  i
  i
  1
  (pow i 2)
  (log (pow i 2))
  (exp (pow i 2))
  (* (cbrt (pow i 2)) (cbrt (pow i 2)))
  (cbrt (pow i 2))
  (pow i 6)
  (fabs i)
  (fabs i)
  i
  i
  (exp (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (log (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (exp (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (* (cbrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))) (cbrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))))
  (cbrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (pow (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))) 3)
  (sqrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (sqrt (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (+ (pow (* 4.0 (pow i 6)) 3) (pow (* 0.25 (pow i 2)) 3))
  (+ (* (* 4.0 4.0) (pow i 12)) (* 0.25 (- (* 0.25 (pow i 4)) (* 4.0 (pow i 8)))))
  (- (* (* 4.0 4.0) (pow i 12)) (* (* 0.25 0.25) (pow i 4)))
  (- (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))
  (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))
  (pow i 2)
  (pow i 2)
  (pow i 2)
  (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))
  (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))
  (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2)))
10.317 * * * [progress]: adding candidates to table
10.408 * [progress]: [Phase 3 of 3] Extracting.
10.408 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))> #<alt (λ (i) (neg (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))))>)
10.409 * * * [regime-changes]: Trying 1 branch expressions: (i)
10.409 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i)))))> #<alt (λ (i) (neg (+ (* 1.0 (pow i 4)) (+ (* 4.0 (pow i 6)) (* 0.25 (pow i 2))))))>)
10.434 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
10.434 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
10.435 * * [simplify]: iteration  0 :  10  enodes  (cost  15 )
10.435 * * [simplify]: iteration  1 :  12  enodes  (cost  15 )
10.435 * * [simplify]: iteration  done :  12  enodes  (cost  15 )
10.435 * [simplify]: Simplified to:
   (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
11.514 * [regime-testing]: End program error score: 0.3289011654380834