24.876 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
0.022 * * [simplify]: iteration  0 :  31  enodes  (cost  12 )
0.023 * * [simplify]: iteration  1 :  168  enodes  (cost  11 )
0.028 * * [simplify]: iteration  2 :  965  enodes  (cost  9 )
0.051 * * [simplify]: iteration  3 :  5001  enodes  (cost  8 )
0.052 * [simplify]: Simplified to:
   (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
0.055 * * [progress]: iteration 1 / 4
0.055 * * * [progress]: picking best candidate
0.056 * * * * [pick]: Picked  #<alt (λ (i) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))>
0.056 * * * [progress]: localizing error
0.064 * * * [progress]: generating rewritten candidates
0.064 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.078 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.086 * * * [progress]: generating series expansions
0.086 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.087 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.087 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.087 * [taylor]: Taking taylor expansion of 0.25 in i
0.087 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.087 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.087 * [taylor]: Taking taylor expansion of i in i
0.087 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.087 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.087 * [taylor]: Taking taylor expansion of 4.0 in i
0.087 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.087 * [taylor]: Taking taylor expansion of i in i
0.087 * [taylor]: Taking taylor expansion of 1.0 in i
0.088 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.088 * [taylor]: Taking taylor expansion of 0.25 in i
0.088 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.088 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.088 * [taylor]: Taking taylor expansion of i in i
0.088 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.089 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.089 * [taylor]: Taking taylor expansion of 4.0 in i
0.089 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.089 * [taylor]: Taking taylor expansion of i in i
0.089 * [taylor]: Taking taylor expansion of 1.0 in i
0.116 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.116 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.116 * [taylor]: Taking taylor expansion of 0.25 in i
0.116 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.116 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.116 * [taylor]: Taking taylor expansion of i in i
0.116 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.116 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.116 * [taylor]: Taking taylor expansion of 4.0 in i
0.116 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.116 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.116 * [taylor]: Taking taylor expansion of i in i
0.117 * [taylor]: Taking taylor expansion of 1.0 in i
0.118 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.118 * [taylor]: Taking taylor expansion of 0.25 in i
0.118 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.118 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.118 * [taylor]: Taking taylor expansion of i in i
0.118 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.118 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.118 * [taylor]: Taking taylor expansion of 4.0 in i
0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.118 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.118 * [taylor]: Taking taylor expansion of i in i
0.119 * [taylor]: Taking taylor expansion of 1.0 in i
0.143 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.143 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.143 * [taylor]: Taking taylor expansion of 0.25 in i
0.143 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.143 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.143 * [taylor]: Taking taylor expansion of i in i
0.143 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.143 * [taylor]: Taking taylor expansion of 4.0 in i
0.143 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.143 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.143 * [taylor]: Taking taylor expansion of i in i
0.143 * [taylor]: Taking taylor expansion of 1.0 in i
0.145 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.145 * [taylor]: Taking taylor expansion of 0.25 in i
0.145 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.145 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.145 * [taylor]: Taking taylor expansion of i in i
0.145 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.145 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.145 * [taylor]: Taking taylor expansion of 4.0 in i
0.145 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.145 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.145 * [taylor]: Taking taylor expansion of i in i
0.145 * [taylor]: Taking taylor expansion of 1.0 in i
0.169 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.169 * [approximate]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in (i) around 0
0.169 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.169 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.169 * [taylor]: Taking taylor expansion of 4.0 in i
0.169 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.169 * [taylor]: Taking taylor expansion of i in i
0.169 * [taylor]: Taking taylor expansion of 1.0 in i
0.169 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.169 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.169 * [taylor]: Taking taylor expansion of 4.0 in i
0.169 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.169 * [taylor]: Taking taylor expansion of i in i
0.169 * [taylor]: Taking taylor expansion of 1.0 in i
0.187 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.187 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.187 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.187 * [taylor]: Taking taylor expansion of 4.0 in i
0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.187 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.187 * [taylor]: Taking taylor expansion of i in i
0.188 * [taylor]: Taking taylor expansion of 1.0 in i
0.188 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.188 * [taylor]: Taking taylor expansion of 4.0 in i
0.188 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.188 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.188 * [taylor]: Taking taylor expansion of i in i
0.188 * [taylor]: Taking taylor expansion of 1.0 in i
0.208 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.208 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.208 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.208 * [taylor]: Taking taylor expansion of 4.0 in i
0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.208 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.208 * [taylor]: Taking taylor expansion of i in i
0.208 * [taylor]: Taking taylor expansion of 1.0 in i
0.208 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.208 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.208 * [taylor]: Taking taylor expansion of 4.0 in i
0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.208 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.208 * [taylor]: Taking taylor expansion of i in i
0.209 * [taylor]: Taking taylor expansion of 1.0 in i
0.228 * * * [progress]: simplifying candidates
0.229 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log i) (log i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0))))
  (- (+ (log i) (log i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0))))
  (- (+ (log i) (log i)) (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (- (log (* i i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0))))
  (- (log (* i i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0))))
  (- (log (* i i)) (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (exp (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (* (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))))
  (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (* (* (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (neg (* i i))
  (neg (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (* 2.0 2.0))
  (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* i i))
  (/ (* i i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)
  (/ (* i i) (* (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3)) (* 2.0 2.0)))
  (/ (* i i) (* (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0)) (* 2.0 2.0)))
  (/ (exp (* (* 2.0 i) (* 2.0 i))) (exp 1.0))
  (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3))
  (+ (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 1.0 1.0) (* (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (neg 1.0)
  (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0))
  (+ (* (* 2.0 i) (* 2.0 i)) 1.0)
  (+ (* 2.0 i) (sqrt 1.0))
  (- (* 2.0 i) (sqrt 1.0))
  (neg 1.0)
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.234 * * [simplify]: iteration  0 :  342  enodes  (cost  496 )
0.240 * * [simplify]: iteration  1 :  1633  enodes  (cost  364 )
0.269 * * [simplify]: iteration  2 :  5001  enodes  (cost  364 )
0.271 * [simplify]: Simplified to:
   (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (exp (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (* (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))))
  (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3)
  (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))
  (neg (* i i))
  (neg (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (* 2.0 2.0))
  (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* i i))
  (/ (* i i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)
  (/ (* i i) (* (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3)) (* 2.0 2.0)))
  (/ (* i i) (* (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0)) (* 2.0 2.0)))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (+ (neg (pow 1.0 3)) (pow (* 2.0 i) 6))
  (+ (+ (* (* (* 2.0 2.0) (* 2.0 2.0)) (pow i 4)) (* (* (* 2.0 i) (* 2.0 i)) 1.0)) (* 1.0 1.0))
  (neg 1.0)
  (+ (neg (* 1.0 1.0)) (* (* (pow (* 2.0 i) 3) i) 2.0))
  (+ (* (* 2.0 i) (* 2.0 i)) 1.0)
  (+ (* 2.0 i) (sqrt 1.0))
  (- (* 2.0 i) (sqrt 1.0))
  (neg 1.0)
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.272 * * * [progress]: adding candidates to table
0.337 * * [progress]: iteration 2 / 4
0.337 * * * [progress]: picking best candidate
0.342 * * * * [pick]: Picked  #<alt (λ (i) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))>
0.343 * * * [progress]: localizing error
0.354 * * * [progress]: generating rewritten candidates
0.354 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.367 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.379 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
0.388 * * * [progress]: generating series expansions
0.388 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.389 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in (i) around 0
0.389 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in i
0.389 * [taylor]: Taking taylor expansion of 4.0 in i
0.389 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (pow i 2)) 1.0) i) in i
0.389 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.389 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.389 * [taylor]: Taking taylor expansion of 4.0 in i
0.389 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.389 * [taylor]: Taking taylor expansion of i in i
0.389 * [taylor]: Taking taylor expansion of 1.0 in i
0.389 * [taylor]: Taking taylor expansion of i in i
0.391 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 4.0 (pow i 2)) 1.0) i)) in i
0.391 * [taylor]: Taking taylor expansion of 4.0 in i
0.391 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (pow i 2)) 1.0) i) in i
0.391 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.391 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.391 * [taylor]: Taking taylor expansion of 4.0 in i
0.391 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.391 * [taylor]: Taking taylor expansion of i in i
0.391 * [taylor]: Taking taylor expansion of 1.0 in i
0.391 * [taylor]: Taking taylor expansion of i in i
0.416 * [approximate]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.416 * [taylor]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.416 * [taylor]: Taking taylor expansion of 4.0 in i
0.416 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.416 * [taylor]: Taking taylor expansion of i in i
0.416 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.416 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.416 * [taylor]: Taking taylor expansion of 4.0 in i
0.416 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.416 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.416 * [taylor]: Taking taylor expansion of i in i
0.417 * [taylor]: Taking taylor expansion of 1.0 in i
0.417 * [taylor]: Taking taylor expansion of (* 4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.417 * [taylor]: Taking taylor expansion of 4.0 in i
0.417 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.417 * [taylor]: Taking taylor expansion of i in i
0.417 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.417 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.417 * [taylor]: Taking taylor expansion of 4.0 in i
0.417 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.417 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.417 * [taylor]: Taking taylor expansion of i in i
0.418 * [taylor]: Taking taylor expansion of 1.0 in i
0.652 * [approximate]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.652 * [taylor]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.652 * [taylor]: Taking taylor expansion of -4.0 in i
0.652 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.652 * [taylor]: Taking taylor expansion of i in i
0.652 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.652 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.652 * [taylor]: Taking taylor expansion of 4.0 in i
0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.652 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.652 * [taylor]: Taking taylor expansion of i in i
0.652 * [taylor]: Taking taylor expansion of 1.0 in i
0.653 * [taylor]: Taking taylor expansion of (* -4.0 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.653 * [taylor]: Taking taylor expansion of -4.0 in i
0.653 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.653 * [taylor]: Taking taylor expansion of i in i
0.653 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.653 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.653 * [taylor]: Taking taylor expansion of 4.0 in i
0.653 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.653 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.653 * [taylor]: Taking taylor expansion of i in i
0.653 * [taylor]: Taking taylor expansion of 1.0 in i
0.696 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.697 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
0.697 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.697 * [taylor]: Taking taylor expansion of 0.25 in i
0.697 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.697 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.697 * [taylor]: Taking taylor expansion of i in i
0.697 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.697 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.697 * [taylor]: Taking taylor expansion of 4.0 in i
0.697 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.697 * [taylor]: Taking taylor expansion of i in i
0.697 * [taylor]: Taking taylor expansion of 1.0 in i
0.699 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
0.699 * [taylor]: Taking taylor expansion of 0.25 in i
0.699 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
0.699 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.699 * [taylor]: Taking taylor expansion of i in i
0.699 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.699 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.699 * [taylor]: Taking taylor expansion of 4.0 in i
0.699 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.699 * [taylor]: Taking taylor expansion of i in i
0.699 * [taylor]: Taking taylor expansion of 1.0 in i
0.726 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.726 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.726 * [taylor]: Taking taylor expansion of 0.25 in i
0.726 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.726 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.726 * [taylor]: Taking taylor expansion of i in i
0.727 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.727 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.727 * [taylor]: Taking taylor expansion of 4.0 in i
0.727 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.727 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.727 * [taylor]: Taking taylor expansion of i in i
0.727 * [taylor]: Taking taylor expansion of 1.0 in i
0.729 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.729 * [taylor]: Taking taylor expansion of 0.25 in i
0.729 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.729 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.729 * [taylor]: Taking taylor expansion of i in i
0.729 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.729 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.729 * [taylor]: Taking taylor expansion of 4.0 in i
0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.729 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.729 * [taylor]: Taking taylor expansion of i in i
0.729 * [taylor]: Taking taylor expansion of 1.0 in i
0.753 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.753 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.753 * [taylor]: Taking taylor expansion of 0.25 in i
0.753 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.753 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.753 * [taylor]: Taking taylor expansion of i in i
0.753 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.753 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.754 * [taylor]: Taking taylor expansion of 4.0 in i
0.754 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.754 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.754 * [taylor]: Taking taylor expansion of i in i
0.754 * [taylor]: Taking taylor expansion of 1.0 in i
0.755 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
0.755 * [taylor]: Taking taylor expansion of 0.25 in i
0.755 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
0.756 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.756 * [taylor]: Taking taylor expansion of i in i
0.756 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.756 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.756 * [taylor]: Taking taylor expansion of 4.0 in i
0.756 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.756 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.756 * [taylor]: Taking taylor expansion of i in i
0.756 * [taylor]: Taking taylor expansion of 1.0 in i
0.779 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
0.780 * [approximate]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in (i) around 0
0.780 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.780 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.780 * [taylor]: Taking taylor expansion of 4.0 in i
0.780 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.780 * [taylor]: Taking taylor expansion of i in i
0.780 * [taylor]: Taking taylor expansion of 1.0 in i
0.780 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
0.780 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
0.780 * [taylor]: Taking taylor expansion of 4.0 in i
0.780 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.780 * [taylor]: Taking taylor expansion of i in i
0.780 * [taylor]: Taking taylor expansion of 1.0 in i
0.795 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.795 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.795 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.795 * [taylor]: Taking taylor expansion of 4.0 in i
0.795 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.795 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.795 * [taylor]: Taking taylor expansion of i in i
0.796 * [taylor]: Taking taylor expansion of 1.0 in i
0.796 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.796 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.796 * [taylor]: Taking taylor expansion of 4.0 in i
0.796 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.796 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.796 * [taylor]: Taking taylor expansion of i in i
0.797 * [taylor]: Taking taylor expansion of 1.0 in i
0.817 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.817 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.817 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.818 * [taylor]: Taking taylor expansion of 4.0 in i
0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.818 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.818 * [taylor]: Taking taylor expansion of i in i
0.818 * [taylor]: Taking taylor expansion of 1.0 in i
0.818 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
0.818 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
0.818 * [taylor]: Taking taylor expansion of 4.0 in i
0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.818 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.818 * [taylor]: Taking taylor expansion of i in i
0.819 * [taylor]: Taking taylor expansion of 1.0 in i
0.838 * * * [progress]: simplifying candidates
0.840 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0))) (log i))
  (- (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0))) (log i))
  (- (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (log i))
  (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (exp (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* i i) i))
  (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* i i) i))
  (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (* i i) i))
  (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (* (* (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (neg (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (neg i)
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i)))
  (/ (* 2.0 2.0) (cbrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i))
  (/ (* 2.0 2.0) (sqrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1)
  (/ (* 2.0 2.0) i)
  (/ 1 i)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (cbrt i) (cbrt i)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (sqrt i))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) 1)
  (/ i (* 2.0 2.0))
  (* i (+ (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 1.0 1.0) (* (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (* i (+ (* (* 2.0 i) (* 2.0 i)) 1.0))
  (- (log i) (- (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0))) (log i)))
  (- (log i) (- (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0))) (log i)))
  (- (log i) (- (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (log i)))
  (- (log i) (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (exp (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (* i i) i) (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (/ (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (* i i) i)))
  (/ (* (* i i) i) (* (* (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (* (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))) (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (* (* (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))) (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (neg i)
  (neg (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ (cbrt i) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (cbrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ (cbrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ (cbrt i) (/ (* 2.0 2.0) (sqrt i)))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1))
  (/ (cbrt i) (/ (* 2.0 2.0) i))
  (/ (* (cbrt i) (cbrt i)) 1)
  (/ (cbrt i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (cbrt i) (/ 1 i))
  (/ (sqrt i) (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ (sqrt i) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ (sqrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ (sqrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ (sqrt i) (/ (* 2.0 2.0) (sqrt i)))
  (/ (sqrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1))
  (/ (sqrt i) (/ (* 2.0 2.0) i))
  (/ (sqrt i) 1)
  (/ (sqrt i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (sqrt i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (sqrt i) (/ 1 i))
  (/ 1 (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ i (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ 1 (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ i (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1))
  (/ i (/ (* 2.0 2.0) i))
  (/ 1 1)
  (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ i (/ 1 i))
  (/ 1 (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) i)
  (/ i (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ i (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) 1))
  (/ i 1)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (cbrt i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (sqrt i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) i)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (exp (* (* 2.0 i) (* 2.0 i))) (exp 1.0))
  (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3))
  (+ (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 1.0 1.0) (* (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (neg 1.0)
  (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0))
  (+ (* (* 2.0 i) (* 2.0 i)) 1.0)
  (+ (* 2.0 i) (sqrt 1.0))
  (- (* 2.0 i) (sqrt 1.0))
  (neg 1.0)
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.847 * * [simplify]: iteration  0 :  483  enodes  (cost  1066 )
0.857 * * [simplify]: iteration  1 :  2407  enodes  (cost  906 )
0.898 * * [simplify]: iteration  2 :  5001  enodes  (cost  899 )
0.903 * [simplify]: Simplified to:
   (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (log (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (exp (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (pow (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) 3)
  (pow (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) 3)
  (pow (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) 3)
  (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (pow (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) 3)
  (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (neg (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (neg i)
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i)))
  (/ (* 2.0 2.0) (cbrt i))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i))
  (/ (* 2.0 2.0) (sqrt i))
  (- (* (* 2.0 i) (* 2.0 i)) 1.0)
  (/ (* 2.0 2.0) i)
  (/ 1 i)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (cbrt i) (cbrt i)))
  (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (sqrt i))
  (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))
  (/ i (* 2.0 2.0))
  (+ (* (* i 1.0) (+ (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* i (pow (* 2.0 i) 3)) (* 2.0 i)))
  (* i (+ (* (* 2.0 i) (* 2.0 i)) 1.0))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (log (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (exp (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (* (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))) (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (cbrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (pow (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) 3)
  (sqrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (sqrt (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (neg i)
  (neg (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ (cbrt i) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (cbrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ (* (cbrt i) (cbrt i)) (* 2.0 2.0))
  (/ (* (cbrt i) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ (cbrt i) (/ (* 2.0 2.0) (sqrt i)))
  (/ (cbrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt i)))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (* (cbrt i) (cbrt i))
  (/ (cbrt i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (* (cbrt i) (cbrt i)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (* (cbrt i) i)
  (/ (sqrt i) (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ (sqrt i) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ (sqrt i) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ (sqrt i) (/ (* 2.0 2.0) (cbrt i)))
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (* 2.0 2.0))
  (/ (sqrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (sqrt i)
  (/ (sqrt i) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (sqrt i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (* (sqrt i) i)
  (/ 1 (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ i (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ 1 (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ i (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ i (/ (* 2.0 2.0) (cbrt i)))
  (/ 1 (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ i (/ (* 2.0 2.0) (sqrt i)))
  (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (/ (* 2.0 2.0) i))
  1
  (/ i (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (pow i 2)
  (/ 1 (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) i)
  (/ i (* (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)) (cbrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i))))
  (/ i (sqrt (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i)))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (cbrt i) (cbrt i))))
  (/ i (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)))
  (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  i
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (cbrt i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (sqrt i))
  (/ (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) i)
  (/ i (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (exp (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (+ (neg (pow 1.0 3)) (pow (* 2.0 i) 6))
  (+ (* 1.0 (+ 1.0 (* (* 2.0 i) (* 2.0 i)))) (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))))
  (neg 1.0)
  (- (/ (pow (* 2.0 i) 4) 1) (/ (* 1.0 1.0) 1))
  (+ (* (* 2.0 i) (* 2.0 i)) 1.0)
  (+ (* 2.0 i) (sqrt 1.0))
  (- (* 2.0 i) (sqrt 1.0))
  (neg 1.0)
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
  (- (* 4.0 (pow i 2)) 1.0)
0.904 * * * [progress]: adding candidates to table
1.037 * * [progress]: iteration 3 / 4
1.037 * * * [progress]: picking best candidate
1.040 * * * * [pick]: Picked  #<alt (λ (i) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))>
1.040 * * * [progress]: localizing error
1.050 * * * [progress]: generating rewritten candidates
1.050 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.055 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.059 * * * [progress]: generating series expansions
1.059 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.059 * [approximate]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in (i) around 0
1.059 * [taylor]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in i
1.059 * [taylor]: Taking taylor expansion of i in i
1.059 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.059 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.059 * [taylor]: Taking taylor expansion of 16.0 in i
1.059 * [taylor]: Taking taylor expansion of i in i
1.059 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.059 * [taylor]: Taking taylor expansion of 4.0 in i
1.059 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.059 * [taylor]: Taking taylor expansion of i in i
1.061 * [taylor]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in i
1.061 * [taylor]: Taking taylor expansion of i in i
1.061 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.061 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.062 * [taylor]: Taking taylor expansion of 16.0 in i
1.062 * [taylor]: Taking taylor expansion of i in i
1.062 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.062 * [taylor]: Taking taylor expansion of 4.0 in i
1.062 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.062 * [taylor]: Taking taylor expansion of i in i
1.082 * [approximate]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in (i) around 0
1.082 * [taylor]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in i
1.082 * [taylor]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i) in i
1.082 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.082 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.082 * [taylor]: Taking taylor expansion of 16.0 in i
1.082 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.082 * [taylor]: Taking taylor expansion of i in i
1.082 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.082 * [taylor]: Taking taylor expansion of 4.0 in i
1.082 * [taylor]: Taking taylor expansion of i in i
1.082 * [taylor]: Taking taylor expansion of i in i
1.086 * [taylor]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in i
1.086 * [taylor]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i) in i
1.086 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.086 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.086 * [taylor]: Taking taylor expansion of 16.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.086 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.086 * [taylor]: Taking taylor expansion of 4.0 in i
1.086 * [taylor]: Taking taylor expansion of i in i
1.086 * [taylor]: Taking taylor expansion of i in i
1.112 * [approximate]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 i) (* 16.0 (/ 1 i))))) in (i) around 0
1.112 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 i) (* 16.0 (/ 1 i))))) in i
1.112 * [taylor]: Taking taylor expansion of -1 in i
1.112 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 i) (* 16.0 (/ 1 i)))) in i
1.112 * [taylor]: Taking taylor expansion of i in i
1.112 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.112 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.112 * [taylor]: Taking taylor expansion of 4.0 in i
1.112 * [taylor]: Taking taylor expansion of i in i
1.112 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.112 * [taylor]: Taking taylor expansion of 16.0 in i
1.112 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.112 * [taylor]: Taking taylor expansion of i in i
1.117 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 i) (* 16.0 (/ 1 i))))) in i
1.117 * [taylor]: Taking taylor expansion of -1 in i
1.117 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 i) (* 16.0 (/ 1 i)))) in i
1.117 * [taylor]: Taking taylor expansion of i in i
1.117 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.117 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.117 * [taylor]: Taking taylor expansion of 4.0 in i
1.117 * [taylor]: Taking taylor expansion of i in i
1.118 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.118 * [taylor]: Taking taylor expansion of 16.0 in i
1.118 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.118 * [taylor]: Taking taylor expansion of i in i
1.147 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.148 * [approximate]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in (i) around 0
1.148 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.148 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.148 * [taylor]: Taking taylor expansion of 16.0 in i
1.148 * [taylor]: Taking taylor expansion of i in i
1.148 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.148 * [taylor]: Taking taylor expansion of 4.0 in i
1.148 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.148 * [taylor]: Taking taylor expansion of i in i
1.148 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.148 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.148 * [taylor]: Taking taylor expansion of 16.0 in i
1.148 * [taylor]: Taking taylor expansion of i in i
1.148 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.148 * [taylor]: Taking taylor expansion of 4.0 in i
1.148 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.148 * [taylor]: Taking taylor expansion of i in i
1.169 * [approximate]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in (i) around 0
1.169 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.169 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.169 * [taylor]: Taking taylor expansion of 16.0 in i
1.169 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.169 * [taylor]: Taking taylor expansion of i in i
1.169 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.169 * [taylor]: Taking taylor expansion of 4.0 in i
1.169 * [taylor]: Taking taylor expansion of i in i
1.169 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.169 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.169 * [taylor]: Taking taylor expansion of 16.0 in i
1.169 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.169 * [taylor]: Taking taylor expansion of i in i
1.170 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.170 * [taylor]: Taking taylor expansion of 4.0 in i
1.170 * [taylor]: Taking taylor expansion of i in i
1.190 * [approximate]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in (i) around 0
1.190 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.190 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.190 * [taylor]: Taking taylor expansion of 4.0 in i
1.190 * [taylor]: Taking taylor expansion of i in i
1.190 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.190 * [taylor]: Taking taylor expansion of 16.0 in i
1.190 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.190 * [taylor]: Taking taylor expansion of i in i
1.190 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.190 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.190 * [taylor]: Taking taylor expansion of 4.0 in i
1.190 * [taylor]: Taking taylor expansion of i in i
1.190 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.190 * [taylor]: Taking taylor expansion of 16.0 in i
1.190 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.190 * [taylor]: Taking taylor expansion of i in i
1.213 * * * [progress]: simplifying candidates
1.214 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log i) (log (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (log (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (exp (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (* (* i i) i) (* (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))) (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (* (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (sqrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (sqrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (neg i)
  (neg (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (cbrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (cbrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (* (cbrt i) (cbrt i)) 1)
  (/ (cbrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) 1)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ 1 (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ 1 1)
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ i (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i 1)
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt i))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ i (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3)))
  (/ i (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i)))))
  (/ (exp (* 16.0 i)) (exp (* 4.0 (/ 1 i))))
  (log (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (exp (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3))
  (+ (* (* 16.0 i) (* 16.0 i)) (+ (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))) (* (* 16.0 i) (* 4.0 (/ 1 i)))))
  (neg (* 4.0 (/ 1 i)))
  (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))))
  (+ (* 16.0 i) (* 4.0 (/ 1 i)))
  (neg (* 4.0 (/ 1 i)))
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
1.218 * * [simplify]: iteration  0 :  223  enodes  (cost  402 )
1.222 * * [simplify]: iteration  1 :  845  enodes  (cost  369 )
1.240 * * [simplify]: iteration  2 :  4348  enodes  (cost  365 )
1.409 * * [simplify]: iteration  3 :  5001  enodes  (cost  365 )
1.411 * [simplify]: Simplified to:
   (log (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (log (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (exp (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (pow (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) 3)
  (* (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))) (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (cbrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (pow (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) 3)
  (sqrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (sqrt (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (neg i)
  (+ (neg (* 16.0 i)) (/ 4.0 i))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (cbrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (cbrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (cbrt i) (cbrt i))
  (/ (cbrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (sqrt i)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ 1 (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  1
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ i (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  i
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt i))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ i (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3)))
  (/ i (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i)))))
  (exp (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (log (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (exp (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (pow (- (* 16.0 i) (* 4.0 (/ 1 i))) 3)
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3))
  (+ (* (* 16.0 i) (+ (* 16.0 i) (* 4.0 (/ 1 i)))) (/ (* (/ 4.0 i) 4.0) i))
  (/ (neg 4.0) i)
  (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))))
  (+ (* 16.0 i) (* 4.0 (/ 1 i)))
  (/ (neg 4.0) i)
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4)))) (/ (/ 0.015625 i) i))
  (+ (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4)))) (/ (/ 0.015625 i) i))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
1.411 * * * [progress]: adding candidates to table
1.479 * * [progress]: iteration 4 / 4
1.479 * * * [progress]: picking best candidate
1.481 * * * * [pick]: Picked  #<alt (λ (i) (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))>
1.481 * * * [progress]: localizing error
1.489 * * * [progress]: generating rewritten candidates
1.489 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.496 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.506 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
1.521 * * * [progress]: generating series expansions
1.521 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.521 * [approximate]: Taking taylor expansion of (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (/ 1 i))) in (i) around 0
1.521 * [taylor]: Taking taylor expansion of (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (/ 1 i))) in i
1.521 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.521 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.521 * [taylor]: Taking taylor expansion of 16.0 in i
1.521 * [taylor]: Taking taylor expansion of i in i
1.521 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.521 * [taylor]: Taking taylor expansion of 4.0 in i
1.522 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.522 * [taylor]: Taking taylor expansion of i in i
1.522 * [taylor]: Taking taylor expansion of (sqrt (/ 1 i)) in i
1.522 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.522 * [taylor]: Taking taylor expansion of i in i
1.523 * [taylor]: Taking taylor expansion of (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (/ 1 i))) in i
1.523 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.523 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.523 * [taylor]: Taking taylor expansion of 16.0 in i
1.523 * [taylor]: Taking taylor expansion of i in i
1.524 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.524 * [taylor]: Taking taylor expansion of 4.0 in i
1.524 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.524 * [taylor]: Taking taylor expansion of i in i
1.524 * [taylor]: Taking taylor expansion of (sqrt (/ 1 i)) in i
1.524 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.524 * [taylor]: Taking taylor expansion of i in i
1.548 * [approximate]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) (sqrt i)) in (i) around 0
1.548 * [taylor]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) (sqrt i)) in i
1.548 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.548 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.548 * [taylor]: Taking taylor expansion of 16.0 in i
1.548 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.548 * [taylor]: Taking taylor expansion of i in i
1.549 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.549 * [taylor]: Taking taylor expansion of 4.0 in i
1.549 * [taylor]: Taking taylor expansion of i in i
1.549 * [taylor]: Taking taylor expansion of (sqrt i) in i
1.549 * [taylor]: Taking taylor expansion of i in i
1.550 * [taylor]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) (sqrt i)) in i
1.550 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.550 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.550 * [taylor]: Taking taylor expansion of 16.0 in i
1.550 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.550 * [taylor]: Taking taylor expansion of i in i
1.550 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.550 * [taylor]: Taking taylor expansion of 4.0 in i
1.550 * [taylor]: Taking taylor expansion of i in i
1.550 * [taylor]: Taking taylor expansion of (sqrt i) in i
1.550 * [taylor]: Taking taylor expansion of i in i
1.569 * [approximate]: Taking taylor expansion of (/ (- (* 4.0 i) (* 16.0 (/ 1 i))) (sqrt (/ -1 i))) in (i) around 0
1.569 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 i) (* 16.0 (/ 1 i))) (sqrt (/ -1 i))) in i
1.569 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.569 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.569 * [taylor]: Taking taylor expansion of 4.0 in i
1.569 * [taylor]: Taking taylor expansion of i in i
1.570 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.570 * [taylor]: Taking taylor expansion of 16.0 in i
1.570 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.570 * [taylor]: Taking taylor expansion of i in i
1.570 * [taylor]: Taking taylor expansion of (sqrt (/ -1 i)) in i
1.570 * [taylor]: Taking taylor expansion of (/ -1 i) in i
1.570 * [taylor]: Taking taylor expansion of -1 in i
1.570 * [taylor]: Taking taylor expansion of i in i
1.573 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 i) (* 16.0 (/ 1 i))) (sqrt (/ -1 i))) in i
1.573 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.573 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.573 * [taylor]: Taking taylor expansion of 4.0 in i
1.573 * [taylor]: Taking taylor expansion of i in i
1.573 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.573 * [taylor]: Taking taylor expansion of 16.0 in i
1.573 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.573 * [taylor]: Taking taylor expansion of i in i
1.573 * [taylor]: Taking taylor expansion of (sqrt (/ -1 i)) in i
1.573 * [taylor]: Taking taylor expansion of (/ -1 i) in i
1.573 * [taylor]: Taking taylor expansion of -1 in i
1.573 * [taylor]: Taking taylor expansion of i in i
1.590 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.590 * [approximate]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in (i) around 0
1.590 * [taylor]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in i
1.590 * [taylor]: Taking taylor expansion of i in i
1.590 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.590 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.590 * [taylor]: Taking taylor expansion of 16.0 in i
1.590 * [taylor]: Taking taylor expansion of i in i
1.590 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.590 * [taylor]: Taking taylor expansion of 4.0 in i
1.590 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.590 * [taylor]: Taking taylor expansion of i in i
1.592 * [taylor]: Taking taylor expansion of (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))) in i
1.592 * [taylor]: Taking taylor expansion of i in i
1.592 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.592 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.592 * [taylor]: Taking taylor expansion of 16.0 in i
1.592 * [taylor]: Taking taylor expansion of i in i
1.592 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.592 * [taylor]: Taking taylor expansion of 4.0 in i
1.592 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.592 * [taylor]: Taking taylor expansion of i in i
1.615 * [approximate]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in (i) around 0
1.615 * [taylor]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in i
1.615 * [taylor]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i) in i
1.615 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.615 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.615 * [taylor]: Taking taylor expansion of 16.0 in i
1.615 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.615 * [taylor]: Taking taylor expansion of i in i
1.615 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.616 * [taylor]: Taking taylor expansion of 4.0 in i
1.616 * [taylor]: Taking taylor expansion of i in i
1.616 * [taylor]: Taking taylor expansion of i in i
1.619 * [taylor]: Taking taylor expansion of (/ 1 (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i)) in i
1.619 * [taylor]: Taking taylor expansion of (* (- (* 16.0 (/ 1 i)) (* 4.0 i)) i) in i
1.619 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.619 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.619 * [taylor]: Taking taylor expansion of 16.0 in i
1.619 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.619 * [taylor]: Taking taylor expansion of i in i
1.619 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.619 * [taylor]: Taking taylor expansion of 4.0 in i
1.619 * [taylor]: Taking taylor expansion of i in i
1.619 * [taylor]: Taking taylor expansion of i in i
1.645 * [approximate]: Taking taylor expansion of (/ (pow (sqrt (/ -1 i)) 2) (- (* 4.0 i) (* 16.0 (/ 1 i)))) in (i) around 0
1.645 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 i)) 2) (- (* 4.0 i) (* 16.0 (/ 1 i)))) in i
1.645 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 i)) 2) in i
1.645 * [taylor]: Taking taylor expansion of (sqrt (/ -1 i)) in i
1.645 * [taylor]: Taking taylor expansion of (/ -1 i) in i
1.645 * [taylor]: Taking taylor expansion of -1 in i
1.645 * [taylor]: Taking taylor expansion of i in i
1.646 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.646 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.646 * [taylor]: Taking taylor expansion of 4.0 in i
1.646 * [taylor]: Taking taylor expansion of i in i
1.646 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.646 * [taylor]: Taking taylor expansion of 16.0 in i
1.646 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.646 * [taylor]: Taking taylor expansion of i in i
1.648 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 i)) 2) (- (* 4.0 i) (* 16.0 (/ 1 i)))) in i
1.648 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 i)) 2) in i
1.648 * [taylor]: Taking taylor expansion of (sqrt (/ -1 i)) in i
1.648 * [taylor]: Taking taylor expansion of (/ -1 i) in i
1.648 * [taylor]: Taking taylor expansion of -1 in i
1.648 * [taylor]: Taking taylor expansion of i in i
1.650 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.650 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.650 * [taylor]: Taking taylor expansion of 4.0 in i
1.650 * [taylor]: Taking taylor expansion of i in i
1.650 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.650 * [taylor]: Taking taylor expansion of 16.0 in i
1.650 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.650 * [taylor]: Taking taylor expansion of i in i
1.669 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
1.670 * [approximate]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in (i) around 0
1.670 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.670 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.670 * [taylor]: Taking taylor expansion of 16.0 in i
1.670 * [taylor]: Taking taylor expansion of i in i
1.670 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.670 * [taylor]: Taking taylor expansion of 4.0 in i
1.670 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.670 * [taylor]: Taking taylor expansion of i in i
1.670 * [taylor]: Taking taylor expansion of (- (* 16.0 i) (* 4.0 (/ 1 i))) in i
1.670 * [taylor]: Taking taylor expansion of (* 16.0 i) in i
1.670 * [taylor]: Taking taylor expansion of 16.0 in i
1.670 * [taylor]: Taking taylor expansion of i in i
1.670 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
1.670 * [taylor]: Taking taylor expansion of 4.0 in i
1.670 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.670 * [taylor]: Taking taylor expansion of i in i
1.693 * [approximate]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in (i) around 0
1.693 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.693 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.693 * [taylor]: Taking taylor expansion of 16.0 in i
1.693 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.693 * [taylor]: Taking taylor expansion of i in i
1.693 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.693 * [taylor]: Taking taylor expansion of 4.0 in i
1.693 * [taylor]: Taking taylor expansion of i in i
1.693 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 i)) (* 4.0 i)) in i
1.693 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.693 * [taylor]: Taking taylor expansion of 16.0 in i
1.693 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.693 * [taylor]: Taking taylor expansion of i in i
1.693 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.693 * [taylor]: Taking taylor expansion of 4.0 in i
1.694 * [taylor]: Taking taylor expansion of i in i
1.713 * [approximate]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in (i) around 0
1.713 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.713 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.713 * [taylor]: Taking taylor expansion of 4.0 in i
1.713 * [taylor]: Taking taylor expansion of i in i
1.713 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.713 * [taylor]: Taking taylor expansion of 16.0 in i
1.713 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.714 * [taylor]: Taking taylor expansion of i in i
1.714 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 16.0 (/ 1 i))) in i
1.714 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
1.714 * [taylor]: Taking taylor expansion of 4.0 in i
1.714 * [taylor]: Taking taylor expansion of i in i
1.714 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 i)) in i
1.714 * [taylor]: Taking taylor expansion of 16.0 in i
1.714 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.714 * [taylor]: Taking taylor expansion of i in i
1.734 * * * [progress]: simplifying candidates
1.738 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* 16.0 i) (* 4.0 (/ 1 i)))) (log (sqrt i)))
  (log (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (exp (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (* (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (* (sqrt i) (sqrt i)) (sqrt i)))
  (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (* (* (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (neg (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (neg (sqrt i))
  (/ (* 16.0 i) (sqrt i))
  (/ (* 4.0 (/ 1 i)) (sqrt i))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i)))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (* (cbrt i) (cbrt i))))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i)))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i)))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt 1))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i)))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) 1)
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (* (cbrt i) (cbrt i))))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt 1))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) 1)
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i))
  (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i)))
  (/ 1 (sqrt (* (cbrt i) (cbrt i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i)))
  (/ 1 (sqrt (sqrt i)))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i)))
  (/ 1 (sqrt 1))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))
  (/ 1 (sqrt (sqrt i)))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i)))
  (/ 1 1)
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))
  (/ 1 (sqrt i))
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (* (cbrt i) (cbrt i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i)))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt 1))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i)))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) 1)
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (sqrt i) (+ (* (* 16.0 i) (* 16.0 i)) (+ (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))) (* (* 16.0 i) (* 4.0 (/ 1 i))))))
  (* (sqrt i) (+ (* 16.0 i) (* 4.0 (/ 1 i))))
  (- (log (sqrt i)) (- (log (- (* 16.0 i) (* 4.0 (/ 1 i)))) (log (sqrt i))))
  (- (log (sqrt i)) (log (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (log (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (exp (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (/ (* (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (* (sqrt i) (sqrt i)) (sqrt i))))
  (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (* (cbrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))) (cbrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (cbrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (* (* (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))) (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (sqrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (sqrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (neg (sqrt i))
  (neg (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (cbrt (sqrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (cbrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt 1)))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) 1))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt 1)))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) 1))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ 1 (sqrt (* (cbrt i) (cbrt i)))))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ 1 (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ 1 (sqrt 1)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ 1 (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ 1 1))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) 1)
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (cbrt (sqrt i)) (/ 1 (sqrt i)))
  (/ (sqrt (* (cbrt i) (cbrt i))) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt (cbrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (cbrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt 1)))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) 1))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt 1)))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) 1))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ 1 (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ 1 (sqrt 1)))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt (* (cbrt i) (cbrt i))) (/ 1 1))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (* (cbrt i) (cbrt i))) 1)
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (* (cbrt i) (cbrt i))) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt (cbrt i)) (/ 1 (sqrt i)))
  (/ (sqrt (sqrt i)) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt (sqrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt 1)))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) 1))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt 1)))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) 1))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ 1 1))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (sqrt i)) 1)
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (sqrt i)) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt i)))
  (/ (sqrt 1) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt i) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt 1) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt i) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt 1) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt 1) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt 1) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt 1) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt 1)))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt 1) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt 1) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) 1))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt 1) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt 1) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt 1) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt 1) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt 1)))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt 1) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt 1) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) 1))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt 1) (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (/ (sqrt 1) (/ 1 (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt 1) (/ 1 (sqrt 1)))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt 1) 1)
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt 1) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt i) (/ 1 (sqrt i)))
  (/ (sqrt (sqrt i)) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt (sqrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt 1)))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) 1))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt 1)))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) 1))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ 1 1))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (sqrt i)) 1)
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (sqrt (sqrt i)) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt (sqrt i)) (/ 1 (sqrt i)))
  (/ 1 (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt i) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ 1 (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt i) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ 1 (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ 1 (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ 1 (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt 1)))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ 1 (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) 1))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ 1 (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ 1 (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ 1 (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt 1)))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ 1 (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) 1))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i)))
  (/ 1 (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (/ 1 (/ 1 (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (/ 1 (/ 1 (sqrt (sqrt i))))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ 1 (/ 1 (sqrt 1)))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ 1 (/ 1 (sqrt (sqrt i))))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ 1 (/ 1 1))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ 1 1)
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ 1 (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt i) (/ 1 (sqrt i)))
  (/ 1 (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt i))
  (/ (sqrt i) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt i) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt 1)))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) 1))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt 1)))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) 1))
  (/ (sqrt i) (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt i) (/ 1 (sqrt (* (cbrt i) (cbrt i)))))
  (/ (sqrt i) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt i) (/ 1 (sqrt 1)))
  (/ (sqrt i) (/ 1 (sqrt (sqrt i))))
  (/ (sqrt i) (/ 1 1))
  (/ (sqrt i) 1)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (cbrt (sqrt i)))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt (cbrt i)))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt (sqrt i)))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt i))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt (sqrt i)))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt i))
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (exp (* 16.0 i)) (exp (* 4.0 (/ 1 i))))
  (log (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (exp (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (* (- (* 16.0 i) (* 4.0 (/ 1 i))) (- (* 16.0 i) (* 4.0 (/ 1 i)))) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3))
  (+ (* (* 16.0 i) (* 16.0 i)) (+ (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))) (* (* 16.0 i) (* 4.0 (/ 1 i)))))
  (neg (* 4.0 (/ 1 i)))
  (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))))
  (+ (* 16.0 i) (* 4.0 (/ 1 i)))
  (neg (* 4.0 (/ 1 i)))
  (neg (+ (* +nan.0 i) (neg (+ (* +nan.0 (/ 1 i)) (neg +nan.0)))))
  (neg (+ (* +nan.0 (/ 1 (pow i 2))) (neg (+ (* +nan.0 (/ 1 i)) (neg +nan.0)))))
  (neg (+ (* +nan.0 i) (neg (+ (* +nan.0 (/ 1 i)) (neg +nan.0)))))
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (neg (+ (* +nan.0 (/ 1 (pow i 2))) (neg (+ (* +nan.0 (/ 1 i)) (neg (* +nan.0 (/ 1 (pow i 3))))))))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
  (- (* 16.0 i) (* 4.0 (/ 1 i)))
