22.506 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying:
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
0.029 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: Extracting # 1 : cost  0
0.029 * * [simplify]: Extracting # 2 : cost  0
0.029 * * [simplify]: Extracting # 3 : cost  0
0.029 * * [simplify]: Extracting # 4 : cost  0
0.029 * * [simplify]: Extracting # 5 : cost  0
0.029 * * [simplify]: Extracting # 6 : cost  0
0.029 * * [simplify]: iteration  0 :  10  enodes  (cost  25 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.032 * * [simplify]: iteration  1 :  31  enodes  (cost  25 )
0.049 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.050 * * [simplify]: Extracting # 3 : cost  0
0.050 * * [simplify]: Extracting # 4 : cost  0
0.050 * * [simplify]: iteration  2 :  164  enodes  (cost  23 )
0.263 * * [simplify]: Extracting # 0 : cost  0
0.265 * * [simplify]: Extracting # 1 : cost  0
0.267 * * [simplify]: Extracting # 2 : cost  0
0.268 * * [simplify]: Extracting # 3 : cost  0
0.270 * * [simplify]: Extracting # 4 : cost  0
0.272 * * [simplify]: iteration  3 :  890  enodes  (cost  19 )
3.798 * * [simplify]: Extracting # 0 : cost  0
3.813 * * [simplify]: Extracting # 1 : cost  0
3.817 * * [simplify]: Extracting # 2 : cost  0
3.820 * * [simplify]: Extracting # 3 : cost  0
3.824 * * [simplify]: Extracting # 4 : cost  0
3.828 * * [simplify]: iteration  4 :  3359  enodes  (cost  15 )
5.832 * * [simplify]: Extracting # 0 : cost  0
5.836 * * [simplify]: Extracting # 1 : cost  0
5.842 * * [simplify]: Extracting # 2 : cost  0
5.851 * * [simplify]: Extracting # 3 : cost  0
5.860 * * [simplify]: Extracting # 4 : cost  0
5.868 * * [simplify]: iteration done:  5000  enodes  (cost  15 )
5.868 * [simplify]: Simplified to:
  (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
5.883 * * [progress]: iteration 1 / 4
5.884 * * * [progress]: picking best candidate
5.889 * * * * [pick]: Picked  #<alt (λ (i) (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))>
5.889 * * * [progress]: localizing error
5.909 * * * [progress]: generating rewritten candidates
5.910 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.985 * * * [progress]: generating series expansions
5.985 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.986 * [backup-simplify]: Simplify (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) into (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))))
5.986 * [approximate]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in (i) around 0
5.986 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i
5.986 * [taylor]: Taking taylor expansion of 0.25 in i
5.986 * [backup-simplify]: Simplify 0.25 into 0.25
5.986 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i
5.986 * [taylor]: Taking taylor expansion of i in i
5.986 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify 1 into 1
5.986 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i
5.986 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
5.986 * [taylor]: Taking taylor expansion of 4.0 in i
5.986 * [backup-simplify]: Simplify 4.0 into 4.0
5.986 * [taylor]: Taking taylor expansion of i in i
5.986 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify 1 into 1
5.986 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i
5.986 * [taylor]: Taking taylor expansion of 1.0 in i
5.986 * [backup-simplify]: Simplify 1.0 into 1.0
5.986 * [taylor]: Taking taylor expansion of (/ 1 i) in i
5.986 * [taylor]: Taking taylor expansion of i in i
5.986 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify 1 into 1
5.987 * [backup-simplify]: Simplify (/ 1 1) into 1
5.987 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
5.988 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.988 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.989 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
5.989 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i
5.989 * [taylor]: Taking taylor expansion of 0.25 in i
5.989 * [backup-simplify]: Simplify 0.25 into 0.25
5.989 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i
5.989 * [taylor]: Taking taylor expansion of i in i
5.989 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify 1 into 1
5.989 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i
5.989 * [taylor]: Taking taylor expansion of (* 4.0 i) in i
5.989 * [taylor]: Taking taylor expansion of 4.0 in i
5.989 * [backup-simplify]: Simplify 4.0 into 4.0
5.989 * [taylor]: Taking taylor expansion of i in i
5.989 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify 1 into 1
5.989 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i
5.989 * [taylor]: Taking taylor expansion of 1.0 in i
5.989 * [backup-simplify]: Simplify 1.0 into 1.0
5.989 * [taylor]: Taking taylor expansion of (/ 1 i) in i
5.989 * [taylor]: Taking taylor expansion of i in i
5.989 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify 1 into 1
5.989 * [backup-simplify]: Simplify (/ 1 1) into 1
5.990 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
5.990 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.997 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.998 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
5.998 * [backup-simplify]: Simplify (* 0.25 -1.0) into -0.25
5.998 * [backup-simplify]: Simplify -0.25 into -0.25
5.999 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.000 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.001 * [backup-simplify]: Simplify (- 0) into 0
6.001 * [backup-simplify]: Simplify (+ 0 0) into 0
6.002 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
6.003 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 -1.0)) into 0
6.003 * [backup-simplify]: Simplify 0 into 0
6.004 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.006 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.006 * [backup-simplify]: Simplify (- 0) into 0
6.007 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.012 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
6.014 * [backup-simplify]: Simplify (+ (* 0.25 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0)
6.015 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.016 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.018 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.018 * [backup-simplify]: Simplify (- 0) into 0
6.019 * [backup-simplify]: Simplify (+ 0 0) into 0
6.020 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
6.022 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0
6.022 * [backup-simplify]: Simplify 0 into 0
6.023 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.025 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.025 * [backup-simplify]: Simplify (- 0) into 0
6.026 * [backup-simplify]: Simplify (+ 0 0) into 0
6.034 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0)
6.039 * [backup-simplify]: Simplify (+ (* 0.25 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0)
6.039 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.041 * [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)))))
6.041 * [backup-simplify]: Simplify (/ (/ (/ 1 i) (* 2.0 2.0)) (- (* 2.0 (* 2.0 (/ 1 i))) (/ 1.0 (/ 1 i)))) into (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))))
6.041 * [approximate]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in (i) around 0
6.041 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i
6.041 * [taylor]: Taking taylor expansion of 0.25 in i
6.042 * [backup-simplify]: Simplify 0.25 into 0.25
6.042 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i
6.042 * [taylor]: Taking taylor expansion of i in i
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.042 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i
6.042 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
6.042 * [taylor]: Taking taylor expansion of 4.0 in i
6.042 * [backup-simplify]: Simplify 4.0 into 4.0
6.042 * [taylor]: Taking taylor expansion of (/ 1 i) in i
6.042 * [taylor]: Taking taylor expansion of i in i
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.042 * [backup-simplify]: Simplify (/ 1 1) into 1
6.042 * [taylor]: Taking taylor expansion of (* 1.0 i) in i
6.042 * [taylor]: Taking taylor expansion of 1.0 in i
6.042 * [backup-simplify]: Simplify 1.0 into 1.0
6.042 * [taylor]: Taking taylor expansion of i in i
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.043 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.043 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.044 * [backup-simplify]: Simplify (* 0 4.0) into 0
6.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.045 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
6.045 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.046 * [backup-simplify]: Simplify (- 0) into 0
6.046 * [backup-simplify]: Simplify (+ 0 0) into 0
6.047 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4.0)) into 4.0
6.048 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.048 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i
6.048 * [taylor]: Taking taylor expansion of 0.25 in i
6.048 * [backup-simplify]: Simplify 0.25 into 0.25
6.048 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i
6.048 * [taylor]: Taking taylor expansion of i in i
6.048 * [backup-simplify]: Simplify 0 into 0
6.048 * [backup-simplify]: Simplify 1 into 1
6.048 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i
6.048 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
6.048 * [taylor]: Taking taylor expansion of 4.0 in i
6.048 * [backup-simplify]: Simplify 4.0 into 4.0
6.048 * [taylor]: Taking taylor expansion of (/ 1 i) in i
6.048 * [taylor]: Taking taylor expansion of i in i
6.048 * [backup-simplify]: Simplify 0 into 0
6.048 * [backup-simplify]: Simplify 1 into 1
6.049 * [backup-simplify]: Simplify (/ 1 1) into 1
6.049 * [taylor]: Taking taylor expansion of (* 1.0 i) in i
6.049 * [taylor]: Taking taylor expansion of 1.0 in i
6.049 * [backup-simplify]: Simplify 1.0 into 1.0
6.049 * [taylor]: Taking taylor expansion of i in i
6.049 * [backup-simplify]: Simplify 0 into 0
6.049 * [backup-simplify]: Simplify 1 into 1
6.049 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.050 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.050 * [backup-simplify]: Simplify (* 0 4.0) into 0
6.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.051 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
6.052 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.052 * [backup-simplify]: Simplify (- 0) into 0
6.053 * [backup-simplify]: Simplify (+ 0 0) into 0
6.054 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4.0)) into 4.0
6.054 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.054 * [backup-simplify]: Simplify 0.0625 into 0.0625
6.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.056 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
6.058 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.058 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.059 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.060 * [backup-simplify]: Simplify (+ (* 0 (- 1.0)) (+ (* 1 0) (* 0 4.0))) into 0
6.061 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
6.061 * [backup-simplify]: Simplify 0 into 0
6.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.063 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.064 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.064 * [backup-simplify]: Simplify (- 0) into 0
6.065 * [backup-simplify]: Simplify (+ 0 0) into 0
6.067 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4.0)))) into (- 1.0)
6.070 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
6.070 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.071 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.072 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.072 * [backup-simplify]: Simplify (- 0) into 0
6.072 * [backup-simplify]: Simplify (+ 0 0) into 0
6.073 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0))))) into 0
6.074 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
6.074 * [backup-simplify]: Simplify 0 into 0
6.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.076 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.076 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.077 * [backup-simplify]: Simplify (- 0) into 0
6.077 * [backup-simplify]: Simplify (+ 0 0) into 0
6.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0)))))) into 0
6.082 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.015625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.00390625
6.082 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.082 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 0.0625)) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
6.082 * [backup-simplify]: Simplify (/ (/ (/ 1 (- i)) (* 2.0 2.0)) (- (* 2.0 (* 2.0 (/ 1 (- i)))) (/ 1.0 (/ 1 (- i))))) into (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))))
6.083 * [approximate]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in (i) around 0
6.083 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i
6.083 * [taylor]: Taking taylor expansion of -0.25 in i
6.083 * [backup-simplify]: Simplify -0.25 into -0.25
6.083 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i
6.083 * [taylor]: Taking taylor expansion of i in i
6.083 * [backup-simplify]: Simplify 0 into 0
6.083 * [backup-simplify]: Simplify 1 into 1
6.083 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i
6.083 * [taylor]: Taking taylor expansion of (* 1.0 i) in i
6.083 * [taylor]: Taking taylor expansion of 1.0 in i
6.083 * [backup-simplify]: Simplify 1.0 into 1.0
6.083 * [taylor]: Taking taylor expansion of i in i
6.083 * [backup-simplify]: Simplify 0 into 0
6.083 * [backup-simplify]: Simplify 1 into 1
6.083 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
6.083 * [taylor]: Taking taylor expansion of 4.0 in i
6.083 * [backup-simplify]: Simplify 4.0 into 4.0
6.083 * [taylor]: Taking taylor expansion of (/ 1 i) in i
6.083 * [taylor]: Taking taylor expansion of i in i
6.083 * [backup-simplify]: Simplify 0 into 0
6.083 * [backup-simplify]: Simplify 1 into 1
6.083 * [backup-simplify]: Simplify (/ 1 1) into 1
6.083 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.084 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.084 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
6.085 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
6.085 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.086 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
6.086 * [backup-simplify]: Simplify (- 0) into 0
6.086 * [backup-simplify]: Simplify (+ 0 0) into 0
6.087 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 4.0))) into (- 4.0)
6.088 * [backup-simplify]: Simplify (/ -0.25 (- 4.0)) into 0.0625
6.088 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i
6.088 * [taylor]: Taking taylor expansion of -0.25 in i
6.088 * [backup-simplify]: Simplify -0.25 into -0.25
6.088 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i
6.088 * [taylor]: Taking taylor expansion of i in i
6.088 * [backup-simplify]: Simplify 0 into 0
6.088 * [backup-simplify]: Simplify 1 into 1
6.088 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i
6.088 * [taylor]: Taking taylor expansion of (* 1.0 i) in i
6.088 * [taylor]: Taking taylor expansion of 1.0 in i
6.088 * [backup-simplify]: Simplify 1.0 into 1.0
6.088 * [taylor]: Taking taylor expansion of i in i
6.088 * [backup-simplify]: Simplify 0 into 0
6.088 * [backup-simplify]: Simplify 1 into 1
6.088 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i
6.088 * [taylor]: Taking taylor expansion of 4.0 in i
6.088 * [backup-simplify]: Simplify 4.0 into 4.0
6.088 * [taylor]: Taking taylor expansion of (/ 1 i) in i
6.088 * [taylor]: Taking taylor expansion of i in i
6.088 * [backup-simplify]: Simplify 0 into 0
6.088 * [backup-simplify]: Simplify 1 into 1
6.088 * [backup-simplify]: Simplify (/ 1 1) into 1
6.089 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.089 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.090 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
6.090 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
6.090 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.091 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.091 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
6.091 * [backup-simplify]: Simplify (- 0) into 0
6.092 * [backup-simplify]: Simplify (+ 0 0) into 0
6.094 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 4.0))) into (- 4.0)
6.095 * [backup-simplify]: Simplify (/ -0.25 (- 4.0)) into 0.0625
6.095 * [backup-simplify]: Simplify 0.0625 into 0.0625
6.096 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.097 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.098 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
6.099 * [backup-simplify]: Simplify (- 0) into 0
6.099 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.100 * [backup-simplify]: Simplify (+ (* 0 1.0) (+ (* 1 0) (* 0 (- 4.0)))) into 0
6.101 * [backup-simplify]: Simplify (- (/ 0 (- 4.0)) (+ (* 0.0625 (/ 0 (- 4.0))))) into 0
6.101 * [backup-simplify]: Simplify 0 into 0
6.102 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.105 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.105 * [backup-simplify]: Simplify (- 0) into 0
6.105 * [backup-simplify]: Simplify (+ 0 0) into 0
6.108 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (+ (* 0 0) (* 0 (- 4.0))))) into 1.0
6.117 * [backup-simplify]: Simplify (- (/ 0 (- 4.0)) (+ (* 0.0625 (/ 1.0 (- 4.0))) (* 0 (/ 0 (- 4.0))))) into 0.015625
6.117 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.118 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.120 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.120 * [backup-simplify]: Simplify (- 0) into 0
6.120 * [backup-simplify]: Simplify (+ 0 0) into 0
6.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (+ (* 0 0) (* 0 (- 4.0)))))) into 0
6.122 * [backup-simplify]: Simplify (- (/ 0 (- 4.0)) (+ (* 0.0625 (/ 0 (- 4.0))) (* 0 (/ 1.0 (- 4.0))) (* 0.015625 (/ 0 (- 4.0))))) into 0
6.122 * [backup-simplify]: Simplify 0 into 0
6.123 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.125 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.125 * [backup-simplify]: Simplify (- 0) into 0
6.125 * [backup-simplify]: Simplify (+ 0 0) into 0
6.126 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 0) (* 0 (- 4.0))))))) into 0
6.130 * [backup-simplify]: Simplify (- (/ 0 (- 4.0)) (+ (* 0.0625 (/ 0 (- 4.0))) (* 0 (/ 0 (- 4.0))) (* 0.015625 (/ 1.0 (- 4.0))) (* 0 (/ 0 (- 4.0))))) into 0.00390625
6.130 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.131 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 0.0625)) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
6.131 * * * [progress]: simplifying candidates
6.132 * [simplify]: Simplifying:
  (- (- (log i) (+ (log 2.0) (log 2.0))) (log (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (- (- (log i) (log (* 2.0 2.0))) (log (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (- (log (/ i (* 2.0 2.0))) (log (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (log (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (exp (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))) (* (* (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (* (cbrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))) (cbrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (cbrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (* (* (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))) (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (sqrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (sqrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (- (/ i (* 2.0 2.0)))
  (- (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (cbrt (/ i (* 2.0 2.0))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (cbrt (/ i (* 2.0 2.0))) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))) 1)
  (/ (cbrt (/ i (* 2.0 2.0))) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (sqrt (/ i (* 2.0 2.0))) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (sqrt (/ i (* 2.0 2.0))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (sqrt (/ i (* 2.0 2.0))) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (sqrt (/ i (* 2.0 2.0))) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (sqrt (/ i (* 2.0 2.0))) 1)
  (/ (sqrt (/ i (* 2.0 2.0))) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (/ (* (cbrt i) (cbrt i)) 2.0) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ (cbrt i) 2.0) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (* (cbrt i) (cbrt i)) 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (cbrt i) 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (* (cbrt i) (cbrt i)) 2.0) 1)
  (/ (/ (cbrt i) 2.0) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (/ (sqrt i) 2.0) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ (sqrt i) 2.0) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (sqrt i) 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (sqrt i) 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (sqrt i) 2.0) 1)
  (/ (/ (sqrt i) 2.0) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (/ 1 2.0) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ i 2.0) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ i 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ 1 2.0) 1)
  (/ (/ i 2.0) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ 1 (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ i (* 2.0 2.0)) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ 1 (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ i (* 2.0 2.0)) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ 1 1)
  (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ i (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ 1 (* 2.0 2.0)) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ i (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ 1 (* 2.0 2.0)) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ i 1)
  (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ 1 (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ i (* 2.0 2.0)))
  (/ (/ i (* 2.0 2.0)) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ i (* 2.0 2.0)) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ i (* 2.0 2.0)) 1)
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (cbrt (/ i (* 2.0 2.0))))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (sqrt (/ i (* 2.0 2.0))))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ (cbrt i) 2.0))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ (sqrt i) 2.0))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ i 2.0))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ i (* 2.0 2.0)))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ 1 (* 2.0 2.0)))
  (/ (/ i (* 2.0 2.0)) (- (pow (* 2.0 (* 2.0 i)) 3) (pow (/ 1.0 i) 3)))
  (/ (/ i (* 2.0 2.0)) (- (* (* 2.0 (* 2.0 i)) (* 2.0 (* 2.0 i))) (* (/ 1.0 i) (/ 1.0 i))))
  (* (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (* 2.0 2.0))
  (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
6.134 * * [simplify]: Extracting # 0 : cost  0
6.134 * * [simplify]: Extracting # 1 : cost  0
6.134 * * [simplify]: Extracting # 2 : cost  0
6.134 * * [simplify]: Extracting # 3 : cost  0
6.134 * * [simplify]: Extracting # 4 : cost  0
6.134 * * [simplify]: Extracting # 5 : cost  0
6.135 * * [simplify]: Extracting # 6 : cost  0
6.135 * * [simplify]: Extracting # 7 : cost  0
6.135 * * [simplify]: Extracting # 8 : cost  0
6.135 * * [simplify]: iteration  0 :  143  enodes  (cost  1332 )
6.177 * * [simplify]: Extracting # 0 : cost  0
6.178 * * [simplify]: Extracting # 1 : cost  0
6.178 * * [simplify]: Extracting # 2 : cost  0
6.179 * * [simplify]: Extracting # 3 : cost  0
6.179 * * [simplify]: iteration  1 :  363  enodes  (cost  1310 )
6.427 * * [simplify]: Extracting # 0 : cost  0
6.435 * * [simplify]: Extracting # 1 : cost  0
6.438 * * [simplify]: Extracting # 2 : cost  0
6.440 * * [simplify]: Extracting # 3 : cost  0
6.443 * * [simplify]: Extracting # 4 : cost  0
6.446 * * [simplify]: iteration  2 :  1106  enodes  (cost  1178 )
7.293 * * [simplify]: Extracting # 0 : cost  0
7.298 * * [simplify]: Extracting # 1 : cost  0
7.303 * * [simplify]: Extracting # 2 : cost  0
7.307 * * [simplify]: Extracting # 3 : cost  0
7.312 * * [simplify]: Extracting # 4 : cost  0
7.316 * * [simplify]: iteration  3 :  3967  enodes  (cost  1176 )
8.669 * * [simplify]: Extracting # 0 : cost  0
8.677 * * [simplify]: Extracting # 1 : cost  0
8.683 * * [simplify]: Extracting # 2 : cost  0
8.691 * * [simplify]: iteration done:  5000  enodes  (cost  1176 )
8.692 * [simplify]: Simplified to:
  (log (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (log (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (log (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (log (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (exp (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (pow (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) 3)
  (pow (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) 3)
  (pow (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) 3)
  (* (cbrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))) (cbrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (cbrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (pow (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) 3)
  (sqrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (sqrt (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (- (/ i (* 2.0 2.0)))
  (- (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (cbrt (/ i (* 2.0 2.0))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (cbrt (/ i (* 2.0 2.0))) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0))))
  (/ (cbrt (/ i (* 2.0 2.0))) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (sqrt (/ i (* 2.0 2.0))) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (sqrt (/ i (* 2.0 2.0))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (sqrt (/ i (* 2.0 2.0))) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (sqrt (/ i (* 2.0 2.0))) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (sqrt (/ i (* 2.0 2.0)))
  (/ (sqrt (/ i (* 2.0 2.0))) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (/ (* (cbrt i) (cbrt i)) 2.0) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ (cbrt i) 2.0) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (* (cbrt i) (cbrt i)) 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (cbrt i) 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (* (cbrt i) (cbrt i)) 2.0)
  (/ (/ (cbrt i) 2.0) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (/ (sqrt i) 2.0) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ (sqrt i) 2.0) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (sqrt i) 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ (sqrt i) 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (sqrt i) 2.0)
  (/ (/ (sqrt i) 2.0) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (/ 1 2.0) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ i 2.0) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ 1 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ i 2.0) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ 1 2.0)
  (/ (/ i 2.0) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ 1 (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ i (* 2.0 2.0)) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ 1 (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ i (* 2.0 2.0)) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  1
  (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ i (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ 1 (* 2.0 2.0)) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ i (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ (/ 1 (* 2.0 2.0)) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  i
  (/ (/ 1 (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ 1 (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ i (* 2.0 2.0)))
  (/ (/ i (* 2.0 2.0)) (* (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))) (cbrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))))
  (/ (/ i (* 2.0 2.0)) (sqrt (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))
  (/ i (* 2.0 2.0))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (cbrt (/ i (* 2.0 2.0))))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (sqrt (/ i (* 2.0 2.0))))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ (cbrt i) 2.0))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ (sqrt i) 2.0))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ i 2.0))
  (/ (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (/ i (* 2.0 2.0)))
  (* (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (* 2.0 2.0))
  (/ (/ i (* 2.0 2.0)) (- (pow (* 2.0 (* 2.0 i)) 3) (pow (/ 1.0 i) 3)))
  (/ (/ (/ i 2.0) (- (* i (* i (pow 2.0 4))) (* (/ 1.0 i) (/ 1.0 i)))) 2.0)
  (* (- (* 2.0 (* 2.0 i)) (/ 1.0 i)) (* 2.0 2.0))
  (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
8.693 * * * [progress]: adding candidates to table
8.862 * * [progress]: iteration 2 / 4
8.862 * * * [progress]: picking best candidate
8.867 * * * * [pick]: Picked  #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>
8.867 * * * [progress]: localizing error
8.884 * * * [progress]: generating rewritten candidates
8.884 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2 2)
8.907 * * * [progress]: generating series expansions
8.907 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2 2)
8.907 * [backup-simplify]: Simplify (* 4.0 (pow i 6)) into (* 4.0 (pow i 6))
8.907 * [approximate]: Taking taylor expansion of (* 4.0 (pow i 6)) in (i) around 0
8.907 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
8.907 * [taylor]: Taking taylor expansion of 4.0 in i
8.907 * [backup-simplify]: Simplify 4.0 into 4.0
8.907 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.907 * [taylor]: Taking taylor expansion of i in i
8.907 * [backup-simplify]: Simplify 0 into 0
8.907 * [backup-simplify]: Simplify 1 into 1
8.907 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
8.907 * [taylor]: Taking taylor expansion of 4.0 in i
8.907 * [backup-simplify]: Simplify 4.0 into 4.0
8.907 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.907 * [taylor]: Taking taylor expansion of i in i
8.907 * [backup-simplify]: Simplify 0 into 0
8.907 * [backup-simplify]: Simplify 1 into 1
8.908 * [backup-simplify]: Simplify (* 1 1) into 1
8.908 * [backup-simplify]: Simplify (* 1 1) into 1
8.908 * [backup-simplify]: Simplify (* 1 1) into 1
8.909 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
8.909 * [backup-simplify]: Simplify 4.0 into 4.0
8.909 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.909 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.910 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.910 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
8.910 * [backup-simplify]: Simplify 0 into 0
8.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.912 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
8.912 * [backup-simplify]: Simplify 0 into 0
8.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.915 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.915 * [backup-simplify]: Simplify 0 into 0
8.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.918 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.918 * [backup-simplify]: Simplify 0 into 0
8.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.921 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.921 * [backup-simplify]: Simplify 0 into 0
8.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.924 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.924 * [backup-simplify]: Simplify 0 into 0
8.924 * [backup-simplify]: Simplify (* 4.0 (pow i 6)) into (* 4.0 (pow i 6))
8.924 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 i) 6)) into (/ 4.0 (pow i 6))
8.924 * [approximate]: Taking taylor expansion of (/ 4.0 (pow i 6)) in (i) around 0
8.925 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
8.925 * [taylor]: Taking taylor expansion of 4.0 in i
8.925 * [backup-simplify]: Simplify 4.0 into 4.0
8.925 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.925 * [taylor]: Taking taylor expansion of i in i
8.925 * [backup-simplify]: Simplify 0 into 0
8.925 * [backup-simplify]: Simplify 1 into 1
8.925 * [backup-simplify]: Simplify (* 1 1) into 1
8.925 * [backup-simplify]: Simplify (* 1 1) into 1
8.925 * [backup-simplify]: Simplify (* 1 1) into 1
8.926 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
8.926 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
8.926 * [taylor]: Taking taylor expansion of 4.0 in i
8.926 * [backup-simplify]: Simplify 4.0 into 4.0
8.926 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.926 * [taylor]: Taking taylor expansion of i in i
8.926 * [backup-simplify]: Simplify 0 into 0
8.926 * [backup-simplify]: Simplify 1 into 1
8.926 * [backup-simplify]: Simplify (* 1 1) into 1
8.926 * [backup-simplify]: Simplify (* 1 1) into 1
8.926 * [backup-simplify]: Simplify (* 1 1) into 1
8.927 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
8.927 * [backup-simplify]: Simplify 4.0 into 4.0
8.927 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.928 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.928 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
8.929 * [backup-simplify]: Simplify 0 into 0
8.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.931 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.931 * [backup-simplify]: Simplify 0 into 0
8.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.933 * [backup-simplify]: Simplify 0 into 0
8.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.937 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.937 * [backup-simplify]: Simplify 0 into 0
8.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.951 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.951 * [backup-simplify]: Simplify 0 into 0
8.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.958 * [backup-simplify]: Simplify 0 into 0
8.958 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 i)) 6)) into (* 4.0 (pow i 6))
8.958 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (- i)) 6)) into (/ 4.0 (pow i 6))
8.958 * [approximate]: Taking taylor expansion of (/ 4.0 (pow i 6)) in (i) around 0
8.958 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
8.958 * [taylor]: Taking taylor expansion of 4.0 in i
8.958 * [backup-simplify]: Simplify 4.0 into 4.0
8.959 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.959 * [taylor]: Taking taylor expansion of i in i
8.959 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify 1 into 1
8.959 * [backup-simplify]: Simplify (* 1 1) into 1
8.959 * [backup-simplify]: Simplify (* 1 1) into 1
8.960 * [backup-simplify]: Simplify (* 1 1) into 1
8.960 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
8.960 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
8.960 * [taylor]: Taking taylor expansion of 4.0 in i
8.960 * [backup-simplify]: Simplify 4.0 into 4.0
8.960 * [taylor]: Taking taylor expansion of (pow i 6) in i
8.960 * [taylor]: Taking taylor expansion of i in i
8.960 * [backup-simplify]: Simplify 0 into 0
8.960 * [backup-simplify]: Simplify 1 into 1
8.961 * [backup-simplify]: Simplify (* 1 1) into 1
8.961 * [backup-simplify]: Simplify (* 1 1) into 1
8.961 * [backup-simplify]: Simplify (* 1 1) into 1
8.962 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
8.962 * [backup-simplify]: Simplify 4.0 into 4.0
8.963 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.963 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.964 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.965 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
8.965 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.969 * [backup-simplify]: Simplify 0 into 0
8.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.973 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.973 * [backup-simplify]: Simplify 0 into 0
8.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.976 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.976 * [backup-simplify]: Simplify 0 into 0
8.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.979 * [backup-simplify]: Simplify 0 into 0
8.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.982 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.982 * [backup-simplify]: Simplify 0 into 0
8.982 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 (- i))) 6)) into (* 4.0 (pow i 6))
8.983 * * * [progress]: simplifying candidates
8.983 * [simplify]: Simplifying:
  (+ (log 4.0) (* (log i) 6))
  (+ (log 4.0) (* (log i) 6))
  (+ (log 4.0) (log (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (exp (* 4.0 (pow i 6)))
  (* (* (* 4.0 4.0) 4.0) (* (* (pow i 6) (pow i 6)) (pow i 6)))
  (* (cbrt (* 4.0 (pow i 6))) (cbrt (* 4.0 (pow i 6))))
  (cbrt (* 4.0 (pow i 6)))
  (* (* (* 4.0 (pow i 6)) (* 4.0 (pow i 6))) (* 4.0 (pow i 6)))
  (sqrt (* 4.0 (pow i 6)))
  (sqrt (* 4.0 (pow i 6)))
  (* (sqrt 4.0) (pow (sqrt i) 6))
  (* (sqrt 4.0) (pow (sqrt i) 6))
  (* (sqrt 4.0) (sqrt (pow i 6)))
  (* (sqrt 4.0) (sqrt (pow i 6)))
  (* (sqrt 4.0) (pow i (/ 6 2)))
  (* (sqrt 4.0) (pow i (/ 6 2)))
  (* 4.0 (pow (* (cbrt i) (cbrt i)) 6))
  (* 4.0 (pow (sqrt i) 6))
  (* 4.0 (pow 1 6))
  (* 4.0 (* (cbrt (pow i 6)) (cbrt (pow i 6))))
  (* 4.0 (sqrt (pow i 6)))
  (* 4.0 1)
  (* 4.0 (pow i (/ 6 2)))
  (* (cbrt 4.0) (pow i 6))
  (* (sqrt 4.0) (pow i 6))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
8.984 * * [simplify]: Extracting # 0 : cost  0
8.984 * * [simplify]: Extracting # 1 : cost  0
8.984 * * [simplify]: Extracting # 2 : cost  0
8.984 * * [simplify]: Extracting # 3 : cost  0
8.984 * * [simplify]: Extracting # 4 : cost  0
8.984 * * [simplify]: Extracting # 5 : cost  0
8.984 * * [simplify]: Extracting # 6 : cost  0
8.984 * * [simplify]: iteration  0 :  50  enodes  (cost  221 )
8.997 * * [simplify]: Extracting # 0 : cost  0
8.997 * * [simplify]: Extracting # 1 : cost  0
8.997 * * [simplify]: Extracting # 2 : cost  0
8.997 * * [simplify]: Extracting # 3 : cost  0
8.997 * * [simplify]: Extracting # 4 : cost  0
8.997 * * [simplify]: iteration  1 :  101  enodes  (cost  198 )
9.037 * * [simplify]: Extracting # 0 : cost  0
9.037 * * [simplify]: Extracting # 1 : cost  0
9.038 * * [simplify]: Extracting # 2 : cost  0
9.038 * * [simplify]: Extracting # 3 : cost  0
9.039 * * [simplify]: iteration  2 :  243  enodes  (cost  186 )
9.233 * * [simplify]: Extracting # 0 : cost  0
9.234 * * [simplify]: Extracting # 1 : cost  0
9.235 * * [simplify]: Extracting # 2 : cost  0
9.236 * * [simplify]: Extracting # 3 : cost  0
9.237 * * [simplify]: Extracting # 4 : cost  0
9.238 * * [simplify]: iteration  3 :  888  enodes  (cost  181 )
10.322 * * [simplify]: Extracting # 0 : cost  0
10.343 * * [simplify]: Extracting # 1 : cost  0
10.350 * * [simplify]: Extracting # 2 : cost  0
10.356 * * [simplify]: Extracting # 3 : cost  0
10.362 * * [simplify]: Extracting # 4 : cost  0
10.368 * * [simplify]: iteration done:  5000  enodes  (cost  180 )
10.369 * [simplify]: Simplified to:
  (log (* 4.0 (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (exp (* 4.0 (pow i 6)))
  (pow (* 4.0 (pow i 6)) 3)
  (* (cbrt (* 4.0 (pow i 6))) (cbrt (* 4.0 (pow i 6))))
  (cbrt (* 4.0 (pow i 6)))
  (pow (* 4.0 (pow i 6)) 3)
  (sqrt (* 4.0 (pow i 6)))
  (sqrt (* 4.0 (pow i 6)))
  (* (sqrt 4.0) (pow i 3))
  (* (sqrt 4.0) (pow i 3))
  (* (sqrt 4.0) (sqrt (pow i 6)))
  (* (sqrt 4.0) (sqrt (pow i 6)))
  (* (sqrt 4.0) (pow i 3))
  (* (sqrt 4.0) (pow i 3))
  (* 4.0 (pow (cbrt i) 12))
  (* 4.0 (pow i 3))
  4.0
  (* 4.0 (* (cbrt (pow i 6)) (cbrt (pow i 6))))
  (* 4.0 (sqrt (pow i 6)))
  4.0
  (* 4.0 (pow i 3))
  (* (cbrt 4.0) (pow i 6))
  (* (sqrt 4.0) (pow i 6))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
10.369 * * * [progress]: adding candidates to table
10.471 * * [progress]: iteration 3 / 4
10.471 * * * [progress]: picking best candidate
10.475 * * * * [pick]: Picked  #<alt (λ (i) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))>
10.475 * * * [progress]: localizing error
10.495 * * * [progress]: generating rewritten candidates
10.495 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
10.512 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
10.534 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
10.629 * * * [progress]: generating series expansions
10.629 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
10.630 * [backup-simplify]: Simplify (/ 0.015625 (* i i)) into (/ 0.015625 (pow i 2))
10.630 * [approximate]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in (i) around 0
10.630 * [taylor]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
10.630 * [taylor]: Taking taylor expansion of 0.015625 in i
10.630 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.630 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.630 * [taylor]: Taking taylor expansion of i in i
10.630 * [backup-simplify]: Simplify 0 into 0
10.630 * [backup-simplify]: Simplify 1 into 1
10.631 * [backup-simplify]: Simplify (* 1 1) into 1
10.631 * [backup-simplify]: Simplify (/ 0.015625 1) into 0.015625
10.631 * [taylor]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
10.631 * [taylor]: Taking taylor expansion of 0.015625 in i
10.631 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.631 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.631 * [taylor]: Taking taylor expansion of i in i
10.631 * [backup-simplify]: Simplify 0 into 0
10.631 * [backup-simplify]: Simplify 1 into 1
10.632 * [backup-simplify]: Simplify (* 1 1) into 1
10.632 * [backup-simplify]: Simplify (/ 0.015625 1) into 0.015625
10.632 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.633 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0
10.634 * [backup-simplify]: Simplify 0 into 0
10.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.635 * [backup-simplify]: Simplify 0 into 0
10.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.637 * [backup-simplify]: Simplify 0 into 0
10.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.640 * [backup-simplify]: Simplify 0 into 0
10.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.642 * [backup-simplify]: Simplify 0 into 0
10.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.645 * [backup-simplify]: Simplify 0 into 0
10.645 * [backup-simplify]: Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2))
10.645 * [backup-simplify]: Simplify (/ 0.015625 (* (/ 1 i) (/ 1 i))) into (* 0.015625 (pow i 2))
10.645 * [approximate]: Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
10.645 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
10.645 * [taylor]: Taking taylor expansion of 0.015625 in i
10.645 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.645 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.645 * [taylor]: Taking taylor expansion of i in i
10.646 * [backup-simplify]: Simplify 0 into 0
10.646 * [backup-simplify]: Simplify 1 into 1
10.646 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
10.646 * [taylor]: Taking taylor expansion of 0.015625 in i
10.646 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.646 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.646 * [taylor]: Taking taylor expansion of i in i
10.646 * [backup-simplify]: Simplify 0 into 0
10.646 * [backup-simplify]: Simplify 1 into 1
10.646 * [backup-simplify]: Simplify (* 1 1) into 1
10.647 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
10.647 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.648 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
10.648 * [backup-simplify]: Simplify 0 into 0
10.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.650 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
10.650 * [backup-simplify]: Simplify 0 into 0
10.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.652 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.652 * [backup-simplify]: Simplify 0 into 0
10.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.653 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.653 * [backup-simplify]: Simplify 0 into 0
10.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.655 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.655 * [backup-simplify]: Simplify 0 into 0
10.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.656 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.656 * [backup-simplify]: Simplify 0 into 0
10.657 * [backup-simplify]: Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2))
10.657 * [backup-simplify]: Simplify (/ 0.015625 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 0.015625 (pow i 2))
10.657 * [approximate]: Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
10.657 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
10.657 * [taylor]: Taking taylor expansion of 0.015625 in i
10.657 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.657 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.657 * [taylor]: Taking taylor expansion of i in i
10.657 * [backup-simplify]: Simplify 0 into 0
10.657 * [backup-simplify]: Simplify 1 into 1
10.657 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
10.657 * [taylor]: Taking taylor expansion of 0.015625 in i
10.657 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.657 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.657 * [taylor]: Taking taylor expansion of i in i
10.657 * [backup-simplify]: Simplify 0 into 0
10.657 * [backup-simplify]: Simplify 1 into 1
10.657 * [backup-simplify]: Simplify (* 1 1) into 1
10.658 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
10.658 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.658 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
10.658 * [backup-simplify]: Simplify 0 into 0
10.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.659 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
10.660 * [backup-simplify]: Simplify 0 into 0
10.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.661 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.661 * [backup-simplify]: Simplify 0 into 0
10.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.662 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.662 * [backup-simplify]: Simplify 0 into 0
10.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.664 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.664 * [backup-simplify]: Simplify 0 into 0
10.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.665 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.665 * [backup-simplify]: Simplify 0 into 0
10.666 * [backup-simplify]: Simplify (* 0.015625 (pow (/ 1 (- i)) 2)) into (/ 0.015625 (pow i 2))
10.666 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
10.666 * [backup-simplify]: Simplify (/ 0.00390625 (pow i 4)) into (/ 0.00390625 (pow i 4))
10.666 * [approximate]: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0
10.666 * [taylor]: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
10.666 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.666 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.666 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.666 * [taylor]: Taking taylor expansion of i in i
10.666 * [backup-simplify]: Simplify 0 into 0
10.666 * [backup-simplify]: Simplify 1 into 1
10.666 * [backup-simplify]: Simplify (* 1 1) into 1
10.666 * [backup-simplify]: Simplify (* 1 1) into 1
10.667 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625
10.667 * [taylor]: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
10.667 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.667 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.667 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.667 * [taylor]: Taking taylor expansion of i in i
10.667 * [backup-simplify]: Simplify 0 into 0
10.667 * [backup-simplify]: Simplify 1 into 1
10.667 * [backup-simplify]: Simplify (* 1 1) into 1
10.667 * [backup-simplify]: Simplify (* 1 1) into 1
10.667 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625
10.668 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.668 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.668 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0
10.669 * [backup-simplify]: Simplify 0 into 0
10.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.670 * [backup-simplify]: Simplify 0 into 0
10.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.672 * [backup-simplify]: Simplify 0 into 0
10.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.674 * [backup-simplify]: Simplify 0 into 0
10.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.676 * [backup-simplify]: Simplify 0 into 0
10.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.679 * [backup-simplify]: Simplify 0 into 0
10.679 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
10.679 * [backup-simplify]: Simplify (/ 0.00390625 (pow (/ 1 i) 4)) into (* 0.00390625 (pow i 4))
10.679 * [approximate]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
10.679 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
10.679 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.679 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.679 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.679 * [taylor]: Taking taylor expansion of i in i
10.679 * [backup-simplify]: Simplify 0 into 0
10.679 * [backup-simplify]: Simplify 1 into 1
10.679 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
10.679 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.679 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.679 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.679 * [taylor]: Taking taylor expansion of i in i
10.679 * [backup-simplify]: Simplify 0 into 0
10.679 * [backup-simplify]: Simplify 1 into 1
10.680 * [backup-simplify]: Simplify (* 1 1) into 1
10.680 * [backup-simplify]: Simplify (* 1 1) into 1
10.681 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
10.681 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.681 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.682 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.683 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
10.683 * [backup-simplify]: Simplify 0 into 0
10.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.685 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
10.685 * [backup-simplify]: Simplify 0 into 0
10.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.688 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.688 * [backup-simplify]: Simplify 0 into 0
10.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.690 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.690 * [backup-simplify]: Simplify 0 into 0
10.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.692 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.692 * [backup-simplify]: Simplify 0 into 0
10.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.694 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.694 * [backup-simplify]: Simplify 0 into 0
10.695 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
10.695 * [backup-simplify]: Simplify (/ 0.00390625 (pow (/ 1 (- i)) 4)) into (* 0.00390625 (pow i 4))
10.695 * [approximate]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
10.695 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
10.695 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.695 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.695 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.695 * [taylor]: Taking taylor expansion of i in i
10.695 * [backup-simplify]: Simplify 0 into 0
10.695 * [backup-simplify]: Simplify 1 into 1
10.695 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
10.695 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.695 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.695 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.695 * [taylor]: Taking taylor expansion of i in i
10.695 * [backup-simplify]: Simplify 0 into 0
10.695 * [backup-simplify]: Simplify 1 into 1
10.695 * [backup-simplify]: Simplify (* 1 1) into 1
10.696 * [backup-simplify]: Simplify (* 1 1) into 1
10.696 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
10.696 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.697 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.697 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
10.697 * [backup-simplify]: Simplify 0 into 0
10.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.699 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
10.699 * [backup-simplify]: Simplify 0 into 0
10.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.700 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.700 * [backup-simplify]: Simplify 0 into 0
10.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.703 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.703 * [backup-simplify]: Simplify 0 into 0
10.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.705 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.705 * [backup-simplify]: Simplify 0 into 0
10.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.707 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.708 * [backup-simplify]: Simplify 0 into 0
10.708 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 (- i)) 4)) into (/ 0.00390625 (pow i 4))
10.708 * * * * [progress]: [ 3 / 3 ] generating series at (2)
10.708 * [backup-simplify]: Simplify (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
10.708 * [approximate]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) in (i) around 0
10.708 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) in i
10.708 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 4))) in i
10.708 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.708 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.708 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
10.708 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.708 * [taylor]: Taking taylor expansion of i in i
10.708 * [backup-simplify]: Simplify 0 into 0
10.708 * [backup-simplify]: Simplify 1 into 1
10.708 * [backup-simplify]: Simplify (* 1 1) into 1
10.709 * [backup-simplify]: Simplify (* 1 1) into 1
10.709 * [backup-simplify]: Simplify (/ 1 1) into 1
10.709 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625) in i
10.709 * [taylor]: Taking taylor expansion of (* 0.015625 (/ 1 (pow i 2))) in i
10.709 * [taylor]: Taking taylor expansion of 0.015625 in i
10.709 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.709 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
10.709 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.709 * [taylor]: Taking taylor expansion of i in i
10.709 * [backup-simplify]: Simplify 0 into 0
10.709 * [backup-simplify]: Simplify 1 into 1
10.709 * [backup-simplify]: Simplify (* 1 1) into 1
10.710 * [backup-simplify]: Simplify (/ 1 1) into 1
10.710 * [taylor]: Taking taylor expansion of 0.0625 in i
10.710 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.710 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) in i
10.710 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 4))) in i
10.710 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.710 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.710 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
10.710 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.710 * [taylor]: Taking taylor expansion of i in i
10.710 * [backup-simplify]: Simplify 0 into 0
10.710 * [backup-simplify]: Simplify 1 into 1
10.710 * [backup-simplify]: Simplify (* 1 1) into 1
10.710 * [backup-simplify]: Simplify (* 1 1) into 1
10.710 * [backup-simplify]: Simplify (/ 1 1) into 1
10.710 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625) in i
10.711 * [taylor]: Taking taylor expansion of (* 0.015625 (/ 1 (pow i 2))) in i
10.711 * [taylor]: Taking taylor expansion of 0.015625 in i
10.711 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.711 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
10.711 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.711 * [taylor]: Taking taylor expansion of i in i
10.711 * [backup-simplify]: Simplify 0 into 0
10.711 * [backup-simplify]: Simplify 1 into 1
10.711 * [backup-simplify]: Simplify (* 1 1) into 1
10.711 * [backup-simplify]: Simplify (/ 1 1) into 1
10.711 * [taylor]: Taking taylor expansion of 0.0625 in i
10.711 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.712 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
10.712 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
10.712 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.715 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
10.715 * [backup-simplify]: Simplify (+ 0 0) into 0
10.715 * [backup-simplify]: Simplify 0 into 0
10.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.719 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
10.720 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
10.720 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
10.720 * [backup-simplify]: Simplify (+ 0 0.015625) into 0.015625
10.720 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.729 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.731 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
10.731 * [backup-simplify]: Simplify (+ 0 0) into 0
10.731 * [backup-simplify]: Simplify (+ 0 0) into 0
10.731 * [backup-simplify]: Simplify 0 into 0
10.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.734 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.735 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
10.736 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
10.736 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
10.736 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.737 * [backup-simplify]: Simplify (+ 0.0625 (+ (* 0.015625 (pow (/ 1 i) 2)) (* 0.00390625 (pow (/ 1 i) 4)))) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
10.737 * [backup-simplify]: Simplify (+ (/ 0.00390625 (pow (/ 1 i) 4)) (+ 0.0625 (/ 0.015625 (* (/ 1 i) (/ 1 i))))) into (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625))
10.737 * [approximate]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in (i) around 0
10.737 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in i
10.737 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
10.737 * [taylor]: Taking taylor expansion of 0.015625 in i
10.738 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.738 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.738 * [taylor]: Taking taylor expansion of i in i
10.738 * [backup-simplify]: Simplify 0 into 0
10.738 * [backup-simplify]: Simplify 1 into 1
10.738 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 4)) 0.0625) in i
10.738 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
10.738 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.738 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.738 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.738 * [taylor]: Taking taylor expansion of i in i
10.738 * [backup-simplify]: Simplify 0 into 0
10.738 * [backup-simplify]: Simplify 1 into 1
10.738 * [taylor]: Taking taylor expansion of 0.0625 in i
10.738 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.738 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in i
10.738 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
10.738 * [taylor]: Taking taylor expansion of 0.015625 in i
10.738 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.738 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.738 * [taylor]: Taking taylor expansion of i in i
10.738 * [backup-simplify]: Simplify 0 into 0
10.738 * [backup-simplify]: Simplify 1 into 1
10.738 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 4)) 0.0625) in i
10.738 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
10.738 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.738 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.738 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.738 * [taylor]: Taking taylor expansion of i in i
10.738 * [backup-simplify]: Simplify 0 into 0
10.738 * [backup-simplify]: Simplify 1 into 1
10.738 * [taylor]: Taking taylor expansion of 0.0625 in i
10.738 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.739 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
10.739 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
10.739 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.740 * [backup-simplify]: Simplify (+ 0 0) into 0
10.740 * [backup-simplify]: Simplify (+ 0 0) into 0
10.740 * [backup-simplify]: Simplify 0 into 0
10.741 * [backup-simplify]: Simplify (* 1 1) into 1
10.741 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
10.741 * [backup-simplify]: Simplify (+ 0 0) into 0
10.742 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
10.742 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.742 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.743 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
10.744 * [backup-simplify]: Simplify (+ 0 0) into 0
10.744 * [backup-simplify]: Simplify (+ 0 0) into 0
10.744 * [backup-simplify]: Simplify 0 into 0
10.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.746 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
10.746 * [backup-simplify]: Simplify (* 1 1) into 1
10.746 * [backup-simplify]: Simplify (* 1 1) into 1
10.747 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
10.747 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
10.748 * [backup-simplify]: Simplify (+ 0 0.00390625) into 0.00390625
10.748 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.748 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 0.0625)) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
10.749 * [backup-simplify]: Simplify (+ (/ 0.00390625 (pow (/ 1 (- i)) 4)) (+ 0.0625 (/ 0.015625 (* (/ 1 (- i)) (/ 1 (- i)))))) into (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625))
10.749 * [approximate]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in (i) around 0
10.749 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in i
10.749 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
10.749 * [taylor]: Taking taylor expansion of 0.015625 in i
10.749 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.749 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.749 * [taylor]: Taking taylor expansion of i in i
10.749 * [backup-simplify]: Simplify 0 into 0
10.749 * [backup-simplify]: Simplify 1 into 1
10.749 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 4)) 0.0625) in i
10.749 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
10.749 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.749 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.749 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.749 * [taylor]: Taking taylor expansion of i in i
10.749 * [backup-simplify]: Simplify 0 into 0
10.749 * [backup-simplify]: Simplify 1 into 1
10.749 * [taylor]: Taking taylor expansion of 0.0625 in i
10.749 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.749 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in i
10.749 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
10.749 * [taylor]: Taking taylor expansion of 0.015625 in i
10.749 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.750 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.750 * [taylor]: Taking taylor expansion of i in i
10.750 * [backup-simplify]: Simplify 0 into 0
10.750 * [backup-simplify]: Simplify 1 into 1
10.750 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 4)) 0.0625) in i
10.750 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
10.750 * [taylor]: Taking taylor expansion of 0.00390625 in i
10.750 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.750 * [taylor]: Taking taylor expansion of (pow i 4) in i
10.750 * [taylor]: Taking taylor expansion of i in i
10.750 * [backup-simplify]: Simplify 0 into 0
10.750 * [backup-simplify]: Simplify 1 into 1
10.750 * [taylor]: Taking taylor expansion of 0.0625 in i
10.750 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.750 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
10.751 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
10.751 * [backup-simplify]: Simplify 0.0625 into 0.0625
10.751 * [backup-simplify]: Simplify (+ 0 0) into 0
10.752 * [backup-simplify]: Simplify (+ 0 0) into 0
10.752 * [backup-simplify]: Simplify 0 into 0
10.752 * [backup-simplify]: Simplify (* 1 1) into 1
10.752 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
10.753 * [backup-simplify]: Simplify (+ 0 0) into 0
10.753 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
10.753 * [backup-simplify]: Simplify 0.015625 into 0.015625
10.754 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.754 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
10.755 * [backup-simplify]: Simplify (+ 0 0) into 0
10.755 * [backup-simplify]: Simplify (+ 0 0) into 0
10.755 * [backup-simplify]: Simplify 0 into 0
10.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.757 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
10.757 * [backup-simplify]: Simplify (* 1 1) into 1
10.757 * [backup-simplify]: Simplify (* 1 1) into 1
10.757 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
10.758 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
10.758 * [backup-simplify]: Simplify (+ 0 0.00390625) into 0.00390625
10.758 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
10.758 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 0.0625)) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
10.758 * * * [progress]: simplifying candidates
10.760 * [simplify]: Simplifying:
  (- (log 0.015625) (+ (log i) (log i)))
  (- (log 0.015625) (log (* i i)))
  (log (/ 0.015625 (* i i)))
  (exp (/ 0.015625 (* i i)))
  (/ (* (* 0.015625 0.015625) 0.015625) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 0.015625 0.015625) 0.015625) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 0.015625 (* i i))) (cbrt (/ 0.015625 (* i i))))
  (cbrt (/ 0.015625 (* i i)))
  (* (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))) (/ 0.015625 (* i i)))
  (sqrt (/ 0.015625 (* i i)))
  (sqrt (/ 0.015625 (* i i)))
  (- 0.015625)
  (- (* i i))
  (/ (* (cbrt 0.015625) (cbrt 0.015625)) i)
  (/ (cbrt 0.015625) i)
  (/ (sqrt 0.015625) i)
  (/ (sqrt 0.015625) i)
  (/ 1 i)
  (/ 0.015625 i)
  (/ 1 (* i i))
  (/ (* i i) 0.015625)
  (/ 0.015625 i)
  (/ (* i i) (cbrt 0.015625))
  (/ (* i i) (sqrt 0.015625))
  (/ (* i i) 0.015625)
  (- (log 0.00390625) (* (log i) 4))
  (- (log 0.00390625) (* (log i) 4))
  (- (log 0.00390625) (log (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (exp (/ 0.00390625 (pow i 4)))
  (/ (* (* 0.00390625 0.00390625) 0.00390625) (* (* (pow i 4) (pow i 4)) (pow i 4)))
  (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4))))
  (cbrt (/ 0.00390625 (pow i 4)))
  (* (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (/ 0.00390625 (pow i 4)))
  (sqrt (/ 0.00390625 (pow i 4)))
  (sqrt (/ 0.00390625 (pow i 4)))
  (- 0.00390625)
  (- (pow i 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (cbrt 0.00390625) (pow (cbrt i) 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (pow (sqrt i) 4))
  (/ (cbrt 0.00390625) (pow (sqrt i) 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (pow 1 4))
  (/ (cbrt 0.00390625) (pow i 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (cbrt 0.00390625) (cbrt (pow i 4)))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (sqrt (pow i 4)))
  (/ (cbrt 0.00390625) (sqrt (pow i 4)))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) 1)
  (/ (cbrt 0.00390625) (pow i 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (pow i (/ 4 2)))
  (/ (cbrt 0.00390625) (pow i (/ 4 2)))
  (/ (sqrt 0.00390625) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (sqrt 0.00390625) (pow (cbrt i) 4))
  (/ (sqrt 0.00390625) (pow (sqrt i) 4))
  (/ (sqrt 0.00390625) (pow (sqrt i) 4))
  (/ (sqrt 0.00390625) (pow 1 4))
  (/ (sqrt 0.00390625) (pow i 4))
  (/ (sqrt 0.00390625) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (sqrt 0.00390625) (cbrt (pow i 4)))
  (/ (sqrt 0.00390625) (sqrt (pow i 4)))
  (/ (sqrt 0.00390625) (sqrt (pow i 4)))
  (/ (sqrt 0.00390625) 1)
  (/ (sqrt 0.00390625) (pow i 4))
  (/ (sqrt 0.00390625) (pow i (/ 4 2)))
  (/ (sqrt 0.00390625) (pow i (/ 4 2)))
  (/ 1 (pow (* (cbrt i) (cbrt i)) 4))
  (/ 0.00390625 (pow (cbrt i) 4))
  (/ 1 (pow (sqrt i) 4))
  (/ 0.00390625 (pow (sqrt i) 4))
  (/ 1 (pow 1 4))
  (/ 0.00390625 (pow i 4))
  (/ 1 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 0.00390625 (cbrt (pow i 4)))
  (/ 1 (sqrt (pow i 4)))
  (/ 0.00390625 (sqrt (pow i 4)))
  (/ 1 1)
  (/ 0.00390625 (pow i 4))
  (/ 1 (pow i (/ 4 2)))
  (/ 0.00390625 (pow i (/ 4 2)))
  (/ 1 (pow i 4))
  (/ (pow i 4) 0.00390625)
  (/ 0.00390625 (pow (* (cbrt i) (cbrt i)) 4))
  (/ 0.00390625 (pow (sqrt i) 4))
  (/ 0.00390625 (pow 1 4))
  (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 0.00390625 (sqrt (pow i 4)))
  (/ 0.00390625 1)
  (/ 0.00390625 (pow i (/ 4 2)))
  (/ (pow i 4) (cbrt 0.00390625))
  (/ (pow i 4) (sqrt 0.00390625))
  (/ (pow i 4) 0.00390625)
  (* (exp (/ 0.00390625 (pow i 4))) (* (exp 0.0625) (exp (/ 0.015625 (* i i)))))
  (* (exp (/ 0.00390625 (pow i 4))) (exp (+ 0.0625 (/ 0.015625 (* i i)))))
  (log (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (exp (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (* (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))) (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))))
  (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (* (* (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (sqrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (sqrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (+ (* 0.00390625 (+ (* 0.0625 0.0625) (- (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))) (* 0.0625 (/ 0.015625 (* i i)))))) (* (pow i 4) (+ (pow 0.0625 3) (pow (/ 0.015625 (* i i)) 3))))
  (* (pow i 4) (+ (* 0.0625 0.0625) (- (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))) (* 0.0625 (/ 0.015625 (* i i))))))
  (+ (* 0.00390625 (- 0.0625 (/ 0.015625 (* i i)))) (* (pow i 4) (- (* 0.0625 0.0625) (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))))))
  (* (pow i 4) (- 0.0625 (/ 0.015625 (* i i))))
  (+ (pow (/ 0.00390625 (pow i 4)) 3) (pow (+ 0.0625 (/ 0.015625 (* i i))) 3))
  (+ (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (- (* (+ 0.0625 (/ 0.015625 (* i i))) (+ 0.0625 (/ 0.015625 (* i i)))) (* (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))))
  (- (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (* (+ 0.0625 (/ 0.015625 (* i i))) (+ 0.0625 (/ 0.015625 (* i i)))))
  (- (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) 0.0625)
  (/ 0.015625 (pow i 2))
  (/ 0.015625 (pow i 2))
  (/ 0.015625 (pow i 2))
  (/ 0.00390625 (pow i 4))
  (/ 0.00390625 (pow i 4))
  (/ 0.00390625 (pow i 4))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
10.762 * * [simplify]: Extracting # 0 : cost  0
10.762 * * [simplify]: Extracting # 1 : cost  0
10.762 * * [simplify]: Extracting # 2 : cost  0
10.762 * * [simplify]: Extracting # 3 : cost  0
10.762 * * [simplify]: Extracting # 4 : cost  0
10.762 * * [simplify]: Extracting # 5 : cost  0
10.763 * * [simplify]: Extracting # 6 : cost  0
10.763 * * [simplify]: iteration  0 :  172  enodes  (cost  1152 )
10.823 * * [simplify]: Extracting # 0 : cost  0
10.824 * * [simplify]: Extracting # 1 : cost  0
10.825 * * [simplify]: Extracting # 2 : cost  0
10.826 * * [simplify]: Extracting # 3 : cost  0
10.827 * * [simplify]: Extracting # 4 : cost  0
10.828 * * [simplify]: iteration  1 :  396  enodes  (cost  1053 )
11.067 * * [simplify]: Extracting # 0 : cost  0
11.069 * * [simplify]: Extracting # 1 : cost  0
11.070 * * [simplify]: Extracting # 2 : cost  0
11.072 * * [simplify]: Extracting # 3 : cost  0
11.073 * * [simplify]: Extracting # 4 : cost  0
11.080 * * [simplify]: iteration  2 :  1355  enodes  (cost  981 )
11.856 * * [simplify]: Extracting # 0 : cost  0
11.861 * * [simplify]: Extracting # 1 : cost  0
11.867 * * [simplify]: Extracting # 2 : cost  0
11.873 * * [simplify]: Extracting # 3 : cost  0
11.879 * * [simplify]: Extracting # 4 : cost  0
11.892 * * [simplify]: iteration done:  5000  enodes  (cost  962 )
11.893 * [simplify]: Simplified to:
  (log (/ 0.015625 (pow i 2)))
  (log (/ 0.015625 (pow i 2)))
  (log (/ 0.015625 (pow i 2)))
  (exp (/ 0.015625 (* i i)))
  (pow (/ 0.015625 (pow i 2)) 3)
  (pow (/ 0.015625 (pow i 2)) 3)
  (* (cbrt (/ 0.015625 (* i i))) (cbrt (/ 0.015625 (* i i))))
  (cbrt (/ 0.015625 (* i i)))
  (pow (/ 0.015625 (pow i 2)) 3)
  (sqrt (/ 0.015625 (* i i)))
  (sqrt (/ 0.015625 (* i i)))
  (- 0.015625)
  (- (* i i))
  (/ (* (cbrt 0.015625) (cbrt 0.015625)) i)
  (/ (cbrt 0.015625) i)
  (/ (sqrt 0.015625) i)
  (/ (sqrt 0.015625) i)
  (/ 1 i)
  (/ 0.015625 i)
  (/ 1 (* i i))
  (/ (* i i) 0.015625)
  (/ 0.015625 i)
  (/ (* i i) (cbrt 0.015625))
  (/ (* i i) (sqrt 0.015625))
  (/ (* i i) 0.015625)
  (log (/ 0.00390625 (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (exp (/ 0.00390625 (pow i 4)))
  (pow (/ 0.00390625 (pow i 4)) 3)
  (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4))))
  (cbrt (/ 0.00390625 (pow i 4)))
  (pow (/ 0.00390625 (pow i 4)) 3)
  (sqrt (/ 0.00390625 (pow i 4)))
  (sqrt (/ 0.00390625 (pow i 4)))
  (- 0.00390625)
  (- (pow i 4))
  (/ (cbrt 0.00390625) (/ (pow (cbrt i) 8) (cbrt 0.00390625)))
  (/ (cbrt 0.00390625) (pow (cbrt i) 4))
  (* (/ (cbrt 0.00390625) i) (/ (cbrt 0.00390625) i))
  (/ (cbrt 0.00390625) (* i i))
  (* (cbrt 0.00390625) (cbrt 0.00390625))
  (/ (cbrt 0.00390625) (pow i 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (cbrt 0.00390625) (cbrt (pow i 4)))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (sqrt (pow i 4)))
  (/ (cbrt 0.00390625) (sqrt (pow i 4)))
  (* (cbrt 0.00390625) (cbrt 0.00390625))
  (/ (cbrt 0.00390625) (pow i 4))
  (* (/ (cbrt 0.00390625) i) (/ (cbrt 0.00390625) i))
  (/ (cbrt 0.00390625) (* i i))
  (/ (sqrt 0.00390625) (pow (cbrt i) 8))
  (/ (sqrt 0.00390625) (pow (cbrt i) 4))
  (/ (sqrt 0.00390625) (* i i))
  (/ (sqrt 0.00390625) (* i i))
  (sqrt 0.00390625)
  (/ (sqrt 0.00390625) (pow i 4))
  (/ (sqrt 0.00390625) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (sqrt 0.00390625) (cbrt (pow i 4)))
  (/ (sqrt 0.00390625) (sqrt (pow i 4)))
  (/ (sqrt 0.00390625) (sqrt (pow i 4)))
  (sqrt 0.00390625)
  (/ (sqrt 0.00390625) (pow i 4))
  (/ (sqrt 0.00390625) (* i i))
  (/ (sqrt 0.00390625) (* i i))
  (/ 1 (pow (cbrt i) 8))
  (/ 0.00390625 (pow (cbrt i) 4))
  (/ 1 (* i i))
  (/ (/ 0.00390625 i) i)
  1
  (/ 0.00390625 (pow i 4))
  (/ 1 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 0.00390625 (cbrt (pow i 4)))
  (/ 1 (sqrt (pow i 4)))
  (/ 0.00390625 (sqrt (pow i 4)))
  1
  (/ 0.00390625 (pow i 4))
  (/ 1 (* i i))
  (/ (/ 0.00390625 i) i)
  (/ 1 (pow i 4))
  (/ (pow i 4) 0.00390625)
  (/ 0.00390625 (pow (cbrt i) 8))
  (/ (/ 0.00390625 i) i)
  0.00390625
  (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 0.00390625 (sqrt (pow i 4)))
  0.00390625
  (/ (/ 0.00390625 i) i)
  (/ (pow i 4) (cbrt 0.00390625))
  (/ (pow i 4) (sqrt 0.00390625))
  (/ (pow i 4) 0.00390625)
  (exp (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (exp (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (log (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (exp (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (* (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))) (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))))
  (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (pow (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))) 3)
  (sqrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (sqrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (+ (* (pow i 4) (+ (pow 0.0625 3) (pow (/ 0.015625 (* i i)) 3))) (* 0.00390625 (+ (* 0.0625 0.0625) (* (/ 0.015625 (* i i)) (- (/ 0.015625 (* i i)) 0.0625)))))
  (* (+ (* 0.0625 0.0625) (* (/ 0.015625 (* i i)) (- (/ 0.015625 (* i i)) 0.0625))) (pow i 4))
  (* (- 0.0625 (/ 0.015625 (* i i))) (+ 0.00390625 (* (pow i 4) (+ 0.0625 (/ 0.015625 (* i i))))))
  (* (pow i 4) (- 0.0625 (/ 0.015625 (* i i))))
  (+ (pow (/ 0.00390625 (pow i 4)) 3) (pow (+ 0.0625 (/ 0.015625 (* i i))) 3))
  (+ (/ (* 0.00390625 0.00390625) (pow i 8)) (* (+ 0.0625 (/ 0.015625 (* i i))) (- (+ 0.0625 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4)))))
  (- (/ (* 0.00390625 0.00390625) (pow i 8)) (* (+ 0.0625 (/ 0.015625 (* i i))) (+ 0.0625 (/ 0.015625 (* i i)))))
  (- (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) 0.0625)
  (/ 0.015625 (* i i))
  (/ 0.015625 (* i i))
  (/ 0.015625 (* i i))
  (/ 0.00390625 (pow i 4))
  (/ 0.00390625 (pow i 4))
  (/ 0.00390625 (pow i 4))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
11.894 * * * [progress]: adding candidates to table
12.146 * [progress]: [Phase 3 of 3] Extracting.
12.146 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))> #<alt (λ (i) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))> #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>)
12.146 * * * [regime-changes]: Trying 1 branch expressions: (i)
12.146 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i))))> #<alt (λ (i) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))> #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>)
12.163 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
12.164 * [simplify]: Simplifying:
  (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
12.164 * * [simplify]: Extracting # 0 : cost  0
12.164 * * [simplify]: Extracting # 1 : cost  0
12.164 * * [simplify]: Extracting # 2 : cost  0
12.164 * * [simplify]: Extracting # 3 : cost  0
12.164 * * [simplify]: Extracting # 4 : cost  0
12.164 * * [simplify]: Extracting # 5 : cost  0
12.164 * * [simplify]: iteration  0 :  10  enodes  (cost  15 )
12.165 * * [simplify]: Extracting # 0 : cost  0
12.165 * * [simplify]: iteration  1 :  12  enodes  (cost  15 )
12.166 * * [simplify]: Extracting # 0 : cost  0
12.166 * * [simplify]: iteration done:  12  enodes  (cost  15 )
12.166 * [simplify]: Simplified to:
  (/ (/ i (* 2.0 2.0)) (- (* 2.0 (* 2.0 i)) (/ 1.0 i)))
13.584 * [regime-testing]: Baseline error score: 0.12776939416804747
13.590 * [regime-testing]: Oracle error score: 0.004113875558895926
13.597 * [regime-testing]: End program error score: 0.12776939416804747