26.375 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.013 * [progress]: [Phase 2 of 3] Improving.
0.014 * [simplify]: Simplifying:
  (+ (* x x) 1.0)
0.014 * * [simplify]: Extracting # 0 : cost  0
0.014 * * [simplify]: Extracting # 1 : cost  0
0.014 * * [simplify]: Extracting # 2 : cost  0
0.014 * * [simplify]: Extracting # 3 : cost  0
0.014 * * [simplify]: Extracting # 4 : cost  0
0.014 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.015 * * [simplify]: Extracting # 0 : cost  0
0.015 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
0.015 * * [simplify]: Extracting # 0 : cost  0
0.015 * * [simplify]: iteration done:  5  enodes  (cost  5 )
0.015 * [simplify]: Simplified to:
  (+ (* x x) 1.0)
0.016 * * [progress]: iteration 1 / 4
0.016 * * * [progress]: picking best candidate
0.017 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x x) 1.0))>
0.017 * * * [progress]: localizing error
0.021 * * * [progress]: generating rewritten candidates
0.021 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.033 * * * [progress]: generating series expansions
0.033 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.033 * [backup-simplify]: Simplify (+ (* x x) 1.0) into (+ (pow x 2) 1.0)
0.033 * [approximate]: Taking taylor expansion of (+ (pow x 2) 1.0) in (x) around 0
0.033 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
0.033 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.033 * [taylor]: Taking taylor expansion of x in x
0.033 * [backup-simplify]: Simplify 0 into 0
0.033 * [backup-simplify]: Simplify 1 into 1
0.033 * [taylor]: Taking taylor expansion of 1.0 in x
0.033 * [backup-simplify]: Simplify 1.0 into 1.0
0.033 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
0.033 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.033 * [taylor]: Taking taylor expansion of x in x
0.033 * [backup-simplify]: Simplify 0 into 0
0.033 * [backup-simplify]: Simplify 1 into 1
0.033 * [taylor]: Taking taylor expansion of 1.0 in x
0.033 * [backup-simplify]: Simplify 1.0 into 1.0
0.040 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.040 * [backup-simplify]: Simplify 1.0 into 1.0
0.041 * [backup-simplify]: Simplify (+ 0 0) into 0
0.041 * [backup-simplify]: Simplify 0 into 0
0.041 * [backup-simplify]: Simplify (* 1 1) into 1
0.041 * [backup-simplify]: Simplify (+ 1 0) into 1
0.041 * [backup-simplify]: Simplify 1 into 1
0.042 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.042 * [backup-simplify]: Simplify (+ 0 0) into 0
0.042 * [backup-simplify]: Simplify 0 into 0
0.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.043 * [backup-simplify]: Simplify (+ 0 0) into 0
0.043 * [backup-simplify]: Simplify 0 into 0
0.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.045 * [backup-simplify]: Simplify (+ 0 0) into 0
0.045 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.046 * [backup-simplify]: Simplify (+ 0 0) into 0
0.046 * [backup-simplify]: Simplify 0 into 0
0.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.047 * [backup-simplify]: Simplify (+ 0 0) into 0
0.047 * [backup-simplify]: Simplify 0 into 0
0.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.049 * [backup-simplify]: Simplify (+ 0 0) into 0
0.049 * [backup-simplify]: Simplify 0 into 0
0.049 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) 1.0) into (+ (pow x 2) 1.0)
0.049 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) 1.0) into (+ (/ 1 (pow x 2)) 1.0)
0.049 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0
0.049 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.049 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.049 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.049 * [taylor]: Taking taylor expansion of x in x
0.049 * [backup-simplify]: Simplify 0 into 0
0.049 * [backup-simplify]: Simplify 1 into 1
0.050 * [backup-simplify]: Simplify (* 1 1) into 1
0.050 * [backup-simplify]: Simplify (/ 1 1) into 1
0.050 * [taylor]: Taking taylor expansion of 1.0 in x
0.050 * [backup-simplify]: Simplify 1.0 into 1.0
0.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [backup-simplify]: Simplify 0 into 0
0.050 * [backup-simplify]: Simplify 1 into 1
0.051 * [backup-simplify]: Simplify (* 1 1) into 1
0.051 * [backup-simplify]: Simplify (/ 1 1) into 1
0.051 * [taylor]: Taking taylor expansion of 1.0 in x
0.051 * [backup-simplify]: Simplify 1.0 into 1.0
0.051 * [backup-simplify]: Simplify (+ 1 0) into 1
0.051 * [backup-simplify]: Simplify 1 into 1
0.052 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.053 * [backup-simplify]: Simplify (+ 0 0) into 0
0.053 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.054 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.054 * [backup-simplify]: Simplify 1.0 into 1.0
0.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.056 * [backup-simplify]: Simplify (+ 0 0) into 0
0.056 * [backup-simplify]: Simplify 0 into 0
0.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.057 * [backup-simplify]: Simplify (+ 0 0) into 0
0.057 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.059 * [backup-simplify]: Simplify (+ 0 0) into 0
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.060 * [backup-simplify]: Simplify (+ 0 0) into 0
0.060 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.062 * [backup-simplify]: Simplify (+ 0 0) into 0
0.062 * [backup-simplify]: Simplify 0 into 0
0.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
0.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.064 * [backup-simplify]: Simplify (+ 0 0) into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (+ 1.0 (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (pow x 2) 1.0)
0.064 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) 1.0) into (+ (/ 1 (pow x 2)) 1.0)
0.064 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0
0.064 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.064 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.064 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify 1 into 1
0.065 * [backup-simplify]: Simplify (* 1 1) into 1
0.065 * [backup-simplify]: Simplify (/ 1 1) into 1
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.065 * [backup-simplify]: Simplify 1.0 into 1.0
0.065 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.065 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.065 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify 1 into 1
0.065 * [backup-simplify]: Simplify (* 1 1) into 1
0.065 * [backup-simplify]: Simplify (/ 1 1) into 1
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.065 * [backup-simplify]: Simplify 1.0 into 1.0
0.066 * [backup-simplify]: Simplify (+ 1 0) into 1
0.066 * [backup-simplify]: Simplify 1 into 1
0.066 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.067 * [backup-simplify]: Simplify (+ 0 0) into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.068 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.068 * [backup-simplify]: Simplify 1.0 into 1.0
0.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.069 * [backup-simplify]: Simplify (+ 0 0) into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.071 * [backup-simplify]: Simplify (+ 0 0) into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.072 * [backup-simplify]: Simplify (+ 0 0) into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.074 * [backup-simplify]: Simplify (+ 0 0) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.077 * [backup-simplify]: Simplify (+ 0 0) into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
0.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.080 * [backup-simplify]: Simplify (+ 0 0) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify (+ 1.0 (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (pow x 2) 1.0)
0.080 * * * [progress]: simplifying candidates
0.080 * [simplify]: Simplifying:
  (* (exp (* x x)) (exp 1.0))
  (log (+ (* x x) 1.0))
  (exp (+ (* x x) 1.0))
  (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))
  (cbrt (+ (* x x) 1.0))
  (* (* (+ (* x x) 1.0) (+ (* x x) 1.0)) (+ (* x x) 1.0))
  (sqrt (+ (* x x) 1.0))
  (sqrt (+ (* x x) 1.0))
  (+ (pow (* x x) 3) (pow 1.0 3))
  (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0)))
  (- (* (* x x) (* x x)) (* 1.0 1.0))
  (- (* x x) 1.0)
  (+ (pow x 2) 1.0)
  (+ (pow x 2) 1.0)
  (+ (pow x 2) 1.0)