1.752 * * [simplify]: iteration  0 :  755  enodes  (cost  3731 )
1.768 * * [simplify]: iteration  1 :  4069  enodes  (cost  3390 )
1.829 * * [simplify]: iteration  2 :  5001  enodes  (cost  3367 )
1.847 * [simplify]: Simplified to:
   (log (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (log (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (exp (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (pow (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) 3)
  (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (pow (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) 3)
  (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (neg (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (neg (sqrt i))
  (/ (* 16.0 i) (sqrt i))
  (/ 4.0 (* (sqrt i) i))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i)))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (/ (fabs (cbrt i)) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i)))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i)))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i))
  (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i)))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (fabs (cbrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i)))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt i))
  (/ 1 (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i)))
  (/ 1 (fabs (cbrt i)))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i)))
  (/ 1 (sqrt (sqrt i)))
  (/ (- (* 16.0 i) (/ 4.0 i)) (sqrt (sqrt i)))
  1
  (/ (- (* 16.0 i) (/ 4.0 i)) (pow i 1/2))
  (/ 1 (sqrt (sqrt i)))
  (/ (- (* 16.0 i) (/ 4.0 i)) (sqrt (sqrt i)))
  1
  (/ (- (* 16.0 i) (/ 4.0 i)) (pow i 1/2))
  (/ 1 (sqrt i))
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (fabs (cbrt i)))
  (/ (- (* 16.0 i) (/ 4.0 i)) (sqrt (sqrt i)))
  (- (* 16.0 i) (/ 4.0 i))
  (/ (- (* 16.0 i) (/ 4.0 i)) (sqrt (sqrt i)))
  (- (* 16.0 i) (/ 4.0 i))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (+ (* (* 4.0 (/ 1 i)) (+ (* 4.0 (/ 1 i)) (* 16.0 i))) (* (* 16.0 i) (* 16.0 i))) (sqrt i))
  (* (sqrt i) (+ (* 16.0 i) (* 4.0 (/ 1 i))))
  (- (log i) (log (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (- (log i) (log (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (- (log i) (log (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (exp (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (pow i 3) (pow (- (* 16.0 i) (* 4.0 (/ 1 i))) 3))
  (/ (pow i 3) (pow (- (* 16.0 i) (* 4.0 (/ 1 i))) 3))
  (* (cbrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))) (cbrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (cbrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (pow i 3) (pow (- (* 16.0 i) (* 4.0 (/ 1 i))) 3))
  (sqrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (sqrt (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (neg (sqrt i))
  (neg (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (cbrt (sqrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (cbrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (* (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (cbrt (sqrt i))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (cbrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (cbrt (sqrt i))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (* (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (fabs (cbrt i)))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (* (* (cbrt (sqrt i)) (cbrt (sqrt i))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (* (cbrt (sqrt i)) (cbrt (sqrt i))) (fabs (cbrt i)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (* (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (sqrt i)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (* (cbrt (sqrt i)) (cbrt (sqrt i)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (* (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (sqrt i)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (* (cbrt (sqrt i)) (cbrt (sqrt i)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (* (cbrt (sqrt i)) (cbrt (sqrt i)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (cbrt (sqrt i)) (sqrt i))
  (/ (/ (fabs (cbrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (cbrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (fabs (cbrt i)) (/ (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) 1))
  (/ (sqrt (cbrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (* (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (* (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))) (sqrt (sqrt i)))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (* (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))) (sqrt (sqrt i)))
  (/ (sqrt (cbrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (* (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (fabs (cbrt i)))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (* (/ (fabs (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i)))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (fabs (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (* (/ (fabs (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i)))
  (/ (sqrt (cbrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (fabs (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (* (* (cbrt (sqrt i)) (cbrt (sqrt i))) (fabs (cbrt i)))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (* (cbrt i) (cbrt i))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (* (fabs (cbrt i)) (sqrt (sqrt i)))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (fabs (cbrt i))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (* (fabs (cbrt i)) (sqrt (sqrt i)))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (fabs (cbrt i))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (fabs (cbrt i))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (/ (fabs (cbrt i)) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (* (sqrt (cbrt i)) (sqrt i))
  (/ (sqrt (sqrt i)) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt (sqrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (* (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))) (sqrt (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (* (/ (fabs (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (* (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (* (fabs (cbrt i)) (sqrt (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (sqrt i)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (sqrt i)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (pow (sqrt (sqrt i)) 3)
  (/ (/ 1 (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt i) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ 1 (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt i) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (cbrt (sqrt i))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (fabs (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (cbrt (sqrt i)) (cbrt (sqrt i)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (fabs (cbrt i))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  1
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  1
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  1
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (- (* 16.0 i) (* 4.0 (/ 1 i))))
  i
  (/ (sqrt (sqrt i)) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt (sqrt i)) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (* (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))) (sqrt (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (* (/ (fabs (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (* (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (cbrt (sqrt i))))
  (* (fabs (cbrt i)) (sqrt (sqrt i)))
  (/ (sqrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (cbrt i))))
  (sqrt i)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (sqrt i)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  (/ (sqrt (sqrt i)) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (pow (sqrt (sqrt i)) 3)
  (/ (/ 1 (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt i) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ 1 (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt i) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (cbrt (sqrt i)) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (cbrt (sqrt i))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (fabs (cbrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ i (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (cbrt (sqrt i)) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (sqrt i))))
  (/ (fabs (cbrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (cbrt i))))
  (/ (sqrt (sqrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt (sqrt i)) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ 1 (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ i (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (cbrt (sqrt i)) (cbrt (sqrt i)))
  (/ (cbrt (sqrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (fabs (cbrt i))
  (/ (sqrt (cbrt i)) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  1
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (sqrt i))
  (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt (sqrt i))))
  1
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  1
  (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ 1 (- (* 16.0 i) (* 4.0 (/ 1 i))))
  i
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ (sqrt i) (* (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))) (cbrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)))))
  (/ (sqrt i) (sqrt (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (* (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))) (fabs (cbrt i)))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (sqrt (sqrt i))))
  (/ (sqrt i) (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i)))))
  (* (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))) (fabs (cbrt i)))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (/ (sqrt i) (/ (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (sqrt (sqrt i))))
  (/ (sqrt i) (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (* (sqrt i) (* (cbrt (sqrt i)) (cbrt (sqrt i))))
  (* (sqrt i) (fabs (cbrt i)))
  (pow (sqrt (sqrt i)) 3)
  (sqrt i)
  (pow (sqrt (sqrt i)) 3)
  (sqrt i)
  (sqrt i)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (cbrt (sqrt i)))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt (cbrt i)))
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt (sqrt i)))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i)) (sqrt (sqrt i)))
  (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) i)
  (/ (sqrt i) (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (exp (- (* 16.0 i) (/ 4.0 i)))
  (log (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (exp (- (* 16.0 i) (/ 4.0 i)))
  (* (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))) (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i)))))
  (cbrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (pow (- (* 16.0 i) (* 4.0 (/ 1 i))) 3)
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (sqrt (- (* 16.0 i) (* 4.0 (/ 1 i))))
  (- (pow (* 16.0 i) 3) (pow (* 4.0 (/ 1 i)) 3))
  (+ (* (* 4.0 (/ 1 i)) (+ (* 4.0 (/ 1 i)) (* 16.0 i))) (* (* 16.0 i) (* 16.0 i)))
  (/ (neg 4.0) i)
  (- (* (* 16.0 i) (* 16.0 i)) (* (* 4.0 (/ 1 i)) (* 4.0 (/ 1 i))))
  (+ (* 16.0 i) (* 4.0 (/ 1 i)))
  (/ (neg 4.0) i)
  (+ (neg (* +nan.0 i)) (- (* +nan.0 (/ 1 i)) +nan.0))
  (+ (- (* +nan.0 (/ 1 i)) +nan.0) (/ (neg +nan.0) (pow i 2)))
  (+ (neg (* +nan.0 i)) (- (* +nan.0 (/ 1 i)) +nan.0))
  (neg (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* +nan.0 (+ (/ 1 i) (/ -1 (pow i 3)))) (/ (neg +nan.0) (pow i 2)))
  (- (* 16.0 i) (/ 4.0 i))
  (- (* 16.0 i) (/ 4.0 i))
  (- (* 16.0 i) (/ 4.0 i))
1.849 * * * [progress]: adding candidates to table
2.132 * [progress]: [Phase 3 of 3] Extracting.
2.132 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))> #<alt (λ (i) (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))> #<alt (λ (i) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))>)
2.132 * * * [regime-changes]: Trying 1 branch expressions: (i)
2.132 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ i (- (* 16.0 i) (* 4.0 (/ 1 i)))))> #<alt (λ (i) (/ (sqrt i) (/ (- (* 16.0 i) (* 4.0 (/ 1 i))) (sqrt i))))> #<alt (λ (i) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))>)
2.144 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.144 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
2.144 * * [simplify]: iteration  0 :  13  enodes  (cost  5 )
2.145 * * [simplify]: iteration  1 :  13  enodes  (cost  5 )
2.145 * [simplify]: Simplified to:
   (/ i (- (* 16.0 i) (* 4.0 (/ 1 i))))
2.630 * [regime-testing]: Baseline error score: 0.20695898414996114
2.630 * [regime-testing]: Oracle error score: 0.13312663479370157
2.631 * [regime-testing]: End program error score: 0.20695898414996114