12.595 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.057 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.061 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)))>
0.062 * [simplify]: Simplifying:
  (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0))
0.062 * * [simplify]: iteration 0: 10 enodes
0.068 * * [simplify]: iteration 1: 33 enodes
0.084 * * [simplify]: iteration 2: 152 enodes
0.237 * * [simplify]: iteration 3: 709 enodes
0.469 * * [simplify]: iteration 4: 2054 enodes
0.917 * * [simplify]: iteration complete: 2054 enodes
0.917 * * [simplify]: Extracting #0: cost 1 inf + 0
0.917 * * [simplify]: Extracting #1: cost 279 inf + 0
0.920 * * [simplify]: Extracting #2: cost 613 inf + 3198
0.938 * * [simplify]: Extracting #3: cost 363 inf + 52480
0.959 * * [simplify]: Extracting #4: cost 21 inf + 108936
0.987 * * [simplify]: Extracting #5: cost 0 inf + 113472
1.032 * * [simplify]: Extracting #6: cost 0 inf + 113392
1.076 * [simplify]: Simplified to:
  (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))
1.082 * * [progress]: iteration 1 / 4
1.082 * * * [progress]: picking best candidate
1.084 * * * * [pick]: Picked  #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))>
1.084 * * * [progress]: localizing error
1.100 * * * [progress]: generating rewritten candidates
1.100 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.150 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
1.168 * * * [progress]: generating series expansions
1.169 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.169 * [backup-simplify]: Simplify (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)) into (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)))
1.169 * [approximate]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in (i) around 0
1.169 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
1.169 * [taylor]: Taking taylor expansion of 1/4 in i
1.169 * [backup-simplify]: Simplify 1/4 into 1/4
1.169 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
1.169 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.169 * [taylor]: Taking taylor expansion of i in i
1.169 * [backup-simplify]: Simplify 0 into 0
1.169 * [backup-simplify]: Simplify 1 into 1
1.169 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
1.169 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
1.169 * [taylor]: Taking taylor expansion of 4 in i
1.169 * [backup-simplify]: Simplify 4 into 4
1.169 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.169 * [taylor]: Taking taylor expansion of i in i
1.169 * [backup-simplify]: Simplify 0 into 0
1.169 * [backup-simplify]: Simplify 1 into 1
1.169 * [taylor]: Taking taylor expansion of 1.0 in i
1.169 * [backup-simplify]: Simplify 1.0 into 1.0
1.170 * [backup-simplify]: Simplify (* 1 1) into 1
1.170 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.171 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
1.172 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
1.172 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
1.172 * [taylor]: Taking taylor expansion of 1/4 in i
1.172 * [backup-simplify]: Simplify 1/4 into 1/4
1.172 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
1.172 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.172 * [taylor]: Taking taylor expansion of i in i
1.172 * [backup-simplify]: Simplify 0 into 0
1.172 * [backup-simplify]: Simplify 1 into 1
1.172 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
1.173 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
1.173 * [taylor]: Taking taylor expansion of 4 in i
1.173 * [backup-simplify]: Simplify 4 into 4
1.173 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.173 * [taylor]: Taking taylor expansion of i in i
1.173 * [backup-simplify]: Simplify 0 into 0
1.173 * [backup-simplify]: Simplify 1 into 1
1.173 * [taylor]: Taking taylor expansion of 1.0 in i
1.173 * [backup-simplify]: Simplify 1.0 into 1.0
1.173 * [backup-simplify]: Simplify (* 1 1) into 1
1.174 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.174 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
1.175 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
1.176 * [backup-simplify]: Simplify (* 1/4 -1.0) into -0.25
1.176 * [backup-simplify]: Simplify -0.25 into -0.25
1.176 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.177 * [backup-simplify]: Simplify (- 0) into 0
1.177 * [backup-simplify]: Simplify (+ 0 0) into 0
1.178 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
1.179 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0
1.179 * [backup-simplify]: Simplify 0 into 0
1.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.182 * [backup-simplify]: Simplify (* 1 1) into 1
1.183 * [backup-simplify]: Simplify (* 4 1) into 4
1.183 * [backup-simplify]: Simplify (- 0) into 0
1.184 * [backup-simplify]: Simplify (+ 4 0) into 4
1.189 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
1.191 * [backup-simplify]: Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0)
1.192 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.194 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.194 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
1.195 * [backup-simplify]: Simplify (- 0) into 0
1.195 * [backup-simplify]: Simplify (+ 0 0) into 0
1.197 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
1.198 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0
1.199 * [backup-simplify]: Simplify 0 into 0
1.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.202 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1.202 * [backup-simplify]: Simplify (- 0) into 0
1.202 * [backup-simplify]: Simplify (+ 0 0) into 0
1.210 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0)
1.215 * [backup-simplify]: Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0)
1.216 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.218 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* -0.25 (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
1.218 * [backup-simplify]: Simplify (/ (* (* (/ 1 i) (/ 1 i)) 1/4) (- (* (* (/ 1 i) (/ 1 i)) 4) 1.0)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)))
1.218 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
1.218 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1.218 * [taylor]: Taking taylor expansion of 1/4 in i
1.218 * [backup-simplify]: Simplify 1/4 into 1/4
1.218 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1.218 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.218 * [taylor]: Taking taylor expansion of i in i
1.218 * [backup-simplify]: Simplify 0 into 0
1.218 * [backup-simplify]: Simplify 1 into 1
1.218 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1.218 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1.218 * [taylor]: Taking taylor expansion of 4 in i
1.218 * [backup-simplify]: Simplify 4 into 4
1.218 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
1.218 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.218 * [taylor]: Taking taylor expansion of i in i
1.218 * [backup-simplify]: Simplify 0 into 0
1.218 * [backup-simplify]: Simplify 1 into 1
1.219 * [backup-simplify]: Simplify (* 1 1) into 1
1.219 * [backup-simplify]: Simplify (/ 1 1) into 1
1.219 * [taylor]: Taking taylor expansion of 1.0 in i
1.219 * [backup-simplify]: Simplify 1.0 into 1.0
1.220 * [backup-simplify]: Simplify (* 1 1) into 1
1.220 * [backup-simplify]: Simplify (* 4 1) into 4
1.220 * [backup-simplify]: Simplify (+ 4 0) into 4
1.221 * [backup-simplify]: Simplify (* 1 4) into 4
1.221 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
1.221 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1.221 * [taylor]: Taking taylor expansion of 1/4 in i
1.221 * [backup-simplify]: Simplify 1/4 into 1/4
1.221 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1.221 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.221 * [taylor]: Taking taylor expansion of i in i
1.221 * [backup-simplify]: Simplify 0 into 0
1.222 * [backup-simplify]: Simplify 1 into 1
1.222 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1.222 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1.222 * [taylor]: Taking taylor expansion of 4 in i
1.222 * [backup-simplify]: Simplify 4 into 4
1.222 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
1.222 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.222 * [taylor]: Taking taylor expansion of i in i
1.222 * [backup-simplify]: Simplify 0 into 0
1.222 * [backup-simplify]: Simplify 1 into 1
1.222 * [backup-simplify]: Simplify (* 1 1) into 1
1.222 * [backup-simplify]: Simplify (/ 1 1) into 1
1.222 * [taylor]: Taking taylor expansion of 1.0 in i
1.223 * [backup-simplify]: Simplify 1.0 into 1.0
1.223 * [backup-simplify]: Simplify (* 1 1) into 1
1.223 * [backup-simplify]: Simplify (* 4 1) into 4
1.224 * [backup-simplify]: Simplify (+ 4 0) into 4
1.224 * [backup-simplify]: Simplify (* 1 4) into 4
1.225 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
1.225 * [backup-simplify]: Simplify 1/16 into 1/16
1.225 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.227 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
1.227 * [backup-simplify]: Simplify (+ 0 0) into 0
1.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0
1.229 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
1.229 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.232 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1.232 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.233 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
1.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.237 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
1.242 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
1.242 * [backup-simplify]: Simplify 0.015625 into 0.015625
1.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.244 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.244 * [backup-simplify]: Simplify (- 0) into 0
1.244 * [backup-simplify]: Simplify (+ 0 0) into 0
1.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
1.247 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
1.247 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.249 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.249 * [backup-simplify]: Simplify (- 0) into 0
1.249 * [backup-simplify]: Simplify (+ 0 0) into 0
1.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
1.254 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
1.255 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
1.255 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
1.255 * [backup-simplify]: Simplify (/ (* (* (/ 1 (- i)) (/ 1 (- i))) 1/4) (- (* (* (/ 1 (- i)) (/ 1 (- i))) 4) 1.0)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)))
1.255 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
1.255 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1.255 * [taylor]: Taking taylor expansion of 1/4 in i
1.255 * [backup-simplify]: Simplify 1/4 into 1/4
1.255 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1.255 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.255 * [taylor]: Taking taylor expansion of i in i
1.255 * [backup-simplify]: Simplify 0 into 0
1.255 * [backup-simplify]: Simplify 1 into 1
1.255 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1.255 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1.255 * [taylor]: Taking taylor expansion of 4 in i
1.255 * [backup-simplify]: Simplify 4 into 4
1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
1.255 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.255 * [taylor]: Taking taylor expansion of i in i
1.255 * [backup-simplify]: Simplify 0 into 0
1.255 * [backup-simplify]: Simplify 1 into 1
1.256 * [backup-simplify]: Simplify (* 1 1) into 1
1.256 * [backup-simplify]: Simplify (/ 1 1) into 1
1.256 * [taylor]: Taking taylor expansion of 1.0 in i
1.256 * [backup-simplify]: Simplify 1.0 into 1.0
1.256 * [backup-simplify]: Simplify (* 1 1) into 1
1.256 * [backup-simplify]: Simplify (* 4 1) into 4
1.257 * [backup-simplify]: Simplify (+ 4 0) into 4
1.257 * [backup-simplify]: Simplify (* 1 4) into 4
1.257 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
1.257 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1.257 * [taylor]: Taking taylor expansion of 1/4 in i
1.257 * [backup-simplify]: Simplify 1/4 into 1/4
1.257 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1.257 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.257 * [taylor]: Taking taylor expansion of i in i
1.257 * [backup-simplify]: Simplify 0 into 0
1.257 * [backup-simplify]: Simplify 1 into 1
1.257 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1.257 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1.257 * [taylor]: Taking taylor expansion of 4 in i
1.258 * [backup-simplify]: Simplify 4 into 4
1.258 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
1.258 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.258 * [taylor]: Taking taylor expansion of i in i
1.258 * [backup-simplify]: Simplify 0 into 0
1.258 * [backup-simplify]: Simplify 1 into 1
1.258 * [backup-simplify]: Simplify (* 1 1) into 1
1.258 * [backup-simplify]: Simplify (/ 1 1) into 1
1.258 * [taylor]: Taking taylor expansion of 1.0 in i
1.258 * [backup-simplify]: Simplify 1.0 into 1.0
1.258 * [backup-simplify]: Simplify (* 1 1) into 1
1.259 * [backup-simplify]: Simplify (* 4 1) into 4
1.259 * [backup-simplify]: Simplify (+ 4 0) into 4
1.259 * [backup-simplify]: Simplify (* 1 4) into 4
1.259 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
1.259 * [backup-simplify]: Simplify 1/16 into 1/16
1.260 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.261 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
1.261 * [backup-simplify]: Simplify (+ 0 0) into 0
1.262 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.263 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0
1.264 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
1.264 * [backup-simplify]: Simplify 0 into 0
1.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.267 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1.267 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.268 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
1.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.271 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
1.276 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
1.276 * [backup-simplify]: Simplify 0.015625 into 0.015625
1.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.279 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.280 * [backup-simplify]: Simplify (- 0) into 0
1.280 * [backup-simplify]: Simplify (+ 0 0) into 0
1.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
1.284 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
1.284 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.288 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.288 * [backup-simplify]: Simplify (- 0) into 0
1.288 * [backup-simplify]: Simplify (+ 0 0) into 0
1.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
1.298 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
1.298 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
1.298 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
1.298 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
1.298 * [backup-simplify]: Simplify (* (* i i) 4) into (* 4 (pow i 2))
1.298 * [approximate]: Taking taylor expansion of (* 4 (pow i 2)) in (i) around 0
1.298 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
1.298 * [taylor]: Taking taylor expansion of 4 in i
1.298 * [backup-simplify]: Simplify 4 into 4
1.298 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.298 * [taylor]: Taking taylor expansion of i in i
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify 1 into 1
1.299 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
1.299 * [taylor]: Taking taylor expansion of 4 in i
1.299 * [backup-simplify]: Simplify 4 into 4
1.299 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.299 * [taylor]: Taking taylor expansion of i in i
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify 1 into 1
1.299 * [backup-simplify]: Simplify (* 1 1) into 1
1.300 * [backup-simplify]: Simplify (* 4 1) into 4
1.300 * [backup-simplify]: Simplify 4 into 4
1.300 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.301 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
1.301 * [backup-simplify]: Simplify 0 into 0
1.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.308 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1.309 * [backup-simplify]: Simplify 0 into 0
1.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.311 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.311 * [backup-simplify]: Simplify 0 into 0
1.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.314 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.314 * [backup-simplify]: Simplify 0 into 0
1.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.316 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.317 * [backup-simplify]: Simplify 0 into 0
1.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.320 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.320 * [backup-simplify]: Simplify 0 into 0
1.320 * [backup-simplify]: Simplify (* 4 (pow i 2)) into (* 4 (pow i 2))
1.320 * [backup-simplify]: Simplify (* (* (/ 1 i) (/ 1 i)) 4) into (/ 4 (pow i 2))
1.320 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0
1.320 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
1.320 * [taylor]: Taking taylor expansion of 4 in i
1.320 * [backup-simplify]: Simplify 4 into 4
1.320 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.320 * [taylor]: Taking taylor expansion of i in i
1.320 * [backup-simplify]: Simplify 0 into 0
1.320 * [backup-simplify]: Simplify 1 into 1
1.321 * [backup-simplify]: Simplify (* 1 1) into 1
1.321 * [backup-simplify]: Simplify (/ 4 1) into 4
1.321 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
1.321 * [taylor]: Taking taylor expansion of 4 in i
1.321 * [backup-simplify]: Simplify 4 into 4
1.321 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.321 * [taylor]: Taking taylor expansion of i in i
1.321 * [backup-simplify]: Simplify 0 into 0
1.321 * [backup-simplify]: Simplify 1 into 1
1.322 * [backup-simplify]: Simplify (* 1 1) into 1
1.322 * [backup-simplify]: Simplify (/ 4 1) into 4
1.322 * [backup-simplify]: Simplify 4 into 4
1.323 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
1.324 * [backup-simplify]: Simplify 0 into 0
1.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.325 * [backup-simplify]: Simplify 0 into 0
1.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.327 * [backup-simplify]: Simplify 0 into 0
1.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.330 * [backup-simplify]: Simplify 0 into 0
1.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.332 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.334 * [backup-simplify]: Simplify 0 into 0
1.334 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 i)) 2)) into (* 4 (pow i 2))
1.335 * [backup-simplify]: Simplify (* (* (/ 1 (- i)) (/ 1 (- i))) 4) into (/ 4 (pow i 2))
1.335 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0
1.335 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
1.335 * [taylor]: Taking taylor expansion of 4 in i
1.335 * [backup-simplify]: Simplify 4 into 4
1.335 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.335 * [taylor]: Taking taylor expansion of i in i
1.335 * [backup-simplify]: Simplify 0 into 0
1.335 * [backup-simplify]: Simplify 1 into 1
1.335 * [backup-simplify]: Simplify (* 1 1) into 1
1.336 * [backup-simplify]: Simplify (/ 4 1) into 4
1.336 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
1.336 * [taylor]: Taking taylor expansion of 4 in i
1.336 * [backup-simplify]: Simplify 4 into 4
1.336 * [taylor]: Taking taylor expansion of (pow i 2) in i
1.336 * [taylor]: Taking taylor expansion of i in i
1.336 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify 1 into 1
1.336 * [backup-simplify]: Simplify (* 1 1) into 1
1.337 * [backup-simplify]: Simplify (/ 4 1) into 4
1.337 * [backup-simplify]: Simplify 4 into 4
1.337 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
1.338 * [backup-simplify]: Simplify 0 into 0
1.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.340 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.342 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.344 * [backup-simplify]: Simplify 0 into 0
1.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.347 * [backup-simplify]: Simplify 0 into 0
1.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.349 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.349 * [backup-simplify]: Simplify 0 into 0
1.349 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 (- i))) 2)) into (* 4 (pow i 2))
1.350 * * * [progress]: simplifying candidates
1.350 * * * * [progress]: [ 1 / 56 ] simplifiying candidate #<alt (λ (i) (log1p (expm1 (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 2 / 56 ] simplifiying candidate #<alt (λ (i) (expm1 (log1p (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 3 / 56 ] simplifiying candidate #<alt (λ (i) (pow (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)) 1))>
1.350 * * * * [progress]: [ 4 / 56 ] simplifiying candidate #<alt (λ (i) (exp (- (+ (+ (log i) (log i)) (log 1/4)) (log (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 5 / 56 ] simplifiying candidate #<alt (λ (i) (exp (- (+ (log (* i i)) (log 1/4)) (log (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 6 / 56 ] simplifiying candidate #<alt (λ (i) (exp (- (log (* (* i i) 1/4)) (log (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 7 / 56 ] simplifiying candidate #<alt (λ (i) (exp (log (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 8 / 56 ] simplifiying candidate #<alt (λ (i) (log (exp (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 9 / 56 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* 1/4 1/4) 1/4)) (* (* (- (* (* i i) 4) 1.0) (- (* (* i i) 4) 1.0)) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 10 / 56 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* 1/4 1/4) 1/4)) (* (* (- (* (* i i) 4) 1.0) (- (* (* i i) 4) 1.0)) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 11 / 56 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* (* i i) 1/4) (* (* i i) 1/4)) (* (* i i) 1/4)) (* (* (- (* (* i i) 4) 1.0) (- (* (* i i) 4) 1.0)) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 12 / 56 ] simplifiying candidate #<alt (λ (i) (* (* (cbrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))) (cbrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))) (cbrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 13 / 56 ] simplifiying candidate #<alt (λ (i) (cbrt (* (* (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 14 / 56 ] simplifiying candidate #<alt (λ (i) (* (sqrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))) (sqrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 15 / 56 ] simplifiying candidate #<alt (λ (i) (/ (- (* (* i i) 1/4)) (- (- (* (* i i) 4) 1.0))))>
1.350 * * * * [progress]: [ 16 / 56 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) (* (cbrt (- (* (* i i) 4) 1.0)) (cbrt (- (* (* i i) 4) 1.0)))) (/ 1/4 (cbrt (- (* (* i i) 4) 1.0)))))>
1.350 * * * * [progress]: [ 17 / 56 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) (sqrt (- (* (* i i) 4) 1.0))) (/ 1/4 (sqrt (- (* (* i i) 4) 1.0)))))>
1.351 * * * * [progress]: [ 18 / 56 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) 1) (/ 1/4 (- (* (* i i) 4) 1.0))))>
1.351 * * * * [progress]: [ 19 / 56 ] simplifiying candidate #<alt (λ (i) (* 1 (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))))>
1.351 * * * * [progress]: [ 20 / 56 ] simplifiying candidate #<alt (λ (i) (* (* (* i i) 1/4) (/ 1 (- (* (* i i) 4) 1.0))))>
1.351 * * * * [progress]: [ 21 / 56 ] simplifiying candidate #<alt (λ (i) (/ 1 (/ (- (* (* i i) 4) 1.0) (* (* i i) 1/4))))>
1.351 * * * * [progress]: [ 22 / 56 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) (* (cbrt (- (* (* i i) 4) 1.0)) (cbrt (- (* (* i i) 4) 1.0)))) (cbrt (- (* (* i i) 4) 1.0))))>
1.351 * * * * [progress]: [ 23 / 56 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) (sqrt (- (* (* i i) 4) 1.0))) (sqrt (- (* (* i i) 4) 1.0))))>
1.351 * * * * [progress]: [ 24 / 56 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) 1) (- (* (* i i) 4) 1.0)))>
1.351 * * * * [progress]: [ 25 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (/ (- (* (* i i) 4) 1.0) 1/4)))>
1.351 * * * * [progress]: [ 26 / 56 ] simplifiying candidate #<alt (λ (i) (* (/ (* (* i i) 1/4) (- (pow (* (* i i) 4) 3) (pow 1.0 3))) (+ (* (* (* i i) 4) (* (* i i) 4)) (+ (* 1.0 1.0) (* (* (* i i) 4) 1.0)))))>
1.351 * * * * [progress]: [ 27 / 56 ] simplifiying candidate #<alt (λ (i) (* (/ (* (* i i) 1/4) (- (* (* (* i i) 4) (* (* i i) 4)) (* 1.0 1.0))) (+ (* (* i i) 4) 1.0)))>
1.351 * * * * [progress]: [ 28 / 56 ] simplifiying candidate #<alt (λ (i) (posit16->real (real->posit16 (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))))>
1.351 * * * * [progress]: [ 29 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log1p (expm1 (* (* i i) 4))) 1.0)))>
1.351 * * * * [progress]: [ 30 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (expm1 (log1p (* (* i i) 4))) 1.0)))>
1.351 * * * * [progress]: [ 31 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (pow (* (* i i) 4) 1) 1.0)))>
1.351 * * * * [progress]: [ 32 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (pow (* (* i i) 4) 1) 1.0)))>
1.351 * * * * [progress]: [ 33 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (pow (* (* i i) 4) 1) 1.0)))>
1.351 * * * * [progress]: [ 34 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (exp (+ (+ (log i) (log i)) (log 4))) 1.0)))>
1.351 * * * * [progress]: [ 35 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (exp (+ (log (* i i)) (log 4))) 1.0)))>
1.351 * * * * [progress]: [ 36 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (exp (log (* (* i i) 4))) 1.0)))>
1.351 * * * * [progress]: [ 37 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))>
1.351 * * * * [progress]: [ 38 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (cbrt (* (* (* (* i i) i) (* (* i i) i)) (* (* 4 4) 4))) 1.0)))>
1.351 * * * * [progress]: [ 39 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (cbrt (* (* (* (* i i) (* i i)) (* i i)) (* (* 4 4) 4))) 1.0)))>
1.351 * * * * [progress]: [ 40 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* (cbrt (* (* i i) 4)) (cbrt (* (* i i) 4))) (cbrt (* (* i i) 4))) 1.0)))>
1.351 * * * * [progress]: [ 41 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (cbrt (* (* (* (* i i) 4) (* (* i i) 4)) (* (* i i) 4))) 1.0)))>
1.351 * * * * [progress]: [ 42 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (sqrt (* (* i i) 4)) (sqrt (* (* i i) 4))) 1.0)))>
1.352 * * * * [progress]: [ 43 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 1 (* (* i i) 4)) 1.0)))>
1.352 * * * * [progress]: [ 44 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* i (sqrt 4)) (* i (sqrt 4))) 1.0)))>
1.352 * * * * [progress]: [ 45 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* (* i i) (* (cbrt 4) (cbrt 4))) (cbrt 4)) 1.0)))>
1.352 * * * * [progress]: [ 46 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* (* i i) (sqrt 4)) (sqrt 4)) 1.0)))>
1.352 * * * * [progress]: [ 47 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* (* i i) 1) 4) 1.0)))>
1.352 * * * * [progress]: [ 48 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* i (* i 4)) 1.0)))>
1.352 * * * * [progress]: [ 49 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (posit16->real (real->posit16 (* (* i i) 4))) 1.0)))>
1.352 * * * * [progress]: [ 50 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (* i i)) 1.0)))>
1.352 * * * * [progress]: [ 51 / 56 ] simplifiying candidate #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>
1.352 * * * * [progress]: [ 52 / 56 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1.352 * * * * [progress]: [ 53 / 56 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1.352 * * * * [progress]: [ 54 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (pow i 2)) 1.0)))>
1.352 * * * * [progress]: [ 55 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (pow i 2)) 1.0)))>
1.352 * * * * [progress]: [ 56 / 56 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (pow i 2)) 1.0)))>
1.353 * [simplify]: Simplifying:
  (expm1 (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (log1p (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (- (+ (+ (log i) (log i)) (log 1/4)) (log (- (* (* i i) 4) 1.0)))
  (- (+ (log (* i i)) (log 1/4)) (log (- (* (* i i) 4) 1.0)))
  (- (log (* (* i i) 1/4)) (log (- (* (* i i) 4) 1.0)))
  (log (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (exp (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* 1/4 1/4) 1/4)) (* (* (- (* (* i i) 4) 1.0) (- (* (* i i) 4) 1.0)) (- (* (* i i) 4) 1.0)))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* 1/4 1/4) 1/4)) (* (* (- (* (* i i) 4) 1.0) (- (* (* i i) 4) 1.0)) (- (* (* i i) 4) 1.0)))
  (/ (* (* (* (* i i) 1/4) (* (* i i) 1/4)) (* (* i i) 1/4)) (* (* (- (* (* i i) 4) 1.0) (- (* (* i i) 4) 1.0)) (- (* (* i i) 4) 1.0)))
  (* (cbrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))) (cbrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))))
  (cbrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (* (* (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (sqrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (sqrt (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (- (* (* i i) 1/4))
  (- (- (* (* i i) 4) 1.0))
  (/ (* i i) (* (cbrt (- (* (* i i) 4) 1.0)) (cbrt (- (* (* i i) 4) 1.0))))
  (/ 1/4 (cbrt (- (* (* i i) 4) 1.0)))
  (/ (* i i) (sqrt (- (* (* i i) 4) 1.0)))
  (/ 1/4 (sqrt (- (* (* i i) 4) 1.0)))
  (/ (* i i) 1)
  (/ 1/4 (- (* (* i i) 4) 1.0))
  (/ 1 (- (* (* i i) 4) 1.0))
  (/ (- (* (* i i) 4) 1.0) (* (* i i) 1/4))
  (/ (* (* i i) 1/4) (* (cbrt (- (* (* i i) 4) 1.0)) (cbrt (- (* (* i i) 4) 1.0))))
  (/ (* (* i i) 1/4) (sqrt (- (* (* i i) 4) 1.0)))
  (/ (* (* i i) 1/4) 1)
  (/ (- (* (* i i) 4) 1.0) 1/4)
  (/ (* (* i i) 1/4) (- (pow (* (* i i) 4) 3) (pow 1.0 3)))
  (/ (* (* i i) 1/4) (- (* (* (* i i) 4) (* (* i i) 4)) (* 1.0 1.0)))
  (real->posit16 (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))
  (expm1 (* (* i i) 4))
  (log1p (* (* i i) 4))
  (* (* i i) 4)
  (* (* i i) 4)
  (+ (+ (log i) (log i)) (log 4))
  (+ (log (* i i)) (log 4))
  (log (* (* i i) 4))
  (exp (* (* i i) 4))
  (* (* (* (* i i) i) (* (* i i) i)) (* (* 4 4) 4))
  (* (* (* (* i i) (* i i)) (* i i)) (* (* 4 4) 4))
  (* (cbrt (* (* i i) 4)) (cbrt (* (* i i) 4)))
  (cbrt (* (* i i) 4))
  (* (* (* (* i i) 4) (* (* i i) 4)) (* (* i i) 4))
  (sqrt (* (* i i) 4))
  (sqrt (* (* i i) 4))
  (* i (sqrt 4))
  (* i (sqrt 4))
  (* (* i i) (* (cbrt 4) (cbrt 4)))
  (* (* i i) (sqrt 4))
  (* (* i i) 1)
  (* i 4)
  (real->posit16 (* (* i i) 4))
  (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
  (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
  (* 4 (pow i 2))
  (* 4 (pow i 2))
  (* 4 (pow i 2))
1.353 * * [simplify]: iteration 0: 119 enodes
1.390 * * [simplify]: iteration 1: 323 enodes
1.607 * * [simplify]: iteration 2: 1278 enodes
1.928 * * [simplify]: iteration 3: 2010 enodes
2.342 * * [simplify]: iteration complete: 2010 enodes
2.342 * * [simplify]: Extracting #0: cost 41 inf + 0
2.343 * * [simplify]: Extracting #1: cost 308 inf + 0
2.345 * * [simplify]: Extracting #2: cost 568 inf + 3491
2.353 * * [simplify]: Extracting #3: cost 305 inf + 50320
2.396 * * [simplify]: Extracting #4: cost 13 inf + 102874
2.437 * * [simplify]: Extracting #5: cost 0 inf + 105706
2.475 * [simplify]: Simplified to:
  (expm1 (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (log1p (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (log (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (log (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (log (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (log (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (exp (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (* (* (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (* (* (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (* (* (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (* (cbrt (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (cbrt (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))))
  (cbrt (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (* (* (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (sqrt (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (sqrt (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (* (* i i) -1/4)
  (- (- (* (* i i) 4) 1.0))
  (/ (* i i) (* (cbrt (- (* (* i i) 4) 1.0)) (cbrt (- (* (* i i) 4) 1.0))))
  (/ 1/4 (cbrt (- (* (* i i) 4) 1.0)))
  (/ (* i i) (sqrt (- (* (* i i) 4) 1.0)))
  (/ 1/4 (sqrt (- (* (* i i) 4) 1.0)))
  (* i i)
  (/ 1/4 (- (* (* i i) 4) 1.0))
  (/ 1 (- (* (* i i) 4) 1.0))
  (* (/ (- (* (* i i) 4) 1.0) (* i i)) 4)
  (/ (/ (* i i) (* (cbrt (- (* (* i i) 4) 1.0)) 4)) (cbrt (- (* (* i i) 4) 1.0)))
  (/ (* i i) (* (sqrt (- (* (* i i) 4) 1.0)) 4))
  (* 1/4 (* i i))
  (- (/ (* i i) 1/16) (/ 1.0 1/4))
  (/ (* 1/4 (* i i)) (- (* (* 64 (* i i)) (* (* i i) (* i i))) (* 1.0 (* 1.0 1.0))))
  (/ (* 1/4 (* i i)) (- (* (* (* i i) (* i i)) 16) (* 1.0 1.0)))
  (real->posit16 (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
  (expm1 (* (* i i) 4))
  (log1p (* (* i i) 4))
  (* (* i i) 4)
  (* (* i i) 4)
  (log (* (* i i) 4))
  (log (* (* i i) 4))
  (log (* (* i i) 4))
  (exp (* (* i i) 4))
  (* (* 64 (* i i)) (* (* i i) (* i i)))
  (* (* 64 (* i i)) (* (* i i) (* i i)))
  (* (cbrt (* (* i i) 4)) (cbrt (* (* i i) 4)))
  (cbrt (* (* i i) 4))
  (* (* 64 (* i i)) (* (* i i) (* i i)))
  (sqrt (* (* i i) 4))
  (sqrt (* (* i i) 4))
  (* 2 i)
  (* 2 i)
  (* (* (cbrt 4) i) (* (cbrt 4) i))
  (* 2 (* i i))
  (* i i)
  (* 4 i)
  (real->posit16 (* (* i i) 4))
  (- (fma (* i i) 0.25 (fma 4.0 (* (* (* i i) (* i i)) (* i i)) (* 1.0 (* (* i i) (* i i))))))
  (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))))
  (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))))
  (* (* i i) 4)
  (* (* i i) 4)
  (* (* i i) 4)
2.479 * * * [progress]: adding candidates to table
2.792 * * [progress]: iteration 2 / 4
2.792 * * * [progress]: picking best candidate
2.796 * * * * [pick]: Picked  #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))>
2.796 * * * [progress]: localizing error
2.818 * * * [progress]: generating rewritten candidates
2.818 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.842 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
2.846 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1 1)
2.861 * * * [progress]: generating series expansions
2.861 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.861 * [backup-simplify]: Simplify (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)) into (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)))
2.861 * [approximate]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in (i) around 0
2.862 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
2.862 * [taylor]: Taking taylor expansion of 1/4 in i
2.862 * [backup-simplify]: Simplify 1/4 into 1/4
2.862 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
2.862 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.862 * [taylor]: Taking taylor expansion of i in i
2.862 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify 1 into 1
2.862 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
2.862 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
2.862 * [taylor]: Taking taylor expansion of 4 in i
2.862 * [backup-simplify]: Simplify 4 into 4
2.862 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.862 * [taylor]: Taking taylor expansion of i in i
2.862 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify 1 into 1
2.862 * [taylor]: Taking taylor expansion of 1.0 in i
2.862 * [backup-simplify]: Simplify 1.0 into 1.0
2.862 * [backup-simplify]: Simplify (* 1 1) into 1
2.863 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.863 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.864 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
2.864 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
2.864 * [taylor]: Taking taylor expansion of 1/4 in i
2.864 * [backup-simplify]: Simplify 1/4 into 1/4
2.864 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
2.864 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.864 * [taylor]: Taking taylor expansion of i in i
2.864 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify 1 into 1
2.864 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
2.864 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
2.864 * [taylor]: Taking taylor expansion of 4 in i
2.864 * [backup-simplify]: Simplify 4 into 4
2.864 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.864 * [taylor]: Taking taylor expansion of i in i
2.864 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify 1 into 1
2.864 * [taylor]: Taking taylor expansion of 1.0 in i
2.864 * [backup-simplify]: Simplify 1.0 into 1.0
2.865 * [backup-simplify]: Simplify (* 1 1) into 1
2.865 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.865 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.866 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
2.866 * [backup-simplify]: Simplify (* 1/4 -1.0) into -0.25
2.866 * [backup-simplify]: Simplify -0.25 into -0.25
2.867 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.867 * [backup-simplify]: Simplify (- 0) into 0
2.867 * [backup-simplify]: Simplify (+ 0 0) into 0
2.868 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
2.868 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0
2.868 * [backup-simplify]: Simplify 0 into 0
2.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.869 * [backup-simplify]: Simplify (* 1 1) into 1
2.869 * [backup-simplify]: Simplify (* 4 1) into 4
2.870 * [backup-simplify]: Simplify (- 0) into 0
2.870 * [backup-simplify]: Simplify (+ 4 0) into 4
2.876 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
2.878 * [backup-simplify]: Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0)
2.878 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.879 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.879 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
2.880 * [backup-simplify]: Simplify (- 0) into 0
2.880 * [backup-simplify]: Simplify (+ 0 0) into 0
2.881 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
2.882 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0
2.882 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.884 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
2.884 * [backup-simplify]: Simplify (- 0) into 0
2.884 * [backup-simplify]: Simplify (+ 0 0) into 0
2.889 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0)
2.893 * [backup-simplify]: Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0)
2.893 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
2.894 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* -0.25 (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
2.895 * [backup-simplify]: Simplify (/ (* (* (/ 1 i) (/ 1 i)) 1/4) (- (log (exp (* (* (/ 1 i) (/ 1 i)) 4))) 1.0)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)))
2.895 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
2.895 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
2.895 * [taylor]: Taking taylor expansion of 1/4 in i
2.895 * [backup-simplify]: Simplify 1/4 into 1/4
2.895 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
2.895 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.895 * [taylor]: Taking taylor expansion of i in i
2.895 * [backup-simplify]: Simplify 0 into 0
2.895 * [backup-simplify]: Simplify 1 into 1
2.895 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
2.895 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
2.895 * [taylor]: Taking taylor expansion of 4 in i
2.895 * [backup-simplify]: Simplify 4 into 4
2.895 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
2.895 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.895 * [taylor]: Taking taylor expansion of i in i
2.895 * [backup-simplify]: Simplify 0 into 0
2.895 * [backup-simplify]: Simplify 1 into 1
2.896 * [backup-simplify]: Simplify (* 1 1) into 1
2.896 * [backup-simplify]: Simplify (/ 1 1) into 1
2.896 * [taylor]: Taking taylor expansion of 1.0 in i
2.896 * [backup-simplify]: Simplify 1.0 into 1.0
2.897 * [backup-simplify]: Simplify (* 1 1) into 1
2.897 * [backup-simplify]: Simplify (* 4 1) into 4
2.897 * [backup-simplify]: Simplify (+ 4 0) into 4
2.898 * [backup-simplify]: Simplify (* 1 4) into 4
2.898 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
2.898 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
2.898 * [taylor]: Taking taylor expansion of 1/4 in i
2.898 * [backup-simplify]: Simplify 1/4 into 1/4
2.898 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
2.898 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.898 * [taylor]: Taking taylor expansion of i in i
2.898 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify 1 into 1
2.898 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
2.898 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
2.898 * [taylor]: Taking taylor expansion of 4 in i
2.899 * [backup-simplify]: Simplify 4 into 4
2.899 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
2.899 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.899 * [taylor]: Taking taylor expansion of i in i
2.899 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify 1 into 1
2.899 * [backup-simplify]: Simplify (* 1 1) into 1
2.899 * [backup-simplify]: Simplify (/ 1 1) into 1
2.899 * [taylor]: Taking taylor expansion of 1.0 in i
2.899 * [backup-simplify]: Simplify 1.0 into 1.0
2.900 * [backup-simplify]: Simplify (* 1 1) into 1
2.900 * [backup-simplify]: Simplify (* 4 1) into 4
2.901 * [backup-simplify]: Simplify (+ 4 0) into 4
2.901 * [backup-simplify]: Simplify (* 1 4) into 4
2.902 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
2.902 * [backup-simplify]: Simplify 1/16 into 1/16
2.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.904 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
2.904 * [backup-simplify]: Simplify (+ 0 0) into 0
2.905 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.906 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0
2.906 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
2.907 * [backup-simplify]: Simplify 0 into 0
2.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.909 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
2.910 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.911 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.913 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
2.916 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
2.916 * [backup-simplify]: Simplify 0.015625 into 0.015625
2.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.918 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.918 * [backup-simplify]: Simplify (- 0) into 0
2.918 * [backup-simplify]: Simplify (+ 0 0) into 0
2.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
2.921 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
2.921 * [backup-simplify]: Simplify 0 into 0
2.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.923 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.923 * [backup-simplify]: Simplify (- 0) into 0
2.923 * [backup-simplify]: Simplify (+ 0 0) into 0
2.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
2.929 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
2.929 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
2.929 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
2.930 * [backup-simplify]: Simplify (/ (* (* (/ 1 (- i)) (/ 1 (- i))) 1/4) (- (log (exp (* (* (/ 1 (- i)) (/ 1 (- i))) 4))) 1.0)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)))
2.930 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
2.930 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
2.930 * [taylor]: Taking taylor expansion of 1/4 in i
2.930 * [backup-simplify]: Simplify 1/4 into 1/4
2.930 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
2.930 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.930 * [taylor]: Taking taylor expansion of i in i
2.930 * [backup-simplify]: Simplify 0 into 0
2.930 * [backup-simplify]: Simplify 1 into 1
2.930 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
2.930 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
2.930 * [taylor]: Taking taylor expansion of 4 in i
2.930 * [backup-simplify]: Simplify 4 into 4
2.930 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
2.930 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.930 * [taylor]: Taking taylor expansion of i in i
2.930 * [backup-simplify]: Simplify 0 into 0
2.930 * [backup-simplify]: Simplify 1 into 1
2.930 * [backup-simplify]: Simplify (* 1 1) into 1
2.930 * [backup-simplify]: Simplify (/ 1 1) into 1
2.930 * [taylor]: Taking taylor expansion of 1.0 in i
2.930 * [backup-simplify]: Simplify 1.0 into 1.0
2.931 * [backup-simplify]: Simplify (* 1 1) into 1
2.931 * [backup-simplify]: Simplify (* 4 1) into 4
2.931 * [backup-simplify]: Simplify (+ 4 0) into 4
2.931 * [backup-simplify]: Simplify (* 1 4) into 4
2.932 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
2.932 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
2.932 * [taylor]: Taking taylor expansion of 1/4 in i
2.932 * [backup-simplify]: Simplify 1/4 into 1/4
2.932 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
2.932 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.932 * [taylor]: Taking taylor expansion of i in i
2.932 * [backup-simplify]: Simplify 0 into 0
2.932 * [backup-simplify]: Simplify 1 into 1
2.932 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
2.932 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
2.932 * [taylor]: Taking taylor expansion of 4 in i
2.932 * [backup-simplify]: Simplify 4 into 4
2.932 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
2.932 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.932 * [taylor]: Taking taylor expansion of i in i
2.932 * [backup-simplify]: Simplify 0 into 0
2.932 * [backup-simplify]: Simplify 1 into 1
2.932 * [backup-simplify]: Simplify (* 1 1) into 1
2.933 * [backup-simplify]: Simplify (/ 1 1) into 1
2.933 * [taylor]: Taking taylor expansion of 1.0 in i
2.933 * [backup-simplify]: Simplify 1.0 into 1.0
2.933 * [backup-simplify]: Simplify (* 1 1) into 1
2.933 * [backup-simplify]: Simplify (* 4 1) into 4
2.933 * [backup-simplify]: Simplify (+ 4 0) into 4
2.934 * [backup-simplify]: Simplify (* 1 4) into 4
2.934 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
2.934 * [backup-simplify]: Simplify 1/16 into 1/16
2.934 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.935 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
2.935 * [backup-simplify]: Simplify (+ 0 0) into 0
2.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0
2.937 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
2.937 * [backup-simplify]: Simplify 0 into 0
2.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.938 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
2.939 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.939 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.941 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
2.944 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
2.944 * [backup-simplify]: Simplify 0.015625 into 0.015625
2.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.946 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.946 * [backup-simplify]: Simplify (- 0) into 0
2.947 * [backup-simplify]: Simplify (+ 0 0) into 0
2.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
2.949 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
2.949 * [backup-simplify]: Simplify 0 into 0
2.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.951 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.951 * [backup-simplify]: Simplify (- 0) into 0
2.952 * [backup-simplify]: Simplify (+ 0 0) into 0
2.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
2.957 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
2.957 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
2.957 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
2.957 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
2.957 * [backup-simplify]: Simplify (log (exp (* (* i i) 4))) into (* 4 (pow i 2))
2.957 * [approximate]: Taking taylor expansion of (* 4 (pow i 2)) in (i) around 0
2.957 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
2.957 * [taylor]: Taking taylor expansion of 4 in i
2.958 * [backup-simplify]: Simplify 4 into 4
2.958 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.958 * [taylor]: Taking taylor expansion of i in i
2.958 * [backup-simplify]: Simplify 0 into 0
2.958 * [backup-simplify]: Simplify 1 into 1
2.958 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
2.958 * [taylor]: Taking taylor expansion of 4 in i
2.958 * [backup-simplify]: Simplify 4 into 4
2.958 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.958 * [taylor]: Taking taylor expansion of i in i
2.958 * [backup-simplify]: Simplify 0 into 0
2.958 * [backup-simplify]: Simplify 1 into 1
2.958 * [backup-simplify]: Simplify (* 1 1) into 1
2.958 * [backup-simplify]: Simplify (* 4 1) into 4
2.958 * [backup-simplify]: Simplify 4 into 4
2.959 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.959 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
2.959 * [backup-simplify]: Simplify 0 into 0
2.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.960 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
2.960 * [backup-simplify]: Simplify 0 into 0
2.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.962 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.962 * [backup-simplify]: Simplify 0 into 0
2.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.963 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.963 * [backup-simplify]: Simplify 0 into 0
2.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.965 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.965 * [backup-simplify]: Simplify 0 into 0
2.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.967 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.967 * [backup-simplify]: Simplify 0 into 0
2.967 * [backup-simplify]: Simplify (* 4 (pow i 2)) into (* 4 (pow i 2))
2.967 * [backup-simplify]: Simplify (log (exp (* (* (/ 1 i) (/ 1 i)) 4))) into (/ 4 (pow i 2))
2.967 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0
2.967 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
2.967 * [taylor]: Taking taylor expansion of 4 in i
2.967 * [backup-simplify]: Simplify 4 into 4
2.967 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.967 * [taylor]: Taking taylor expansion of i in i
2.967 * [backup-simplify]: Simplify 0 into 0
2.967 * [backup-simplify]: Simplify 1 into 1
2.972 * [backup-simplify]: Simplify (* 1 1) into 1
2.972 * [backup-simplify]: Simplify (/ 4 1) into 4
2.972 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
2.972 * [taylor]: Taking taylor expansion of 4 in i
2.972 * [backup-simplify]: Simplify 4 into 4
2.972 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.972 * [taylor]: Taking taylor expansion of i in i
2.972 * [backup-simplify]: Simplify 0 into 0
2.972 * [backup-simplify]: Simplify 1 into 1
2.973 * [backup-simplify]: Simplify (* 1 1) into 1
2.973 * [backup-simplify]: Simplify (/ 4 1) into 4
2.973 * [backup-simplify]: Simplify 4 into 4
2.974 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
2.974 * [backup-simplify]: Simplify 0 into 0
2.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.975 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.975 * [backup-simplify]: Simplify 0 into 0
2.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.977 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.977 * [backup-simplify]: Simplify 0 into 0
2.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.978 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.978 * [backup-simplify]: Simplify 0 into 0
2.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.979 * [backup-simplify]: Simplify 0 into 0
2.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.981 * [backup-simplify]: Simplify 0 into 0
2.981 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 i)) 2)) into (* 4 (pow i 2))
2.981 * [backup-simplify]: Simplify (log (exp (* (* (/ 1 (- i)) (/ 1 (- i))) 4))) into (/ 4 (pow i 2))
2.981 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0
2.981 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
2.981 * [taylor]: Taking taylor expansion of 4 in i
2.981 * [backup-simplify]: Simplify 4 into 4
2.981 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.981 * [taylor]: Taking taylor expansion of i in i
2.981 * [backup-simplify]: Simplify 0 into 0
2.981 * [backup-simplify]: Simplify 1 into 1
2.982 * [backup-simplify]: Simplify (* 1 1) into 1
2.982 * [backup-simplify]: Simplify (/ 4 1) into 4
2.982 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
2.982 * [taylor]: Taking taylor expansion of 4 in i
2.982 * [backup-simplify]: Simplify 4 into 4
2.982 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.982 * [taylor]: Taking taylor expansion of i in i
2.982 * [backup-simplify]: Simplify 0 into 0
2.982 * [backup-simplify]: Simplify 1 into 1
2.982 * [backup-simplify]: Simplify (* 1 1) into 1
2.982 * [backup-simplify]: Simplify (/ 4 1) into 4
2.983 * [backup-simplify]: Simplify 4 into 4
2.983 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.983 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
2.983 * [backup-simplify]: Simplify 0 into 0
2.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.985 * [backup-simplify]: Simplify 0 into 0
2.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.986 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.986 * [backup-simplify]: Simplify 0 into 0
2.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.987 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.987 * [backup-simplify]: Simplify 0 into 0
2.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.989 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.989 * [backup-simplify]: Simplify 0 into 0
2.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.990 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.990 * [backup-simplify]: Simplify 0 into 0
2.991 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 (- i))) 2)) into (* 4 (pow i 2))
2.991 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1 1)
2.991 * [backup-simplify]: Simplify (* (* i i) 4) into (* 4 (pow i 2))
2.991 * [approximate]: Taking taylor expansion of (* 4 (pow i 2)) in (i) around 0
2.991 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
2.991 * [taylor]: Taking taylor expansion of 4 in i
2.991 * [backup-simplify]: Simplify 4 into 4
2.991 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.991 * [taylor]: Taking taylor expansion of i in i
2.991 * [backup-simplify]: Simplify 0 into 0
2.991 * [backup-simplify]: Simplify 1 into 1
2.991 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
2.991 * [taylor]: Taking taylor expansion of 4 in i
2.991 * [backup-simplify]: Simplify 4 into 4
2.991 * [taylor]: Taking taylor expansion of (pow i 2) in i
2.991 * [taylor]: Taking taylor expansion of i in i
2.991 * [backup-simplify]: Simplify 0 into 0
2.991 * [backup-simplify]: Simplify 1 into 1
2.991 * [backup-simplify]: Simplify (* 1 1) into 1
2.991 * [backup-simplify]: Simplify (* 4 1) into 4
2.992 * [backup-simplify]: Simplify 4 into 4
2.992 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.992 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
2.992 * [backup-simplify]: Simplify 0 into 0
2.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.993 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
2.994 * [backup-simplify]: Simplify 0 into 0
2.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.995 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.995 * [backup-simplify]: Simplify 0 into 0
2.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.996 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.996 * [backup-simplify]: Simplify 0 into 0
2.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.998 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.998 * [backup-simplify]: Simplify 0 into 0
2.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.000 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.000 * [backup-simplify]: Simplify 0 into 0
3.000 * [backup-simplify]: Simplify (* 4 (pow i 2)) into (* 4 (pow i 2))
3.000 * [backup-simplify]: Simplify (* (* (/ 1 i) (/ 1 i)) 4) into (/ 4 (pow i 2))
3.000 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0
3.000 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
3.000 * [taylor]: Taking taylor expansion of 4 in i
3.000 * [backup-simplify]: Simplify 4 into 4
3.000 * [taylor]: Taking taylor expansion of (pow i 2) in i
3.000 * [taylor]: Taking taylor expansion of i in i
3.000 * [backup-simplify]: Simplify 0 into 0
3.000 * [backup-simplify]: Simplify 1 into 1
3.000 * [backup-simplify]: Simplify (* 1 1) into 1
3.000 * [backup-simplify]: Simplify (/ 4 1) into 4
3.000 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
3.000 * [taylor]: Taking taylor expansion of 4 in i
3.000 * [backup-simplify]: Simplify 4 into 4
3.000 * [taylor]: Taking taylor expansion of (pow i 2) in i
3.001 * [taylor]: Taking taylor expansion of i in i
3.001 * [backup-simplify]: Simplify 0 into 0
3.001 * [backup-simplify]: Simplify 1 into 1
3.001 * [backup-simplify]: Simplify (* 1 1) into 1
3.001 * [backup-simplify]: Simplify (/ 4 1) into 4
3.001 * [backup-simplify]: Simplify 4 into 4
3.002 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.002 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
3.002 * [backup-simplify]: Simplify 0 into 0
3.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.003 * [backup-simplify]: Simplify 0 into 0
3.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.004 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.004 * [backup-simplify]: Simplify 0 into 0
3.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.006 * [backup-simplify]: Simplify 0 into 0
3.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.007 * [backup-simplify]: Simplify 0 into 0
3.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.009 * [backup-simplify]: Simplify 0 into 0
3.009 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 i)) 2)) into (* 4 (pow i 2))
3.009 * [backup-simplify]: Simplify (* (* (/ 1 (- i)) (/ 1 (- i))) 4) into (/ 4 (pow i 2))
3.009 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0
3.009 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
3.009 * [taylor]: Taking taylor expansion of 4 in i
3.009 * [backup-simplify]: Simplify 4 into 4
3.009 * [taylor]: Taking taylor expansion of (pow i 2) in i
3.009 * [taylor]: Taking taylor expansion of i in i
3.009 * [backup-simplify]: Simplify 0 into 0
3.009 * [backup-simplify]: Simplify 1 into 1
3.009 * [backup-simplify]: Simplify (* 1 1) into 1
3.010 * [backup-simplify]: Simplify (/ 4 1) into 4
3.010 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
3.010 * [taylor]: Taking taylor expansion of 4 in i
3.010 * [backup-simplify]: Simplify 4 into 4
3.010 * [taylor]: Taking taylor expansion of (pow i 2) in i
3.010 * [taylor]: Taking taylor expansion of i in i
3.010 * [backup-simplify]: Simplify 0 into 0
3.010 * [backup-simplify]: Simplify 1 into 1
3.010 * [backup-simplify]: Simplify (* 1 1) into 1
3.010 * [backup-simplify]: Simplify (/ 4 1) into 4
3.010 * [backup-simplify]: Simplify 4 into 4
3.011 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
3.011 * [backup-simplify]: Simplify 0 into 0
3.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.013 * [backup-simplify]: Simplify 0 into 0
3.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.014 * [backup-simplify]: Simplify 0 into 0
3.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.015 * [backup-simplify]: Simplify 0 into 0
3.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.017 * [backup-simplify]: Simplify 0 into 0
3.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.018 * [backup-simplify]: Simplify 0 into 0
3.018 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 (- i))) 2)) into (* 4 (pow i 2))
3.018 * * * [progress]: simplifying candidates
3.018 * * * * [progress]: [ 1 / 82 ] simplifiying candidate #<alt (λ (i) (log1p (expm1 (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 2 / 82 ] simplifiying candidate #<alt (λ (i) (expm1 (log1p (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 3 / 82 ] simplifiying candidate #<alt (λ (i) (pow (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)) 1))>
3.019 * * * * [progress]: [ 4 / 82 ] simplifiying candidate #<alt (λ (i) (exp (- (+ (+ (log i) (log i)) (log 1/4)) (log (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 5 / 82 ] simplifiying candidate #<alt (λ (i) (exp (- (+ (log (* i i)) (log 1/4)) (log (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 6 / 82 ] simplifiying candidate #<alt (λ (i) (exp (- (log (* (* i i) 1/4)) (log (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 7 / 82 ] simplifiying candidate #<alt (λ (i) (exp (log (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 8 / 82 ] simplifiying candidate #<alt (λ (i) (log (exp (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 9 / 82 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* 1/4 1/4) 1/4)) (* (* (- (log (exp (* (* i i) 4))) 1.0) (- (log (exp (* (* i i) 4))) 1.0)) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 10 / 82 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* 1/4 1/4) 1/4)) (* (* (- (log (exp (* (* i i) 4))) 1.0) (- (log (exp (* (* i i) 4))) 1.0)) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 11 / 82 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* (* i i) 1/4) (* (* i i) 1/4)) (* (* i i) 1/4)) (* (* (- (log (exp (* (* i i) 4))) 1.0) (- (log (exp (* (* i i) 4))) 1.0)) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 12 / 82 ] simplifiying candidate #<alt (λ (i) (* (* (cbrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0))) (cbrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))) (cbrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 13 / 82 ] simplifiying candidate #<alt (λ (i) (cbrt (* (* (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0))) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 14 / 82 ] simplifiying candidate #<alt (λ (i) (* (sqrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0))) (sqrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 15 / 82 ] simplifiying candidate #<alt (λ (i) (/ (- (* (* i i) 1/4)) (- (- (log (exp (* (* i i) 4))) 1.0))))>
3.019 * * * * [progress]: [ 16 / 82 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) (* (cbrt (- (log (exp (* (* i i) 4))) 1.0)) (cbrt (- (log (exp (* (* i i) 4))) 1.0)))) (/ 1/4 (cbrt (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 17 / 82 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) (sqrt (- (log (exp (* (* i i) 4))) 1.0))) (/ 1/4 (sqrt (- (log (exp (* (* i i) 4))) 1.0)))))>
3.019 * * * * [progress]: [ 18 / 82 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) 1) (/ 1/4 (- (log (exp (* (* i i) 4))) 1.0))))>
3.019 * * * * [progress]: [ 19 / 82 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) (+ (sqrt (log (exp (* (* i i) 4)))) (sqrt 1.0))) (/ 1/4 (- (sqrt (log (exp (* (* i i) 4)))) (sqrt 1.0)))))>
3.019 * * * * [progress]: [ 20 / 82 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) 1) (/ 1/4 (- (log (exp (* (* i i) 4))) 1.0))))>
3.019 * * * * [progress]: [ 21 / 82 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) 1) (/ 1/4 (- (log (exp (* (* i i) 4))) 1.0))))>
3.019 * * * * [progress]: [ 22 / 82 ] simplifiying candidate #<alt (λ (i) (* 1 (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0))))>
3.019 * * * * [progress]: [ 23 / 82 ] simplifiying candidate #<alt (λ (i) (* (* (* i i) 1/4) (/ 1 (- (log (exp (* (* i i) 4))) 1.0))))>
3.019 * * * * [progress]: [ 24 / 82 ] simplifiying candidate #<alt (λ (i) (/ 1 (/ (- (log (exp (* (* i i) 4))) 1.0) (* (* i i) 1/4))))>
3.019 * * * * [progress]: [ 25 / 82 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) (* (cbrt (- (log (exp (* (* i i) 4))) 1.0)) (cbrt (- (log (exp (* (* i i) 4))) 1.0)))) (cbrt (- (log (exp (* (* i i) 4))) 1.0))))>
3.020 * * * * [progress]: [ 26 / 82 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) (sqrt (- (log (exp (* (* i i) 4))) 1.0))) (sqrt (- (log (exp (* (* i i) 4))) 1.0))))>
3.020 * * * * [progress]: [ 27 / 82 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) 1) (- (log (exp (* (* i i) 4))) 1.0)))>
3.020 * * * * [progress]: [ 28 / 82 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) (+ (sqrt (log (exp (* (* i i) 4)))) (sqrt 1.0))) (- (sqrt (log (exp (* (* i i) 4)))) (sqrt 1.0))))>
3.020 * * * * [progress]: [ 29 / 82 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) 1) (- (log (exp (* (* i i) 4))) 1.0)))>
3.020 * * * * [progress]: [ 30 / 82 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) 1/4) 1) (- (log (exp (* (* i i) 4))) 1.0)))>
3.020 * * * * [progress]: [ 31 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (/ (- (log (exp (* (* i i) 4))) 1.0) 1/4)))>
3.020 * * * * [progress]: [ 32 / 82 ] simplifiying candidate #<alt (λ (i) (* (/ (* (* i i) 1/4) (- (pow (log (exp (* (* i i) 4))) 3) (pow 1.0 3))) (+ (* (log (exp (* (* i i) 4))) (log (exp (* (* i i) 4)))) (+ (* 1.0 1.0) (* (log (exp (* (* i i) 4))) 1.0)))))>
3.020 * * * * [progress]: [ 33 / 82 ] simplifiying candidate #<alt (λ (i) (* (/ (* (* i i) 1/4) (- (* (log (exp (* (* i i) 4))) (log (exp (* (* i i) 4)))) (* 1.0 1.0))) (+ (log (exp (* (* i i) 4))) 1.0)))>
3.020 * * * * [progress]: [ 34 / 82 ] simplifiying candidate #<alt (λ (i) (posit16->real (real->posit16 (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))))>
3.020 * * * * [progress]: [ 35 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log1p (expm1 (log (exp (* (* i i) 4))))) 1.0)))>
3.020 * * * * [progress]: [ 36 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (expm1 (log1p (log (exp (* (* i i) 4))))) 1.0)))>
3.020 * * * * [progress]: [ 37 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (+ (log (* (cbrt (exp (* (* i i) 4))) (cbrt (exp (* (* i i) 4))))) (log (cbrt (exp (* (* i i) 4))))) 1.0)))>
3.020 * * * * [progress]: [ 38 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (+ (log (sqrt (exp (* (* i i) 4)))) (log (sqrt (exp (* (* i i) 4))))) 1.0)))>
3.020 * * * * [progress]: [ 39 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (+ (log 1) (log (exp (* (* i i) 4)))) 1.0)))>
3.020 * * * * [progress]: [ 40 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (log (exp (* i i)))) 1.0)))>
3.020 * * * * [progress]: [ 41 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 1 (log (exp (* (* i i) 4)))) 1.0)))>
3.020 * * * * [progress]: [ 42 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (log (exp (* i i)))) 1.0)))>
3.020 * * * * [progress]: [ 43 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (pow (log (exp (* (* i i) 4))) 1) 1.0)))>
3.020 * * * * [progress]: [ 44 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))>
3.020 * * * * [progress]: [ 45 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (exp (log (log (exp (* (* i i) 4))))) 1.0)))>
3.020 * * * * [progress]: [ 46 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (log (exp (* (* i i) 4))))) 1.0)))>
3.020 * * * * [progress]: [ 47 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* (cbrt (log (exp (* (* i i) 4)))) (cbrt (log (exp (* (* i i) 4))))) (cbrt (log (exp (* (* i i) 4))))) 1.0)))>
3.020 * * * * [progress]: [ 48 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (cbrt (* (* (log (exp (* (* i i) 4))) (log (exp (* (* i i) 4)))) (log (exp (* (* i i) 4))))) 1.0)))>
3.020 * * * * [progress]: [ 49 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* (sqrt (log (exp (* (* i i) 4)))) (sqrt (log (exp (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 50 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 1 (log (exp (* (* i i) 4)))) 1.0)))>
3.021 * * * * [progress]: [ 51 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (posit16->real (real->posit16 (log (exp (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 52 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (log1p (expm1 (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 53 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (expm1 (log1p (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 54 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (pow (* (* i i) 4) 1))) 1.0)))>
3.021 * * * * [progress]: [ 55 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (pow (* (* i i) 4) 1))) 1.0)))>
3.021 * * * * [progress]: [ 56 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (pow (* (* i i) 4) 1))) 1.0)))>
3.021 * * * * [progress]: [ 57 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (exp (+ (+ (log i) (log i)) (log 4))))) 1.0)))>
3.021 * * * * [progress]: [ 58 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (exp (+ (log (* i i)) (log 4))))) 1.0)))>
3.021 * * * * [progress]: [ 59 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (exp (log (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 60 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (log (exp (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 61 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (cbrt (* (* (* (* i i) i) (* (* i i) i)) (* (* 4 4) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 62 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (cbrt (* (* (* (* i i) (* i i)) (* i i)) (* (* 4 4) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 63 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* (cbrt (* (* i i) 4)) (cbrt (* (* i i) 4))) (cbrt (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 64 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (cbrt (* (* (* (* i i) 4) (* (* i i) 4)) (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 65 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (sqrt (* (* i i) 4)) (sqrt (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 66 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* 1 (* (* i i) 4)))) 1.0)))>
3.021 * * * * [progress]: [ 67 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* i (sqrt 4)) (* i (sqrt 4))))) 1.0)))>
3.021 * * * * [progress]: [ 68 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* (* i i) (* (cbrt 4) (cbrt 4))) (cbrt 4)))) 1.0)))>
3.021 * * * * [progress]: [ 69 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* (* i i) (sqrt 4)) (sqrt 4)))) 1.0)))>
3.021 * * * * [progress]: [ 70 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* (* i i) 1) 4))) 1.0)))>
3.021 * * * * [progress]: [ 71 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* i (* i 4)))) 1.0)))>
3.021 * * * * [progress]: [ 72 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (posit16->real (real->posit16 (* (* i i) 4))))) 1.0)))>
3.021 * * * * [progress]: [ 73 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* 4 (* i i)))) 1.0)))>
3.021 * * * * [progress]: [ 74 / 82 ] simplifiying candidate #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>
3.021 * * * * [progress]: [ 75 / 82 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
3.022 * * * * [progress]: [ 76 / 82 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
3.022 * * * * [progress]: [ 77 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (pow i 2)) 1.0)))>
3.022 * * * * [progress]: [ 78 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (pow i 2)) 1.0)))>
3.022 * * * * [progress]: [ 79 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (* 4 (pow i 2)) 1.0)))>
3.022 * * * * [progress]: [ 80 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* 4 (pow i 2)))) 1.0)))>
3.022 * * * * [progress]: [ 81 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* 4 (pow i 2)))) 1.0)))>
3.022 * * * * [progress]: [ 82 / 82 ] simplifiying candidate #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* 4 (pow i 2)))) 1.0)))>
3.023 * [simplify]: Simplifying:
  (expm1 (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (log1p (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (- (+ (+ (log i) (log i)) (log 1/4)) (log (- (log (exp (* (* i i) 4))) 1.0)))
  (- (+ (log (* i i)) (log 1/4)) (log (- (log (exp (* (* i i) 4))) 1.0)))
  (- (log (* (* i i) 1/4)) (log (- (log (exp (* (* i i) 4))) 1.0)))
  (log (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (exp (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* 1/4 1/4) 1/4)) (* (* (- (log (exp (* (* i i) 4))) 1.0) (- (log (exp (* (* i i) 4))) 1.0)) (- (log (exp (* (* i i) 4))) 1.0)))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* 1/4 1/4) 1/4)) (* (* (- (log (exp (* (* i i) 4))) 1.0) (- (log (exp (* (* i i) 4))) 1.0)) (- (log (exp (* (* i i) 4))) 1.0)))
  (/ (* (* (* (* i i) 1/4) (* (* i i) 1/4)) (* (* i i) 1/4)) (* (* (- (log (exp (* (* i i) 4))) 1.0) (- (log (exp (* (* i i) 4))) 1.0)) (- (log (exp (* (* i i) 4))) 1.0)))
  (* (cbrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0))) (cbrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0))))
  (cbrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (* (* (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0))) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (sqrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (sqrt (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (- (* (* i i) 1/4))
  (- (- (log (exp (* (* i i) 4))) 1.0))
  (/ (* i i) (* (cbrt (- (log (exp (* (* i i) 4))) 1.0)) (cbrt (- (log (exp (* (* i i) 4))) 1.0))))
  (/ 1/4 (cbrt (- (log (exp (* (* i i) 4))) 1.0)))
  (/ (* i i) (sqrt (- (log (exp (* (* i i) 4))) 1.0)))
  (/ 1/4 (sqrt (- (log (exp (* (* i i) 4))) 1.0)))
  (/ (* i i) 1)
  (/ 1/4 (- (log (exp (* (* i i) 4))) 1.0))
  (/ (* i i) (+ (sqrt (log (exp (* (* i i) 4)))) (sqrt 1.0)))
  (/ 1/4 (- (sqrt (log (exp (* (* i i) 4)))) (sqrt 1.0)))
  (/ (* i i) 1)
  (/ 1/4 (- (log (exp (* (* i i) 4))) 1.0))
  (/ (* i i) 1)
  (/ 1/4 (- (log (exp (* (* i i) 4))) 1.0))
  (/ 1 (- (log (exp (* (* i i) 4))) 1.0))
  (/ (- (log (exp (* (* i i) 4))) 1.0) (* (* i i) 1/4))
  (/ (* (* i i) 1/4) (* (cbrt (- (log (exp (* (* i i) 4))) 1.0)) (cbrt (- (log (exp (* (* i i) 4))) 1.0))))
  (/ (* (* i i) 1/4) (sqrt (- (log (exp (* (* i i) 4))) 1.0)))
  (/ (* (* i i) 1/4) 1)
  (/ (* (* i i) 1/4) (+ (sqrt (log (exp (* (* i i) 4)))) (sqrt 1.0)))
  (/ (* (* i i) 1/4) 1)
  (/ (* (* i i) 1/4) 1)
  (/ (- (log (exp (* (* i i) 4))) 1.0) 1/4)
  (/ (* (* i i) 1/4) (- (pow (log (exp (* (* i i) 4))) 3) (pow 1.0 3)))
  (/ (* (* i i) 1/4) (- (* (log (exp (* (* i i) 4))) (log (exp (* (* i i) 4)))) (* 1.0 1.0)))
  (real->posit16 (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))
  (expm1 (log (exp (* (* i i) 4))))
  (log1p (log (exp (* (* i i) 4))))
  (log (* (cbrt (exp (* (* i i) 4))) (cbrt (exp (* (* i i) 4)))))
  (log (cbrt (exp (* (* i i) 4))))
  (log (sqrt (exp (* (* i i) 4))))
  (log (sqrt (exp (* (* i i) 4))))
  (log 1)
  (log (exp (* (* i i) 4)))
  (log (exp (* i i)))
  (log (exp (* (* i i) 4)))
  (log (exp (* i i)))
  (log (log (exp (* (* i i) 4))))
  (exp (log (exp (* (* i i) 4))))
  (* (cbrt (log (exp (* (* i i) 4)))) (cbrt (log (exp (* (* i i) 4)))))
  (cbrt (log (exp (* (* i i) 4))))
  (* (* (log (exp (* (* i i) 4))) (log (exp (* (* i i) 4)))) (log (exp (* (* i i) 4))))
  (sqrt (log (exp (* (* i i) 4))))
  (sqrt (log (exp (* (* i i) 4))))
  (real->posit16 (log (exp (* (* i i) 4))))
  (expm1 (* (* i i) 4))
  (log1p (* (* i i) 4))
  (* (* i i) 4)
  (* (* i i) 4)
  (+ (+ (log i) (log i)) (log 4))
  (+ (log (* i i)) (log 4))
  (log (* (* i i) 4))
  (exp (* (* i i) 4))
  (* (* (* (* i i) i) (* (* i i) i)) (* (* 4 4) 4))
  (* (* (* (* i i) (* i i)) (* i i)) (* (* 4 4) 4))
  (* (cbrt (* (* i i) 4)) (cbrt (* (* i i) 4)))
  (cbrt (* (* i i) 4))
  (* (* (* (* i i) 4) (* (* i i) 4)) (* (* i i) 4))
  (sqrt (* (* i i) 4))
  (sqrt (* (* i i) 4))
  (* i (sqrt 4))
  (* i (sqrt 4))
  (* (* i i) (* (cbrt 4) (cbrt 4)))
  (* (* i i) (sqrt 4))
  (* (* i i) 1)
  (* i 4)
  (real->posit16 (* (* i i) 4))
  (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
  (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
  (* 4 (pow i 2))
  (* 4 (pow i 2))
  (* 4 (pow i 2))
  (* 4 (pow i 2))
  (* 4 (pow i 2))
  (* 4 (pow i 2))
3.025 * * [simplify]: iteration 0: 145 enodes
3.071 * * [simplify]: iteration 1: 366 enodes
3.234 * * [simplify]: iteration 2: 1328 enodes
3.539 * * [simplify]: iteration 3: 2009 enodes
3.934 * * [simplify]: iteration complete: 2009 enodes
3.934 * * [simplify]: Extracting #0: cost 50 inf + 0
3.935 * * [simplify]: Extracting #1: cost 373 inf + 1
3.937 * * [simplify]: Extracting #2: cost 659 inf + 644
3.945 * * [simplify]: Extracting #3: cost 331 inf + 51254
3.972 * * [simplify]: Extracting #4: cost 49 inf + 108127
3.997 * * [simplify]: Extracting #5: cost 2 inf + 119658
4.032 * * [simplify]: Extracting #6: cost 0 inf + 119915
4.058 * [simplify]: Simplified to:
  (expm1 (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (log1p (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (log (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (log (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (log (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (log (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (exp (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (* (* (/ (* i i) (- (* 4 (* i i)) 1.0)) (* (/ (* i i) (- (* 4 (* i i)) 1.0)) (/ (* i i) (- (* 4 (* i i)) 1.0)))) 1/64)
  (* (* (/ (* i i) (- (* 4 (* i i)) 1.0)) (* (/ (* i i) (- (* 4 (* i i)) 1.0)) (/ (* i i) (- (* 4 (* i i)) 1.0)))) 1/64)
  (* (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) (* (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))))
  (* (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))))
  (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (* (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) (* (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))))
  (sqrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (sqrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (* (* i i) -1/4)
  (- (- (* 4 (* i i)) 1.0))
  (* (/ i (cbrt (- (* 4 (* i i)) 1.0))) (/ i (cbrt (- (* 4 (* i i)) 1.0))))
  (/ 1/4 (cbrt (- (* 4 (* i i)) 1.0)))
  (/ (* i i) (sqrt (- (* 4 (* i i)) 1.0)))
  (/ 1/4 (sqrt (- (* 4 (* i i)) 1.0)))
  (* i i)
  (/ 1/4 (- (* 4 (* i i)) 1.0))
  (/ (* i i) (+ (sqrt 1.0) (sqrt (* 4 (* i i)))))
  (/ 1/4 (- (sqrt (* 4 (* i i))) (sqrt 1.0)))
  (* i i)
  (/ 1/4 (- (* 4 (* i i)) 1.0))
  (* i i)
  (/ 1/4 (- (* 4 (* i i)) 1.0))
  (/ 1 (- (* 4 (* i i)) 1.0))
  (* (/ (- (* 4 (* i i)) 1.0) (* i i)) 4)
  (/ (* i i) (* (* (cbrt (- (* 4 (* i i)) 1.0)) (cbrt (- (* 4 (* i i)) 1.0))) 4))
  (/ (* i i) (* (sqrt (- (* 4 (* i i)) 1.0)) 4))
  (/ i (/ 4 i))
  (/ (* i i) (* (+ (sqrt 1.0) (sqrt (* 4 (* i i)))) 4))
  (/ i (/ 4 i))
  (/ i (/ 4 i))
  (/ (- (* 4 (* i i)) 1.0) 1/4)
  (/ (* i i) (* (- (* (* (* 4 (* i i)) (* 4 (* i i))) (* 4 (* i i))) (* (* 1.0 1.0) 1.0)) 4))
  (/ (* i i) (* (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0)) 4))
  (real->posit16 (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
  (expm1 (* 4 (* i i)))
  (log1p (* 4 (* i i)))
  (+ (log (cbrt (exp (* 4 (* i i))))) (log (cbrt (exp (* 4 (* i i))))))
  (log (cbrt (exp (* 4 (* i i)))))
  (log (sqrt (exp (* 4 (* i i)))))
  (log (sqrt (exp (* 4 (* i i)))))
  0
  (* 4 (* i i))
  (* i i)
  (* 4 (* i i))
  (* i i)
  (log (* 4 (* i i)))
  (exp (* 4 (* i i)))
  (* (cbrt (* 4 (* i i))) (cbrt (* 4 (* i i))))
  (cbrt (* 4 (* i i)))
  (* (* (* 4 (* i i)) (* 4 (* i i))) (* 4 (* i i)))
  (sqrt (* 4 (* i i)))
  (sqrt (* 4 (* i i)))
  (real->posit16 (* 4 (* i i)))
  (expm1 (* 4 (* i i)))
  (log1p (* 4 (* i i)))
  (* 4 (* i i))
  (* 4 (* i i))
  (log (* 4 (* i i)))
  (log (* 4 (* i i)))
  (log (* 4 (* i i)))
  (exp (* 4 (* i i)))
  (* (* (* i i) (* i i)) (* (* i i) 64))
  (* (* (* i i) (* i i)) (* (* i i) 64))
  (* (cbrt (* 4 (* i i))) (cbrt (* 4 (* i i))))
  (cbrt (* 4 (* i i)))
  (* (* (* 4 (* i i)) (* 4 (* i i))) (* 4 (* i i)))
  (sqrt (* 4 (* i i)))
  (sqrt (* 4 (* i i)))
  (* i 2)
  (* i 2)
  (* (* (cbrt 4) i) (* (cbrt 4) i))
  (* (* i 2) i)
  (* i i)
  (* 4 i)
  (real->posit16 (* 4 (* i i)))
  (- (fma 0.25 (* i i) (fma 1.0 (* (* i i) (* i i)) (* 4.0 (* (* i i) (* (* i i) (* i i)))))))
  (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))
  (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))
  (* 4 (* i i))
  (* 4 (* i i))
  (* 4 (* i i))
  (* 4 (* i i))
  (* 4 (* i i))
  (* 4 (* i i))
4.062 * * * [progress]: adding candidates to table
4.720 * * [progress]: iteration 3 / 4
4.720 * * * [progress]: picking best candidate
4.722 * * * * [pick]: Picked  #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
4.722 * * * [progress]: localizing error
4.749 * * * [progress]: generating rewritten candidates
4.749 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 1)
4.759 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
4.768 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2)
4.791 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.795 * * * [progress]: generating series expansions
4.795 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 1)
4.795 * [backup-simplify]: Simplify (/ 1 (* i i)) into (/ 1 (pow i 2))
4.796 * [approximate]: Taking taylor expansion of (/ 1 (pow i 2)) in (i) around 0
4.796 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
4.796 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.796 * [taylor]: Taking taylor expansion of i in i
4.796 * [backup-simplify]: Simplify 0 into 0
4.796 * [backup-simplify]: Simplify 1 into 1
4.802 * [backup-simplify]: Simplify (* 1 1) into 1
4.803 * [backup-simplify]: Simplify (/ 1 1) into 1
4.803 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
4.803 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.803 * [taylor]: Taking taylor expansion of i in i
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify 1 into 1
4.803 * [backup-simplify]: Simplify (* 1 1) into 1
4.804 * [backup-simplify]: Simplify (/ 1 1) into 1
4.804 * [backup-simplify]: Simplify 1 into 1
4.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.805 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.807 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify (* 1 (pow (/ 1 i) 2)) into (/ 1 (pow i 2))
4.817 * [backup-simplify]: Simplify (/ 1 (* (/ 1 i) (/ 1 i))) into (pow i 2)
4.817 * [approximate]: Taking taylor expansion of (pow i 2) in (i) around 0
4.817 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.817 * [taylor]: Taking taylor expansion of i in i
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify 1 into 1
4.817 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.817 * [taylor]: Taking taylor expansion of i in i
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify 1 into 1
4.817 * [backup-simplify]: Simplify (* 1 1) into 1
4.817 * [backup-simplify]: Simplify 1 into 1
4.818 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.818 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.819 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.819 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.820 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.821 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.822 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify (* 1 (pow (/ 1 i) 2)) into (/ 1 (pow i 2))
4.822 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- i)) (/ 1 (- i)))) into (pow i 2)
4.822 * [approximate]: Taking taylor expansion of (pow i 2) in (i) around 0
4.822 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.822 * [taylor]: Taking taylor expansion of i in i
4.822 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify 1 into 1
4.822 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.822 * [taylor]: Taking taylor expansion of i in i
4.822 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify 1 into 1
4.822 * [backup-simplify]: Simplify (* 1 1) into 1
4.822 * [backup-simplify]: Simplify 1 into 1
4.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.823 * [backup-simplify]: Simplify 0 into 0
4.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.823 * [backup-simplify]: Simplify 0 into 0
4.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.824 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.826 * [backup-simplify]: Simplify 0 into 0
4.826 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (- i)) 2)) into (/ 1 (pow i 2))
4.826 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
4.826 * [backup-simplify]: Simplify (/ 1 (* i i)) into (/ 1 (pow i 2))
4.827 * [approximate]: Taking taylor expansion of (/ 1 (pow i 2)) in (i) around 0
4.827 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
4.827 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.827 * [taylor]: Taking taylor expansion of i in i
4.827 * [backup-simplify]: Simplify 0 into 0
4.827 * [backup-simplify]: Simplify 1 into 1
4.827 * [backup-simplify]: Simplify (* 1 1) into 1
4.827 * [backup-simplify]: Simplify (/ 1 1) into 1
4.827 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
4.827 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.827 * [taylor]: Taking taylor expansion of i in i
4.827 * [backup-simplify]: Simplify 0 into 0
4.827 * [backup-simplify]: Simplify 1 into 1
4.827 * [backup-simplify]: Simplify (* 1 1) into 1
4.828 * [backup-simplify]: Simplify (/ 1 1) into 1
4.828 * [backup-simplify]: Simplify 1 into 1
4.828 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.829 * [backup-simplify]: Simplify 0 into 0
4.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.830 * [backup-simplify]: Simplify 0 into 0
4.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.831 * [backup-simplify]: Simplify 0 into 0
4.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.832 * [backup-simplify]: Simplify 0 into 0
4.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.833 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify (* 1 (pow (/ 1 i) 2)) into (/ 1 (pow i 2))
4.835 * [backup-simplify]: Simplify (/ 1 (* (/ 1 i) (/ 1 i))) into (pow i 2)
4.835 * [approximate]: Taking taylor expansion of (pow i 2) in (i) around 0
4.835 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.835 * [taylor]: Taking taylor expansion of i in i
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify 1 into 1
4.835 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.835 * [taylor]: Taking taylor expansion of i in i
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify 1 into 1
4.835 * [backup-simplify]: Simplify (* 1 1) into 1
4.835 * [backup-simplify]: Simplify 1 into 1
4.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.836 * [backup-simplify]: Simplify 0 into 0
4.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.836 * [backup-simplify]: Simplify 0 into 0
4.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.837 * [backup-simplify]: Simplify 0 into 0
4.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.838 * [backup-simplify]: Simplify 0 into 0
4.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.838 * [backup-simplify]: Simplify 0 into 0
4.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.839 * [backup-simplify]: Simplify 0 into 0
4.839 * [backup-simplify]: Simplify (* 1 (pow (/ 1 i) 2)) into (/ 1 (pow i 2))
4.840 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- i)) (/ 1 (- i)))) into (pow i 2)
4.840 * [approximate]: Taking taylor expansion of (pow i 2) in (i) around 0
4.840 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.840 * [taylor]: Taking taylor expansion of i in i
4.840 * [backup-simplify]: Simplify 0 into 0
4.840 * [backup-simplify]: Simplify 1 into 1
4.840 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.840 * [taylor]: Taking taylor expansion of i in i
4.840 * [backup-simplify]: Simplify 0 into 0
4.840 * [backup-simplify]: Simplify 1 into 1
4.840 * [backup-simplify]: Simplify (* 1 1) into 1
4.840 * [backup-simplify]: Simplify 1 into 1
4.840 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.840 * [backup-simplify]: Simplify 0 into 0
4.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.841 * [backup-simplify]: Simplify 0 into 0
4.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.842 * [backup-simplify]: Simplify 0 into 0
4.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.842 * [backup-simplify]: Simplify 0 into 0
4.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.843 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.844 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (- i)) 2)) into (/ 1 (pow i 2))
4.844 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2)
4.844 * [backup-simplify]: Simplify (/ (/ 1 (* i i)) (* i i)) into (/ 1 (pow i 4))
4.844 * [approximate]: Taking taylor expansion of (/ 1 (pow i 4)) in (i) around 0
4.844 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
4.844 * [taylor]: Taking taylor expansion of (pow i 4) in i
4.844 * [taylor]: Taking taylor expansion of i in i
4.844 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify 1 into 1
4.845 * [backup-simplify]: Simplify (* 1 1) into 1
4.845 * [backup-simplify]: Simplify (* 1 1) into 1
4.845 * [backup-simplify]: Simplify (/ 1 1) into 1
4.845 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
4.845 * [taylor]: Taking taylor expansion of (pow i 4) in i
4.845 * [taylor]: Taking taylor expansion of i in i
4.845 * [backup-simplify]: Simplify 0 into 0
4.845 * [backup-simplify]: Simplify 1 into 1
4.845 * [backup-simplify]: Simplify (* 1 1) into 1
4.846 * [backup-simplify]: Simplify (* 1 1) into 1
4.846 * [backup-simplify]: Simplify (/ 1 1) into 1
4.846 * [backup-simplify]: Simplify 1 into 1
4.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.848 * [backup-simplify]: Simplify 0 into 0
4.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.850 * [backup-simplify]: Simplify 0 into 0
4.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.853 * [backup-simplify]: Simplify 0 into 0
4.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.857 * [backup-simplify]: Simplify 0 into 0
4.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.861 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify (* 1 (pow (/ 1 i) 4)) into (/ 1 (pow i 4))
4.865 * [backup-simplify]: Simplify (/ (/ 1 (* (/ 1 i) (/ 1 i))) (* (/ 1 i) (/ 1 i))) into (pow i 4)
4.865 * [approximate]: Taking taylor expansion of (pow i 4) in (i) around 0
4.865 * [taylor]: Taking taylor expansion of (pow i 4) in i
4.865 * [taylor]: Taking taylor expansion of i in i
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 1 into 1
4.865 * [taylor]: Taking taylor expansion of (pow i 4) in i
4.865 * [taylor]: Taking taylor expansion of i in i
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 1 into 1
4.866 * [backup-simplify]: Simplify (* 1 1) into 1
4.866 * [backup-simplify]: Simplify (* 1 1) into 1
4.866 * [backup-simplify]: Simplify 1 into 1
4.867 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.867 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.867 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.869 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.871 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.874 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.877 * [backup-simplify]: Simplify 0 into 0
4.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.880 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify (* 1 (pow (/ 1 i) 4)) into (/ 1 (pow i 4))
4.881 * [backup-simplify]: Simplify (/ (/ 1 (* (/ 1 (- i)) (/ 1 (- i)))) (* (/ 1 (- i)) (/ 1 (- i)))) into (pow i 4)
4.881 * [approximate]: Taking taylor expansion of (pow i 4) in (i) around 0
4.881 * [taylor]: Taking taylor expansion of (pow i 4) in i
4.881 * [taylor]: Taking taylor expansion of i in i
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [taylor]: Taking taylor expansion of (pow i 4) in i
4.881 * [taylor]: Taking taylor expansion of i in i
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [backup-simplify]: Simplify (* 1 1) into 1
4.882 * [backup-simplify]: Simplify (* 1 1) into 1
4.882 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.883 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.883 * [backup-simplify]: Simplify 0 into 0
4.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.885 * [backup-simplify]: Simplify 0 into 0
4.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.887 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.889 * [backup-simplify]: Simplify 0 into 0
4.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.892 * [backup-simplify]: Simplify 0 into 0
4.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (- i)) 4)) into (/ 1 (pow i 4))
4.895 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.896 * [backup-simplify]: Simplify (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)) into (fma 0.015625 (/ 1 (pow i 2)) (fma 0.00390625 (/ 1 (pow i 4)) 1/16))
4.896 * [approximate]: Taking taylor expansion of (fma 0.015625 (/ 1 (pow i 2)) (fma 0.00390625 (/ 1 (pow i 4)) 1/16)) in (i) around 0
4.896 * [taylor]: Taking taylor expansion of (fma 0.015625 (/ 1 (pow i 2)) (fma 0.00390625 (/ 1 (pow i 4)) 1/16)) in i
4.896 * [taylor]: Rewrote expression to (+ (* 0.015625 (/ 1 (pow i 2))) (fma 0.00390625 (/ 1 (pow i 4)) 1/16))
4.896 * [taylor]: Taking taylor expansion of (* 0.015625 (/ 1 (pow i 2))) in i
4.896 * [taylor]: Taking taylor expansion of 0.015625 in i
4.896 * [backup-simplify]: Simplify 0.015625 into 0.015625
4.896 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
4.896 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.896 * [taylor]: Taking taylor expansion of i in i
4.896 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify 1 into 1
4.897 * [backup-simplify]: Simplify (* 1 1) into 1
4.897 * [backup-simplify]: Simplify (/ 1 1) into 1
4.897 * [taylor]: Taking taylor expansion of (fma 0.00390625 (/ 1 (pow i 4)) 1/16) in i
4.897 * [taylor]: Rewrote expression to (+ (* 0.00390625 (/ 1 (pow i 4))) 1/16)
4.897 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 4))) in i
4.897 * [taylor]: Taking taylor expansion of 0.00390625 in i
4.897 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
4.897 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
4.897 * [taylor]: Taking taylor expansion of (pow i 4) in i
4.897 * [taylor]: Taking taylor expansion of i in i
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify 1 into 1
4.898 * [backup-simplify]: Simplify (* 1 1) into 1
4.898 * [backup-simplify]: Simplify (* 1 1) into 1
4.899 * [backup-simplify]: Simplify (/ 1 1) into 1
4.899 * [taylor]: Taking taylor expansion of 1/16 in i
4.899 * [backup-simplify]: Simplify 1/16 into 1/16
4.899 * [taylor]: Taking taylor expansion of (fma 0.015625 (/ 1 (pow i 2)) (fma 0.00390625 (/ 1 (pow i 4)) 1/16)) in i
4.899 * [taylor]: Rewrote expression to (+ (* 0.015625 (/ 1 (pow i 2))) (fma 0.00390625 (/ 1 (pow i 4)) 1/16))
4.899 * [taylor]: Taking taylor expansion of (* 0.015625 (/ 1 (pow i 2))) in i
4.899 * [taylor]: Taking taylor expansion of 0.015625 in i
4.899 * [backup-simplify]: Simplify 0.015625 into 0.015625
4.899 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
4.899 * [taylor]: Taking taylor expansion of (pow i 2) in i
4.899 * [taylor]: Taking taylor expansion of i in i
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [backup-simplify]: Simplify 1 into 1
4.899 * [backup-simplify]: Simplify (* 1 1) into 1
4.900 * [backup-simplify]: Simplify (/ 1 1) into 1
4.900 * [taylor]: Taking taylor expansion of (fma 0.00390625 (/ 1 (pow i 4)) 1/16) in i
4.900 * [taylor]: Rewrote expression to (+ (* 0.00390625 (/ 1 (pow i 4))) 1/16)
4.900 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 4))) in i
4.900 * [taylor]: Taking taylor expansion of 0.00390625 in i
4.900 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
4.900 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
4.900 * [taylor]: Taking taylor expansion of (pow i 4) in i
4.900 * [taylor]: Taking taylor expansion of i in i
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 1 into 1
4.900 * [backup-simplify]: Simplify (* 1 1) into 1
4.901 * [backup-simplify]: Simplify (* 1 1) into 1
4.901 * [backup-simplify]: Simplify (/ 1 1) into 1
4.901 * [taylor]: Taking taylor expansion of 1/16 in i
4.901 * [backup-simplify]: Simplify 1/16 into 1/16
4.902 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
4.902 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
4.903 * [backup-simplify]: Simplify (+ 0 0.00390625) into 0.00390625
4.903 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
4.904 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.904 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.906 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
4.906 * [backup-simplify]: Simplify (+ 0 0) into 0
4.907 * [backup-simplify]: Simplify (+ 0 0) into 0
4.907 * [backup-simplify]: Simplify 0 into 0
4.907 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
4.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.911 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
4.911 * [backup-simplify]: Simplify (+ 0 0) into 0
4.912 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
4.912 * [backup-simplify]: Simplify 0.015625 into 0.015625
4.912 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.914 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
4.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.918 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.918 * [backup-simplify]: Simplify (+ 0 0) into 0
4.919 * [backup-simplify]: Simplify (+ 0 0) into 0
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.921 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
4.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.212 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.212 * [backup-simplify]: Simplify (+ 0 1/16) into 1/16
5.212 * [backup-simplify]: Simplify (+ 0 1/16) into 1/16
5.213 * [backup-simplify]: Simplify 1/16 into 1/16
5.213 * [backup-simplify]: Simplify (+ 1/16 (+ (* 0.015625 (pow (/ 1 i) 2)) (* 0.00390625 (pow (/ 1 i) 4)))) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
5.213 * [backup-simplify]: Simplify (fma 0.015625 (/ 1 (* (/ 1 i) (/ 1 i))) (fma 0.00390625 (/ (/ 1 (* (/ 1 i) (/ 1 i))) (* (/ 1 i) (/ 1 i))) 1/16)) into (fma 0.015625 (pow i 2) (fma 0.00390625 (pow i 4) 1/16))
5.213 * [approximate]: Taking taylor expansion of (fma 0.015625 (pow i 2) (fma 0.00390625 (pow i 4) 1/16)) in (i) around 0
5.213 * [taylor]: Taking taylor expansion of (fma 0.015625 (pow i 2) (fma 0.00390625 (pow i 4) 1/16)) in i
5.213 * [taylor]: Rewrote expression to (+ (* 0.015625 (pow i 2)) (fma 0.00390625 (pow i 4) 1/16))
5.213 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
5.214 * [taylor]: Taking taylor expansion of 0.015625 in i
5.214 * [backup-simplify]: Simplify 0.015625 into 0.015625
5.214 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.214 * [taylor]: Taking taylor expansion of i in i
5.214 * [backup-simplify]: Simplify 0 into 0
5.214 * [backup-simplify]: Simplify 1 into 1
5.214 * [taylor]: Taking taylor expansion of (fma 0.00390625 (pow i 4) 1/16) in i
5.214 * [taylor]: Rewrote expression to (+ (* 0.00390625 (pow i 4)) 1/16)
5.214 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
5.214 * [taylor]: Taking taylor expansion of 0.00390625 in i
5.214 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
5.214 * [taylor]: Taking taylor expansion of (pow i 4) in i
5.214 * [taylor]: Taking taylor expansion of i in i
5.214 * [backup-simplify]: Simplify 0 into 0
5.214 * [backup-simplify]: Simplify 1 into 1
5.214 * [taylor]: Taking taylor expansion of 1/16 in i
5.214 * [backup-simplify]: Simplify 1/16 into 1/16
5.214 * [taylor]: Taking taylor expansion of (fma 0.015625 (pow i 2) (fma 0.00390625 (pow i 4) 1/16)) in i
5.214 * [taylor]: Rewrote expression to (+ (* 0.015625 (pow i 2)) (fma 0.00390625 (pow i 4) 1/16))
5.214 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
5.214 * [taylor]: Taking taylor expansion of 0.015625 in i
5.214 * [backup-simplify]: Simplify 0.015625 into 0.015625
5.214 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.214 * [taylor]: Taking taylor expansion of i in i
5.214 * [backup-simplify]: Simplify 0 into 0
5.214 * [backup-simplify]: Simplify 1 into 1
5.214 * [taylor]: Taking taylor expansion of (fma 0.00390625 (pow i 4) 1/16) in i
5.214 * [taylor]: Rewrote expression to (+ (* 0.00390625 (pow i 4)) 1/16)
5.214 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
5.214 * [taylor]: Taking taylor expansion of 0.00390625 in i
5.214 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
5.214 * [taylor]: Taking taylor expansion of (pow i 4) in i
5.214 * [taylor]: Taking taylor expansion of i in i
5.215 * [backup-simplify]: Simplify 0 into 0
5.215 * [backup-simplify]: Simplify 1 into 1
5.215 * [taylor]: Taking taylor expansion of 1/16 in i
5.215 * [backup-simplify]: Simplify 1/16 into 1/16
5.215 * [backup-simplify]: Simplify (+ 0 1/16) into 1/16
5.216 * [backup-simplify]: Simplify (+ 0 1/16) into 1/16
5.216 * [backup-simplify]: Simplify 1/16 into 1/16
5.216 * [backup-simplify]: Simplify (+ 0 0) into 0
5.216 * [backup-simplify]: Simplify (+ 0 0) into 0
5.216 * [backup-simplify]: Simplify 0 into 0
5.217 * [backup-simplify]: Simplify (* 1 1) into 1
5.217 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
5.217 * [backup-simplify]: Simplify (+ 0 0) into 0
5.217 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
5.217 * [backup-simplify]: Simplify 0.015625 into 0.015625
5.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.218 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
5.219 * [backup-simplify]: Simplify (+ 0 0) into 0
5.219 * [backup-simplify]: Simplify (+ 0 0) into 0
5.219 * [backup-simplify]: Simplify 0 into 0
5.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.220 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
5.220 * [backup-simplify]: Simplify (* 1 1) into 1
5.221 * [backup-simplify]: Simplify (* 1 1) into 1
5.221 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
5.221 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
5.221 * [backup-simplify]: Simplify (+ 0 0.00390625) into 0.00390625
5.221 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
5.222 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
5.222 * [backup-simplify]: Simplify (fma 0.015625 (/ 1 (* (/ 1 (- i)) (/ 1 (- i)))) (fma 0.00390625 (/ (/ 1 (* (/ 1 (- i)) (/ 1 (- i)))) (* (/ 1 (- i)) (/ 1 (- i)))) 1/16)) into (fma 0.015625 (pow i 2) (fma 0.00390625 (pow i 4) 1/16))
5.222 * [approximate]: Taking taylor expansion of (fma 0.015625 (pow i 2) (fma 0.00390625 (pow i 4) 1/16)) in (i) around 0
5.222 * [taylor]: Taking taylor expansion of (fma 0.015625 (pow i 2) (fma 0.00390625 (pow i 4) 1/16)) in i
5.222 * [taylor]: Rewrote expression to (+ (* 0.015625 (pow i 2)) (fma 0.00390625 (pow i 4) 1/16))
5.222 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
5.222 * [taylor]: Taking taylor expansion of 0.015625 in i
5.222 * [backup-simplify]: Simplify 0.015625 into 0.015625
5.222 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.222 * [taylor]: Taking taylor expansion of i in i
5.222 * [backup-simplify]: Simplify 0 into 0
5.222 * [backup-simplify]: Simplify 1 into 1
5.222 * [taylor]: Taking taylor expansion of (fma 0.00390625 (pow i 4) 1/16) in i
5.222 * [taylor]: Rewrote expression to (+ (* 0.00390625 (pow i 4)) 1/16)
5.222 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
5.222 * [taylor]: Taking taylor expansion of 0.00390625 in i
5.222 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
5.222 * [taylor]: Taking taylor expansion of (pow i 4) in i
5.222 * [taylor]: Taking taylor expansion of i in i
5.222 * [backup-simplify]: Simplify 0 into 0
5.222 * [backup-simplify]: Simplify 1 into 1
5.222 * [taylor]: Taking taylor expansion of 1/16 in i
5.222 * [backup-simplify]: Simplify 1/16 into 1/16
5.222 * [taylor]: Taking taylor expansion of (fma 0.015625 (pow i 2) (fma 0.00390625 (pow i 4) 1/16)) in i
5.222 * [taylor]: Rewrote expression to (+ (* 0.015625 (pow i 2)) (fma 0.00390625 (pow i 4) 1/16))
5.222 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
5.222 * [taylor]: Taking taylor expansion of 0.015625 in i
5.222 * [backup-simplify]: Simplify 0.015625 into 0.015625
5.222 * [taylor]: Taking taylor expansion of (pow i 2) in i
5.222 * [taylor]: Taking taylor expansion of i in i
5.222 * [backup-simplify]: Simplify 0 into 0
5.222 * [backup-simplify]: Simplify 1 into 1
5.222 * [taylor]: Taking taylor expansion of (fma 0.00390625 (pow i 4) 1/16) in i
5.222 * [taylor]: Rewrote expression to (+ (* 0.00390625 (pow i 4)) 1/16)
5.223 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
5.223 * [taylor]: Taking taylor expansion of 0.00390625 in i
5.223 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
5.223 * [taylor]: Taking taylor expansion of (pow i 4) in i
5.223 * [taylor]: Taking taylor expansion of i in i
5.223 * [backup-simplify]: Simplify 0 into 0
5.223 * [backup-simplify]: Simplify 1 into 1
5.223 * [taylor]: Taking taylor expansion of 1/16 in i
5.223 * [backup-simplify]: Simplify 1/16 into 1/16
5.223 * [backup-simplify]: Simplify (+ 0 1/16) into 1/16
5.223 * [backup-simplify]: Simplify (+ 0 1/16) into 1/16
5.223 * [backup-simplify]: Simplify 1/16 into 1/16
5.224 * [backup-simplify]: Simplify (+ 0 0) into 0
5.224 * [backup-simplify]: Simplify (+ 0 0) into 0
5.224 * [backup-simplify]: Simplify 0 into 0
5.224 * [backup-simplify]: Simplify (* 1 1) into 1
5.224 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
5.225 * [backup-simplify]: Simplify (+ 0 0) into 0
5.225 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
5.225 * [backup-simplify]: Simplify 0.015625 into 0.015625
5.225 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.226 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
5.226 * [backup-simplify]: Simplify (+ 0 0) into 0
5.226 * [backup-simplify]: Simplify (+ 0 0) into 0
5.226 * [backup-simplify]: Simplify 0 into 0
5.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.227 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
5.228 * [backup-simplify]: Simplify (* 1 1) into 1
5.228 * [backup-simplify]: Simplify (* 1 1) into 1
5.228 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
5.229 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
5.229 * [backup-simplify]: Simplify (+ 0 0.00390625) into 0.00390625
5.229 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
5.229 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
5.229 * * * [progress]: simplifying candidates
5.229 * * * * [progress]: [ 1 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (log1p (expm1 (/ 1 (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 2 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (expm1 (log1p (/ 1 (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 3 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (pow (* i i) -1) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 4 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (pow i (- (+ 1 1))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 5 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (pow (* i i) (- 1)) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 6 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (pow i (- 2)) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 7 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (pow i (- (+ 1 1))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 8 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (pow (* i i) (- 1)) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 9 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (pow i (- (* 2 1))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 10 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (pow (/ 1 (* i i)) 1) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 11 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (exp (- (+ (log i) (log i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 12 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (exp (- (log (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 13 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (exp (- 0 (+ (log i) (log i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 14 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (exp (- 0 (log (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 15 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (exp (- (log 1) (+ (log i) (log i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 16 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (exp (- (log 1) (log (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 17 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (exp (log (/ 1 (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 18 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (log (exp (/ 1 (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 19 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (cbrt (/ (* (* 1 1) 1) (* (* (* i i) i) (* (* i i) i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 20 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (cbrt (/ (* (* 1 1) 1) (* (* (* i i) (* i i)) (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 21 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (* (* (cbrt (/ 1 (* i i))) (cbrt (/ 1 (* i i)))) (cbrt (/ 1 (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 22 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (cbrt (* (* (/ 1 (* i i)) (/ 1 (* i i))) (/ 1 (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 23 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (* (sqrt (/ 1 (* i i))) (sqrt (/ 1 (* i i)))) (* i i)) 1/16)))>
5.230 * * * * [progress]: [ 24 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ (- 1) (- (* i i))) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 25 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (* (/ (* (cbrt 1) (cbrt 1)) i) (/ (cbrt 1) i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 26 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (* (/ (sqrt 1) i) (/ (sqrt 1) i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 27 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (* (/ 1 i) (/ 1 i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 28 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (* 1 (/ 1 (* i i))) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 29 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (* 1 (/ 1 (* i i))) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 30 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (/ (* i i) 1)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 31 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ (/ 1 i) i) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 32 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ (* (cbrt 1) (cbrt 1)) (/ (* i i) (cbrt 1))) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 33 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ (sqrt 1) (/ (* i i) (sqrt 1))) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 34 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (/ (* i i) 1)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 35 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (posit16->real (real->posit16 (/ 1 (* i i)))) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 36 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (log1p (expm1 (/ 1 (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 37 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (expm1 (log1p (/ 1 (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 38 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (pow (* i i) -1) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 39 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (pow i (- (+ 1 1))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 40 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (pow (* i i) (- 1)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 41 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (pow i (- 2)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 42 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (pow i (- (+ 1 1))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 43 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (pow (* i i) (- 1)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 44 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (pow i (- (* 2 1))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 45 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (pow (/ 1 (* i i)) 1) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 46 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (exp (- (+ (log i) (log i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 47 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (exp (- (log (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 48 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (exp (- 0 (+ (log i) (log i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.231 * * * * [progress]: [ 49 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (exp (- 0 (log (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 50 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (exp (- (log 1) (+ (log i) (log i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 51 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (exp (- (log 1) (log (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 52 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (exp (log (/ 1 (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 53 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (log (exp (/ 1 (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 54 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (cbrt (/ (* (* 1 1) 1) (* (* (* i i) i) (* (* i i) i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 55 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (cbrt (/ (* (* 1 1) 1) (* (* (* i i) (* i i)) (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 56 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (* (* (cbrt (/ 1 (* i i))) (cbrt (/ 1 (* i i)))) (cbrt (/ 1 (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 57 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (cbrt (* (* (/ 1 (* i i)) (/ 1 (* i i))) (/ 1 (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 58 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (* (sqrt (/ 1 (* i i))) (sqrt (/ 1 (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 59 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ (- 1) (- (* i i))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 60 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (* (/ (* (cbrt 1) (cbrt 1)) i) (/ (cbrt 1) i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 61 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (* (/ (sqrt 1) i) (/ (sqrt 1) i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 62 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (* (/ 1 i) (/ 1 i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 63 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (* 1 (/ 1 (* i i))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 64 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (* 1 (/ 1 (* i i))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 65 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (/ (* i i) 1)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 66 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ (/ 1 i) i) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 67 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ (* (cbrt 1) (cbrt 1)) (/ (* i i) (cbrt 1))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 68 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ (sqrt 1) (/ (* i i) (sqrt 1))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 69 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (/ (* i i) 1)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 70 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (posit16->real (real->posit16 (/ 1 (* i i)))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.232 * * * * [progress]: [ 71 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (log1p (expm1 (/ (/ 1 (* i i)) (* i i)))) 1/16)))>
5.232 * * * * [progress]: [ 72 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (expm1 (log1p (/ (/ 1 (* i i)) (* i i)))) 1/16)))>
5.232 * * * * [progress]: [ 73 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow (* i i) (- -1 1)) 1/16)))>
5.232 * * * * [progress]: [ 74 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow (* i i) (- -1 1)) 1/16)))>
5.233 * * * * [progress]: [ 75 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (+ 1 1)) (+ 1 1))) 1/16)))>
5.233 * * * * [progress]: [ 76 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (+ 1 1)) 2)) 1/16)))>
5.233 * * * * [progress]: [ 77 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (+ 1 1)) (+ 1 1))) 1/16)))>
5.233 * * * * [progress]: [ 78 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (+ 1 1)) (* 2 1))) 1/16)))>
5.233 * * * * [progress]: [ 79 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow (* i i) (- (- 1) 1)) 1/16)))>
5.233 * * * * [progress]: [ 80 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow (* i i) (- (- 1) 1)) 1/16)))>
5.233 * * * * [progress]: [ 81 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- 2) (+ 1 1))) 1/16)))>
5.233 * * * * [progress]: [ 82 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- 2) 2)) 1/16)))>
5.233 * * * * [progress]: [ 83 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- 2) (+ 1 1))) 1/16)))>
5.233 * * * * [progress]: [ 84 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- 2) (* 2 1))) 1/16)))>
5.233 * * * * [progress]: [ 85 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (+ 1 1)) (+ 1 1))) 1/16)))>
5.233 * * * * [progress]: [ 86 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (+ 1 1)) 2)) 1/16)))>
5.233 * * * * [progress]: [ 87 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (+ 1 1)) (+ 1 1))) 1/16)))>
5.233 * * * * [progress]: [ 88 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (+ 1 1)) (* 2 1))) 1/16)))>
5.233 * * * * [progress]: [ 89 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow (* i i) (- (- 1) 1)) 1/16)))>
5.233 * * * * [progress]: [ 90 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow (* i i) (- (- 1) 1)) 1/16)))>
5.233 * * * * [progress]: [ 91 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (* 2 1)) (+ 1 1))) 1/16)))>
5.233 * * * * [progress]: [ 92 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (* 2 1)) 2)) 1/16)))>
5.233 * * * * [progress]: [ 93 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (* 2 1)) (+ 1 1))) 1/16)))>
5.233 * * * * [progress]: [ 94 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow i (- (- (* 2 1)) (* 2 1))) 1/16)))>
5.233 * * * * [progress]: [ 95 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (pow (/ (/ 1 (* i i)) (* i i)) 1) 1/16)))>
5.233 * * * * [progress]: [ 96 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- (+ (log i) (log i))) (+ (log i) (log i)))) 1/16)))>
5.234 * * * * [progress]: [ 97 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- (+ (log i) (log i))) (log (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 98 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- (log (* i i))) (+ (log i) (log i)))) 1/16)))>
5.234 * * * * [progress]: [ 99 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- (log (* i i))) (log (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 100 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- 0 (+ (log i) (log i))) (+ (log i) (log i)))) 1/16)))>
5.234 * * * * [progress]: [ 101 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- 0 (+ (log i) (log i))) (log (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 102 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- 0 (log (* i i))) (+ (log i) (log i)))) 1/16)))>
5.234 * * * * [progress]: [ 103 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- 0 (log (* i i))) (log (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 104 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- (log 1) (+ (log i) (log i))) (+ (log i) (log i)))) 1/16)))>
5.234 * * * * [progress]: [ 105 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- (log 1) (+ (log i) (log i))) (log (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 106 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- (log 1) (log (* i i))) (+ (log i) (log i)))) 1/16)))>
5.234 * * * * [progress]: [ 107 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (- (log 1) (log (* i i))) (log (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 108 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (log (/ 1 (* i i))) (+ (log i) (log i)))) 1/16)))>
5.234 * * * * [progress]: [ 109 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (- (log (/ 1 (* i i))) (log (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 110 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (exp (log (/ (/ 1 (* i i)) (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 111 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (log (exp (/ (/ 1 (* i i)) (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 112 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (cbrt (/ (/ (* (* 1 1) 1) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) i) (* (* i i) i)))) 1/16)))>
5.234 * * * * [progress]: [ 113 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (cbrt (/ (/ (* (* 1 1) 1) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) (* i i)) (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 114 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (cbrt (/ (/ (* (* 1 1) 1) (* (* (* i i) (* i i)) (* i i))) (* (* (* i i) i) (* (* i i) i)))) 1/16)))>
5.234 * * * * [progress]: [ 115 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (cbrt (/ (/ (* (* 1 1) 1) (* (* (* i i) (* i i)) (* i i))) (* (* (* i i) (* i i)) (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 116 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (cbrt (/ (* (* (/ 1 (* i i)) (/ 1 (* i i))) (/ 1 (* i i))) (* (* (* i i) i) (* (* i i) i)))) 1/16)))>
5.234 * * * * [progress]: [ 117 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (cbrt (/ (* (* (/ 1 (* i i)) (/ 1 (* i i))) (/ 1 (* i i))) (* (* (* i i) (* i i)) (* i i)))) 1/16)))>
5.234 * * * * [progress]: [ 118 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (* (cbrt (/ (/ 1 (* i i)) (* i i))) (cbrt (/ (/ 1 (* i i)) (* i i)))) (cbrt (/ (/ 1 (* i i)) (* i i)))) 1/16)))>
5.235 * * * * [progress]: [ 119 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (cbrt (* (* (/ (/ 1 (* i i)) (* i i)) (/ (/ 1 (* i i)) (* i i))) (/ (/ 1 (* i i)) (* i i)))) 1/16)))>
5.235 * * * * [progress]: [ 120 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (sqrt (/ (/ 1 (* i i)) (* i i))) (sqrt (/ (/ 1 (* i i)) (* i i)))) 1/16)))>
5.235 * * * * [progress]: [ 121 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (- (/ 1 (* i i))) (- (* i i))) 1/16)))>
5.235 * * * * [progress]: [ 122 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (/ (* (cbrt (/ 1 (* i i))) (cbrt (/ 1 (* i i)))) i) (/ (cbrt (/ 1 (* i i))) i)) 1/16)))>
5.235 * * * * [progress]: [ 123 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (/ (sqrt (/ 1 (* i i))) i) (/ (sqrt (/ 1 (* i i))) i)) 1/16)))>
5.235 * * * * [progress]: [ 124 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (/ (/ (* (cbrt 1) (cbrt 1)) i) i) (/ (/ (cbrt 1) i) i)) 1/16)))>
5.235 * * * * [progress]: [ 125 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (/ (/ (sqrt 1) i) i) (/ (/ (sqrt 1) i) i)) 1/16)))>
5.235 * * * * [progress]: [ 126 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (/ (/ 1 i) i) (/ (/ 1 i) i)) 1/16)))>
5.235 * * * * [progress]: [ 127 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (/ 1 i) (/ (/ 1 (* i i)) i)) 1/16)))>
5.235 * * * * [progress]: [ 128 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (/ 1 i) (/ (/ 1 (* i i)) i)) 1/16)))>
5.235 * * * * [progress]: [ 129 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* 1 (/ (/ 1 (* i i)) (* i i))) 1/16)))>
5.235 * * * * [progress]: [ 130 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (* (/ 1 (* i i)) (/ 1 (* i i))) 1/16)))>
5.235 * * * * [progress]: [ 131 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ 1 (/ (* i i) (/ 1 (* i i)))) 1/16)))>
5.235 * * * * [progress]: [ 132 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ (/ 1 (* i i)) i) i) 1/16)))>
5.235 * * * * [progress]: [ 133 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (* (cbrt (/ 1 (* i i))) (cbrt (/ 1 (* i i)))) (/ (* i i) (cbrt (/ 1 (* i i))))) 1/16)))>
5.235 * * * * [progress]: [ 134 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (sqrt (/ 1 (* i i))) (/ (* i i) (sqrt (/ 1 (* i i))))) 1/16)))>
5.235 * * * * [progress]: [ 135 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ (* (cbrt 1) (cbrt 1)) i) (/ (* i i) (/ (cbrt 1) i))) 1/16)))>
5.235 * * * * [progress]: [ 136 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ (sqrt 1) i) (/ (* i i) (/ (sqrt 1) i))) 1/16)))>
5.235 * * * * [progress]: [ 137 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 i) (/ (* i i) (/ 1 i))) 1/16)))>
5.235 * * * * [progress]: [ 138 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ 1 (/ (* i i) (/ 1 (* i i)))) 1/16)))>
5.235 * * * * [progress]: [ 139 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ 1 (/ (* i i) (/ 1 (* i i)))) 1/16)))>
5.235 * * * * [progress]: [ 140 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ 1 (* (* i i) (* i i))) 1/16)))>
5.235 * * * * [progress]: [ 141 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (posit16->real (real->posit16 (/ (/ 1 (* i i)) (* i i)))) 1/16)))>
5.235 * * * * [progress]: [ 142 / 164 ] simplifiying candidate #<alt (λ (i) (log1p (expm1 (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))))>
5.235 * * * * [progress]: [ 143 / 164 ] simplifiying candidate #<alt (λ (i) (expm1 (log1p (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))))>
5.236 * * * * [progress]: [ 144 / 164 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (* i i))) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.236 * * * * [progress]: [ 145 / 164 ] simplifiying candidate #<alt (λ (i) (pow (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)) 1))>
5.236 * * * * [progress]: [ 146 / 164 ] simplifiying candidate #<alt (λ (i) (exp (log (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))))>
5.236 * * * * [progress]: [ 147 / 164 ] simplifiying candidate #<alt (λ (i) (log (exp (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))))>
5.236 * * * * [progress]: [ 148 / 164 ] simplifiying candidate #<alt (λ (i) (* (* (cbrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))) (cbrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))) (cbrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))))>
5.236 * * * * [progress]: [ 149 / 164 ] simplifiying candidate #<alt (λ (i) (cbrt (* (* (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))))>
5.236 * * * * [progress]: [ 150 / 164 ] simplifiying candidate #<alt (λ (i) (* (sqrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))) (sqrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))))>
5.236 * * * * [progress]: [ 151 / 164 ] simplifiying candidate #<alt (λ (i) (* 1 (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))))>
5.236 * * * * [progress]: [ 152 / 164 ] simplifiying candidate #<alt (λ (i) (posit16->real (real->posit16 (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))))>
5.236 * * * * [progress]: [ 153 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (pow i 2)) (* i i)) 1/16)))>
5.236 * * * * [progress]: [ 154 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (pow i 2)) (* i i)) 1/16)))>
5.236 * * * * [progress]: [ 155 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (pow i 2)) (* i i)) 1/16)))>
5.236 * * * * [progress]: [ 156 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (pow i 2)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.236 * * * * [progress]: [ 157 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (pow i 2)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.236 * * * * [progress]: [ 158 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (pow i 2)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))>
5.236 * * * * [progress]: [ 159 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ 1 (pow i 4)) 1/16)))>
5.236 * * * * [progress]: [ 160 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ 1 (pow i 4)) 1/16)))>
5.236 * * * * [progress]: [ 161 / 164 ] simplifiying candidate #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ 1 (pow i 4)) 1/16)))>
5.236 * * * * [progress]: [ 162 / 164 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
5.236 * * * * [progress]: [ 163 / 164 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
5.236 * * * * [progress]: [ 164 / 164 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
5.237 * [simplify]: Simplifying:
  (expm1 (/ 1 (* i i)))
  (log1p (/ 1 (* i i)))
  (- (+ 1 1))
  (- 1)
  (- 2)
  (- (+ 1 1))
  (- 1)
  (- (* 2 1))
  (- (+ (log i) (log i)))
  (- (log (* i i)))
  (- 0 (+ (log i) (log i)))
  (- 0 (log (* i i)))
  (- (log 1) (+ (log i) (log i)))
  (- (log 1) (log (* i i)))
  (log (/ 1 (* i i)))
  (exp (/ 1 (* i i)))
  (/ (* (* 1 1) 1) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 1 1) 1) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 1 (* i i))) (cbrt (/ 1 (* i i))))
  (cbrt (/ 1 (* i i)))
  (* (* (/ 1 (* i i)) (/ 1 (* i i))) (/ 1 (* i i)))
  (sqrt (/ 1 (* i i)))
  (sqrt (/ 1 (* i i)))
  (- 1)
  (- (* i i))
  (/ (* (cbrt 1) (cbrt 1)) i)
  (/ (cbrt 1) i)
  (/ (sqrt 1) i)
  (/ (sqrt 1) i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 (* i i))
  (/ (* i i) 1)
  (/ 1 i)
  (/ (* i i) (cbrt 1))
  (/ (* i i) (sqrt 1))
  (/ (* i i) 1)
  (real->posit16 (/ 1 (* i i)))
  (expm1 (/ 1 (* i i)))
  (log1p (/ 1 (* i i)))
  (- (+ 1 1))
  (- 1)
  (- 2)
  (- (+ 1 1))
  (- 1)
  (- (* 2 1))
  (- (+ (log i) (log i)))
  (- (log (* i i)))
  (- 0 (+ (log i) (log i)))
  (- 0 (log (* i i)))
  (- (log 1) (+ (log i) (log i)))
  (- (log 1) (log (* i i)))
  (log (/ 1 (* i i)))
  (exp (/ 1 (* i i)))
  (/ (* (* 1 1) 1) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 1 1) 1) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 1 (* i i))) (cbrt (/ 1 (* i i))))
  (cbrt (/ 1 (* i i)))
  (* (* (/ 1 (* i i)) (/ 1 (* i i))) (/ 1 (* i i)))
  (sqrt (/ 1 (* i i)))
  (sqrt (/ 1 (* i i)))
  (- 1)
  (- (* i i))
  (/ (* (cbrt 1) (cbrt 1)) i)
  (/ (cbrt 1) i)
  (/ (sqrt 1) i)
  (/ (sqrt 1) i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 (* i i))
  (/ (* i i) 1)
  (/ 1 i)
  (/ (* i i) (cbrt 1))
  (/ (* i i) (sqrt 1))
  (/ (* i i) 1)
  (real->posit16 (/ 1 (* i i)))
  (expm1 (/ (/ 1 (* i i)) (* i i)))
  (log1p (/ (/ 1 (* i i)) (* i i)))
  (- -1 1)
  (- -1 1)
  (- (- (+ 1 1)) (+ 1 1))
  (- (- (+ 1 1)) 2)
  (- (- (+ 1 1)) (+ 1 1))
  (- (- (+ 1 1)) (* 2 1))
  (- (- 1) 1)
  (- (- 1) 1)
  (- (- 2) (+ 1 1))
  (- (- 2) 2)
  (- (- 2) (+ 1 1))
  (- (- 2) (* 2 1))
  (- (- (+ 1 1)) (+ 1 1))
  (- (- (+ 1 1)) 2)
  (- (- (+ 1 1)) (+ 1 1))
  (- (- (+ 1 1)) (* 2 1))
  (- (- 1) 1)
  (- (- 1) 1)
  (- (- (* 2 1)) (+ 1 1))
  (- (- (* 2 1)) 2)
  (- (- (* 2 1)) (+ 1 1))
  (- (- (* 2 1)) (* 2 1))
  (- (- (+ (log i) (log i))) (+ (log i) (log i)))
  (- (- (+ (log i) (log i))) (log (* i i)))
  (- (- (log (* i i))) (+ (log i) (log i)))
  (- (- (log (* i i))) (log (* i i)))
  (- (- 0 (+ (log i) (log i))) (+ (log i) (log i)))
  (- (- 0 (+ (log i) (log i))) (log (* i i)))
  (- (- 0 (log (* i i))) (+ (log i) (log i)))
  (- (- 0 (log (* i i))) (log (* i i)))
  (- (- (log 1) (+ (log i) (log i))) (+ (log i) (log i)))
  (- (- (log 1) (+ (log i) (log i))) (log (* i i)))
  (- (- (log 1) (log (* i i))) (+ (log i) (log i)))
  (- (- (log 1) (log (* i i))) (log (* i i)))
  (- (log (/ 1 (* i i))) (+ (log i) (log i)))
  (- (log (/ 1 (* i i))) (log (* i i)))
  (log (/ (/ 1 (* i i)) (* i i)))
  (exp (/ (/ 1 (* i i)) (* i i)))
  (/ (/ (* (* 1 1) 1) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) i) (* (* i i) i)))
  (/ (/ (* (* 1 1) 1) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) (* i i)) (* i i)))
  (/ (/ (* (* 1 1) 1) (* (* (* i i) (* i i)) (* i i))) (* (* (* i i) i) (* (* i i) i)))
  (/ (/ (* (* 1 1) 1) (* (* (* i i) (* i i)) (* i i))) (* (* (* i i) (* i i)) (* i i)))
  (/ (* (* (/ 1 (* i i)) (/ 1 (* i i))) (/ 1 (* i i))) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* (/ 1 (* i i)) (/ 1 (* i i))) (/ 1 (* i i))) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ (/ 1 (* i i)) (* i i))) (cbrt (/ (/ 1 (* i i)) (* i i))))
  (cbrt (/ (/ 1 (* i i)) (* i i)))
  (* (* (/ (/ 1 (* i i)) (* i i)) (/ (/ 1 (* i i)) (* i i))) (/ (/ 1 (* i i)) (* i i)))
  (sqrt (/ (/ 1 (* i i)) (* i i)))
  (sqrt (/ (/ 1 (* i i)) (* i i)))
  (- (/ 1 (* i i)))
  (- (* i i))
  (/ (* (cbrt (/ 1 (* i i))) (cbrt (/ 1 (* i i)))) i)
  (/ (cbrt (/ 1 (* i i))) i)
  (/ (sqrt (/ 1 (* i i))) i)
  (/ (sqrt (/ 1 (* i i))) i)
  (/ (/ (* (cbrt 1) (cbrt 1)) i) i)
  (/ (/ (cbrt 1) i) i)
  (/ (/ (sqrt 1) i) i)
  (/ (/ (sqrt 1) i) i)
  (/ (/ 1 i) i)
  (/ (/ 1 i) i)
  (/ 1 i)
  (/ (/ 1 (* i i)) i)
  (/ 1 i)
  (/ (/ 1 (* i i)) i)
  (/ 1 (* i i))
  (/ (* i i) (/ 1 (* i i)))
  (/ (/ 1 (* i i)) i)
  (/ (* i i) (cbrt (/ 1 (* i i))))
  (/ (* i i) (sqrt (/ 1 (* i i))))
  (/ (* i i) (/ (cbrt 1) i))
  (/ (* i i) (/ (sqrt 1) i))
  (/ (* i i) (/ 1 i))
  (/ (* i i) (/ 1 (* i i)))
  (/ (* i i) (/ 1 (* i i)))
  (* (* i i) (* i i))
  (real->posit16 (/ (/ 1 (* i i)) (* i i)))
  (expm1 (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (log1p (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (* 0.015625 (/ 1 (* i i)))
  (log (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (exp (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (* (cbrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))) (cbrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))))
  (cbrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (* (* (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16))) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (sqrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (sqrt (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (real->posit16 (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
  (/ 1 (pow i 2))
  (/ 1 (pow i 2))
  (/ 1 (pow i 2))
  (/ 1 (pow i 2))
  (/ 1 (pow i 2))
  (/ 1 (pow i 2))
  (/ 1 (pow i 4))
  (/ 1 (pow i 4))
  (/ 1 (pow i 4))
  (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
  (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
  (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
5.239 * * [simplify]: iteration 0: 134 enodes
5.286 * * [simplify]: iteration 1: 310 enodes
5.410 * * [simplify]: iteration 2: 898 enodes
5.678 * * [simplify]: iteration 3: 2009 enodes
6.020 * * [simplify]: iteration complete: 2009 enodes
6.020 * * [simplify]: Extracting #0: cost 46 inf + 0
6.021 * * [simplify]: Extracting #1: cost 294 inf + 3
6.022 * * [simplify]: Extracting #2: cost 516 inf + 879
6.028 * * [simplify]: Extracting #3: cost 349 inf + 33565
6.049 * * [simplify]: Extracting #4: cost 36 inf + 106882
6.078 * * [simplify]: Extracting #5: cost 0 inf + 115880
6.110 * * [simplify]: Extracting #6: cost 0 inf + 115749
6.162 * [simplify]: Simplified to:
  (expm1 (* (/ 1 i) (/ 1 i)))
  (log1p (* (/ 1 i) (/ 1 i)))
  -2
  -1
  -2
  -2
  -1
  -2
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (exp (* (/ 1 i) (/ 1 i)))
  (/ (/ 1 (* (* i i) (* i i))) (* i i))
  (/ (/ 1 (* (* i i) (* i i))) (* i i))
  (* (cbrt (* (/ 1 i) (/ 1 i))) (cbrt (* (/ 1 i) (/ 1 i))))
  (cbrt (* (/ 1 i) (/ 1 i)))
  (/ (/ 1 (* (* i i) (* i i))) (* i i))
  (sqrt (* (/ 1 i) (/ 1 i)))
  (sqrt (* (/ 1 i) (/ 1 i)))
  -1
  (* (- i) i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 i)
  (* (/ 1 i) (/ 1 i))
  (* i i)
  (/ 1 i)
  (* i i)
  (* i i)
  (* i i)
  (real->posit16 (* (/ 1 i) (/ 1 i)))
  (expm1 (* (/ 1 i) (/ 1 i)))
  (log1p (* (/ 1 i) (/ 1 i)))
  -2
  -1
  -2
  -2
  -1
  -2
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (* -2 (log i))
  (exp (* (/ 1 i) (/ 1 i)))
  (/ (/ 1 (* (* i i) (* i i))) (* i i))
  (/ (/ 1 (* (* i i) (* i i))) (* i i))
  (* (cbrt (* (/ 1 i) (/ 1 i))) (cbrt (* (/ 1 i) (/ 1 i))))
  (cbrt (* (/ 1 i) (/ 1 i)))
  (/ (/ 1 (* (* i i) (* i i))) (* i i))
  (sqrt (* (/ 1 i) (/ 1 i)))
  (sqrt (* (/ 1 i) (/ 1 i)))
  -1
  (* (- i) i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 i)
  (/ 1 i)
  (* (/ 1 i) (/ 1 i))
  (* i i)
  (/ 1 i)
  (* i i)
  (* i i)
  (* i i)
  (real->posit16 (* (/ 1 i) (/ 1 i)))
  (expm1 (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (log1p (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  -2
  -2
  -4
  -4
  -4
  -4
  -2
  -2
  -4
  -4
  -4
  -4
  -4
  -4
  -4
  -4
  -2
  -2
  -4
  -4
  -4
  -4
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (+ (* -2 (log i)) (* -2 (log i)))
  (exp (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (* (* (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (* (* (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (* (* (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (* (* (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (* (* (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (* (* (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (* (cbrt (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))) (cbrt (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))))
  (cbrt (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (* (* (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))) (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (fabs (* (/ 1 i) (/ 1 i)))
  (fabs (* (/ 1 i) (/ 1 i)))
  (/ -1 (* i i))
  (* (- i) i)
  (/ (cbrt (* (/ 1 i) (/ 1 i))) (/ i (cbrt (* (/ 1 i) (/ 1 i)))))
  (/ (cbrt (* (/ 1 i) (/ 1 i))) i)
  (/ (sqrt (* (/ 1 i) (/ 1 i))) i)
  (/ (sqrt (* (/ 1 i) (/ 1 i))) i)
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (/ 1 i)
  (* (* (/ 1 i) (/ 1 i)) (/ 1 i))
  (/ 1 i)
  (* (* (/ 1 i) (/ 1 i)) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (* i i) (* i i))
  (* (* (/ 1 i) (/ 1 i)) (/ 1 i))
  (/ i (/ (cbrt (* (/ 1 i) (/ 1 i))) i))
  (/ i (/ (sqrt (* (/ 1 i) (/ 1 i))) i))
  (* (* i i) i)
  (* (* i i) i)
  (* (* i i) i)
  (* (* i i) (* i i))
  (* (* i i) (* i i))
  (* (* i i) (* i i))
  (real->posit16 (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))))
  (expm1 (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (log1p (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (/ 0.015625 (* i i))
  (log (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (exp (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (* (cbrt (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i)))) (cbrt (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i)))))
  (cbrt (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (* (* (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))) (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i)))) (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (sqrt (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (sqrt (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (real->posit16 (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i))))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (/ 1 i) (/ 1 i))
  (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))
  (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))
  (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i)))
  (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i)))
  (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i)))
  (+ (+ 1/16 (/ 0.00390625 (* (* i i) (* i i)))) (/ 0.015625 (* i i)))
6.178 * * * [progress]: adding candidates to table
7.628 * [progress]: [Phase 3 of 3] Extracting.
7.628 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))> #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))> #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))>)
7.628 * * * [regime-changes]: Trying 1 branch expressions: (i)
7.628 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))> #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))> #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))>)
7.667 * * * [regime]: Found split indices: #<option (#s(si 2 127) #s(si 1 255))>
7.669 * [binary-search]: Improving bounds with binary search for i and (#<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))> #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))> #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))>)
7.743 * [regimes]: Found splitpoints: (#s(sp 2 i 13.204777387070594) #s(sp 1 i +nan.0)) , with alts (#<alt (λ (i) (/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0)))> #<alt (λ (i) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))> #<alt (λ (i) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)))>)
7.743 * [simplify]: Simplifying:
  (if (<= i 13.204777387070594) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
7.744 * * [simplify]: iteration 0: 22 enodes
7.744 * * [simplify]: iteration 1: 26 enodes
7.745 * * [simplify]: iteration complete: 26 enodes
7.745 * * [simplify]: Extracting #0: cost 1 inf + 0
7.745 * * [simplify]: Extracting #1: cost 4 inf + 0
7.745 * * [simplify]: Extracting #2: cost 11 inf + 0
7.746 * * [simplify]: Extracting #3: cost 16 inf + 3
7.746 * * [simplify]: Extracting #4: cost 8 inf + 280
7.746 * * [simplify]: Extracting #5: cost 6 inf + 816
7.746 * * [simplify]: Extracting #6: cost 7 inf + 816
7.746 * * [simplify]: Extracting #7: cost 5 inf + 899
7.746 * * [simplify]: Extracting #8: cost 2 inf + 1536
7.746 * * [simplify]: Extracting #9: cost 1 inf + 1880
7.747 * * [simplify]: Extracting #10: cost 0 inf + 2549
7.747 * [simplify]: Simplified to:
  (if (<= i 13.204777387070594) (/ (* (* i i) 1/4) (- (log (exp (* (* i i) 4))) 1.0)) (fma 0.015625 (/ 1 (* i i)) (fma 0.00390625 (/ (/ 1 (* i i)) (* i i)) 1/16)))
9.482 * [regime-testing]: Baseline error score: 15.579725855175003
9.486 * [regime-testing]: Oracle error score: 0.0041986451432330495
9.496 * [regime-testing]: End program error score: 0.025536539364246894