0.081 * * [simplify]: Extracting # 0 : cost  0
0.081 * * [simplify]: Extracting # 1 : cost  0
0.081 * * [simplify]: Extracting # 2 : cost  0
0.081 * * [simplify]: Extracting # 3 : cost  0
0.081 * * [simplify]: Extracting # 4 : cost  0
0.081 * * [simplify]: Extracting # 5 : cost  0
0.081 * * [simplify]: iteration  0 :  28  enodes  (cost  124 )
0.092 * * [simplify]: Extracting # 0 : cost  0
0.093 * * [simplify]: Extracting # 1 : cost  0
0.093 * * [simplify]: Extracting # 2 : cost  0
0.093 * * [simplify]: Extracting # 3 : cost  0
0.093 * * [simplify]: Extracting # 4 : cost  0
0.093 * * [simplify]: iteration  1 :  81  enodes  (cost  121 )
0.122 * * [simplify]: Extracting # 0 : cost  0
0.122 * * [simplify]: Extracting # 1 : cost  0
0.122 * * [simplify]: Extracting # 2 : cost  0
0.122 * * [simplify]: Extracting # 3 : cost  0
0.123 * * [simplify]: iteration  2 :  204  enodes  (cost  101 )
0.187 * * [simplify]: Extracting # 0 : cost  0
0.188 * * [simplify]: Extracting # 1 : cost  0
0.188 * * [simplify]: Extracting # 2 : cost  0
0.188 * * [simplify]: Extracting # 3 : cost  0
0.189 * * [simplify]: Extracting # 4 : cost  0
0.189 * * [simplify]: iteration  3 :  425  enodes  (cost  101 )
0.403 * * [simplify]: Extracting # 0 : cost  0
0.405 * * [simplify]: Extracting # 1 : cost  0
0.406 * * [simplify]: Extracting # 2 : cost  0
0.407 * * [simplify]: Extracting # 3 : cost  0
0.408 * * [simplify]: Extracting # 4 : cost  0
0.410 * * [simplify]: iteration  4 :  1105  enodes  (cost  101 )
1.530 * * [simplify]: Extracting # 0 : cost  0
1.534 * * [simplify]: Extracting # 1 : cost  0
1.537 * * [simplify]: Extracting # 2 : cost  0
1.540 * * [simplify]: Extracting # 3 : cost  0
1.544 * * [simplify]: Extracting # 4 : cost  0
1.547 * * [simplify]: Extracting # 5 : cost  0
1.550 * * [simplify]: iteration  5 :  2782  enodes  (cost  101 )
3.078 * * [simplify]: Extracting # 0 : cost  0
3.085 * * [simplify]: Extracting # 1 : cost  0
3.092 * * [simplify]: Extracting # 2 : cost  0
3.097 * * [simplify]: Extracting # 3 : cost  0
3.101 * * [simplify]: Extracting # 4 : cost  0
3.107 * * [simplify]: iteration done:  5000  enodes  (cost  101 )
3.107 * [simplify]: Simplified to:
  (exp (+ (* x x) 1.0))
  (log (+ (* x x) 1.0))
  (exp (+ (* x x) 1.0))
  (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))
  (cbrt (+ (* x x) 1.0))
  (pow (+ (* x x) 1.0) 3)
  (sqrt (+ (* x x) 1.0))
  (sqrt (+ (* x x) 1.0))
  (+ (pow x 6) (pow 1.0 3))
  (+ (* 1.0 (- 1.0 (* x x))) (pow x 4))
  (- (pow x 4) (* 1.0 1.0))
  (- (* x x) 1.0)
  (+ (* x x) 1.0)
  (+ (* x x) 1.0)
  (+ (* x x) 1.0)
