29.481 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.065 * * * [progress]: [2/2] Setting up program.
0.071 * [progress]: [Phase 2 of 3] Improving.
0.072 * [simplify]: Simplifying:
  (- (exp x) 1.0)
0.072 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.072 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.072 * * [simplify]: Extracting # 2 : cost  3  inf +  1
0.072 * * [simplify]: Extracting # 3 : cost  2  inf +  2
0.072 * * [simplify]: Extracting # 4 : cost  0  inf +  185
0.072 * * [simplify]: iteration  0 :  4  enodes  (cost  112 )
0.074 * * [simplify]: Extracting # 0 : cost  0  inf +  185
0.074 * * [simplify]: Extracting # 1 : cost  1  inf +  185
0.074 * * [simplify]: Extracting # 2 : cost  0  inf +  226
0.074 * * [simplify]: iteration  1 :  6  enodes  (cost  112 )
0.076 * * [simplify]: Extracting # 0 : cost  0  inf +  226
0.076 * * [simplify]: iteration  2 :  7  enodes  (cost  112 )
0.078 * * [simplify]: Extracting # 0 : cost  0  inf +  226
0.078 * * [simplify]: iteration complete:  7  enodes  (cost  112 )
0.078 * [simplify]: Simplified to:
  (- (exp x) 1.0)
