30.978 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.089 * * * [progress]: [2/2] Setting up program.
0.091 * [progress]: [Phase 2 of 3] Improving.
0.092 * [simplify]: Simplifying:
  (- (exp x) 1.0)
0.092 * * [simplify]: Extracting # 0 : cost  0
0.092 * * [simplify]: Extracting # 1 : cost  0
0.092 * * [simplify]: Extracting # 2 : cost  0
0.092 * * [simplify]: Extracting # 3 : cost  0
0.092 * * [simplify]: Extracting # 4 : cost  0
0.092 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
0.094 * * [simplify]: Extracting # 0 : cost  0
0.094 * * [simplify]: Extracting # 1 : cost  0
0.094 * * [simplify]: Extracting # 2 : cost  0
0.094 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
0.095 * * [simplify]: Extracting # 0 : cost  0
0.096 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
0.098 * * [simplify]: Extracting # 0 : cost  0
0.098 * * [simplify]: iteration done:  7  enodes  (cost  4 )
0.098 * [simplify]: Simplified to:
  (- (exp x) 1.0)
0.098 * * [progress]: iteration 1 / 4
0.098 * * * [progress]: picking best candidate
0.100 * * * * [pick]: Picked  #<alt (λ (x) (- (exp x) 1.0))>
0.100 * * * [progress]: localizing error
0.107 * * * [progress]: generating rewritten candidates
0.107 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.126 * * * [progress]: generating series expansions
0.126 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.126 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0)
0.126 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.126 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.126 * [taylor]: Taking taylor expansion of (exp x) in x
0.126 * [taylor]: Taking taylor expansion of x in x
0.127 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify 1 into 1
0.127 * [backup-simplify]: Simplify (exp 0) into 1
0.127 * [taylor]: Taking taylor expansion of 1.0 in x
0.127 * [backup-simplify]: Simplify 1.0 into 1.0
0.127 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.127 * [taylor]: Taking taylor expansion of (exp x) in x
0.127 * [taylor]: Taking taylor expansion of x in x
0.127 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify 1 into 1
0.127 * [backup-simplify]: Simplify (exp 0) into 1
0.127 * [taylor]: Taking taylor expansion of 1.0 in x
0.127 * [backup-simplify]: Simplify 1.0 into 1.0
0.127 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.128 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
0.128 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.130 * [backup-simplify]: Simplify (- 0) into 0
0.130 * [backup-simplify]: Simplify (+ 1 0) into 1
0.130 * [backup-simplify]: Simplify 1 into 1
0.132 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.132 * [backup-simplify]: Simplify (- 0) into 0
0.132 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.132 * [backup-simplify]: Simplify 1/2 into 1/2
0.134 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.135 * [backup-simplify]: Simplify (- 0) into 0
0.135 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.135 * [backup-simplify]: Simplify 1/6 into 1/6
0.136 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
0.136 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.136 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.136 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.136 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (/ 1 1) into 1
0.137 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.137 * [taylor]: Taking taylor expansion of 1.0 in x
0.137 * [backup-simplify]: Simplify 1.0 into 1.0
0.137 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.137 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (/ 1 1) into 1
0.137 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.138 * [taylor]: Taking taylor expansion of 1.0 in x
0.138 * [backup-simplify]: Simplify 1.0 into 1.0
0.138 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.138 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
0.139 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.139 * [backup-simplify]: Simplify (- 0) into 0
0.139 * [backup-simplify]: Simplify (+ 0 0) into 0
0.139 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify (- 0) into 0
0.140 * [backup-simplify]: Simplify (+ 0 0) into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify (- 0) into 0
0.141 * [backup-simplify]: Simplify (+ 0 0) into 0
0.141 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify (- 0) into 0
0.141 * [backup-simplify]: Simplify (+ 0 0) into 0
0.141 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify (- 0) into 0
0.142 * [backup-simplify]: Simplify (+ 0 0) into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (- 0) into 0
0.143 * [backup-simplify]: Simplify (+ 0 0) into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
0.143 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0)
0.143 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.143 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.143 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.143 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.143 * [taylor]: Taking taylor expansion of -1 in x
0.143 * [backup-simplify]: Simplify -1 into -1
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 1 into 1
0.144 * [backup-simplify]: Simplify (/ -1 1) into -1
0.144 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.144 * [taylor]: Taking taylor expansion of 1.0 in x
0.144 * [backup-simplify]: Simplify 1.0 into 1.0
0.144 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.144 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.144 * [taylor]: Taking taylor expansion of -1 in x
0.144 * [backup-simplify]: Simplify -1 into -1
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify 1 into 1
0.145 * [backup-simplify]: Simplify (/ -1 1) into -1
0.145 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.145 * [taylor]: Taking taylor expansion of 1.0 in x
0.145 * [backup-simplify]: Simplify 1.0 into 1.0
0.145 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.146 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
0.146 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
0.146 * [backup-simplify]: Simplify (- 0) into 0
0.147 * [backup-simplify]: Simplify (+ 0 0) into 0
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify (- 0) into 0
0.147 * [backup-simplify]: Simplify (+ 0 0) into 0
0.147 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify (- 0) into 0
0.148 * [backup-simplify]: Simplify (+ 0 0) into 0
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify (- 0) into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (- 0) into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify (- 0) into 0
0.150 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
0.150 * * * [progress]: simplifying candidates
0.151 * [simplify]: Simplifying:
  (/ (exp (exp x)) (exp 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))
  (- 1.0)
  (- (* (exp x) (exp x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
0.152 * * [simplify]: Extracting # 0 : cost  0
0.152 * * [simplify]: Extracting # 1 : cost  0
0.152 * * [simplify]: Extracting # 2 : cost  0
0.152 * * [simplify]: Extracting # 3 : cost  0
0.152 * * [simplify]: Extracting # 4 : cost  0
0.152 * * [simplify]: Extracting # 5 : cost  0
0.152 * * [simplify]: iteration  0 :  39  enodes  (cost  132 )
0.168 * * [simplify]: Extracting # 0 : cost  0
0.168 * * [simplify]: Extracting # 1 : cost  0
0.168 * * [simplify]: Extracting # 2 : cost  0
0.168 * * [simplify]: Extracting # 3 : cost  0
0.168 * * [simplify]: Extracting # 4 : cost  0
0.168 * * [simplify]: iteration  1 :  83  enodes  (cost  127 )
0.189 * * [simplify]: Extracting # 0 : cost  0
0.189 * * [simplify]: Extracting # 1 : cost  0
0.189 * * [simplify]: Extracting # 2 : cost  0
0.190 * * [simplify]: Extracting # 3 : cost  0
0.190 * * [simplify]: iteration  2 :  177  enodes  (cost  119 )
0.258 * * [simplify]: Extracting # 0 : cost  0
0.259 * * [simplify]: Extracting # 1 : cost  0
0.259 * * [simplify]: Extracting # 2 : cost  0
0.260 * * [simplify]: Extracting # 3 : cost  0
0.260 * * [simplify]: iteration  3 :  328  enodes  (cost  117 )
0.383 * * [simplify]: Extracting # 0 : cost  0
0.383 * * [simplify]: Extracting # 1 : cost  0
0.384 * * [simplify]: Extracting # 2 : cost  0
0.385 * * [simplify]: Extracting # 3 : cost  0
0.385 * * [simplify]: Extracting # 4 : cost  0
0.386 * * [simplify]: iteration  4 :  668  enodes  (cost  117 )
0.788 * * [simplify]: Extracting # 0 : cost  0
0.790 * * [simplify]: Extracting # 1 : cost  0
0.792 * * [simplify]: Extracting # 2 : cost  0
0.794 * * [simplify]: Extracting # 3 : cost  0
0.795 * * [simplify]: Extracting # 4 : cost  0
0.797 * * [simplify]: iteration  5 :  1877  enodes  (cost  117 )
2.079 * * [simplify]: Extracting # 0 : cost  0
2.090 * * [simplify]: Extracting # 1 : cost  0
2.101 * * [simplify]: Extracting # 2 : cost  0
2.111 * * [simplify]: Extracting # 3 : cost  0
2.122 * * [simplify]: Extracting # 4 : cost  0
2.140 * * [simplify]: Extracting # 5 : cost  0
2.151 * * [simplify]: iteration done:  5000  enodes  (cost  117 )
2.151 * [simplify]: Simplified to:
  (exp (- (exp x) 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (pow (- (exp x) 1.0) 3)
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* 1.0 (+ (exp x) 1.0)) (exp (+ x x)))
  (- 1.0)
  (- (exp (+ x x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (+ (* (pow x 2) (+ (* 1/6 x) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
2.151 * * * [progress]: adding candidates to table
2.224 * * [progress]: iteration 2 / 4
2.224 * * * [progress]: picking best candidate
2.227 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (pow x 2) (+ (* 1/6 x) 1/2)) x))>
2.227 * * * [progress]: localizing error
2.243 * * * [progress]: generating rewritten candidates
2.244 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 1)
2.263 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.321 * * * [progress]: generating series expansions
2.321 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 1)
2.321 * [backup-simplify]: Simplify (* 1/6 x) into (* 1/6 x)
2.321 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0
2.321 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.321 * [taylor]: Taking taylor expansion of 1/6 in x
2.321 * [backup-simplify]: Simplify 1/6 into 1/6
2.321 * [taylor]: Taking taylor expansion of x in x
2.321 * [backup-simplify]: Simplify 0 into 0
2.321 * [backup-simplify]: Simplify 1 into 1
2.321 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.321 * [taylor]: Taking taylor expansion of 1/6 in x
2.321 * [backup-simplify]: Simplify 1/6 into 1/6
2.321 * [taylor]: Taking taylor expansion of x in x
2.321 * [backup-simplify]: Simplify 0 into 0
2.321 * [backup-simplify]: Simplify 1 into 1
2.322 * [backup-simplify]: Simplify (* 1/6 0) into 0
2.322 * [backup-simplify]: Simplify 0 into 0
2.322 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
2.322 * [backup-simplify]: Simplify 1/6 into 1/6
2.323 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
2.323 * [backup-simplify]: Simplify 0 into 0
2.323 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.323 * [backup-simplify]: Simplify 0 into 0
2.324 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.324 * [backup-simplify]: Simplify 0 into 0
2.325 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.325 * [backup-simplify]: Simplify 0 into 0
2.326 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.326 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify (* 1/6 x) into (* 1/6 x)
2.327 * [backup-simplify]: Simplify (* 1/6 (/ 1 x)) into (/ 1/6 x)
2.327 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0
2.327 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
2.327 * [taylor]: Taking taylor expansion of 1/6 in x
2.327 * [backup-simplify]: Simplify 1/6 into 1/6
2.327 * [taylor]: Taking taylor expansion of x in x
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify 1 into 1
2.328 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.328 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
2.328 * [taylor]: Taking taylor expansion of 1/6 in x
2.328 * [backup-simplify]: Simplify 1/6 into 1/6
2.328 * [taylor]: Taking taylor expansion of x in x
2.328 * [backup-simplify]: Simplify 0 into 0
2.328 * [backup-simplify]: Simplify 1 into 1
2.328 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.328 * [backup-simplify]: Simplify 1/6 into 1/6
2.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0
2.329 * [backup-simplify]: Simplify 0 into 0
2.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.329 * [backup-simplify]: Simplify 0 into 0
2.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.330 * [backup-simplify]: Simplify 0 into 0
2.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.330 * [backup-simplify]: Simplify 0 into 0
2.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.331 * [backup-simplify]: Simplify 0 into 0
2.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.331 * [backup-simplify]: Simplify 0 into 0
2.332 * [backup-simplify]: Simplify (* 1/6 (/ 1 (/ 1 x))) into (* 1/6 x)
2.332 * [backup-simplify]: Simplify (* 1/6 (/ 1 (- x))) into (/ -1/6 x)
2.332 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0
2.332 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
2.332 * [taylor]: Taking taylor expansion of -1/6 in x
2.332 * [backup-simplify]: Simplify -1/6 into -1/6
2.332 * [taylor]: Taking taylor expansion of x in x
2.332 * [backup-simplify]: Simplify 0 into 0
2.332 * [backup-simplify]: Simplify 1 into 1
2.332 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
2.332 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
2.332 * [taylor]: Taking taylor expansion of -1/6 in x
2.332 * [backup-simplify]: Simplify -1/6 into -1/6
2.332 * [taylor]: Taking taylor expansion of x in x
2.332 * [backup-simplify]: Simplify 0 into 0
2.332 * [backup-simplify]: Simplify 1 into 1
2.332 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
2.332 * [backup-simplify]: Simplify -1/6 into -1/6
2.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0
2.333 * [backup-simplify]: Simplify 0 into 0
2.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.334 * [backup-simplify]: Simplify 0 into 0
2.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.334 * [backup-simplify]: Simplify 0 into 0
2.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.335 * [backup-simplify]: Simplify 0 into 0
2.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.335 * [backup-simplify]: Simplify 0 into 0
2.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.336 * [backup-simplify]: Simplify 0 into 0
2.336 * [backup-simplify]: Simplify (* -1/6 (/ 1 (/ 1 (- x)))) into (* 1/6 x)
2.336 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.336 * [backup-simplify]: Simplify (* (pow x 2) (+ (* 1/6 x) 1/2)) into (* (pow x 2) (+ (* 1/6 x) 1/2))
2.336 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0
2.336 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
2.336 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.336 * [taylor]: Taking taylor expansion of x in x
2.336 * [backup-simplify]: Simplify 0 into 0
2.336 * [backup-simplify]: Simplify 1 into 1
2.336 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
2.336 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.336 * [taylor]: Taking taylor expansion of 1/6 in x
2.336 * [backup-simplify]: Simplify 1/6 into 1/6
2.336 * [taylor]: Taking taylor expansion of x in x
2.336 * [backup-simplify]: Simplify 0 into 0
2.336 * [backup-simplify]: Simplify 1 into 1
2.336 * [taylor]: Taking taylor expansion of 1/2 in x
2.336 * [backup-simplify]: Simplify 1/2 into 1/2
2.337 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
2.337 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.337 * [taylor]: Taking taylor expansion of x in x
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify 1 into 1
2.337 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
2.337 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.337 * [taylor]: Taking taylor expansion of 1/6 in x
2.337 * [backup-simplify]: Simplify 1/6 into 1/6
2.337 * [taylor]: Taking taylor expansion of x in x
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify 1 into 1
2.337 * [taylor]: Taking taylor expansion of 1/2 in x
2.337 * [backup-simplify]: Simplify 1/2 into 1/2
2.337 * [backup-simplify]: Simplify (* 1 1) into 1
2.337 * [backup-simplify]: Simplify (* 1/6 0) into 0
2.337 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.338 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
2.338 * [backup-simplify]: Simplify 1/2 into 1/2
2.338 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
2.338 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.339 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
2.339 * [backup-simplify]: Simplify 1/6 into 1/6
2.340 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
2.340 * [backup-simplify]: Simplify (+ 0 0) into 0
2.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (* 0 1/2))) into 0
2.341 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.343 * [backup-simplify]: Simplify (+ 0 0) into 0
2.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))) into 0
2.345 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.347 * [backup-simplify]: Simplify (+ 0 0) into 0
2.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))) into 0
2.350 * [backup-simplify]: Simplify 0 into 0
2.351 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.352 * [backup-simplify]: Simplify (+ 0 0) into 0
2.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))) into 0
2.355 * [backup-simplify]: Simplify 0 into 0
2.357 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.357 * [backup-simplify]: Simplify (+ 0 0) into 0
2.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))) into 0
2.361 * [backup-simplify]: Simplify 0 into 0
2.362 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.363 * [backup-simplify]: Simplify (+ 0 0) into 0
2.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))))) into 0
2.367 * [backup-simplify]: Simplify 0 into 0
2.367 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) into (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
2.368 * [backup-simplify]: Simplify (* (pow (/ 1 x) 2) (+ (* 1/6 (/ 1 x)) 1/2)) into (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2))
2.368 * [approximate]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
2.368 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
2.368 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
2.368 * [taylor]: Taking taylor expansion of 1/2 in x
2.368 * [backup-simplify]: Simplify 1/2 into 1/2
2.368 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.368 * [taylor]: Taking taylor expansion of 1/6 in x
2.368 * [backup-simplify]: Simplify 1/6 into 1/6
2.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.368 * [taylor]: Taking taylor expansion of x in x
2.368 * [backup-simplify]: Simplify 0 into 0
2.368 * [backup-simplify]: Simplify 1 into 1
2.368 * [backup-simplify]: Simplify (/ 1 1) into 1
2.368 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.368 * [taylor]: Taking taylor expansion of x in x
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify 1 into 1
2.369 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.369 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6
2.370 * [backup-simplify]: Simplify (* 1 1) into 1
2.370 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.370 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
2.370 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
2.371 * [taylor]: Taking taylor expansion of 1/2 in x
2.371 * [backup-simplify]: Simplify 1/2 into 1/2
2.371 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.371 * [taylor]: Taking taylor expansion of 1/6 in x
2.371 * [backup-simplify]: Simplify 1/6 into 1/6
2.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.371 * [taylor]: Taking taylor expansion of x in x
2.371 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify 1 into 1
2.375 * [backup-simplify]: Simplify (/ 1 1) into 1
2.375 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.375 * [taylor]: Taking taylor expansion of x in x
2.375 * [backup-simplify]: Simplify 0 into 0
2.375 * [backup-simplify]: Simplify 1 into 1
2.376 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.376 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6
2.377 * [backup-simplify]: Simplify (* 1 1) into 1
2.377 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.377 * [backup-simplify]: Simplify 1/6 into 1/6
2.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.378 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
2.378 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.379 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/6 (/ 0 1)))) into 1/2
2.379 * [backup-simplify]: Simplify 1/2 into 1/2
2.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.380 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
2.381 * [backup-simplify]: Simplify (+ 0 0) into 0
2.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.383 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.383 * [backup-simplify]: Simplify (+ 0 0) into 0
2.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.385 * [backup-simplify]: Simplify 0 into 0
2.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.386 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.386 * [backup-simplify]: Simplify (+ 0 0) into 0
2.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.387 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.389 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.389 * [backup-simplify]: Simplify (+ 0 0) into 0
2.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.390 * [backup-simplify]: Simplify 0 into 0
2.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.392 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.392 * [backup-simplify]: Simplify (+ 0 0) into 0
2.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.394 * [backup-simplify]: Simplify 0 into 0
2.394 * [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
2.395 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.396 * [backup-simplify]: Simplify (+ 0 0) into 0
2.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.397 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.397 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3))) into (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
2.398 * [backup-simplify]: Simplify (* (pow (/ 1 (- x)) 2) (+ (* 1/6 (/ 1 (- x))) 1/2)) into (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2))
2.398 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
2.398 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
2.398 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
2.398 * [taylor]: Taking taylor expansion of 1/2 in x
2.398 * [backup-simplify]: Simplify 1/2 into 1/2
2.398 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.398 * [taylor]: Taking taylor expansion of 1/6 in x
2.398 * [backup-simplify]: Simplify 1/6 into 1/6
2.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.398 * [taylor]: Taking taylor expansion of x in x
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 1 into 1
2.398 * [backup-simplify]: Simplify (/ 1 1) into 1
2.398 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.398 * [taylor]: Taking taylor expansion of x in x
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 1 into 1
2.399 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.399 * [backup-simplify]: Simplify (- 1/6) into -1/6
2.399 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6
2.399 * [backup-simplify]: Simplify (* 1 1) into 1
2.400 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
2.400 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
2.400 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
2.400 * [taylor]: Taking taylor expansion of 1/2 in x
2.400 * [backup-simplify]: Simplify 1/2 into 1/2
2.400 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.400 * [taylor]: Taking taylor expansion of 1/6 in x
2.400 * [backup-simplify]: Simplify 1/6 into 1/6
2.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.400 * [taylor]: Taking taylor expansion of x in x
2.400 * [backup-simplify]: Simplify 0 into 0
2.400 * [backup-simplify]: Simplify 1 into 1
2.400 * [backup-simplify]: Simplify (/ 1 1) into 1
2.400 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.400 * [taylor]: Taking taylor expansion of x in x
2.400 * [backup-simplify]: Simplify 0 into 0
2.400 * [backup-simplify]: Simplify 1 into 1
2.400 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.401 * [backup-simplify]: Simplify (- 1/6) into -1/6
2.401 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6
2.401 * [backup-simplify]: Simplify (* 1 1) into 1
2.401 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
2.401 * [backup-simplify]: Simplify -1/6 into -1/6
2.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.402 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
2.402 * [backup-simplify]: Simplify (- 0) into 0
2.403 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.403 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.404 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* -1/6 (/ 0 1)))) into 1/2
2.404 * [backup-simplify]: Simplify 1/2 into 1/2
2.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.405 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
2.405 * [backup-simplify]: Simplify (- 0) into 0
2.405 * [backup-simplify]: Simplify (+ 0 0) into 0
2.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0
2.406 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.407 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.408 * [backup-simplify]: Simplify (- 0) into 0
2.408 * [backup-simplify]: Simplify (+ 0 0) into 0
2.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.409 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.411 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.412 * [backup-simplify]: Simplify (- 0) into 0
2.412 * [backup-simplify]: Simplify (+ 0 0) into 0
2.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.415 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.415 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.417 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.417 * [backup-simplify]: Simplify (- 0) into 0
2.418 * [backup-simplify]: Simplify (+ 0 0) into 0
2.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.421 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.423 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.424 * [backup-simplify]: Simplify (- 0) into 0
2.424 * [backup-simplify]: Simplify (+ 0 0) into 0
2.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.427 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.427 * [backup-simplify]: Simplify 0 into 0
2.428 * [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
2.430 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.430 * [backup-simplify]: Simplify (- 0) into 0
2.430 * [backup-simplify]: Simplify (+ 0 0) into 0
2.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.433 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.433 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
2.434 * * * [progress]: simplifying candidates
2.436 * [simplify]: Simplifying:
  (* 1/6 x)
  (+ (log 1/6) (log x))
  (log (* 1/6 x))
  (exp (* 1/6 x))
  (* (* (* 1/6 1/6) 1/6) (* (* x x) x))
  (* (cbrt (* 1/6 x)) (cbrt (* 1/6 x)))
  (cbrt (* 1/6 x))
  (* (* (* 1/6 x) (* 1/6 x)) (* 1/6 x))
  (sqrt (* 1/6 x))
  (sqrt (* 1/6 x))
  (* (sqrt 1/6) (sqrt x))
  (* (sqrt 1/6) (sqrt x))
  (* 1/6 (* (cbrt x) (cbrt x)))
  (* 1/6 (sqrt x))
  (* 1/6 1)
  (* (cbrt 1/6) x)
  (* (sqrt 1/6) x)
  (* 1/6 x)
  (+ (* (log x) 2) (log (+ (* 1/6 x) 1/2)))
  (+ (* (log x) 2) (log (+ (* 1/6 x) 1/2)))
  (+ (log (pow x 2)) (log (+ (* 1/6 x) 1/2)))
  (log (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (exp (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (+ (* 1/6 x) 1/2) (+ (* 1/6 x) 1/2)) (+ (* 1/6 x) 1/2)))
  (* (cbrt (* (pow x 2) (+ (* 1/6 x) 1/2))) (cbrt (* (pow x 2) (+ (* 1/6 x) 1/2))))
  (cbrt (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (* (* (* (pow x 2) (+ (* 1/6 x) 1/2)) (* (pow x 2) (+ (* 1/6 x) 1/2))) (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (sqrt (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (sqrt (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (* (pow (sqrt x) 2) (sqrt (+ (* 1/6 x) 1/2)))
  (* (pow (sqrt x) 2) (sqrt (+ (* 1/6 x) 1/2)))
  (* x (sqrt (+ (* 1/6 x) 1/2)))
  (* x (sqrt (+ (* 1/6 x) 1/2)))
  (* (sqrt (pow x 2)) (sqrt (+ (* 1/6 x) 1/2)))
  (* (sqrt (pow x 2)) (sqrt (+ (* 1/6 x) 1/2)))
  (* (pow x (/ 2 2)) (sqrt (+ (* 1/6 x) 1/2)))
  (* (pow x (/ 2 2)) (sqrt (+ (* 1/6 x) 1/2)))
  (* (pow x 2) (* 1/6 x))
  (* (pow x 2) 1/2)
  (* (* 1/6 x) (pow x 2))
  (* 1/2 (pow x 2))
  (* (pow x 2) (* (cbrt (+ (* 1/6 x) 1/2)) (cbrt (+ (* 1/6 x) 1/2))))
  (* (pow x 2) (sqrt (+ (* 1/6 x) 1/2)))
  (* (pow x 2) 1)
  (* (pow (cbrt x) 2) (+ (* 1/6 x) 1/2))
  (* (pow (sqrt x) 2) (+ (* 1/6 x) 1/2))
  (* (pow x 2) (+ (* 1/6 x) 1/2))
  (* x (+ (* 1/6 x) 1/2))
  (* (cbrt (pow x 2)) (+ (* 1/6 x) 1/2))
  (* (sqrt (pow x 2)) (+ (* 1/6 x) 1/2))
  (* (pow x 2) (+ (* 1/6 x) 1/2))
  (* (pow x (/ 2 2)) (+ (* 1/6 x) 1/2))
  (* (pow x 2) (+ (pow (* 1/6 x) 3) (pow 1/2 3)))
  (* (pow x 2) (- (* (* 1/6 x) (* 1/6 x)) (* 1/2 1/2)))
  (* 1/6 x)
  (* 1/6 x)
  (* 1/6 x)
  (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
  (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
  (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
2.438 * * [simplify]: Extracting # 0 : cost  0
2.438 * * [simplify]: Extracting # 1 : cost  0
2.438 * * [simplify]: Extracting # 2 : cost  0
2.438 * * [simplify]: Extracting # 3 : cost  0
2.438 * * [simplify]: Extracting # 4 : cost  0
2.439 * * [simplify]: Extracting # 5 : cost  0
2.439 * * [simplify]: Extracting # 6 : cost  0
2.439 * * [simplify]: iteration  0 :  89  enodes  (cost  542 )
2.466 * * [simplify]: Extracting # 0 : cost  0
2.467 * * [simplify]: Extracting # 1 : cost  0
2.467 * * [simplify]: Extracting # 2 : cost  0
2.467 * * [simplify]: Extracting # 3 : cost  0
2.467 * * [simplify]: Extracting # 4 : cost  0
2.468 * * [simplify]: iteration  1 :  247  enodes  (cost  491 )
2.655 * * [simplify]: Extracting # 0 : cost  0
2.656 * * [simplify]: Extracting # 1 : cost  0
2.656 * * [simplify]: Extracting # 2 : cost  0
2.657 * * [simplify]: Extracting # 3 : cost  0
2.658 * * [simplify]: Extracting # 4 : cost  0
2.659 * * [simplify]: iteration  2 :  804  enodes  (cost  442 )
3.962 * * [simplify]: Extracting # 0 : cost  0
3.967 * * [simplify]: Extracting # 1 : cost  0
3.974 * * [simplify]: Extracting # 2 : cost  0
3.980 * * [simplify]: Extracting # 3 : cost  0
3.986 * * [simplify]: Extracting # 4 : cost  0
3.992 * * [simplify]: Extracting # 5 : cost  0
3.998 * * [simplify]: iteration  3 :  3290  enodes  (cost  442 )
5.845 * * [simplify]: Extracting # 0 : cost  0
5.851 * * [simplify]: Extracting # 1 : cost  0
5.856 * * [simplify]: Extracting # 2 : cost  0
5.862 * * [simplify]: Extracting # 3 : cost  0
5.872 * * [simplify]: Extracting # 4 : cost  0
5.890 * * [simplify]: iteration done:  5000  enodes  (cost  442 )
5.891 * [simplify]: Simplified to:
  (* x 1/6)
  (log (* 1/6 x))
  (log (* 1/6 x))
  (exp (* 1/6 x))
  (pow (* 1/6 x) 3)
  (* (cbrt (* 1/6 x)) (cbrt (* 1/6 x)))
  (cbrt (* 1/6 x))
  (pow (* 1/6 x) 3)
  (sqrt (* 1/6 x))
  (sqrt (* 1/6 x))
  (* (sqrt 1/6) (sqrt x))
  (* (sqrt 1/6) (sqrt x))
  (* (pow (cbrt x) 2) 1/6)
  (* 1/6 (sqrt x))
  1/6
  (* (cbrt 1/6) x)
  (* (sqrt 1/6) x)
  (* x 1/6)
  (log (* (* x x) (+ (* 1/6 x) 1/2)))
  (log (* (* x x) (+ (* 1/6 x) 1/2)))
  (log (* (* x x) (+ (* 1/6 x) 1/2)))
  (log (* (* x x) (+ (* 1/6 x) 1/2)))
  (exp (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (pow (* (* x x) (+ (* 1/6 x) 1/2)) 3)
  (* (cbrt (* (pow x 2) (+ (* 1/6 x) 1/2))) (cbrt (* (pow x 2) (+ (* 1/6 x) 1/2))))
  (cbrt (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (pow (* (* x x) (+ (* 1/6 x) 1/2)) 3)
  (sqrt (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (sqrt (* (pow x 2) (+ (* 1/6 x) 1/2)))
  (* (sqrt (+ (* 1/6 x) 1/2)) x)
  (* (sqrt (+ (* 1/6 x) 1/2)) x)
  (* (sqrt (+ (* 1/6 x) 1/2)) x)
  (* (sqrt (+ (* 1/6 x) 1/2)) x)
  (* (sqrt (+ (* 1/6 x) 1/2)) (fabs x))
  (* (sqrt (+ (* 1/6 x) 1/2)) (fabs x))
  (* (sqrt (+ (* 1/6 x) 1/2)) x)
  (* (sqrt (+ (* 1/6 x) 1/2)) x)
  (* (pow x 3) 1/6)
  (* (pow x 2) 1/2)
  (* (pow x 3) 1/6)
  (* (pow x 2) 1/2)
  (* (pow x 2) (* (cbrt (+ (* 1/6 x) 1/2)) (cbrt (+ (* 1/6 x) 1/2))))
  (* (pow x 2) (sqrt (+ (* 1/6 x) 1/2)))
  (pow x 2)
  (* (pow (cbrt x) 2) (+ (* 1/6 x) 1/2))
  (* x (+ 1/2 (* 1/6 x)))
  (* (* x x) (+ (* 1/6 x) 1/2))
  (* x (+ 1/2 (* 1/6 x)))
  (* (cbrt (pow x 2)) (+ (* 1/6 x) 1/2))
  (* (fabs x) (+ (* 1/6 x) 1/2))
  (* (* x x) (+ (* 1/6 x) 1/2))
  (* x (+ 1/2 (* 1/6 x)))
  (* (+ 1/8 (pow (* 1/6 x) 3)) (pow x 2))
  (* (- (* 1/36 (pow x 2)) 1/4) (pow x 2))
  (* x 1/6)
  (* x 1/6)
  (* x 1/6)
  (* (* x x) (+ (* 1/6 x) 1/2))
  (* (* x x) (+ (* 1/6 x) 1/2))
  (* (* x x) (+ (* 1/6 x) 1/2))
5.891 * * * [progress]: adding candidates to table
6.038 * [progress]: [Phase 3 of 3] Extracting.
6.040 * [simplify]: Simplifying:
  (+ (* (pow x 2) (+ (* 1/6 x) 1/2)) x)
6.040 * * [simplify]: Extracting # 0 : cost  0
6.040 * * [simplify]: Extracting # 1 : cost  0
6.040 * * [simplify]: Extracting # 2 : cost  0
6.040 * * [simplify]: Extracting # 3 : cost  0
6.040 * * [simplify]: Extracting # 4 : cost  0
6.040 * * [simplify]: Extracting # 5 : cost  0
6.040 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
6.040 * * [simplify]: Extracting # 0 : cost  0
6.040 * * [simplify]: iteration  1 :  13  enodes  (cost  11 )
6.041 * * [simplify]: Extracting # 0 : cost  0
6.041 * * [simplify]: iteration done:  13  enodes  (cost  11 )
6.041 * [simplify]: Simplified to:
  (+ (* (pow x 2) (+ (* 1/6 x) 1/2)) x)
8.933 * [regime-testing]: Baseline error score: 0.4752780807637564
8.937 * [regime-testing]: Oracle error score: 0.4752780807637564
8.938 * [regime-testing]: End program error score: 0.4752780807637564
8.954 * [regime-testing]: Target error score: 0.4860769260630161