3.108 * * * [progress]: adding candidates to table
3.146 * * [progress]: iteration 2 / 4
3.146 * * * [progress]: picking best candidate
3.148 * * * * [pick]: Picked  #<alt (λ (x) (exp (log (+ (* x x) 1.0))))>
3.148 * * * [progress]: localizing error
3.161 * * * [progress]: generating rewritten candidates
3.161 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
3.170 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.180 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
3.192 * * * [progress]: generating series expansions
3.192 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
3.192 * [backup-simplify]: Simplify (log (+ (* x x) 1.0)) into (log (+ (pow x 2) 1.0))
3.192 * [approximate]: Taking taylor expansion of (log (+ (pow x 2) 1.0)) in (x) around 0
3.192 * [taylor]: Taking taylor expansion of (log (+ (pow x 2) 1.0)) in x
3.193 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
3.193 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.193 * [taylor]: Taking taylor expansion of x in x
3.193 * [backup-simplify]: Simplify 0 into 0
3.193 * [backup-simplify]: Simplify 1 into 1
3.193 * [taylor]: Taking taylor expansion of 1.0 in x
3.193 * [backup-simplify]: Simplify 1.0 into 1.0
3.194 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.194 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
3.194 * [taylor]: Taking taylor expansion of (log (+ (pow x 2) 1.0)) in x
3.194 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
3.194 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.194 * [taylor]: Taking taylor expansion of x in x
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [taylor]: Taking taylor expansion of 1.0 in x
3.194 * [backup-simplify]: Simplify 1.0 into 1.0
3.195 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.195 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
3.195 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
3.196 * [backup-simplify]: Simplify (+ 0 0) into 0
3.197 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1.0 1)))) 1) into 0
3.197 * [backup-simplify]: Simplify 0 into 0
3.198 * [backup-simplify]: Simplify (* 1 1) into 1
3.198 * [backup-simplify]: Simplify (+ 1 0) into 1
3.208 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1.0 1)))) 2) into 1.0
3.208 * [backup-simplify]: Simplify 1.0 into 1.0
3.209 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.209 * [backup-simplify]: Simplify (+ 0 0) into 0
3.214 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 1) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1.0 1)))) 6) into 0
3.215 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.216 * [backup-simplify]: Simplify (+ 0 0) into 0
3.250 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 1) 1)) (pow 1.0 3))) (* -3 (/ (* 1 (pow (* 2 1) 2)) (pow 1.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1.0 1)))) 24) into (/ -1/2 (pow 1.0 2))
3.254 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
3.256 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow x 4)) (+ (* 1.0 (pow x 2)) (log 1.0))) into (- (+ (* 1.0 (pow x 2)) (log 1.0)) (* 1/2 (/ (pow x 4) (pow 1.0 2))))
3.256 * [backup-simplify]: Simplify (log (+ (* (/ 1 x) (/ 1 x)) 1.0)) into (log (+ (/ 1 (pow x 2)) 1.0))
3.256 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) 1.0)) in (x) around 0
3.256 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) 1.0)) in x
3.256 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.256 * [taylor]: Taking taylor expansion of x in x
3.256 * [backup-simplify]: Simplify 0 into 0
3.256 * [backup-simplify]: Simplify 1 into 1
3.256 * [backup-simplify]: Simplify (* 1 1) into 1
3.256 * [backup-simplify]: Simplify (/ 1 1) into 1
3.256 * [taylor]: Taking taylor expansion of 1.0 in x
3.256 * [backup-simplify]: Simplify 1.0 into 1.0
3.257 * [backup-simplify]: Simplify (+ 1 0) into 1
3.257 * [backup-simplify]: Simplify (log 1) into 0
3.257 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) 1.0)) in x
3.257 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.257 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.257 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.257 * [taylor]: Taking taylor expansion of x in x
3.257 * [backup-simplify]: Simplify 0 into 0
3.257 * [backup-simplify]: Simplify 1 into 1
3.257 * [backup-simplify]: Simplify (* 1 1) into 1
3.258 * [backup-simplify]: Simplify (/ 1 1) into 1
3.258 * [taylor]: Taking taylor expansion of 1.0 in x
3.258 * [backup-simplify]: Simplify 1.0 into 1.0
3.258 * [backup-simplify]: Simplify (+ 1 0) into 1
3.258 * [backup-simplify]: Simplify (log 1) into 0
3.258 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
3.258 * [backup-simplify]: Simplify (- (* 2 (log x))) into (- (* 2 (log x)))
3.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.259 * [backup-simplify]: Simplify (+ 0 0) into 0
3.260 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
3.260 * [backup-simplify]: Simplify 0 into 0
3.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.262 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.268 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into 1.0
3.268 * [backup-simplify]: Simplify 1.0 into 1.0
3.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.269 * [backup-simplify]: Simplify (+ 0 0) into 0
3.272 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 1.0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
3.272 * [backup-simplify]: Simplify 0 into 0
3.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.273 * [backup-simplify]: Simplify (+ 0 0) into 0
3.303 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 1.0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1.0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into -0.5
3.303 * [backup-simplify]: Simplify -0.5 into -0.5
3.304 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 x) 4)) (+ (* 1.0 (pow (/ 1 x) 2)) (- (* 2 (log (/ 1 x)))))) into (- (* 1.0 (/ 1 (pow x 2))) (+ (* 2 (log (/ 1 x))) (* 0.5 (/ 1 (pow x 4)))))
3.304 * [backup-simplify]: Simplify (log (+ (* (/ 1 (- x)) (/ 1 (- x))) 1.0)) into (log (+ (/ 1 (pow x 2)) 1.0))
3.304 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) 1.0)) in (x) around 0
3.304 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) 1.0)) in x
3.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.304 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.304 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.304 * [taylor]: Taking taylor expansion of x in x
3.304 * [backup-simplify]: Simplify 0 into 0
3.304 * [backup-simplify]: Simplify 1 into 1
3.304 * [backup-simplify]: Simplify (* 1 1) into 1
3.305 * [backup-simplify]: Simplify (/ 1 1) into 1
3.305 * [taylor]: Taking taylor expansion of 1.0 in x
3.305 * [backup-simplify]: Simplify 1.0 into 1.0
3.305 * [backup-simplify]: Simplify (+ 1 0) into 1
3.306 * [backup-simplify]: Simplify (log 1) into 0
3.306 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) 1.0)) in x
3.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.306 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.306 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.306 * [taylor]: Taking taylor expansion of x in x
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.306 * [backup-simplify]: Simplify (* 1 1) into 1
3.307 * [backup-simplify]: Simplify (/ 1 1) into 1
3.307 * [taylor]: Taking taylor expansion of 1.0 in x
3.307 * [backup-simplify]: Simplify 1.0 into 1.0
3.307 * [backup-simplify]: Simplify (+ 1 0) into 1
3.307 * [backup-simplify]: Simplify (log 1) into 0
3.308 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
3.308 * [backup-simplify]: Simplify (- (* 2 (log x))) into (- (* 2 (log x)))
3.309 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.310 * [backup-simplify]: Simplify (+ 0 0) into 0
3.311 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
3.311 * [backup-simplify]: Simplify 0 into 0
3.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.313 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.319 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into 1.0
3.319 * [backup-simplify]: Simplify 1.0 into 1.0
3.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.320 * [backup-simplify]: Simplify (+ 0 0) into 0
3.323 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 1.0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
3.323 * [backup-simplify]: Simplify 0 into 0
3.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.325 * [backup-simplify]: Simplify (+ 0 0) into 0
3.342 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 1.0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1.0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into -0.5
3.342 * [backup-simplify]: Simplify -0.5 into -0.5
3.343 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 (- x)) 4)) (+ (* 1.0 (pow (/ 1 (- x)) 2)) (- (* 2 (log (/ 1 (- x))))))) into (- (* 1.0 (/ 1 (pow x 2))) (+ (* 0.5 (/ 1 (pow x 4))) (* 2 (log (/ -1 x)))))
3.343 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.343 * [backup-simplify]: Simplify (exp (log (+ (* x x) 1.0))) into (+ (pow x 2) 1.0)
3.343 * [approximate]: Taking taylor expansion of (+ (pow x 2) 1.0) in (x) around 0
3.343 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
3.343 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.343 * [taylor]: Taking taylor expansion of x in x
3.343 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [taylor]: Taking taylor expansion of 1.0 in x
3.343 * [backup-simplify]: Simplify 1.0 into 1.0
3.343 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
3.343 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.343 * [taylor]: Taking taylor expansion of x in x
3.343 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [taylor]: Taking taylor expansion of 1.0 in x
3.343 * [backup-simplify]: Simplify 1.0 into 1.0
3.343 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.344 * [backup-simplify]: Simplify 1.0 into 1.0
3.344 * [backup-simplify]: Simplify (+ 0 0) into 0
3.344 * [backup-simplify]: Simplify 0 into 0
3.344 * [backup-simplify]: Simplify (* 1 1) into 1
3.345 * [backup-simplify]: Simplify (+ 1 0) into 1
3.345 * [backup-simplify]: Simplify 1 into 1
3.345 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.346 * [backup-simplify]: Simplify (+ 0 0) into 0
3.346 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.347 * [backup-simplify]: Simplify (+ 0 0) into 0
3.347 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.348 * [backup-simplify]: Simplify (+ 0 0) into 0
3.348 * [backup-simplify]: Simplify 0 into 0
3.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.349 * [backup-simplify]: Simplify (+ 0 0) into 0
3.350 * [backup-simplify]: Simplify 0 into 0
3.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.350 * [backup-simplify]: Simplify (+ 0 0) into 0
3.350 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.352 * [backup-simplify]: Simplify (+ 0 0) into 0
3.352 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) 1.0) into (+ (pow x 2) 1.0)
3.352 * [backup-simplify]: Simplify (exp (log (+ (* (/ 1 x) (/ 1 x)) 1.0))) into (+ (/ 1 (pow x 2)) 1.0)
3.352 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0
3.352 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.352 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.352 * [taylor]: Taking taylor expansion of x in x
3.352 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify 1 into 1
3.352 * [backup-simplify]: Simplify (* 1 1) into 1
3.353 * [backup-simplify]: Simplify (/ 1 1) into 1
3.353 * [taylor]: Taking taylor expansion of 1.0 in x
3.353 * [backup-simplify]: Simplify 1.0 into 1.0
3.353 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.353 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.353 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.353 * [taylor]: Taking taylor expansion of x in x
3.353 * [backup-simplify]: Simplify 0 into 0
3.353 * [backup-simplify]: Simplify 1 into 1
3.353 * [backup-simplify]: Simplify (* 1 1) into 1
3.353 * [backup-simplify]: Simplify (/ 1 1) into 1
3.353 * [taylor]: Taking taylor expansion of 1.0 in x
3.353 * [backup-simplify]: Simplify 1.0 into 1.0
3.354 * [backup-simplify]: Simplify (+ 1 0) into 1
3.354 * [backup-simplify]: Simplify 1 into 1
3.354 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.358 * [backup-simplify]: Simplify (+ 0 0) into 0
3.358 * [backup-simplify]: Simplify 0 into 0
3.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.359 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.359 * [backup-simplify]: Simplify 1.0 into 1.0
3.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.360 * [backup-simplify]: Simplify (+ 0 0) into 0
3.360 * [backup-simplify]: Simplify 0 into 0
3.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.362 * [backup-simplify]: Simplify (+ 0 0) into 0
3.362 * [backup-simplify]: Simplify 0 into 0
3.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.363 * [backup-simplify]: Simplify (+ 0 0) into 0
3.363 * [backup-simplify]: Simplify 0 into 0
3.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.366 * [backup-simplify]: Simplify (+ 0 0) into 0
3.366 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.369 * [backup-simplify]: Simplify (+ 0 0) into 0
3.369 * [backup-simplify]: Simplify 0 into 0
3.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.372 * [backup-simplify]: Simplify (+ 0 0) into 0
3.372 * [backup-simplify]: Simplify 0 into 0
3.372 * [backup-simplify]: Simplify (+ 1.0 (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (pow x 2) 1.0)
3.373 * [backup-simplify]: Simplify (exp (log (+ (* (/ 1 (- x)) (/ 1 (- x))) 1.0))) into (+ (/ 1 (pow x 2)) 1.0)
3.373 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0
3.373 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.373 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.373 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.373 * [taylor]: Taking taylor expansion of x in x
3.373 * [backup-simplify]: Simplify 0 into 0
3.373 * [backup-simplify]: Simplify 1 into 1
3.373 * [backup-simplify]: Simplify (* 1 1) into 1
3.374 * [backup-simplify]: Simplify (/ 1 1) into 1
3.374 * [taylor]: Taking taylor expansion of 1.0 in x
3.374 * [backup-simplify]: Simplify 1.0 into 1.0
3.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.374 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.374 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.374 * [taylor]: Taking taylor expansion of x in x
3.374 * [backup-simplify]: Simplify 0 into 0
3.374 * [backup-simplify]: Simplify 1 into 1
3.374 * [backup-simplify]: Simplify (* 1 1) into 1
3.375 * [backup-simplify]: Simplify (/ 1 1) into 1
3.375 * [taylor]: Taking taylor expansion of 1.0 in x
3.375 * [backup-simplify]: Simplify 1.0 into 1.0
3.375 * [backup-simplify]: Simplify (+ 1 0) into 1
3.375 * [backup-simplify]: Simplify 1 into 1
3.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.377 * [backup-simplify]: Simplify (+ 0 0) into 0
3.377 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.379 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.379 * [backup-simplify]: Simplify 1.0 into 1.0
3.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.381 * [backup-simplify]: Simplify (+ 0 0) into 0
3.381 * [backup-simplify]: Simplify 0 into 0
3.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.383 * [backup-simplify]: Simplify (+ 0 0) into 0
3.384 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.386 * [backup-simplify]: Simplify (+ 0 0) into 0
3.386 * [backup-simplify]: Simplify 0 into 0
3.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.387 * [backup-simplify]: Simplify (+ 0 0) into 0
3.387 * [backup-simplify]: Simplify 0 into 0
3.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.389 * [backup-simplify]: Simplify (+ 0 0) into 0
3.389 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.391 * [backup-simplify]: Simplify (+ 0 0) into 0
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify (+ 1.0 (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (pow x 2) 1.0)
3.391 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
3.391 * [backup-simplify]: Simplify (+ (* x x) 1.0) into (+ (pow x 2) 1.0)
3.391 * [approximate]: Taking taylor expansion of (+ (pow x 2) 1.0) in (x) around 0
3.391 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
3.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.391 * [taylor]: Taking taylor expansion of x in x
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [taylor]: Taking taylor expansion of 1.0 in x
3.391 * [backup-simplify]: Simplify 1.0 into 1.0
3.391 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
3.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.391 * [taylor]: Taking taylor expansion of x in x
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [taylor]: Taking taylor expansion of 1.0 in x
3.391 * [backup-simplify]: Simplify 1.0 into 1.0
3.392 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.392 * [backup-simplify]: Simplify 1.0 into 1.0
3.392 * [backup-simplify]: Simplify (+ 0 0) into 0
3.392 * [backup-simplify]: Simplify 0 into 0
3.392 * [backup-simplify]: Simplify (* 1 1) into 1
3.392 * [backup-simplify]: Simplify (+ 1 0) into 1
3.392 * [backup-simplify]: Simplify 1 into 1
3.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.393 * [backup-simplify]: Simplify (+ 0 0) into 0
3.393 * [backup-simplify]: Simplify 0 into 0
3.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.394 * [backup-simplify]: Simplify (+ 0 0) into 0
3.394 * [backup-simplify]: Simplify 0 into 0
3.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.394 * [backup-simplify]: Simplify (+ 0 0) into 0
3.395 * [backup-simplify]: Simplify 0 into 0
3.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.395 * [backup-simplify]: Simplify (+ 0 0) into 0
3.395 * [backup-simplify]: Simplify 0 into 0
3.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.396 * [backup-simplify]: Simplify (+ 0 0) into 0
3.396 * [backup-simplify]: Simplify 0 into 0
3.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.397 * [backup-simplify]: Simplify (+ 0 0) into 0
3.397 * [backup-simplify]: Simplify 0 into 0
3.398 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) 1.0) into (+ (pow x 2) 1.0)
3.398 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) 1.0) into (+ (/ 1 (pow x 2)) 1.0)
3.398 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0
3.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.398 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.398 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.398 * [taylor]: Taking taylor expansion of x in x
3.398 * [backup-simplify]: Simplify 0 into 0
3.398 * [backup-simplify]: Simplify 1 into 1
3.398 * [backup-simplify]: Simplify (* 1 1) into 1
3.398 * [backup-simplify]: Simplify (/ 1 1) into 1
3.398 * [taylor]: Taking taylor expansion of 1.0 in x
3.398 * [backup-simplify]: Simplify 1.0 into 1.0
3.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.398 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.398 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.398 * [taylor]: Taking taylor expansion of x in x
3.398 * [backup-simplify]: Simplify 0 into 0
3.398 * [backup-simplify]: Simplify 1 into 1
3.399 * [backup-simplify]: Simplify (* 1 1) into 1
3.399 * [backup-simplify]: Simplify (/ 1 1) into 1
3.399 * [taylor]: Taking taylor expansion of 1.0 in x
3.399 * [backup-simplify]: Simplify 1.0 into 1.0
3.399 * [backup-simplify]: Simplify (+ 1 0) into 1
3.399 * [backup-simplify]: Simplify 1 into 1
3.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.400 * [backup-simplify]: Simplify (+ 0 0) into 0
3.400 * [backup-simplify]: Simplify 0 into 0
3.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.402 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.402 * [backup-simplify]: Simplify 1.0 into 1.0
3.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.403 * [backup-simplify]: Simplify (+ 0 0) into 0
3.403 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.405 * [backup-simplify]: Simplify (+ 0 0) into 0
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.406 * [backup-simplify]: Simplify (+ 0 0) into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.408 * [backup-simplify]: Simplify (+ 0 0) into 0
3.408 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.409 * [backup-simplify]: Simplify (+ 0 0) into 0
3.409 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.411 * [backup-simplify]: Simplify (+ 0 0) into 0
3.411 * [backup-simplify]: Simplify 0 into 0
3.411 * [backup-simplify]: Simplify (+ 1.0 (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (pow x 2) 1.0)
3.412 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) 1.0) into (+ (/ 1 (pow x 2)) 1.0)
3.412 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0
3.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.412 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.412 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.412 * [taylor]: Taking taylor expansion of x in x
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 1 into 1
3.412 * [backup-simplify]: Simplify (* 1 1) into 1
3.412 * [backup-simplify]: Simplify (/ 1 1) into 1
3.412 * [taylor]: Taking taylor expansion of 1.0 in x
3.412 * [backup-simplify]: Simplify 1.0 into 1.0
3.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.412 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.412 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.412 * [taylor]: Taking taylor expansion of x in x
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 1 into 1
3.412 * [backup-simplify]: Simplify (* 1 1) into 1
3.413 * [backup-simplify]: Simplify (/ 1 1) into 1
3.413 * [taylor]: Taking taylor expansion of 1.0 in x
3.413 * [backup-simplify]: Simplify 1.0 into 1.0
3.413 * [backup-simplify]: Simplify (+ 1 0) into 1
3.413 * [backup-simplify]: Simplify 1 into 1
3.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.415 * [backup-simplify]: Simplify (+ 0 0) into 0
3.415 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.417 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.417 * [backup-simplify]: Simplify 1.0 into 1.0
3.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.418 * [backup-simplify]: Simplify (+ 0 0) into 0
3.418 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.420 * [backup-simplify]: Simplify (+ 0 0) into 0
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.421 * [backup-simplify]: Simplify (+ 0 0) into 0
3.421 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.423 * [backup-simplify]: Simplify (+ 0 0) into 0
3.423 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.424 * [backup-simplify]: Simplify (+ 0 0) into 0
3.424 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.426 * [backup-simplify]: Simplify (+ 0 0) into 0
3.426 * [backup-simplify]: Simplify 0 into 0
3.426 * [backup-simplify]: Simplify (+ 1.0 (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (pow x 2) 1.0)
3.427 * * * [progress]: simplifying candidates
3.427 * [simplify]: Simplifying:
  (log (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0))))
  (log (cbrt (+ (* x x) 1.0)))
  (log (sqrt (+ (* x x) 1.0)))
  (log (sqrt (+ (* x x) 1.0)))
  (log 1)
  (log (+ (* x x) 1.0))
  (log (+ (pow (* x x) 3) (pow 1.0 3)))
  (log (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0))))
  (log (- (* (* x x) (* x x)) (* 1.0 1.0)))
  (log (- (* x x) 1.0))
  (log (+ (* x x) 1.0))
  (log (log (+ (* x x) 1.0)))
  (exp (log (+ (* x x) 1.0)))
  (* (cbrt (log (+ (* x x) 1.0))) (cbrt (log (+ (* x x) 1.0))))
  (cbrt (log (+ (* x x) 1.0)))
  (* (* (log (+ (* x x) 1.0)) (log (+ (* x x) 1.0))) (log (+ (* x x) 1.0)))
  (sqrt (log (+ (* x x) 1.0)))
  (sqrt (log (+ (* x x) 1.0)))
  (exp 1)
  (exp (* (cbrt (log (+ (* x x) 1.0))) (cbrt (log (+ (* x x) 1.0)))))
  (exp (sqrt (log (+ (* x x) 1.0))))
  (exp 1)
  (exp (log (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))))
  (exp (log (cbrt (+ (* x x) 1.0))))
  (exp (log (sqrt (+ (* x x) 1.0))))
  (exp (log (sqrt (+ (* x x) 1.0))))
  (exp (log 1))
  (exp (log (+ (* x x) 1.0)))
  (exp (log (+ (pow (* x x) 3) (pow 1.0 3))))
  (exp (log (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0)))))
  (exp (log (- (* (* x x) (* x x)) (* 1.0 1.0))))
  (exp (log (- (* x x) 1.0)))
  (log (exp (log (+ (* x x) 1.0))))
  (exp (exp (log (+ (* x x) 1.0))))
  (* (cbrt (exp (log (+ (* x x) 1.0)))) (cbrt (exp (log (+ (* x x) 1.0)))))
  (cbrt (exp (log (+ (* x x) 1.0))))
  (* (* (exp (log (+ (* x x) 1.0))) (exp (log (+ (* x x) 1.0)))) (exp (log (+ (* x x) 1.0))))
  (sqrt (exp (log (+ (* x x) 1.0))))
  (sqrt (exp (log (+ (* x x) 1.0))))
  (* (exp (* x x)) (exp 1.0))
  (log (+ (* x x) 1.0))
  (exp (+ (* x x) 1.0))
  (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))
  (cbrt (+ (* x x) 1.0))
  (* (* (+ (* x x) 1.0) (+ (* x x) 1.0)) (+ (* x x) 1.0))
  (sqrt (+ (* x x) 1.0))
  (sqrt (+ (* x x) 1.0))
  (+ (pow (* x x) 3) (pow 1.0 3))
  (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0)))
  (- (* (* x x) (* x x)) (* 1.0 1.0))
  (- (* x x) 1.0)
  (- (+ (* 1.0 (pow x 2)) (log 1.0)) (* 1/2 (/ (pow x 4) (pow 1.0 2))))
  (- (* 1.0 (/ 1 (pow x 2))) (+ (* 2 (log (/ 1 x))) (* 0.5 (/ 1 (pow x 4)))))
  (- (* 1.0 (/ 1 (pow x 2))) (+ (* 0.5 (/ 1 (pow x 4))) (* 2 (log (/ -1 x)))))
  (+ (pow x 2) 1.0)
  (+ (pow x 2) 1.0)
  (+ (pow x 2) 1.0)
  (+ (pow x 2) 1.0)
  (+ (pow x 2) 1.0)
  (+ (pow x 2) 1.0)