0.079 * * [progress]: iteration 1 / 4
0.080 * * * [progress]: picking best candidate
0.085 * * * * [pick]: Picked  #<alt (λ (x) (- (exp x) 1.0))>
0.085 * * * [progress]: localizing error
0.095 * * * [progress]: generating rewritten candidates
0.095 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.110 * * * [progress]: generating series expansions
0.110 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.110 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0)
0.110 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.110 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.110 * [taylor]: Taking taylor expansion of (exp x) in x
0.110 * [taylor]: Taking taylor expansion of x in x
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify 1 into 1
0.111 * [backup-simplify]: Simplify (exp 0) into 1
0.111 * [taylor]: Taking taylor expansion of 1.0 in x
0.111 * [backup-simplify]: Simplify 1.0 into 1.0
0.111 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.111 * [taylor]: Taking taylor expansion of (exp x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 1 into 1
0.111 * [backup-simplify]: Simplify (exp 0) into 1
0.111 * [taylor]: Taking taylor expansion of 1.0 in x
0.111 * [backup-simplify]: Simplify 1.0 into 1.0
0.111 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.112 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
0.112 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.114 * [backup-simplify]: Simplify (- 0) into 0
0.114 * [backup-simplify]: Simplify (+ 1 0) into 1
0.114 * [backup-simplify]: Simplify 1 into 1
0.116 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.116 * [backup-simplify]: Simplify (- 0) into 0
0.116 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.116 * [backup-simplify]: Simplify 1/2 into 1/2
0.119 * [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.119 * [backup-simplify]: Simplify (- 0) into 0
0.120 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.120 * [backup-simplify]: Simplify 1/6 into 1/6
0.120 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
0.121 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.121 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.121 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.121 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify 1 into 1
0.121 * [backup-simplify]: Simplify (/ 1 1) into 1
0.121 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.121 * [taylor]: Taking taylor expansion of 1.0 in x
0.121 * [backup-simplify]: Simplify 1.0 into 1.0
0.121 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.121 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify 1 into 1
0.122 * [backup-simplify]: Simplify (/ 1 1) into 1
0.122 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.122 * [taylor]: Taking taylor expansion of 1.0 in x
0.122 * [backup-simplify]: Simplify 1.0 into 1.0
0.122 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.123 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
0.123 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.123 * [backup-simplify]: Simplify (- 0) into 0
0.124 * [backup-simplify]: Simplify (+ 0 0) into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify (- 0) into 0
0.124 * [backup-simplify]: Simplify (+ 0 0) into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (- 0) into 0
0.125 * [backup-simplify]: Simplify (+ 0 0) into 0
0.125 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (- 0) into 0
0.126 * [backup-simplify]: Simplify (+ 0 0) into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (- 0) into 0
0.127 * [backup-simplify]: Simplify (+ 0 0) into 0
0.127 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify (- 0) into 0
0.127 * [backup-simplify]: Simplify (+ 0 0) into 0
0.127 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
0.128 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0)
0.128 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.128 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.128 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.128 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.128 * [taylor]: Taking taylor expansion of -1 in x
0.128 * [backup-simplify]: Simplify -1 into -1
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify 1 into 1
0.128 * [backup-simplify]: Simplify (/ -1 1) into -1
0.128 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.128 * [taylor]: Taking taylor expansion of 1.0 in x
0.128 * [backup-simplify]: Simplify 1.0 into 1.0
0.128 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.129 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.129 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.129 * [taylor]: Taking taylor expansion of -1 in x
0.129 * [backup-simplify]: Simplify -1 into -1
0.129 * [taylor]: Taking taylor expansion of x in x
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify 1 into 1
0.129 * [backup-simplify]: Simplify (/ -1 1) into -1
0.129 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.129 * [taylor]: Taking taylor expansion of 1.0 in x
0.129 * [backup-simplify]: Simplify 1.0 into 1.0
0.130 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.130 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
0.130 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
0.131 * [backup-simplify]: Simplify (- 0) into 0
0.131 * [backup-simplify]: Simplify (+ 0 0) into 0
0.131 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify (- 0) into 0
0.132 * [backup-simplify]: Simplify (+ 0 0) into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify (- 0) into 0
0.132 * [backup-simplify]: Simplify (+ 0 0) into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify (- 0) into 0
0.133 * [backup-simplify]: Simplify (+ 0 0) into 0
0.133 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify (- 0) into 0
0.134 * [backup-simplify]: Simplify (+ 0 0) into 0
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify (- 0) into 0
0.135 * [backup-simplify]: Simplify (+ 0 0) into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
0.135 * * * [progress]: simplifying candidates
0.136 * [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)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
0.136 * * [simplify]: Extracting # 0 : cost  16  inf +  0
0.136 * * [simplify]: Extracting # 1 : cost  30  inf +  0
0.136 * * [simplify]: Extracting # 2 : cost  30  inf +  144
0.137 * * [simplify]: Extracting # 3 : cost  12  inf +  3341
0.137 * * [simplify]: Extracting # 4 : cost  6  inf +  4765
0.138 * * [simplify]: Extracting # 5 : cost  3  inf +  5250
0.138 * * [simplify]: Extracting # 6 : cost  0  inf +  6633
0.138 * * [simplify]: iteration  0 :  39  enodes  (cost  4032 )
0.147 * * [simplify]: Extracting # 0 : cost  0  inf +  6633
0.147 * * [simplify]: Extracting # 1 : cost  10  inf +  5960
0.148 * * [simplify]: Extracting # 2 : cost  6  inf +  5994
0.148 * * [simplify]: Extracting # 3 : cost  1  inf +  6229
0.149 * * [simplify]: Extracting # 4 : cost  0  inf +  6270
0.150 * * [simplify]: iteration  1 :  83  enodes  (cost  3319 )
0.175 * * [simplify]: Extracting # 0 : cost  0  inf +  6270
0.176 * * [simplify]: Extracting # 1 : cost  40  inf +  6059
0.179 * * [simplify]: Extracting # 2 : cost  5  inf +  11565
0.182 * * [simplify]: Extracting # 3 : cost  2  inf +  11820
0.191 * * [simplify]: Extracting # 4 : cost  0  inf +  12314
0.194 * * [simplify]: iteration  2 :  196  enodes  (cost  3319 )
0.278 * * [simplify]: Extracting # 0 : cost  0  inf +  12314
0.281 * * [simplify]: Extracting # 1 : cost  53  inf +  12234
0.287 * * [simplify]: Extracting # 2 : cost  4  inf +  19710
0.294 * * [simplify]: Extracting # 3 : cost  2  inf +  19953
0.300 * * [simplify]: Extracting # 4 : cost  0  inf +  20377
0.307 * * [simplify]: iteration  3 :  416  enodes  (cost  3279 )
0.453 * * [simplify]: Extracting # 0 : cost  0  inf +  20377
0.457 * * [simplify]: Extracting # 1 : cost  125  inf +  19353
0.464 * * [simplify]: Extracting # 2 : cost  5  inf +  50267
0.472 * * [simplify]: Extracting # 3 : cost  0  inf +  51056
0.480 * * [simplify]: iteration  4 :  907  enodes  (cost  3240 )
0.878 * * [simplify]: Extracting # 0 : cost  0  inf +  51056
0.909 * * [simplify]: Extracting # 1 : cost  349  inf +  49374
0.959 * * [simplify]: Extracting # 2 : cost  12  inf +  166193
1.016 * * [simplify]: Extracting # 3 : cost  2  inf +  165843
1.077 * * [simplify]: Extracting # 4 : cost  0  inf +  166018
1.115 * * [simplify]: iteration  5 :  2457  enodes  (cost  3240 )
1.997 * * [simplify]: Extracting # 0 : cost  0  inf +  166018
2.072 * * [simplify]: Extracting # 1 : cost  1071  inf +  163010
2.172 * * [simplify]: Extracting # 2 : cost  156  inf +  420486
2.313 * * [simplify]: Extracting # 3 : cost  40  inf +  434589
2.433 * * [simplify]: Extracting # 4 : cost  0  inf +  446380
2.546 * * [simplify]: iteration complete:  5000  enodes  (cost  3240 )
2.546 * [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))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))
  (+ (* 1.0 (+ (exp x) 1.0)) (* (exp x) (exp x)))
  (- 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)
  (+ (* (* x x) (+ (* x 1/6) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
2.546 * * * [progress]: adding candidates to table
2.607 * * [progress]: iteration 2 / 4
2.607 * * * [progress]: picking best candidate
2.619 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (* x x) (+ (* x 1/6) 1/2)) x))>
2.619 * * * [progress]: localizing error
2.639 * * * [progress]: generating rewritten candidates
2.640 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 1)
2.650 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.685 * * * [progress]: generating series expansions
2.685 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 1)
2.685 * [backup-simplify]: Simplify (* x 1/6) into (* 1/6 x)
2.685 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0
2.685 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.685 * [taylor]: Taking taylor expansion of 1/6 in x
2.686 * [backup-simplify]: Simplify 1/6 into 1/6
2.686 * [taylor]: Taking taylor expansion of x in x
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 1 into 1
2.686 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.686 * [taylor]: Taking taylor expansion of 1/6 in x
2.686 * [backup-simplify]: Simplify 1/6 into 1/6
2.686 * [taylor]: Taking taylor expansion of x in x
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 1 into 1
2.687 * [backup-simplify]: Simplify (* 1/6 0) into 0
2.687 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
2.688 * [backup-simplify]: Simplify 1/6 into 1/6
2.689 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
2.689 * [backup-simplify]: Simplify 0 into 0
2.690 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.690 * [backup-simplify]: Simplify 0 into 0
2.691 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.692 * [backup-simplify]: Simplify 0 into 0
2.693 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.693 * [backup-simplify]: Simplify 0 into 0
2.695 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.695 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.697 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify (* 1/6 x) into (* 1/6 x)
2.697 * [backup-simplify]: Simplify (* (/ 1 x) 1/6) into (/ 1/6 x)
2.697 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0
2.697 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
2.697 * [taylor]: Taking taylor expansion of 1/6 in x
2.697 * [backup-simplify]: Simplify 1/6 into 1/6
2.697 * [taylor]: Taking taylor expansion of x in x
2.697 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify 1 into 1
2.698 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.698 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
2.698 * [taylor]: Taking taylor expansion of 1/6 in x
2.698 * [backup-simplify]: Simplify 1/6 into 1/6
2.698 * [taylor]: Taking taylor expansion of x in x
2.698 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify 1 into 1
2.698 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.698 * [backup-simplify]: Simplify 1/6 into 1/6
2.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0
2.699 * [backup-simplify]: Simplify 0 into 0
2.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.700 * [backup-simplify]: Simplify 0 into 0
2.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.702 * [backup-simplify]: Simplify 0 into 0
2.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.703 * [backup-simplify]: Simplify 0 into 0
2.704 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.704 * [backup-simplify]: Simplify 0 into 0
2.705 * [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.705 * [backup-simplify]: Simplify 0 into 0
2.705 * [backup-simplify]: Simplify (* 1/6 (/ 1 (/ 1 x))) into (* 1/6 x)
2.705 * [backup-simplify]: Simplify (* (/ 1 (- x)) 1/6) into (/ -1/6 x)
2.705 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0
2.705 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
2.705 * [taylor]: Taking taylor expansion of -1/6 in x
2.705 * [backup-simplify]: Simplify -1/6 into -1/6
2.705 * [taylor]: Taking taylor expansion of x in x
2.705 * [backup-simplify]: Simplify 0 into 0
2.705 * [backup-simplify]: Simplify 1 into 1
2.706 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
2.706 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
2.706 * [taylor]: Taking taylor expansion of -1/6 in x
2.706 * [backup-simplify]: Simplify -1/6 into -1/6
2.706 * [taylor]: Taking taylor expansion of x in x
2.706 * [backup-simplify]: Simplify 0 into 0
2.706 * [backup-simplify]: Simplify 1 into 1
2.707 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
2.707 * [backup-simplify]: Simplify -1/6 into -1/6
2.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0
2.708 * [backup-simplify]: Simplify 0 into 0
2.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.709 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.710 * [backup-simplify]: Simplify 0 into 0
2.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.711 * [backup-simplify]: Simplify 0 into 0
2.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.712 * [backup-simplify]: Simplify 0 into 0
2.713 * [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.713 * [backup-simplify]: Simplify 0 into 0
2.713 * [backup-simplify]: Simplify (* -1/6 (/ 1 (/ 1 (- x)))) into (* 1/6 x)
2.713 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.714 * [backup-simplify]: Simplify (* (* x x) (+ (* x 1/6) 1/2)) into (* (pow x 2) (+ (* 1/6 x) 1/2))
2.714 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0
2.714 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
2.714 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.714 * [taylor]: Taking taylor expansion of x in x
2.714 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify 1 into 1
2.714 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
2.714 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.714 * [taylor]: Taking taylor expansion of 1/6 in x
2.714 * [backup-simplify]: Simplify 1/6 into 1/6
2.714 * [taylor]: Taking taylor expansion of x in x
2.714 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify 1 into 1
2.714 * [taylor]: Taking taylor expansion of 1/2 in x
2.714 * [backup-simplify]: Simplify 1/2 into 1/2
2.714 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
2.714 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.714 * [taylor]: Taking taylor expansion of x in x
2.714 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify 1 into 1
2.714 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
2.714 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.714 * [taylor]: Taking taylor expansion of 1/6 in x
2.714 * [backup-simplify]: Simplify 1/6 into 1/6
2.714 * [taylor]: Taking taylor expansion of x in x
2.714 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify 1 into 1
2.714 * [taylor]: Taking taylor expansion of 1/2 in x
2.714 * [backup-simplify]: Simplify 1/2 into 1/2
2.715 * [backup-simplify]: Simplify (* 1 1) into 1
2.715 * [backup-simplify]: Simplify (* 1/6 0) into 0
2.716 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.716 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
2.716 * [backup-simplify]: Simplify 1/2 into 1/2
2.717 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
2.717 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.718 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.719 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
2.719 * [backup-simplify]: Simplify 1/6 into 1/6
2.720 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
2.720 * [backup-simplify]: Simplify (+ 0 0) into 0
2.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (* 0 1/2))) into 0
2.722 * [backup-simplify]: Simplify 0 into 0
2.723 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.724 * [backup-simplify]: Simplify (+ 0 0) into 0
2.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))) into 0
2.726 * [backup-simplify]: Simplify 0 into 0
2.727 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.728 * [backup-simplify]: Simplify (+ 0 0) into 0
2.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))) into 0
2.731 * [backup-simplify]: Simplify 0 into 0
2.732 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.732 * [backup-simplify]: Simplify (+ 0 0) into 0
2.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))) into 0
2.736 * [backup-simplify]: Simplify 0 into 0
2.737 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.738 * [backup-simplify]: Simplify (+ 0 0) into 0
2.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))) into 0
2.741 * [backup-simplify]: Simplify 0 into 0
2.743 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.743 * [backup-simplify]: Simplify (+ 0 0) into 0
2.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))))) into 0
2.747 * [backup-simplify]: Simplify 0 into 0
2.747 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))
2.747 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (+ (* (/ 1 x) 1/6) 1/2)) into (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2))
2.748 * [approximate]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0
2.748 * [taylor]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x
2.748 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x
2.748 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.748 * [taylor]: Taking taylor expansion of 1/6 in x
2.748 * [backup-simplify]: Simplify 1/6 into 1/6
2.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.748 * [taylor]: Taking taylor expansion of x in x
2.748 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify 1 into 1
2.748 * [backup-simplify]: Simplify (/ 1 1) into 1
2.748 * [taylor]: Taking taylor expansion of 1/2 in x
2.748 * [backup-simplify]: Simplify 1/2 into 1/2
2.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.748 * [taylor]: Taking taylor expansion of x in x
2.748 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify 1 into 1
2.749 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.749 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.750 * [backup-simplify]: Simplify (* 1 1) into 1
2.750 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.750 * [taylor]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x
2.750 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x
2.750 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.750 * [taylor]: Taking taylor expansion of 1/6 in x
2.750 * [backup-simplify]: Simplify 1/6 into 1/6
2.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.750 * [taylor]: Taking taylor expansion of x in x
2.750 * [backup-simplify]: Simplify 0 into 0
2.750 * [backup-simplify]: Simplify 1 into 1
2.751 * [backup-simplify]: Simplify (/ 1 1) into 1
2.751 * [taylor]: Taking taylor expansion of 1/2 in x
2.751 * [backup-simplify]: Simplify 1/2 into 1/2
2.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.751 * [taylor]: Taking taylor expansion of x in x
2.751 * [backup-simplify]: Simplify 0 into 0
2.751 * [backup-simplify]: Simplify 1 into 1
2.751 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.752 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.752 * [backup-simplify]: Simplify (* 1 1) into 1
2.753 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.753 * [backup-simplify]: Simplify 1/6 into 1/6
2.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.754 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
2.755 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.755 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.756 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/6 (/ 0 1)))) into 1/2
2.756 * [backup-simplify]: Simplify 1/2 into 1/2
2.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.758 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
2.759 * [backup-simplify]: Simplify (+ 0 0) into 0
2.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0
2.761 * [backup-simplify]: Simplify 0 into 0
2.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.763 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.763 * [backup-simplify]: Simplify (+ 0 0) into 0
2.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.766 * [backup-simplify]: Simplify 0 into 0
2.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.768 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.769 * [backup-simplify]: Simplify (+ 0 0) into 0
2.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.771 * [backup-simplify]: Simplify 0 into 0
2.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.774 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.774 * [backup-simplify]: Simplify (+ 0 0) into 0
2.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.777 * [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.777 * [backup-simplify]: Simplify 0 into 0
2.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.780 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.780 * [backup-simplify]: Simplify (+ 0 0) into 0
2.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.784 * [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.784 * [backup-simplify]: Simplify 0 into 0
2.787 * [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.788 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.788 * [backup-simplify]: Simplify (+ 0 0) into 0
2.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.790 * [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.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))
2.790 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (+ (* (/ 1 (- x)) 1/6) 1/2)) into (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2))
2.790 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
2.790 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
2.790 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
2.790 * [taylor]: Taking taylor expansion of 1/2 in x
2.790 * [backup-simplify]: Simplify 1/2 into 1/2
2.790 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.790 * [taylor]: Taking taylor expansion of 1/6 in x
2.790 * [backup-simplify]: Simplify 1/6 into 1/6
2.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.790 * [taylor]: Taking taylor expansion of x in x
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 1 into 1
2.791 * [backup-simplify]: Simplify (/ 1 1) into 1
2.791 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.791 * [taylor]: Taking taylor expansion of x in x
2.791 * [backup-simplify]: Simplify 0 into 0
2.791 * [backup-simplify]: Simplify 1 into 1
2.791 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.791 * [backup-simplify]: Simplify (- 1/6) into -1/6
2.791 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6
2.792 * [backup-simplify]: Simplify (* 1 1) into 1
2.792 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
2.792 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
2.792 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
2.792 * [taylor]: Taking taylor expansion of 1/2 in x
2.792 * [backup-simplify]: Simplify 1/2 into 1/2
2.792 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.792 * [taylor]: Taking taylor expansion of 1/6 in x
2.792 * [backup-simplify]: Simplify 1/6 into 1/6
2.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.792 * [taylor]: Taking taylor expansion of x in x
2.792 * [backup-simplify]: Simplify 0 into 0
2.792 * [backup-simplify]: Simplify 1 into 1
2.792 * [backup-simplify]: Simplify (/ 1 1) into 1
2.792 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.792 * [taylor]: Taking taylor expansion of x in x
2.792 * [backup-simplify]: Simplify 0 into 0
2.792 * [backup-simplify]: Simplify 1 into 1
2.793 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.793 * [backup-simplify]: Simplify (- 1/6) into -1/6
2.793 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6
2.793 * [backup-simplify]: Simplify (* 1 1) into 1
2.794 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
2.794 * [backup-simplify]: Simplify -1/6 into -1/6
2.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.795 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
2.795 * [backup-simplify]: Simplify (- 0) into 0
2.795 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.796 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.796 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* -1/6 (/ 0 1)))) into 1/2
2.796 * [backup-simplify]: Simplify 1/2 into 1/2
2.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.797 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
2.798 * [backup-simplify]: Simplify (- 0) into 0
2.798 * [backup-simplify]: Simplify (+ 0 0) into 0
2.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0
2.799 * [backup-simplify]: Simplify 0 into 0
2.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.800 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.800 * [backup-simplify]: Simplify (- 0) into 0
2.801 * [backup-simplify]: Simplify (+ 0 0) into 0
2.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.802 * [backup-simplify]: Simplify 0 into 0
2.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.803 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.803 * [backup-simplify]: Simplify (- 0) into 0
2.804 * [backup-simplify]: Simplify (+ 0 0) into 0
2.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.805 * [backup-simplify]: Simplify 0 into 0
2.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.808 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.808 * [backup-simplify]: Simplify (- 0) into 0
2.808 * [backup-simplify]: Simplify (+ 0 0) into 0
2.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.811 * [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.811 * [backup-simplify]: Simplify 0 into 0
2.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.813 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.814 * [backup-simplify]: Simplify (- 0) into 0
2.814 * [backup-simplify]: Simplify (+ 0 0) into 0
2.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.817 * [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.817 * [backup-simplify]: Simplify 0 into 0
2.818 * [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.820 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.820 * [backup-simplify]: Simplify (- 0) into 0
2.821 * [backup-simplify]: Simplify (+ 0 0) into 0
2.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.824 * [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.824 * [backup-simplify]: Simplify 0 into 0
2.824 * [backup-simplify]: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))
2.824 * * * [progress]: simplifying candidates
2.825 * [simplify]: Simplifying:
  (* x 1/6)
  (+ (log x) (log 1/6))
  (log (* x 1/6))
  (exp (* x 1/6))
  (* (* (* x x) x) (* (* 1/6 1/6) 1/6))
  (* (cbrt (* x 1/6)) (cbrt (* x 1/6)))
  (cbrt (* x 1/6))
  (* (* (* x 1/6) (* x 1/6)) (* x 1/6))
  (sqrt (* x 1/6))
  (sqrt (* x 1/6))
  (* (sqrt x) (sqrt 1/6))
  (* (sqrt x) (sqrt 1/6))
  (* x (* (cbrt 1/6) (cbrt 1/6)))
  (* x (sqrt 1/6))
  (* x 1)
  (* (cbrt x) 1/6)
  (* (sqrt x) 1/6)
  (* x 1/6)
  (* (* x x) (+ (* x 1/6) 1/2))
  (* (* x x) (+ (* x 1/6) 1/2))
  (+ (+ (log x) (log x)) (log (+ (* x 1/6) 1/2)))
  (+ (log (* x x)) (log (+ (* x 1/6) 1/2)))
  (log (* (* x x) (+ (* x 1/6) 1/2)))
  (exp (* (* x x) (+ (* x 1/6) 1/2)))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
  (* (cbrt (* (* x x) (+ (* x 1/6) 1/2))) (cbrt (* (* x x) (+ (* x 1/6) 1/2))))
  (cbrt (* (* x x) (+ (* x 1/6) 1/2)))
  (* (* (* (* x x) (+ (* x 1/6) 1/2)) (* (* x x) (+ (* x 1/6) 1/2))) (* (* x x) (+ (* x 1/6) 1/2)))
  (sqrt (* (* x x) (+ (* x 1/6) 1/2)))
  (sqrt (* (* x x) (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* (* x x) (* x 1/6))
  (* (* x x) 1/2)
  (* (* x 1/6) (* x x))
  (* 1/2 (* x x))
  (* (* x x) (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2))))
  (* (* x x) (sqrt (+ (* x 1/6) 1/2)))
  (* (* x x) 1)
  (* x (+ (* x 1/6) 1/2))
  (* (* x x) (+ (pow (* x 1/6) 3) (pow 1/2 3)))
  (* (* x x) (- (* (* x 1/6) (* x 1/6)) (* 1/2 1/2)))
  (* 1/6 x)
  (* 1/6 x)
  (* 1/6 x)
  (+ (* 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)) (* 1/2 (pow x 2)))
2.827 * * [simplify]: Extracting # 0 : cost  39  inf +  0
2.827 * * [simplify]: Extracting # 1 : cost  67  inf +  0
2.827 * * [simplify]: Extracting # 2 : cost  71  inf +  126
2.828 * * [simplify]: Extracting # 3 : cost  33  inf +  4117
2.829 * * [simplify]: Extracting # 4 : cost  4  inf +  10546
2.831 * * [simplify]: Extracting # 5 : cost  0  inf +  11980
2.833 * * [simplify]: iteration  0 :  79  enodes  (cost  9228 )
2.870 * * [simplify]: Extracting # 0 : cost  0  inf +  11980
2.872 * * [simplify]: Extracting # 1 : cost  75  inf +  10764
2.874 * * [simplify]: Extracting # 2 : cost  8  inf +  18329
2.878 * * [simplify]: Extracting # 3 : cost  3  inf +  17685
2.881 * * [simplify]: Extracting # 4 : cost  0  inf +  18362
2.884 * * [simplify]: iteration  1 :  266  enodes  (cost  7409 )
3.034 * * [simplify]: Extracting # 0 : cost  0  inf +  18362
3.039 * * [simplify]: Extracting # 1 : cost  245  inf +  17579
3.050 * * [simplify]: Extracting # 2 : cost  19  inf +  50808
3.066 * * [simplify]: Extracting # 3 : cost  3  inf +  52543
3.093 * * [simplify]: Extracting # 4 : cost  0  inf +  53522
3.109 * * [simplify]: iteration  2 :  970  enodes  (cost  7129 )
3.898 * * [simplify]: Extracting # 0 : cost  0  inf +  53522
3.961 * * [simplify]: Extracting # 1 : cost  1743  inf +  52269
4.114 * * [simplify]: Extracting # 2 : cost  35  inf +  367545
4.256 * * [simplify]: Extracting # 3 : cost  8  inf +  370601
4.452 * * [simplify]: Extracting # 4 : cost  0  inf +  372979
4.624 * * [simplify]: iteration complete:  5001  enodes  (cost  7129 )
4.625 * [simplify]: Simplified to:
  (* x 1/6)
  (log (* x 1/6))
  (log (* x 1/6))
  (exp (* x 1/6))
  (* (* (* x 1/6) (* x 1/6)) (* x 1/6))
  (* (cbrt (* x 1/6)) (cbrt (* x 1/6)))
  (cbrt (* x 1/6))
  (* (* (* x 1/6) (* x 1/6)) (* x 1/6))
  (sqrt (* x 1/6))
  (sqrt (* x 1/6))
  (* (sqrt x) (sqrt 1/6))
  (* (sqrt x) (sqrt 1/6))
  (* x (* (cbrt 1/6) (cbrt 1/6)))
  (* x (sqrt 1/6))
  x
  (* (cbrt x) 1/6)
  (* (sqrt x) 1/6)
  (* x 1/6)
  (* (* x x) (+ (* x 1/6) 1/2))
  (* (* x x) (+ (* x 1/6) 1/2))
  (log (* (* x x) (+ (* x 1/6) 1/2)))
  (log (* (* x x) (+ (* x 1/6) 1/2)))
  (log (* (* x x) (+ (* x 1/6) 1/2)))
  (exp (* (* x x) (+ (* x 1/6) 1/2)))
  (* (* (* (* x x) (+ (* x 1/6) 1/2)) (* (* x x) (+ (* x 1/6) 1/2))) (* (* x x) (+ (* x 1/6) 1/2)))
  (* (* (* (* x x) (+ (* x 1/6) 1/2)) (* (* x x) (+ (* x 1/6) 1/2))) (* (* x x) (+ (* x 1/6) 1/2)))
  (* (cbrt (* (* x x) (+ (* x 1/6) 1/2))) (cbrt (* (* x x) (+ (* x 1/6) 1/2))))
  (cbrt (* (* x x) (+ (* x 1/6) 1/2)))
  (* (* (* (* x x) (+ (* x 1/6) 1/2)) (* (* x x) (+ (* x 1/6) 1/2))) (* (* x x) (+ (* x 1/6) 1/2)))
  (sqrt (* (* x x) (+ (* x 1/6) 1/2)))
  (sqrt (* (* x x) (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* (* x x) (* x 1/6))
  (* (* x x) 1/2)
  (* (* x x) (* x 1/6))
  (* (* x x) 1/2)
  (* (* x (cbrt (+ (* x 1/6) 1/2))) (* x (cbrt (+ (* x 1/6) 1/2))))
  (* (* x x) (sqrt (+ (* x 1/6) 1/2)))
  (* x x)
  (* x (+ (* x 1/6) 1/2))
  (* (* x x) (+ 1/8 (* (* (* x 1/6) (* x 1/6)) (* x 1/6))))
  (* (+ (* (* x 1/6) (* x 1/6)) -1/4) (* x x))
  (* x 1/6)
  (* x 1/6)
  (* x 1/6)
  (* (* x x) (+ (* x 1/6) 1/2))
  (* (* x x) (+ (* x 1/6) 1/2))
  (* (* x x) (+ (* x 1/6) 1/2))
4.628 * * * [progress]: adding candidates to table
4.785 * * [progress]: iteration 3 / 4
4.785 * * * [progress]: picking best candidate
4.788 * * * * [pick]: Picked  #<alt (λ (x) (log (exp (- (exp x) 1.0))))>
4.788 * * * [progress]: localizing error
4.801 * * * [progress]: generating rewritten candidates
4.801 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.841 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
4.858 * * * [progress]: generating series expansions
4.858 * * * * [progress]: [ 1 / 2 ] generating series at (2)
4.858 * [backup-simplify]: Simplify (log (exp (- (exp x) 1.0))) into (- (exp x) 1.0)
4.859 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
4.859 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
4.859 * [taylor]: Taking taylor expansion of (exp x) in x
4.859 * [taylor]: Taking taylor expansion of x in x
4.859 * [backup-simplify]: Simplify 0 into 0
4.859 * [backup-simplify]: Simplify 1 into 1
4.859 * [backup-simplify]: Simplify (exp 0) into 1
4.859 * [taylor]: Taking taylor expansion of 1.0 in x
4.859 * [backup-simplify]: Simplify 1.0 into 1.0
4.859 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
4.859 * [taylor]: Taking taylor expansion of (exp x) in x
4.859 * [taylor]: Taking taylor expansion of x in x
4.859 * [backup-simplify]: Simplify 0 into 0
4.859 * [backup-simplify]: Simplify 1 into 1
4.859 * [backup-simplify]: Simplify (exp 0) into 1
4.859 * [taylor]: Taking taylor expansion of 1.0 in x
4.859 * [backup-simplify]: Simplify 1.0 into 1.0
4.860 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.861 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
4.861 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.862 * [backup-simplify]: Simplify (- 0) into 0
4.863 * [backup-simplify]: Simplify (+ 1 0) into 1
4.863 * [backup-simplify]: Simplify 1 into 1
4.864 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.865 * [backup-simplify]: Simplify (- 0) into 0
4.865 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
4.865 * [backup-simplify]: Simplify 1/2 into 1/2
4.867 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.868 * [backup-simplify]: Simplify (- 0) into 0
4.868 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
4.868 * [backup-simplify]: Simplify 1/6 into 1/6
4.869 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
4.869 * [backup-simplify]: Simplify (log (exp (- (exp (/ 1 x)) 1.0))) into (- (exp (/ 1 x)) 1.0)
4.869 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
4.869 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
4.869 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.869 * [taylor]: Taking taylor expansion of x in x
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify 1 into 1
4.870 * [backup-simplify]: Simplify (/ 1 1) into 1
4.870 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.870 * [taylor]: Taking taylor expansion of 1.0 in x
4.870 * [backup-simplify]: Simplify 1.0 into 1.0
4.870 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
4.870 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.870 * [taylor]: Taking taylor expansion of x in x
4.870 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify 1 into 1
4.870 * [backup-simplify]: Simplify (/ 1 1) into 1
4.870 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.870 * [taylor]: Taking taylor expansion of 1.0 in x
4.870 * [backup-simplify]: Simplify 1.0 into 1.0
4.871 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.871 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
4.871 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
4.872 * [backup-simplify]: Simplify (- 0) into 0
4.872 * [backup-simplify]: Simplify (+ 0 0) into 0
4.872 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify (- 0) into 0
4.873 * [backup-simplify]: Simplify (+ 0 0) into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify (- 0) into 0
4.874 * [backup-simplify]: Simplify (+ 0 0) into 0
4.874 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify (- 0) into 0
4.874 * [backup-simplify]: Simplify (+ 0 0) into 0
4.875 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify (- 0) into 0
4.875 * [backup-simplify]: Simplify (+ 0 0) into 0
4.875 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify (- 0) into 0
4.876 * [backup-simplify]: Simplify (+ 0 0) into 0
4.876 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
4.876 * [backup-simplify]: Simplify (log (exp (- (exp (/ 1 (- x))) 1.0))) into (- (exp (/ -1 x)) 1.0)
4.877 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
4.877 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
4.877 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.877 * [taylor]: Taking taylor expansion of -1 in x
4.877 * [backup-simplify]: Simplify -1 into -1
4.877 * [taylor]: Taking taylor expansion of x in x
4.877 * [backup-simplify]: Simplify 0 into 0
4.877 * [backup-simplify]: Simplify 1 into 1
4.877 * [backup-simplify]: Simplify (/ -1 1) into -1
4.877 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.877 * [taylor]: Taking taylor expansion of 1.0 in x
4.877 * [backup-simplify]: Simplify 1.0 into 1.0
4.877 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
4.877 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.877 * [taylor]: Taking taylor expansion of -1 in x
4.878 * [backup-simplify]: Simplify -1 into -1
4.878 * [taylor]: Taking taylor expansion of x in x
4.878 * [backup-simplify]: Simplify 0 into 0
4.878 * [backup-simplify]: Simplify 1 into 1
4.878 * [backup-simplify]: Simplify (/ -1 1) into -1
4.878 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.878 * [taylor]: Taking taylor expansion of 1.0 in x
4.878 * [backup-simplify]: Simplify 1.0 into 1.0
4.879 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.879 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
4.879 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
4.880 * [backup-simplify]: Simplify (- 0) into 0
4.880 * [backup-simplify]: Simplify (+ 0 0) into 0
4.880 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify (- 0) into 0
4.881 * [backup-simplify]: Simplify (+ 0 0) into 0
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify (- 0) into 0
4.882 * [backup-simplify]: Simplify (+ 0 0) into 0
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify (- 0) into 0
4.882 * [backup-simplify]: Simplify (+ 0 0) into 0
4.882 * [backup-simplify]: Simplify 0 into 0
4.883 * [backup-simplify]: Simplify (- 0) into 0
4.883 * [backup-simplify]: Simplify (+ 0 0) into 0
4.883 * [backup-simplify]: Simplify 0 into 0
4.884 * [backup-simplify]: Simplify (- 0) into 0
4.884 * [backup-simplify]: Simplify (+ 0 0) into 0
4.884 * [backup-simplify]: Simplify 0 into 0
4.884 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
4.884 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
4.884 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0)
4.884 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
4.884 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
4.884 * [taylor]: Taking taylor expansion of (exp x) in x
4.885 * [taylor]: Taking taylor expansion of x in x
4.885 * [backup-simplify]: Simplify 0 into 0
4.885 * [backup-simplify]: Simplify 1 into 1
4.885 * [backup-simplify]: Simplify (exp 0) into 1
4.885 * [taylor]: Taking taylor expansion of 1.0 in x
4.885 * [backup-simplify]: Simplify 1.0 into 1.0
4.885 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
4.885 * [taylor]: Taking taylor expansion of (exp x) in x
4.885 * [taylor]: Taking taylor expansion of x in x
4.885 * [backup-simplify]: Simplify 0 into 0
4.885 * [backup-simplify]: Simplify 1 into 1
4.885 * [backup-simplify]: Simplify (exp 0) into 1
4.885 * [taylor]: Taking taylor expansion of 1.0 in x
4.885 * [backup-simplify]: Simplify 1.0 into 1.0
4.885 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.886 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
4.887 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.888 * [backup-simplify]: Simplify (- 0) into 0
4.888 * [backup-simplify]: Simplify (+ 1 0) into 1
4.888 * [backup-simplify]: Simplify 1 into 1
4.890 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.890 * [backup-simplify]: Simplify (- 0) into 0
4.890 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
4.890 * [backup-simplify]: Simplify 1/2 into 1/2
4.891 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.892 * [backup-simplify]: Simplify (- 0) into 0
4.892 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
4.892 * [backup-simplify]: Simplify 1/6 into 1/6
4.892 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
4.892 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
4.892 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
4.892 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
4.892 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.892 * [taylor]: Taking taylor expansion of x in x
4.893 * [backup-simplify]: Simplify 0 into 0
4.893 * [backup-simplify]: Simplify 1 into 1
4.893 * [backup-simplify]: Simplify (/ 1 1) into 1
4.893 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.893 * [taylor]: Taking taylor expansion of 1.0 in x
4.893 * [backup-simplify]: Simplify 1.0 into 1.0
4.893 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
4.893 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.893 * [taylor]: Taking taylor expansion of x in x
4.893 * [backup-simplify]: Simplify 0 into 0
4.893 * [backup-simplify]: Simplify 1 into 1
4.893 * [backup-simplify]: Simplify (/ 1 1) into 1
4.893 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.893 * [taylor]: Taking taylor expansion of 1.0 in x
4.893 * [backup-simplify]: Simplify 1.0 into 1.0
4.894 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.894 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
4.894 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
4.894 * [backup-simplify]: Simplify (- 0) into 0
4.894 * [backup-simplify]: Simplify (+ 0 0) into 0
4.894 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify (- 0) into 0
4.895 * [backup-simplify]: Simplify (+ 0 0) into 0
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify (- 0) into 0
4.895 * [backup-simplify]: Simplify (+ 0 0) into 0
4.895 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify (- 0) into 0
4.896 * [backup-simplify]: Simplify (+ 0 0) into 0
4.896 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify (- 0) into 0
4.896 * [backup-simplify]: Simplify (+ 0 0) into 0
4.896 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (- 0) into 0
4.897 * [backup-simplify]: Simplify (+ 0 0) into 0
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
4.897 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0)
4.897 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
4.897 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
4.897 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.897 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.897 * [taylor]: Taking taylor expansion of -1 in x
4.897 * [backup-simplify]: Simplify -1 into -1
4.897 * [taylor]: Taking taylor expansion of x in x
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify 1 into 1
4.898 * [backup-simplify]: Simplify (/ -1 1) into -1
4.898 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.898 * [taylor]: Taking taylor expansion of 1.0 in x
4.898 * [backup-simplify]: Simplify 1.0 into 1.0
4.898 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
4.898 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.898 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.898 * [taylor]: Taking taylor expansion of -1 in x
4.898 * [backup-simplify]: Simplify -1 into -1
4.898 * [taylor]: Taking taylor expansion of x in x
4.898 * [backup-simplify]: Simplify 0 into 0
4.898 * [backup-simplify]: Simplify 1 into 1
4.898 * [backup-simplify]: Simplify (/ -1 1) into -1
4.898 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.898 * [taylor]: Taking taylor expansion of 1.0 in x
4.898 * [backup-simplify]: Simplify 1.0 into 1.0
4.898 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.899 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
4.899 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
4.899 * [backup-simplify]: Simplify (- 0) into 0
4.899 * [backup-simplify]: Simplify (+ 0 0) into 0
4.899 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify (- 0) into 0
4.900 * [backup-simplify]: Simplify (+ 0 0) into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify (- 0) into 0
4.900 * [backup-simplify]: Simplify (+ 0 0) into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify (- 0) into 0
4.901 * [backup-simplify]: Simplify (+ 0 0) into 0
4.901 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (- 0) into 0
4.901 * [backup-simplify]: Simplify (+ 0 0) into 0
4.901 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (- 0) into 0
4.902 * [backup-simplify]: Simplify (+ 0 0) into 0
4.902 * [backup-simplify]: Simplify 0 into 0
4.902 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
4.902 * * * [progress]: simplifying candidates
4.902 * [simplify]: Simplifying:
  (log (exp (exp x)))
  (log (exp (- 1.0)))
  (log (exp (exp x)))
  (log (exp (- 1.0)))
  (log (* (cbrt (exp (- (exp x) 1.0))) (cbrt (exp (- (exp x) 1.0)))))
  (log (cbrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log 1)
  (log (exp (- (exp x) 1.0)))
  (log (exp (exp x)))
  (log (exp 1.0))
  (log (exp (- (exp x) 1.0)))
  (log (exp (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))))
  (log (exp (sqrt (- (exp x) 1.0))))
  (log (exp 1))
  (log (exp (+ (sqrt (exp x)) (sqrt 1.0))))
  (log (exp 1))
  (log (log (exp (- (exp x) 1.0))))
  (exp (log (exp (- (exp x) 1.0))))
  (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0)))))
  (cbrt (log (exp (- (exp x) 1.0))))
  (* (* (log (exp (- (exp x) 1.0))) (log (exp (- (exp x) 1.0)))) (log (exp (- (exp x) 1.0))))
  (sqrt (log (exp (- (exp x) 1.0))))
  (sqrt (log (exp (- (exp x) 1.0))))
  (/ (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)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
4.903 * * [simplify]: Extracting # 0 : cost  34  inf +  0
4.903 * * [simplify]: Extracting # 1 : cost  58  inf +  0
4.903 * * [simplify]: Extracting # 2 : cost  52  inf +  600
4.903 * * [simplify]: Extracting # 3 : cost  38  inf +  3188
4.904 * * [simplify]: Extracting # 4 : cost  13  inf +  9317
4.905 * * [simplify]: Extracting # 5 : cost  4  inf +  12046
4.905 * * [simplify]: Extracting # 6 : cost  3  inf +  12258
4.906 * * [simplify]: Extracting # 7 : cost  0  inf +  13641
4.907 * * [simplify]: iteration  0 :  67  enodes  (cost  11382 )
4.921 * * [simplify]: Extracting # 0 : cost  0  inf +  13641
4.922 * * [simplify]: Extracting # 1 : cost  22  inf +  12438
4.924 * * [simplify]: Extracting # 2 : cost  6  inf +  12798
4.928 * * [simplify]: Extracting # 3 : cost  2  inf +  12231
4.931 * * [simplify]: Extracting # 4 : cost  0  inf +  12685
4.933 * * [simplify]: iteration  1 :  133  enodes  (cost  7597 )
4.967 * * [simplify]: Extracting # 0 : cost  0  inf +  12685
4.969 * * [simplify]: Extracting # 1 : cost  44  inf +  12404
4.973 * * [simplify]: Extracting # 2 : cost  5  inf +  16697
4.977 * * [simplify]: Extracting # 3 : cost  1  inf +  17164
4.982 * * [simplify]: Extracting # 4 : cost  0  inf +  17446
4.987 * * [simplify]: iteration  2 :  284  enodes  (cost  7457 )
5.069 * * [simplify]: Extracting # 0 : cost  0  inf +  17446
5.071 * * [simplify]: Extracting # 1 : cost  105  inf +  16986
5.076 * * [simplify]: Extracting # 2 : cost  6  inf +  34750
5.081 * * [simplify]: Extracting # 3 : cost  3  inf +  35226
5.085 * * [simplify]: Extracting # 4 : cost  0  inf +  36163
5.095 * * [simplify]: iteration  3 :  640  enodes  (cost  7377 )
5.339 * * [simplify]: Extracting # 0 : cost  0  inf +  36163
5.351 * * [simplify]: Extracting # 1 : cost  143  inf +  34379
5.374 * * [simplify]: Extracting # 2 : cost  19  inf +  59762
5.396 * * [simplify]: Extracting # 3 : cost  1  inf +  61868
5.412 * * [simplify]: Extracting # 4 : cost  0  inf +  62421
5.426 * * [simplify]: iteration  4 :  1272  enodes  (cost  7338 )
6.124 * * [simplify]: Extracting # 0 : cost  0  inf +  62421
6.141 * * [simplify]: Extracting # 1 : cost  418  inf +  61320
6.181 * * [simplify]: Extracting # 2 : cost  39  inf +  154572
6.229 * * [simplify]: Extracting # 3 : cost  3  inf +  157813
6.267 * * [simplify]: Extracting # 4 : cost  0  inf +  159152
6.305 * * [simplify]: iteration  5 :  3124  enodes  (cost  7338 )
7.007 * * [simplify]: Extracting # 0 : cost  0  inf +  159152
7.054 * * [simplify]: Extracting # 1 : cost  774  inf +  151049
7.112 * * [simplify]: Extracting # 2 : cost  281  inf +  301327
7.212 * * [simplify]: Extracting # 3 : cost  75  inf +  327499
7.335 * * [simplify]: Extracting # 4 : cost  0  inf +  348327
7.422 * * [simplify]: iteration complete:  5002  enodes  (cost  7338 )
7.422 * [simplify]: Simplified to:
  (exp x)
  (- 1.0)
  (exp x)
  (- 1.0)
  (log (* (cbrt (exp (- (exp x) 1.0))) (cbrt (exp (- (exp x) 1.0)))))
  (log (cbrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  0
  (- (exp x) 1.0)
  (exp x)
  1.0
  (- (exp x) 1.0)
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (sqrt (- (exp x) 1.0))
  1
  (+ (sqrt (exp x)) (sqrt 1.0))
  1
  (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))
  (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))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))
  (+ (* (exp x) (exp x)) (* 1.0 (+ 1.0 (exp x))))
  (- 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)
  (+ (* (* x x) (+ (* 1/6 x) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (* (* x x) (+ (* 1/6 x) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
7.424 * * * [progress]: adding candidates to table
7.537 * * [progress]: iteration 4 / 4
7.537 * * * [progress]: picking best candidate
7.544 * * * * [pick]: Picked  #<alt (λ (x) (* (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0))))) (cbrt (log (exp (- (exp x) 1.0))))))>
7.544 * * * [progress]: localizing error
7.601 * * * [progress]: generating rewritten candidates
7.601 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
7.639 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
7.676 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
7.698 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
7.707 * * * [progress]: generating series expansions
7.707 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
7.707 * [backup-simplify]: Simplify (log (exp (- (exp x) 1.0))) into (- (exp x) 1.0)
7.707 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
7.707 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.707 * [taylor]: Taking taylor expansion of (exp x) in x
7.707 * [taylor]: Taking taylor expansion of x in x
7.707 * [backup-simplify]: Simplify 0 into 0
7.707 * [backup-simplify]: Simplify 1 into 1
7.707 * [backup-simplify]: Simplify (exp 0) into 1
7.707 * [taylor]: Taking taylor expansion of 1.0 in x
7.707 * [backup-simplify]: Simplify 1.0 into 1.0
7.708 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.708 * [taylor]: Taking taylor expansion of (exp x) in x
7.708 * [taylor]: Taking taylor expansion of x in x
7.708 * [backup-simplify]: Simplify 0 into 0
7.708 * [backup-simplify]: Simplify 1 into 1
7.708 * [backup-simplify]: Simplify (exp 0) into 1
7.708 * [taylor]: Taking taylor expansion of 1.0 in x
7.708 * [backup-simplify]: Simplify 1.0 into 1.0
7.708 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.709 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
7.709 * [backup-simplify]: Simplify 0 into 0
7.709 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.710 * [backup-simplify]: Simplify (- 0) into 0
7.710 * [backup-simplify]: Simplify (+ 1 0) into 1
7.710 * [backup-simplify]: Simplify 1 into 1
7.711 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.711 * [backup-simplify]: Simplify (- 0) into 0
7.711 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
7.711 * [backup-simplify]: Simplify 1/2 into 1/2
7.713 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.713 * [backup-simplify]: Simplify (- 0) into 0
7.713 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
7.713 * [backup-simplify]: Simplify 1/6 into 1/6
7.713 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
7.714 * [backup-simplify]: Simplify (log (exp (- (exp (/ 1 x)) 1.0))) into (- (exp (/ 1 x)) 1.0)
7.714 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
7.714 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.714 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.714 * [taylor]: Taking taylor expansion of x in x
7.714 * [backup-simplify]: Simplify 0 into 0
7.714 * [backup-simplify]: Simplify 1 into 1
7.714 * [backup-simplify]: Simplify (/ 1 1) into 1
7.714 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.714 * [taylor]: Taking taylor expansion of 1.0 in x
7.714 * [backup-simplify]: Simplify 1.0 into 1.0
7.714 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.714 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.714 * [taylor]: Taking taylor expansion of x in x
7.714 * [backup-simplify]: Simplify 0 into 0
7.714 * [backup-simplify]: Simplify 1 into 1
7.714 * [backup-simplify]: Simplify (/ 1 1) into 1
7.714 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.714 * [taylor]: Taking taylor expansion of 1.0 in x
7.714 * [backup-simplify]: Simplify 1.0 into 1.0
7.715 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.715 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
7.715 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
7.715 * [backup-simplify]: Simplify (- 0) into 0
7.716 * [backup-simplify]: Simplify (+ 0 0) into 0
7.716 * [backup-simplify]: Simplify 0 into 0
7.716 * [backup-simplify]: Simplify (- 0) into 0
7.716 * [backup-simplify]: Simplify (+ 0 0) into 0
7.716 * [backup-simplify]: Simplify 0 into 0
7.716 * [backup-simplify]: Simplify (- 0) into 0
7.716 * [backup-simplify]: Simplify (+ 0 0) into 0
7.717 * [backup-simplify]: Simplify 0 into 0
7.717 * [backup-simplify]: Simplify (- 0) into 0
7.717 * [backup-simplify]: Simplify (+ 0 0) into 0
7.717 * [backup-simplify]: Simplify 0 into 0
7.717 * [backup-simplify]: Simplify (- 0) into 0
7.717 * [backup-simplify]: Simplify (+ 0 0) into 0
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify (- 0) into 0
7.718 * [backup-simplify]: Simplify (+ 0 0) into 0
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
7.718 * [backup-simplify]: Simplify (log (exp (- (exp (/ 1 (- x))) 1.0))) into (- (exp (/ -1 x)) 1.0)
7.718 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
7.718 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.718 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.718 * [taylor]: Taking taylor expansion of -1 in x
7.718 * [backup-simplify]: Simplify -1 into -1
7.718 * [taylor]: Taking taylor expansion of x in x
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify 1 into 1
7.719 * [backup-simplify]: Simplify (/ -1 1) into -1
7.719 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.719 * [taylor]: Taking taylor expansion of 1.0 in x
7.719 * [backup-simplify]: Simplify 1.0 into 1.0
7.719 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.719 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.719 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.719 * [taylor]: Taking taylor expansion of -1 in x
7.719 * [backup-simplify]: Simplify -1 into -1
7.719 * [taylor]: Taking taylor expansion of x in x
7.719 * [backup-simplify]: Simplify 0 into 0
7.719 * [backup-simplify]: Simplify 1 into 1
7.719 * [backup-simplify]: Simplify (/ -1 1) into -1
7.719 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.719 * [taylor]: Taking taylor expansion of 1.0 in x
7.719 * [backup-simplify]: Simplify 1.0 into 1.0
7.720 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.720 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
7.720 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
7.720 * [backup-simplify]: Simplify (- 0) into 0
7.720 * [backup-simplify]: Simplify (+ 0 0) into 0
7.720 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify (- 0) into 0
7.721 * [backup-simplify]: Simplify (+ 0 0) into 0
7.721 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify (- 0) into 0
7.721 * [backup-simplify]: Simplify (+ 0 0) into 0
7.722 * [backup-simplify]: Simplify 0 into 0
7.722 * [backup-simplify]: Simplify (- 0) into 0
7.722 * [backup-simplify]: Simplify (+ 0 0) into 0
7.722 * [backup-simplify]: Simplify 0 into 0
7.722 * [backup-simplify]: Simplify (- 0) into 0
7.722 * [backup-simplify]: Simplify (+ 0 0) into 0
7.723 * [backup-simplify]: Simplify 0 into 0
7.723 * [backup-simplify]: Simplify (- 0) into 0
7.723 * [backup-simplify]: Simplify (+ 0 0) into 0
7.723 * [backup-simplify]: Simplify 0 into 0
7.723 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
7.723 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
7.723 * [backup-simplify]: Simplify (log (exp (- (exp x) 1.0))) into (- (exp x) 1.0)
7.723 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
7.723 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.723 * [taylor]: Taking taylor expansion of (exp x) in x
7.723 * [taylor]: Taking taylor expansion of x in x
7.723 * [backup-simplify]: Simplify 0 into 0
7.723 * [backup-simplify]: Simplify 1 into 1
7.723 * [backup-simplify]: Simplify (exp 0) into 1
7.723 * [taylor]: Taking taylor expansion of 1.0 in x
7.723 * [backup-simplify]: Simplify 1.0 into 1.0
7.723 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.723 * [taylor]: Taking taylor expansion of (exp x) in x
7.724 * [taylor]: Taking taylor expansion of x in x
7.724 * [backup-simplify]: Simplify 0 into 0
7.724 * [backup-simplify]: Simplify 1 into 1
7.724 * [backup-simplify]: Simplify (exp 0) into 1
7.724 * [taylor]: Taking taylor expansion of 1.0 in x
7.724 * [backup-simplify]: Simplify 1.0 into 1.0
7.724 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.724 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
7.724 * [backup-simplify]: Simplify 0 into 0
7.725 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.725 * [backup-simplify]: Simplify (- 0) into 0
7.725 * [backup-simplify]: Simplify (+ 1 0) into 1
7.726 * [backup-simplify]: Simplify 1 into 1
7.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.727 * [backup-simplify]: Simplify (- 0) into 0
7.727 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
7.727 * [backup-simplify]: Simplify 1/2 into 1/2
7.728 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.728 * [backup-simplify]: Simplify (- 0) into 0
7.729 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
7.729 * [backup-simplify]: Simplify 1/6 into 1/6
7.729 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
7.729 * [backup-simplify]: Simplify (log (exp (- (exp (/ 1 x)) 1.0))) into (- (exp (/ 1 x)) 1.0)
7.729 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
7.729 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.729 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.729 * [taylor]: Taking taylor expansion of x in x
7.729 * [backup-simplify]: Simplify 0 into 0
7.729 * [backup-simplify]: Simplify 1 into 1
7.730 * [backup-simplify]: Simplify (/ 1 1) into 1
7.730 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.730 * [taylor]: Taking taylor expansion of 1.0 in x
7.730 * [backup-simplify]: Simplify 1.0 into 1.0
7.730 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.730 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.730 * [taylor]: Taking taylor expansion of x in x
7.730 * [backup-simplify]: Simplify 0 into 0
7.730 * [backup-simplify]: Simplify 1 into 1
7.730 * [backup-simplify]: Simplify (/ 1 1) into 1
7.730 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.730 * [taylor]: Taking taylor expansion of 1.0 in x
7.730 * [backup-simplify]: Simplify 1.0 into 1.0
7.730 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.731 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
7.731 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
7.731 * [backup-simplify]: Simplify (- 0) into 0
7.731 * [backup-simplify]: Simplify (+ 0 0) into 0
7.731 * [backup-simplify]: Simplify 0 into 0
7.731 * [backup-simplify]: Simplify (- 0) into 0
7.732 * [backup-simplify]: Simplify (+ 0 0) into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (- 0) into 0
7.732 * [backup-simplify]: Simplify (+ 0 0) into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (- 0) into 0
7.733 * [backup-simplify]: Simplify (+ 0 0) into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify (- 0) into 0
7.733 * [backup-simplify]: Simplify (+ 0 0) into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify (- 0) into 0
7.734 * [backup-simplify]: Simplify (+ 0 0) into 0
7.734 * [backup-simplify]: Simplify 0 into 0
7.734 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
7.734 * [backup-simplify]: Simplify (log (exp (- (exp (/ 1 (- x))) 1.0))) into (- (exp (/ -1 x)) 1.0)
7.734 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
7.734 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.734 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.734 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.734 * [taylor]: Taking taylor expansion of -1 in x
7.734 * [backup-simplify]: Simplify -1 into -1
7.734 * [taylor]: Taking taylor expansion of x in x
7.734 * [backup-simplify]: Simplify 0 into 0
7.734 * [backup-simplify]: Simplify 1 into 1
7.734 * [backup-simplify]: Simplify (/ -1 1) into -1
7.734 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.734 * [taylor]: Taking taylor expansion of 1.0 in x
7.734 * [backup-simplify]: Simplify 1.0 into 1.0
7.734 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.734 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.734 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.734 * [taylor]: Taking taylor expansion of -1 in x
7.734 * [backup-simplify]: Simplify -1 into -1
7.735 * [taylor]: Taking taylor expansion of x in x
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 1 into 1
7.735 * [backup-simplify]: Simplify (/ -1 1) into -1
7.735 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.735 * [taylor]: Taking taylor expansion of 1.0 in x
7.735 * [backup-simplify]: Simplify 1.0 into 1.0
7.735 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.735 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
7.736 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
7.736 * [backup-simplify]: Simplify (- 0) into 0
7.736 * [backup-simplify]: Simplify (+ 0 0) into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify (- 0) into 0
7.736 * [backup-simplify]: Simplify (+ 0 0) into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.737 * [backup-simplify]: Simplify (- 0) into 0
7.737 * [backup-simplify]: Simplify (+ 0 0) into 0
7.737 * [backup-simplify]: Simplify 0 into 0
7.737 * [backup-simplify]: Simplify (- 0) into 0
7.737 * [backup-simplify]: Simplify (+ 0 0) into 0
7.737 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify (- 0) into 0
7.738 * [backup-simplify]: Simplify (+ 0 0) into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify (- 0) into 0
7.738 * [backup-simplify]: Simplify (+ 0 0) into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
7.739 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
7.739 * [backup-simplify]: Simplify (log (exp (- (exp x) 1.0))) into (- (exp x) 1.0)
7.739 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
7.739 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.739 * [taylor]: Taking taylor expansion of (exp x) in x
7.739 * [taylor]: Taking taylor expansion of x in x
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [backup-simplify]: Simplify 1 into 1
7.739 * [backup-simplify]: Simplify (exp 0) into 1
7.739 * [taylor]: Taking taylor expansion of 1.0 in x
7.739 * [backup-simplify]: Simplify 1.0 into 1.0
7.739 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.739 * [taylor]: Taking taylor expansion of (exp x) in x
7.739 * [taylor]: Taking taylor expansion of x in x
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [backup-simplify]: Simplify 1 into 1
7.739 * [backup-simplify]: Simplify (exp 0) into 1
7.739 * [taylor]: Taking taylor expansion of 1.0 in x
7.739 * [backup-simplify]: Simplify 1.0 into 1.0
7.739 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.740 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
7.740 * [backup-simplify]: Simplify 0 into 0
7.740 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.741 * [backup-simplify]: Simplify (- 0) into 0
7.741 * [backup-simplify]: Simplify (+ 1 0) into 1
7.741 * [backup-simplify]: Simplify 1 into 1
7.742 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.742 * [backup-simplify]: Simplify (- 0) into 0
7.742 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
7.742 * [backup-simplify]: Simplify 1/2 into 1/2
7.744 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.744 * [backup-simplify]: Simplify (- 0) into 0
7.744 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
7.744 * [backup-simplify]: Simplify 1/6 into 1/6
7.744 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
7.745 * [backup-simplify]: Simplify (log (exp (- (exp (/ 1 x)) 1.0))) into (- (exp (/ 1 x)) 1.0)
7.745 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
7.745 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.745 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.745 * [taylor]: Taking taylor expansion of x in x
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 1 into 1
7.745 * [backup-simplify]: Simplify (/ 1 1) into 1
7.745 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.745 * [taylor]: Taking taylor expansion of 1.0 in x
7.745 * [backup-simplify]: Simplify 1.0 into 1.0
7.745 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.745 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.745 * [taylor]: Taking taylor expansion of x in x
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 1 into 1
7.745 * [backup-simplify]: Simplify (/ 1 1) into 1
7.745 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.745 * [taylor]: Taking taylor expansion of 1.0 in x
7.745 * [backup-simplify]: Simplify 1.0 into 1.0
7.746 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.746 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
7.746 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
7.746 * [backup-simplify]: Simplify (- 0) into 0
7.747 * [backup-simplify]: Simplify (+ 0 0) into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify (- 0) into 0
7.747 * [backup-simplify]: Simplify (+ 0 0) into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify (- 0) into 0
7.747 * [backup-simplify]: Simplify (+ 0 0) into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.748 * [backup-simplify]: Simplify (- 0) into 0
7.748 * [backup-simplify]: Simplify (+ 0 0) into 0
7.748 * [backup-simplify]: Simplify 0 into 0
7.748 * [backup-simplify]: Simplify (- 0) into 0
7.748 * [backup-simplify]: Simplify (+ 0 0) into 0
7.748 * [backup-simplify]: Simplify 0 into 0
7.749 * [backup-simplify]: Simplify (- 0) into 0
7.749 * [backup-simplify]: Simplify (+ 0 0) into 0
7.749 * [backup-simplify]: Simplify 0 into 0
7.749 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
7.749 * [backup-simplify]: Simplify (log (exp (- (exp (/ 1 (- x))) 1.0))) into (- (exp (/ -1 x)) 1.0)
7.749 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
7.749 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.749 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.749 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.749 * [taylor]: Taking taylor expansion of -1 in x
7.749 * [backup-simplify]: Simplify -1 into -1
7.749 * [taylor]: Taking taylor expansion of x in x
7.749 * [backup-simplify]: Simplify 0 into 0
7.749 * [backup-simplify]: Simplify 1 into 1
7.750 * [backup-simplify]: Simplify (/ -1 1) into -1
7.750 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.750 * [taylor]: Taking taylor expansion of 1.0 in x
7.750 * [backup-simplify]: Simplify 1.0 into 1.0
7.750 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.750 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.750 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.750 * [taylor]: Taking taylor expansion of -1 in x
7.750 * [backup-simplify]: Simplify -1 into -1
7.750 * [taylor]: Taking taylor expansion of x in x
7.750 * [backup-simplify]: Simplify 0 into 0
7.750 * [backup-simplify]: Simplify 1 into 1
7.751 * [backup-simplify]: Simplify (/ -1 1) into -1
7.751 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.751 * [taylor]: Taking taylor expansion of 1.0 in x
7.751 * [backup-simplify]: Simplify 1.0 into 1.0
7.751 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.752 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
7.752 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
7.752 * [backup-simplify]: Simplify (- 0) into 0
7.752 * [backup-simplify]: Simplify (+ 0 0) into 0
7.753 * [backup-simplify]: Simplify 0 into 0
7.753 * [backup-simplify]: Simplify (- 0) into 0
7.753 * [backup-simplify]: Simplify (+ 0 0) into 0
7.753 * [backup-simplify]: Simplify 0 into 0
7.754 * [backup-simplify]: Simplify (- 0) into 0
7.754 * [backup-simplify]: Simplify (+ 0 0) into 0
7.754 * [backup-simplify]: Simplify 0 into 0
7.755 * [backup-simplify]: Simplify (- 0) into 0
7.755 * [backup-simplify]: Simplify (+ 0 0) into 0
7.755 * [backup-simplify]: Simplify 0 into 0
7.756 * [backup-simplify]: Simplify (- 0) into 0
7.756 * [backup-simplify]: Simplify (+ 0 0) into 0
7.756 * [backup-simplify]: Simplify 0 into 0
7.756 * [backup-simplify]: Simplify (- 0) into 0
7.757 * [backup-simplify]: Simplify (+ 0 0) into 0
7.757 * [backup-simplify]: Simplify 0 into 0
7.757 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
7.757 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
7.757 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0)
7.757 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
7.757 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.757 * [taylor]: Taking taylor expansion of (exp x) in x
7.757 * [taylor]: Taking taylor expansion of x in x
7.757 * [backup-simplify]: Simplify 0 into 0
7.757 * [backup-simplify]: Simplify 1 into 1
7.757 * [backup-simplify]: Simplify (exp 0) into 1
7.757 * [taylor]: Taking taylor expansion of 1.0 in x
7.757 * [backup-simplify]: Simplify 1.0 into 1.0
7.757 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.757 * [taylor]: Taking taylor expansion of (exp x) in x
7.757 * [taylor]: Taking taylor expansion of x in x
7.757 * [backup-simplify]: Simplify 0 into 0
7.758 * [backup-simplify]: Simplify 1 into 1
7.758 * [backup-simplify]: Simplify (exp 0) into 1
7.758 * [taylor]: Taking taylor expansion of 1.0 in x
7.758 * [backup-simplify]: Simplify 1.0 into 1.0
7.758 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.759 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
7.759 * [backup-simplify]: Simplify 0 into 0
7.760 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.760 * [backup-simplify]: Simplify (- 0) into 0
7.761 * [backup-simplify]: Simplify (+ 1 0) into 1
7.761 * [backup-simplify]: Simplify 1 into 1
7.762 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.763 * [backup-simplify]: Simplify (- 0) into 0
7.763 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
7.763 * [backup-simplify]: Simplify 1/2 into 1/2
7.766 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.766 * [backup-simplify]: Simplify (- 0) into 0
7.766 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
7.766 * [backup-simplify]: Simplify 1/6 into 1/6
7.767 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
7.767 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
7.767 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
7.767 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.767 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.767 * [taylor]: Taking taylor expansion of x in x
7.767 * [backup-simplify]: Simplify 0 into 0
7.767 * [backup-simplify]: Simplify 1 into 1
7.768 * [backup-simplify]: Simplify (/ 1 1) into 1
7.768 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.768 * [taylor]: Taking taylor expansion of 1.0 in x
7.768 * [backup-simplify]: Simplify 1.0 into 1.0
7.768 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.768 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.768 * [taylor]: Taking taylor expansion of x in x
7.768 * [backup-simplify]: Simplify 0 into 0
7.768 * [backup-simplify]: Simplify 1 into 1
7.768 * [backup-simplify]: Simplify (/ 1 1) into 1
7.769 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.769 * [taylor]: Taking taylor expansion of 1.0 in x
7.769 * [backup-simplify]: Simplify 1.0 into 1.0
7.769 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.769 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
7.770 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
7.770 * [backup-simplify]: Simplify (- 0) into 0
7.770 * [backup-simplify]: Simplify (+ 0 0) into 0
7.770 * [backup-simplify]: Simplify 0 into 0
7.771 * [backup-simplify]: Simplify (- 0) into 0
7.771 * [backup-simplify]: Simplify (+ 0 0) into 0
7.771 * [backup-simplify]: Simplify 0 into 0
7.772 * [backup-simplify]: Simplify (- 0) into 0
7.772 * [backup-simplify]: Simplify (+ 0 0) into 0
7.772 * [backup-simplify]: Simplify 0 into 0
7.773 * [backup-simplify]: Simplify (- 0) into 0
7.773 * [backup-simplify]: Simplify (+ 0 0) into 0
7.773 * [backup-simplify]: Simplify 0 into 0
7.773 * [backup-simplify]: Simplify (- 0) into 0
7.774 * [backup-simplify]: Simplify (+ 0 0) into 0
7.774 * [backup-simplify]: Simplify 0 into 0
7.774 * [backup-simplify]: Simplify (- 0) into 0
7.774 * [backup-simplify]: Simplify (+ 0 0) into 0
7.775 * [backup-simplify]: Simplify 0 into 0
7.775 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
7.775 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0)
7.775 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
7.775 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.775 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.775 * [taylor]: Taking taylor expansion of -1 in x
7.775 * [backup-simplify]: Simplify -1 into -1
7.775 * [taylor]: Taking taylor expansion of x in x
7.775 * [backup-simplify]: Simplify 0 into 0
7.775 * [backup-simplify]: Simplify 1 into 1
7.775 * [backup-simplify]: Simplify (/ -1 1) into -1
7.776 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.776 * [taylor]: Taking taylor expansion of 1.0 in x
7.776 * [backup-simplify]: Simplify 1.0 into 1.0
7.776 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.776 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.776 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.776 * [taylor]: Taking taylor expansion of -1 in x
7.776 * [backup-simplify]: Simplify -1 into -1
7.776 * [taylor]: Taking taylor expansion of x in x
7.776 * [backup-simplify]: Simplify 0 into 0
7.776 * [backup-simplify]: Simplify 1 into 1
7.776 * [backup-simplify]: Simplify (/ -1 1) into -1
7.776 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.776 * [taylor]: Taking taylor expansion of 1.0 in x
7.776 * [backup-simplify]: Simplify 1.0 into 1.0
7.777 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.777 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
7.777 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
7.778 * [backup-simplify]: Simplify (- 0) into 0
7.778 * [backup-simplify]: Simplify (+ 0 0) into 0
7.778 * [backup-simplify]: Simplify 0 into 0
7.779 * [backup-simplify]: Simplify (- 0) into 0
7.779 * [backup-simplify]: Simplify (+ 0 0) into 0
7.779 * [backup-simplify]: Simplify 0 into 0
7.779 * [backup-simplify]: Simplify (- 0) into 0
7.780 * [backup-simplify]: Simplify (+ 0 0) into 0
7.780 * [backup-simplify]: Simplify 0 into 0
7.780 * [backup-simplify]: Simplify (- 0) into 0
7.780 * [backup-simplify]: Simplify (+ 0 0) into 0
7.781 * [backup-simplify]: Simplify 0 into 0
7.781 * [backup-simplify]: Simplify (- 0) into 0
7.781 * [backup-simplify]: Simplify (+ 0 0) into 0
7.781 * [backup-simplify]: Simplify 0 into 0
7.782 * [backup-simplify]: Simplify (- 0) into 0
7.782 * [backup-simplify]: Simplify (+ 0 0) into 0
7.782 * [backup-simplify]: Simplify 0 into 0
7.782 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
7.782 * * * [progress]: simplifying candidates
7.784 * [simplify]: Simplifying:
  (log (exp (exp x)))
  (log (exp (- 1.0)))
  (log (exp (exp x)))
  (log (exp (- 1.0)))
  (log (* (cbrt (exp (- (exp x) 1.0))) (cbrt (exp (- (exp x) 1.0)))))
  (log (cbrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log 1)
  (log (exp (- (exp x) 1.0)))
  (log (exp (exp x)))
  (log (exp 1.0))
  (log (exp (- (exp x) 1.0)))
  (log (exp (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))))
  (log (exp (sqrt (- (exp x) 1.0))))
  (log (exp 1))
  (log (exp (+ (sqrt (exp x)) (sqrt 1.0))))
  (log (exp 1))
  (log (log (exp (- (exp x) 1.0))))
  (exp (log (exp (- (exp x) 1.0))))
  (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0)))))
  (cbrt (log (exp (- (exp x) 1.0))))
  (* (* (log (exp (- (exp x) 1.0))) (log (exp (- (exp x) 1.0)))) (log (exp (- (exp x) 1.0))))
  (sqrt (log (exp (- (exp x) 1.0))))
  (sqrt (log (exp (- (exp x) 1.0))))
  (log (exp (exp x)))
  (log (exp (- 1.0)))
  (log (exp (exp x)))
  (log (exp (- 1.0)))
  (log (* (cbrt (exp (- (exp x) 1.0))) (cbrt (exp (- (exp x) 1.0)))))
  (log (cbrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log 1)
  (log (exp (- (exp x) 1.0)))
  (log (exp (exp x)))
  (log (exp 1.0))
  (log (exp (- (exp x) 1.0)))
  (log (exp (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))))
  (log (exp (sqrt (- (exp x) 1.0))))
  (log (exp 1))
  (log (exp (+ (sqrt (exp x)) (sqrt 1.0))))
  (log (exp 1))
  (log (log (exp (- (exp x) 1.0))))
  (exp (log (exp (- (exp x) 1.0))))
  (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0)))))
  (cbrt (log (exp (- (exp x) 1.0))))
  (* (* (log (exp (- (exp x) 1.0))) (log (exp (- (exp x) 1.0)))) (log (exp (- (exp x) 1.0))))
  (sqrt (log (exp (- (exp x) 1.0))))
  (sqrt (log (exp (- (exp x) 1.0))))
  (log (exp (exp x)))
  (log (exp (- 1.0)))
  (log (exp (exp x)))
  (log (exp (- 1.0)))
  (log (* (cbrt (exp (- (exp x) 1.0))) (cbrt (exp (- (exp x) 1.0)))))
  (log (cbrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log 1)
  (log (exp (- (exp x) 1.0)))
  (log (exp (exp x)))
  (log (exp 1.0))
  (log (exp (- (exp x) 1.0)))
  (log (exp (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))))
  (log (exp (sqrt (- (exp x) 1.0))))
  (log (exp 1))
  (log (exp (+ (sqrt (exp x)) (sqrt 1.0))))
  (log (exp 1))
  (log (log (exp (- (exp x) 1.0))))
  (exp (log (exp (- (exp x) 1.0))))
  (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0)))))
  (cbrt (log (exp (- (exp x) 1.0))))
  (* (* (log (exp (- (exp x) 1.0))) (log (exp (- (exp x) 1.0)))) (log (exp (- (exp x) 1.0))))
  (sqrt (log (exp (- (exp x) 1.0))))
  (sqrt (log (exp (- (exp x) 1.0))))
  (/ (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)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
7.786 * * [simplify]: Extracting # 0 : cost  34  inf +  0
7.786 * * [simplify]: Extracting # 1 : cost  58  inf +  0
7.786 * * [simplify]: Extracting # 2 : cost  52  inf +  600
7.787 * * [simplify]: Extracting # 3 : cost  38  inf +  3188
7.788 * * [simplify]: Extracting # 4 : cost  13  inf +  9317
7.789 * * [simplify]: Extracting # 5 : cost  4  inf +  12046
7.791 * * [simplify]: Extracting # 6 : cost  3  inf +  12258
7.792 * * [simplify]: Extracting # 7 : cost  0  inf +  13641
7.794 * * [simplify]: iteration  0 :  67  enodes  (cost  26082 )
7.824 * * [simplify]: Extracting # 0 : cost  0  inf +  13641
7.827 * * [simplify]: Extracting # 1 : cost  22  inf +  12438
7.829 * * [simplify]: Extracting # 2 : cost  6  inf +  12798
7.831 * * [simplify]: Extracting # 3 : cost  2  inf +  12231
7.834 * * [simplify]: Extracting # 4 : cost  0  inf +  12685
7.836 * * [simplify]: iteration  1 :  133  enodes  (cost  16153 )
7.892 * * [simplify]: Extracting # 0 : cost  0  inf +  12685
7.895 * * [simplify]: Extracting # 1 : cost  44  inf +  12404
7.900 * * [simplify]: Extracting # 2 : cost  5  inf +  16697
7.904 * * [simplify]: Extracting # 3 : cost  1  inf +  17164
7.909 * * [simplify]: Extracting # 4 : cost  0  inf +  17446
7.913 * * [simplify]: iteration  2 :  284  enodes  (cost  15733 )
8.005 * * [simplify]: Extracting # 0 : cost  0  inf +  17446
8.008 * * [simplify]: Extracting # 1 : cost  105  inf +  16986
8.012 * * [simplify]: Extracting # 2 : cost  6  inf +  34750
8.017 * * [simplify]: Extracting # 3 : cost  3  inf +  35226
8.022 * * [simplify]: Extracting # 4 : cost  0  inf +  36163
8.027 * * [simplify]: iteration  3 :  640  enodes  (cost  15573 )
8.271 * * [simplify]: Extracting # 0 : cost  0  inf +  36163
8.277 * * [simplify]: Extracting # 1 : cost  143  inf +  34379
8.286 * * [simplify]: Extracting # 2 : cost  19  inf +  59762
8.297 * * [simplify]: Extracting # 3 : cost  1  inf +  61868
8.319 * * [simplify]: Extracting # 4 : cost  0  inf +  62421
8.342 * * [simplify]: iteration  4 :  1272  enodes  (cost  15534 )
9.131 * * [simplify]: Extracting # 0 : cost  0  inf +  62421
9.146 * * [simplify]: Extracting # 1 : cost  418  inf +  61320
9.184 * * [simplify]: Extracting # 2 : cost  39  inf +  154572
9.249 * * [simplify]: Extracting # 3 : cost  3  inf +  157813
9.308 * * [simplify]: Extracting # 4 : cost  0  inf +  159152
9.348 * * [simplify]: iteration  5 :  3124  enodes  (cost  15534 )
10.139 * * [simplify]: Extracting # 0 : cost  0  inf +  159152
10.216 * * [simplify]: Extracting # 1 : cost  774  inf +  151049
10.313 * * [simplify]: Extracting # 2 : cost  281  inf +  301327
10.452 * * [simplify]: Extracting # 3 : cost  75  inf +  327499
10.535 * * [simplify]: Extracting # 4 : cost  0  inf +  348327
10.621 * * [simplify]: iteration complete:  5002  enodes  (cost  15534 )
10.621 * [simplify]: Simplified to:
  (exp x)
  (- 1.0)
  (exp x)
  (- 1.0)
  (log (* (cbrt (exp (- (exp x) 1.0))) (cbrt (exp (- (exp x) 1.0)))))
  (log (cbrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  0
  (- (exp x) 1.0)
  (exp x)
  1.0
  (- (exp x) 1.0)
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (sqrt (- (exp x) 1.0))
  1
  (+ (sqrt (exp x)) (sqrt 1.0))
  1
  (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))
  (exp x)
  (- 1.0)
  (exp x)
  (- 1.0)
  (log (* (cbrt (exp (- (exp x) 1.0))) (cbrt (exp (- (exp x) 1.0)))))
  (log (cbrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  0
  (- (exp x) 1.0)
  (exp x)
  1.0
  (- (exp x) 1.0)
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (sqrt (- (exp x) 1.0))
  1
  (+ (sqrt (exp x)) (sqrt 1.0))
  1
  (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))
  (exp x)
  (- 1.0)
  (exp x)
  (- 1.0)
  (log (* (cbrt (exp (- (exp x) 1.0))) (cbrt (exp (- (exp x) 1.0)))))
  (log (cbrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  (log (sqrt (exp (- (exp x) 1.0))))
  0
  (- (exp x) 1.0)
  (exp x)
  1.0
  (- (exp x) 1.0)
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (sqrt (- (exp x) 1.0))
  1
  (+ (sqrt (exp x)) (sqrt 1.0))
  1
  (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))
  (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))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))
  (+ (* (exp x) (exp x)) (* 1.0 (+ 1.0 (exp x))))
  (- 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)
  (+ (* (* x x) (+ (* 1/6 x) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (* (* x x) (+ (* 1/6 x) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (* (* x x) (+ (* 1/6 x) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (* (* x x) (+ (* 1/6 x) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
10.627 * * * [progress]: adding candidates to table
11.068 * [progress]: [Phase 3 of 3] Extracting.
11.068 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* (* x x) (+ (* x 1/6) 1/2)) x))> #<alt (λ (x) (* (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0))))) (cbrt (log (exp (- (exp x) 1.0))))))>)
11.068 * * * [regime-changes]: Trying 3 branch expressions: ((exp x) (- (exp x) 1.0) x)
11.068 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (+ (* (* x x) (+ (* x 1/6) 1/2)) x))> #<alt (λ (x) (* (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0))))) (cbrt (log (exp (- (exp x) 1.0))))))>)
11.089 * * * * [regimes]: Trying to branch on (- (exp x) 1.0) from (#<alt (λ (x) (+ (* (* x x) (+ (* x 1/6) 1/2)) x))> #<alt (λ (x) (* (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0))))) (cbrt (log (exp (- (exp x) 1.0))))))>)
11.108 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* (* x x) (+ (* x 1/6) 1/2)) x))> #<alt (λ (x) (* (* (cbrt (log (exp (- (exp x) 1.0)))) (cbrt (log (exp (- (exp x) 1.0))))) (cbrt (log (exp (- (exp x) 1.0))))))>)
11.129 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
11.130 * [simplify]: Simplifying:
  (+ (* (* x x) (+ (* x 1/6) 1/2)) x)
11.130 * * [simplify]: Extracting # 0 : cost  1  inf +  0
11.130 * * [simplify]: Extracting # 1 : cost  3  inf +  0
11.130 * * [simplify]: Extracting # 2 : cost  4  inf +  1
11.130 * * [simplify]: Extracting # 3 : cost  5  inf +  42
11.130 * * [simplify]: Extracting # 4 : cost  5  inf +  43
11.130 * * [simplify]: Extracting # 5 : cost  0  inf +  535
11.130 * * [simplify]: iteration  0 :  8  enodes  (cost  203 )
11.130 * * [simplify]: Extracting # 0 : cost  0  inf +  535
11.131 * * [simplify]: iteration  1 :  12  enodes  (cost  203 )
11.131 * * [simplify]: Extracting # 0 : cost  0  inf +  535
11.131 * * [simplify]: iteration complete:  12  enodes  (cost  203 )
11.131 * [simplify]: Simplified to:
  (+ (* (* x x) (+ (* x 1/6) 1/2)) x)
14.003 * [regime-testing]: Baseline error score: 0.43624767536276793
14.011 * [regime-testing]: Oracle error score: 0.1858288860274488
14.029 * [regime-testing]: End program error score: 0.43624767536276793
14.140 * [regime-testing]: Target error score: 0.44762410107393075