3.428 * * [simplify]: Extracting # 0 : cost  0
3.428 * * [simplify]: Extracting # 1 : cost  0
3.428 * * [simplify]: Extracting # 2 : cost  0
3.428 * * [simplify]: Extracting # 3 : cost  0
3.428 * * [simplify]: Extracting # 4 : cost  0
3.429 * * [simplify]: Extracting # 5 : cost  0
3.429 * * [simplify]: Extracting # 6 : cost  0
3.429 * * [simplify]: Extracting # 7 : cost  0
3.429 * * [simplify]: Extracting # 8 : cost  0
3.429 * * [simplify]: Extracting # 9 : cost  0
3.429 * * [simplify]: iteration  0 :  88  enodes  (cost  573 )
3.458 * * [simplify]: Extracting # 0 : cost  0
3.458 * * [simplify]: Extracting # 1 : cost  0
3.458 * * [simplify]: Extracting # 2 : cost  0
3.459 * * [simplify]: Extracting # 3 : cost  0
3.459 * * [simplify]: Extracting # 4 : cost  0
3.459 * * [simplify]: iteration  1 :  184  enodes  (cost  496 )
3.545 * * [simplify]: Extracting # 0 : cost  0
3.546 * * [simplify]: Extracting # 1 : cost  0
3.546 * * [simplify]: Extracting # 2 : cost  0
3.547 * * [simplify]: Extracting # 3 : cost  0
3.547 * * [simplify]: Extracting # 4 : cost  0
3.547 * * [simplify]: iteration  2 :  409  enodes  (cost  436 )
3.727 * * [simplify]: Extracting # 0 : cost  0
3.729 * * [simplify]: Extracting # 1 : cost  0
3.731 * * [simplify]: Extracting # 2 : cost  0
3.732 * * [simplify]: Extracting # 3 : cost  0
3.734 * * [simplify]: Extracting # 4 : cost  0
3.735 * * [simplify]: iteration  3 :  951  enodes  (cost  435 )
4.496 * * [simplify]: Extracting # 0 : cost  0
4.499 * * [simplify]: Extracting # 1 : cost  0
4.502 * * [simplify]: Extracting # 2 : cost  0
4.507 * * [simplify]: Extracting # 3 : cost  0
4.511 * * [simplify]: Extracting # 4 : cost  0
4.513 * * [simplify]: iteration  4 :  2884  enodes  (cost  429 )
6.363 * * [simplify]: Extracting # 0 : cost  0
6.374 * * [simplify]: Extracting # 1 : cost  0
6.379 * * [simplify]: Extracting # 2 : cost  0
6.384 * * [simplify]: Extracting # 3 : cost  0
6.391 * * [simplify]: Extracting # 4 : cost  0
6.399 * * [simplify]: iteration done:  5001  enodes  (cost  429 )
6.399 * [simplify]: Simplified to:
  (* 2 (log (cbrt (+ (* x x) 1.0))))
  (log (cbrt (+ (* x x) 1.0)))
  (log (sqrt (+ (* x x) 1.0)))
  (log (sqrt (+ (* x x) 1.0)))
  0
  (log (+ 1.0 (pow x 2)))
  (log (+ (pow 1.0 3) (pow x 6)))
  (log (+ (* 1.0 (- 1.0 (* x x))) (pow x 4)))
  (log (- (pow x 4) (* 1.0 1.0)))
  (log (- (* x x) 1.0))
  (log (+ 1.0 (pow x 2)))
  (log (log (+ (* x x) 1.0)))
  (+ 1.0 (pow x 2))
  (* (cbrt (log (+ (* x x) 1.0))) (cbrt (log (+ (* x x) 1.0))))
  (cbrt (log (+ (* x x) 1.0)))
  (pow (log (+ 1.0 (pow x 2))) 3)
  (sqrt (log (+ (* x x) 1.0)))
  (sqrt (log (+ (* x x) 1.0)))
  E
  (exp (* (cbrt (log (+ (* x x) 1.0))) (cbrt (log (+ (* x x) 1.0)))))
  (exp (sqrt (log (+ (* x x) 1.0))))
  E
  (pow (cbrt (+ 1.0 (pow x 2))) 2)
  (cbrt (+ 1.0 (pow x 2)))
  (sqrt (+ (* x x) 1.0))
  (sqrt (+ (* x x) 1.0))
  1
  (+ 1.0 (pow x 2))
  (+ (pow 1.0 3) (pow x 6))
  (+ (* 1.0 (- 1.0 (* x x))) (pow x 4))
  (- (pow x 4) (* 1.0 1.0))
  (- (* x x) 1.0)
  (log (+ 1.0 (pow x 2)))
  (exp (+ 1.0 (pow x 2)))
  (pow (cbrt (+ 1.0 (pow x 2))) 2)
  (cbrt (+ 1.0 (pow x 2)))
  (pow (+ 1.0 (pow x 2)) 3)
  (sqrt (+ (* x x) 1.0))
  (sqrt (+ (* x x) 1.0))
  (exp (+ 1.0 (pow x 2)))
  (log (+ 1.0 (pow x 2)))
  (exp (+ 1.0 (pow x 2)))
  (pow (cbrt (+ 1.0 (pow x 2))) 2)
  (cbrt (+ 1.0 (pow x 2)))
  (pow (+ 1.0 (pow x 2)) 3)
  (sqrt (+ (* x x) 1.0))
  (sqrt (+ (* x x) 1.0))
  (+ (pow 1.0 3) (pow x 6))
  (+ (* 1.0 (- 1.0 (* x x))) (pow x 4))
  (- (pow x 4) (* 1.0 1.0))
  (- (* x x) 1.0)
  (- (+ (* 1.0 (pow x 2)) (log 1.0)) (* 1/2 (/ (pow x 4) (pow 1.0 2))))
  (+ (- (/ 1.0 (* x x)) (/ 0.5 (pow x 4))) (* 2 (log x)))
  (- (/ 1.0 (* x x)) (+ (/ 0.5 (pow x 4)) (* 2 (log (/ -1 x)))))
  (+ 1.0 (pow x 2))
  (+ 1.0 (pow x 2))
  (+ 1.0 (pow x 2))
  (+ 1.0 (pow x 2))
  (+ 1.0 (pow x 2))
  (+ 1.0 (pow x 2))
6.400 * * * [progress]: adding candidates to table
6.521 * [progress]: [Phase 3 of 3] Extracting.
6.521 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* x x) 1.0))> #<alt (λ (x) (exp (log (+ (* x x) 1.0))))>)
6.522 * * * [regime-changes]: Trying 3 branch expressions: ((* x x) (+ (* x x) 1.0) x)
6.522 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (+ (* x x) 1.0))> #<alt (λ (x) (exp (log (+ (* x x) 1.0))))>)
6.533 * * * * [regimes]: Trying to branch on (+ (* x x) 1.0) from (#<alt (λ (x) (+ (* x x) 1.0))> #<alt (λ (x) (exp (log (+ (* x x) 1.0))))>)
6.541 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* x x) 1.0))> #<alt (λ (x) (exp (log (+ (* x x) 1.0))))>)
6.551 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.551 * [simplify]: Simplifying:
  (+ (* x x) 1.0)
6.551 * * [simplify]: Extracting # 0 : cost  0
6.551 * * [simplify]: Extracting # 1 : cost  0
6.551 * * [simplify]: Extracting # 2 : cost  0
6.551 * * [simplify]: Extracting # 3 : cost  0
6.551 * * [simplify]: Extracting # 4 : cost  0
6.551 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
6.551 * * [simplify]: Extracting # 0 : cost  0
6.551 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
6.552 * * [simplify]: Extracting # 0 : cost  0
6.552 * * [simplify]: iteration done:  5  enodes  (cost  5 )
6.552 * [simplify]: Simplified to:
  (+ (* x x) 1.0)
7.204 * [regime-testing]: Baseline error score: 0.0011251406425803225
7.206 * [regime-testing]: Oracle error score: 0.0010001250156269534
7.210 * [regime-testing]: End program error score: 0.0011251406425803225