1550624759.931 * [misc]progress:  [Phase 1 of 3] Setting up.
1550624759.931 * * * [misc]progress:  [1/2] Preparing points
1550624759.991 * * * [misc]progress:  [2/2] Setting up program.
1550624759.994 * [misc]progress:  [Phase 2 of 3] Improving.
1550624759.994 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (exp x) 1))>
1550624759.995 * [enter]simplify:  Simplifying (- (exp x) 1)
1550624759.995 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624759.998 * * [misc]simplify:  iters left: 2 (18 enodes)
1550624760.004 * * [misc]simplify:  iters left: 1 (22 enodes)
1550624760.007 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.007 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550624760.007 * * [misc]simplify:  Extracting #2: cost 4 inf + 3
1550624760.007 * * [misc]simplify:  Extracting #3: cost 0 inf + 287
1550624760.007 * [exit]simplify:  Simplified to (expm1 x)
1550624760.008 * [misc]simplify:  Simplified (2) to (λ (x) (expm1 x))
1550624760.012 * * [misc]progress:  iteration 1 / 4
1550624760.012 * * * [misc]progress:  picking best candidate
1550624760.015 * * * * [misc]pick:  Picked  #<alt (λ (x) (expm1 x))>
1550624760.015 * * * [misc]progress:  localizing error
1550624760.018 * * * [misc]progress:  generating rewritten candidates
1550624760.018 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1550624760.018 * * * [misc]progress:  generating series expansions
1550624760.019 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1550624760.019 * [misc]backup-simplify:  Simplify (expm1 x) into (expm1 x)
1550624760.019 * [misc]approximate:  Taking taylor expansion of (expm1 x) in (x) around 0
1550624760.019 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.019 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.019 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.019 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.019 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.019 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.019 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.019 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.019 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.019 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.019 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.019 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.019 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.019 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.019 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.019 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.019 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.019 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.019 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.019 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.019 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.020 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.021 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.021 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.021 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.022 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1550624760.022 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.022 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1550624760.022 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1550624760.025 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1550624760.025 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.025 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1550624760.025 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1550624760.025 * [misc]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))))
1550624760.025 * [misc]backup-simplify:  Simplify (expm1 (/ 1 x)) into (expm1 (/ 1 x))
1550624760.025 * [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 x)) in (x) around 0
1550624760.025 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.025 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.025 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.025 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.025 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.025 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.025 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.026 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.026 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.026 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.026 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.026 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.026 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.026 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.026 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.026 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.026 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.026 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.026 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.026 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.026 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.026 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.026 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.026 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.026 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1550624760.026 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.027 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.027 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.027 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.027 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.027 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.028 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.028 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.028 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.028 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1)
1550624760.028 * [misc]backup-simplify:  Simplify (expm1 (/ 1 (- x))) into (expm1 (/ -1 x))
1550624760.028 * [misc]approximate:  Taking taylor expansion of (expm1 (/ -1 x)) in (x) around 0
1550624760.028 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.028 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.028 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.028 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.028 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.028 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.028 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.028 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.028 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.028 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.028 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.028 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.028 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.028 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.028 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.028 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.028 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.028 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.028 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.028 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.028 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.028 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.028 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.029 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.029 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.029 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.029 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.029 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.029 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1)
1550624760.029 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.029 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.029 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.029 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.029 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.029 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.029 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.029 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.029 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.030 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.030 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.030 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.030 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.030 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.030 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.030 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.030 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.030 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.030 * [misc]backup-simplify:  Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1)
1550624760.030 * * * [misc]progress:  simplifying candidates
1550624760.030 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (x) (- (exp x) 1))>
1550624760.030 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (expm1 x))))>
1550624760.030 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (expm1 x))))>
1550624760.030 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (x) (pow (expm1 x) 1))>
1550624760.030 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (x) (exp (log (expm1 x))))>
1550624760.030 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (x) (log (exp (expm1 x))))>
1550624760.030 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.031 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (expm1 x) (expm1 x)) (expm1 x))))>
1550624760.031 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (x) (* (sqrt (expm1 x)) (sqrt (expm1 x))))>
1550624760.031 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (x) (* 1 (expm1 x)))>
1550624760.031 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (expm1 x))))>
1550624760.031 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (x) (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))>
1550624760.031 * [enter]simplify:  Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
1550624760.031 * * [misc]simplify:  iters left: 6 (11 enodes)
1550624760.035 * * [misc]simplify:  iters left: 5 (43 enodes)
1550624760.042 * * [misc]simplify:  iters left: 4 (69 enodes)
1550624760.065 * * [misc]simplify:  iters left: 3 (134 enodes)
1550624760.085 * * [misc]simplify:  iters left: 2 (205 enodes)
1550624760.129 * * [misc]simplify:  iters left: 1 (256 enodes)
1550624760.164 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.164 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550624760.165 * * [misc]simplify:  Extracting #2: cost 35 inf + 3
1550624760.165 * * [misc]simplify:  Extracting #3: cost 16 inf + 1415
1550624760.166 * * [misc]simplify:  Extracting #4: cost 1 inf + 2794
1550624760.168 * * [misc]simplify:  Extracting #5: cost 0 inf + 2892
1550624760.169 * [exit]simplify:  Simplified to (fma (fma x 1/6 1/2) (* x x) x)
1550624760.169 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma x 1/6 1/2) (* x x) x))
1550624760.169 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (x) (- (exp x) 1))>
1550624760.169 * [enter]simplify:  Simplifying (- (exp x) 1)
1550624760.169 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.171 * * [misc]simplify:  iters left: 2 (18 enodes)
1550624760.174 * * [misc]simplify:  iters left: 1 (22 enodes)
1550624760.177 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.177 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550624760.178 * * [misc]simplify:  Extracting #2: cost 4 inf + 3
1550624760.178 * * [misc]simplify:  Extracting #3: cost 0 inf + 287
1550624760.178 * [exit]simplify:  Simplified to (expm1 x)
1550624760.178 * [misc]simplify:  Simplified (2) to (λ (x) (expm1 x))
1550624760.178 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (x) (- (exp x) 1))>
1550624760.178 * [enter]simplify:  Simplifying (- (exp x) 1)
1550624760.178 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.180 * * [misc]simplify:  iters left: 2 (18 enodes)
1550624760.183 * * [misc]simplify:  iters left: 1 (22 enodes)
1550624760.186 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.187 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550624760.187 * * [misc]simplify:  Extracting #2: cost 4 inf + 3
1550624760.187 * * [misc]simplify:  Extracting #3: cost 0 inf + 287
1550624760.187 * [exit]simplify:  Simplified to (expm1 x)
1550624760.187 * [misc]simplify:  Simplified (2) to (λ (x) (expm1 x))
1550624760.187 * * * [misc]progress:  adding candidates to table
1550624760.241 * * [misc]progress:  iteration 2 / 4
1550624760.241 * * * [misc]progress:  picking best candidate
1550624760.243 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.243 * * * [misc]progress:  localizing error
1550624760.254 * * * [misc]progress:  generating rewritten candidates
1550624760.255 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550624760.256 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1550624760.257 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1550624760.259 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550624760.274 * * * [misc]progress:  generating series expansions
1550624760.275 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550624760.275 * [misc]backup-simplify:  Simplify (cbrt (expm1 x)) into (pow (expm1 x) 1/3)
1550624760.275 * [misc]approximate:  Taking taylor expansion of (pow (expm1 x) 1/3) in (x) around 0
1550624760.275 * [misc]taylor:  Taking taylor expansion of (pow (expm1 x) 1/3) in x
1550624760.275 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 x)))) in x
1550624760.275 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 x))) in x
1550624760.275 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.275 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.275 * [misc]taylor:  Taking taylor expansion of (log (expm1 x)) in x
1550624760.275 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.275 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.275 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.275 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.275 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.275 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.275 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.275 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.275 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.276 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.276 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.277 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.277 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.277 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.277 * [misc]backup-simplify:  Simplify (log 1) into 0
1550624760.277 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.277 * [misc]backup-simplify:  Simplify (* 1/3 (log x)) into (* 1/3 (log x))
1550624760.277 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
1550624760.278 * [misc]taylor:  Taking taylor expansion of (pow (expm1 x) 1/3) in x
1550624760.278 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 x)))) in x
1550624760.278 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 x))) in x
1550624760.278 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.278 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.278 * [misc]taylor:  Taking taylor expansion of (log (expm1 x)) in x
1550624760.278 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.278 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.278 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.278 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.278 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.278 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.278 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.278 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.278 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.278 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.278 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.279 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.279 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.279 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.279 * [misc]backup-simplify:  Simplify (log 1) into 0
1550624760.279 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.279 * [misc]backup-simplify:  Simplify (* 1/3 (log x)) into (* 1/3 (log x))
1550624760.279 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
1550624760.279 * [misc]backup-simplify:  Simplify (pow x 1/3) into (pow x 1/3)
1550624760.281 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1550624760.281 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.281 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1550624760.282 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
1550624760.282 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.283 * [misc]backup-simplify:  Simplify (+ (* 1/3 1/2) (* 0 (log x))) into 1/6
1550624760.283 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log x))) (+ (* (/ (pow 1/6 1) 1)))) into (* 1/6 (pow x 1/3))
1550624760.283 * [misc]backup-simplify:  Simplify (* 1/6 (pow x 1/3)) into (* 1/6 (pow x 1/3))
1550624760.285 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1550624760.286 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.286 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1550624760.288 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/6) 1)) (pow 1 1)))) 2) into 1/24
1550624760.288 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.288 * [misc]backup-simplify:  Simplify (+ (* 1/3 1/24) (+ (* 0 1/2) (* 0 (log x)))) into 1/72
1550624760.289 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log x))) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow 1/72 1) 1)))) into (* 1/36 (pow x 1/3))
1550624760.289 * [misc]backup-simplify:  Simplify (* 1/36 (pow x 1/3)) into (* 1/36 (pow x 1/3))
1550624760.290 * [misc]backup-simplify:  Simplify (+ (* (* 1/36 (pow x 1/3)) (pow x 2)) (+ (* (* 1/6 (pow x 1/3)) x) (pow x 1/3))) into (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3)))
1550624760.290 * [misc]backup-simplify:  Simplify (cbrt (expm1 (/ 1 x))) into (pow (expm1 (/ 1 x)) 1/3)
1550624760.290 * [misc]approximate:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in (x) around 0
1550624760.290 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in x
1550624760.290 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 x))))) in x
1550624760.290 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 x)))) in x
1550624760.290 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.290 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.290 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ 1 x))) in x
1550624760.290 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.290 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.290 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.290 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.290 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.290 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.290 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.290 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.290 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.290 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.290 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.290 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.290 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.290 * [misc]backup-simplify:  Simplify (log (- (exp (/ 1 x)) 1)) into (log (- (exp (/ 1 x)) 1))
1550624760.290 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ 1 x)) 1))) into (* 1/3 (log (- (exp (/ 1 x)) 1)))
1550624760.291 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.291 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in x
1550624760.291 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 x))))) in x
1550624760.291 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 x)))) in x
1550624760.291 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.291 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.291 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ 1 x))) in x
1550624760.291 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.291 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.291 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.291 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.291 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.291 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.291 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.291 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.291 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.291 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.291 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.291 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.291 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.291 * [misc]backup-simplify:  Simplify (log (- (exp (/ 1 x)) 1)) into (log (- (exp (/ 1 x)) 1))
1550624760.291 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ 1 x)) 1))) into (* 1/3 (log (- (exp (/ 1 x)) 1)))
1550624760.291 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.291 * [misc]backup-simplify:  Simplify (pow (- (exp (/ 1 x)) 1) 1/3) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.292 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.292 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.292 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 1) into 0
1550624760.292 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (- (exp (/ 1 x)) 1)))) into 0
1550624760.293 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0
1550624760.293 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.293 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.293 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.294 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 2) into 0
1550624760.295 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))) into 0
1550624760.296 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.296 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.296 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.296 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.298 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 6) into 0
1550624760.298 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1)))))) into 0
1550624760.300 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.300 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.300 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.300 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.303 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 24) into 0
1550624760.304 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))))) into 0
1550624760.307 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.307 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.307 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.307 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.314 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 120) into 0
1550624760.315 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1)))))))) into 0
1550624760.323 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.323 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.323 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.324 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.335 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 720) into 0
1550624760.336 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))))))) into 0
1550624760.349 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.349 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.350 * [misc]backup-simplify:  Simplify (pow (- (exp (/ 1 (/ 1 x))) 1) 1/3) into (pow (- (exp x) 1) 1/3)
1550624760.350 * [misc]backup-simplify:  Simplify (cbrt (expm1 (/ 1 (- x)))) into (pow (expm1 (/ -1 x)) 1/3)
1550624760.350 * [misc]approximate:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in (x) around 0
1550624760.350 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in x
1550624760.350 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 x))))) in x
1550624760.350 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 x)))) in x
1550624760.350 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.350 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.350 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ -1 x))) in x
1550624760.350 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.350 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.350 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.350 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.350 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.350 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.350 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.350 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.350 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.351 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.351 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.351 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.351 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.351 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.351 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.351 * [misc]backup-simplify:  Simplify (log (- (exp (/ -1 x)) 1)) into (log (- (exp (/ -1 x)) 1))
1550624760.351 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ -1 x)) 1))) into (* 1/3 (log (- (exp (/ -1 x)) 1)))
1550624760.351 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.351 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in x
1550624760.352 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 x))))) in x
1550624760.352 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 x)))) in x
1550624760.352 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.352 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.352 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ -1 x))) in x
1550624760.352 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.352 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.352 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.352 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.352 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.352 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.352 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.352 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.352 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.352 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.352 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.352 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.352 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.352 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.352 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.353 * [misc]backup-simplify:  Simplify (log (- (exp (/ -1 x)) 1)) into (log (- (exp (/ -1 x)) 1))
1550624760.353 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ -1 x)) 1))) into (* 1/3 (log (- (exp (/ -1 x)) 1)))
1550624760.353 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.353 * [misc]backup-simplify:  Simplify (pow (- (exp (/ -1 x)) 1) 1/3) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.354 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 1) into 0
1550624760.355 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (- (exp (/ -1 x)) 1)))) into 0
1550624760.356 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0
1550624760.356 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.356 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.356 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.358 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 2) into 0
1550624760.358 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))) into 0
1550624760.360 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.360 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.360 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.361 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.363 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 6) into 0
1550624760.364 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1)))))) into 0
1550624760.367 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.367 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.367 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.367 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.372 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 24) into 0
1550624760.373 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))))) into 0
1550624760.378 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.378 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.378 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.378 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.385 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 120) into 0
1550624760.386 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1)))))))) into 0
1550624760.394 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.394 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.397 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.407 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 720) into 0
1550624760.408 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))))))) into 0
1550624760.420 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.421 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.421 * [misc]backup-simplify:  Simplify (pow (- (exp (/ -1 (/ 1 (- x)))) 1) 1/3) into (pow (- (exp x) 1) 1/3)
1550624760.421 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1550624760.421 * [misc]backup-simplify:  Simplify (cbrt (expm1 x)) into (pow (expm1 x) 1/3)
1550624760.421 * [misc]approximate:  Taking taylor expansion of (pow (expm1 x) 1/3) in (x) around 0
1550624760.421 * [misc]taylor:  Taking taylor expansion of (pow (expm1 x) 1/3) in x
1550624760.421 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 x)))) in x
1550624760.421 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 x))) in x
1550624760.421 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.421 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.421 * [misc]taylor:  Taking taylor expansion of (log (expm1 x)) in x
1550624760.421 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.421 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.421 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.421 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.421 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.421 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.421 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.421 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.422 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.422 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.422 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.423 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.424 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.424 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.424 * [misc]backup-simplify:  Simplify (log 1) into 0
1550624760.424 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.424 * [misc]backup-simplify:  Simplify (* 1/3 (log x)) into (* 1/3 (log x))
1550624760.424 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
1550624760.424 * [misc]taylor:  Taking taylor expansion of (pow (expm1 x) 1/3) in x
1550624760.424 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 x)))) in x
1550624760.424 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 x))) in x
1550624760.424 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.424 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.424 * [misc]taylor:  Taking taylor expansion of (log (expm1 x)) in x
1550624760.424 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.424 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.425 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.425 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.425 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.425 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.425 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.425 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.425 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.425 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.425 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.427 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.427 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.427 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.427 * [misc]backup-simplify:  Simplify (log 1) into 0
1550624760.427 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.427 * [misc]backup-simplify:  Simplify (* 1/3 (log x)) into (* 1/3 (log x))
1550624760.427 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
1550624760.428 * [misc]backup-simplify:  Simplify (pow x 1/3) into (pow x 1/3)
1550624760.430 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1550624760.430 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.430 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1550624760.432 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
1550624760.433 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.433 * [misc]backup-simplify:  Simplify (+ (* 1/3 1/2) (* 0 (log x))) into 1/6
1550624760.434 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log x))) (+ (* (/ (pow 1/6 1) 1)))) into (* 1/6 (pow x 1/3))
1550624760.434 * [misc]backup-simplify:  Simplify (* 1/6 (pow x 1/3)) into (* 1/6 (pow x 1/3))
1550624760.438 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1550624760.438 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.438 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1550624760.442 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/6) 1)) (pow 1 1)))) 2) into 1/24
1550624760.442 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.443 * [misc]backup-simplify:  Simplify (+ (* 1/3 1/24) (+ (* 0 1/2) (* 0 (log x)))) into 1/72
1550624760.444 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log x))) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow 1/72 1) 1)))) into (* 1/36 (pow x 1/3))
1550624760.444 * [misc]backup-simplify:  Simplify (* 1/36 (pow x 1/3)) into (* 1/36 (pow x 1/3))
1550624760.445 * [misc]backup-simplify:  Simplify (+ (* (* 1/36 (pow x 1/3)) (pow x 2)) (+ (* (* 1/6 (pow x 1/3)) x) (pow x 1/3))) into (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3)))
1550624760.445 * [misc]backup-simplify:  Simplify (cbrt (expm1 (/ 1 x))) into (pow (expm1 (/ 1 x)) 1/3)
1550624760.445 * [misc]approximate:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in (x) around 0
1550624760.445 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in x
1550624760.445 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 x))))) in x
1550624760.445 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 x)))) in x
1550624760.445 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.445 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.445 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ 1 x))) in x
1550624760.445 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.445 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.445 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.445 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.445 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.445 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.445 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.445 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.445 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.445 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.445 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.445 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.445 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.445 * [misc]backup-simplify:  Simplify (log (- (exp (/ 1 x)) 1)) into (log (- (exp (/ 1 x)) 1))
1550624760.445 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ 1 x)) 1))) into (* 1/3 (log (- (exp (/ 1 x)) 1)))
1550624760.445 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.445 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in x
1550624760.446 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 x))))) in x
1550624760.446 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 x)))) in x
1550624760.446 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.446 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.446 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ 1 x))) in x
1550624760.446 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.446 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.446 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.446 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.446 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.446 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.446 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.446 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.446 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.446 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.446 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.446 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.446 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.446 * [misc]backup-simplify:  Simplify (log (- (exp (/ 1 x)) 1)) into (log (- (exp (/ 1 x)) 1))
1550624760.446 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ 1 x)) 1))) into (* 1/3 (log (- (exp (/ 1 x)) 1)))
1550624760.446 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.446 * [misc]backup-simplify:  Simplify (pow (- (exp (/ 1 x)) 1) 1/3) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.446 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.447 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.447 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 1) into 0
1550624760.447 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (- (exp (/ 1 x)) 1)))) into 0
1550624760.448 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0
1550624760.448 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.448 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.448 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.449 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 2) into 0
1550624760.449 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))) into 0
1550624760.451 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.451 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.451 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.451 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.454 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 6) into 0
1550624760.454 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1)))))) into 0
1550624760.457 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.457 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.457 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.457 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.460 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 24) into 0
1550624760.460 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))))) into 0
1550624760.463 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.463 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.464 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.468 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 120) into 0
1550624760.469 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1)))))))) into 0
1550624760.474 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.474 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.474 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.474 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.481 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 720) into 0
1550624760.482 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))))))) into 0
1550624760.490 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.490 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.491 * [misc]backup-simplify:  Simplify (pow (- (exp (/ 1 (/ 1 x))) 1) 1/3) into (pow (- (exp x) 1) 1/3)
1550624760.491 * [misc]backup-simplify:  Simplify (cbrt (expm1 (/ 1 (- x)))) into (pow (expm1 (/ -1 x)) 1/3)
1550624760.491 * [misc]approximate:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in (x) around 0
1550624760.491 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in x
1550624760.491 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 x))))) in x
1550624760.491 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 x)))) in x
1550624760.491 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.491 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.491 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ -1 x))) in x
1550624760.491 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.491 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.491 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.491 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.491 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.491 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.491 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.491 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.491 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.491 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.491 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.491 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.491 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.491 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.491 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.491 * [misc]backup-simplify:  Simplify (log (- (exp (/ -1 x)) 1)) into (log (- (exp (/ -1 x)) 1))
1550624760.491 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ -1 x)) 1))) into (* 1/3 (log (- (exp (/ -1 x)) 1)))
1550624760.492 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.492 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in x
1550624760.492 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 x))))) in x
1550624760.492 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 x)))) in x
1550624760.492 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.492 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.492 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ -1 x))) in x
1550624760.492 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.492 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.492 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.492 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.492 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.492 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.492 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.492 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.492 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.492 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.492 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.492 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.492 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.492 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.492 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.492 * [misc]backup-simplify:  Simplify (log (- (exp (/ -1 x)) 1)) into (log (- (exp (/ -1 x)) 1))
1550624760.492 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ -1 x)) 1))) into (* 1/3 (log (- (exp (/ -1 x)) 1)))
1550624760.492 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.492 * [misc]backup-simplify:  Simplify (pow (- (exp (/ -1 x)) 1) 1/3) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.493 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.493 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.493 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 1) into 0
1550624760.494 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (- (exp (/ -1 x)) 1)))) into 0
1550624760.494 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0
1550624760.494 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.494 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.494 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.496 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 2) into 0
1550624760.496 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))) into 0
1550624760.497 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.497 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.497 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.497 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.499 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 6) into 0
1550624760.499 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1)))))) into 0
1550624760.501 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.501 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.501 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.502 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.504 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 24) into 0
1550624760.505 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))))) into 0
1550624760.508 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.508 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.508 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.508 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.513 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 120) into 0
1550624760.514 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1)))))))) into 0
1550624760.519 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.519 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.519 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.519 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.526 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 720) into 0
1550624760.526 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))))))) into 0
1550624760.534 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.534 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.534 * [misc]backup-simplify:  Simplify (pow (- (exp (/ -1 (/ 1 (- x)))) 1) 1/3) into (pow (- (exp x) 1) 1/3)
1550624760.534 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1550624760.534 * [misc]backup-simplify:  Simplify (cbrt (expm1 x)) into (pow (expm1 x) 1/3)
1550624760.534 * [misc]approximate:  Taking taylor expansion of (pow (expm1 x) 1/3) in (x) around 0
1550624760.534 * [misc]taylor:  Taking taylor expansion of (pow (expm1 x) 1/3) in x
1550624760.534 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 x)))) in x
1550624760.534 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 x))) in x
1550624760.534 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.534 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.534 * [misc]taylor:  Taking taylor expansion of (log (expm1 x)) in x
1550624760.534 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.534 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.534 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.534 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.534 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.534 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.534 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.534 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.534 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.534 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.534 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.535 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.535 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.536 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.536 * [misc]backup-simplify:  Simplify (log 1) into 0
1550624760.536 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.536 * [misc]backup-simplify:  Simplify (* 1/3 (log x)) into (* 1/3 (log x))
1550624760.536 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
1550624760.536 * [misc]taylor:  Taking taylor expansion of (pow (expm1 x) 1/3) in x
1550624760.536 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 x)))) in x
1550624760.536 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 x))) in x
1550624760.536 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.536 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.536 * [misc]taylor:  Taking taylor expansion of (log (expm1 x)) in x
1550624760.536 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.536 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.536 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.536 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.536 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.536 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.536 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.536 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.536 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.536 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.536 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.537 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.537 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.537 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.537 * [misc]backup-simplify:  Simplify (log 1) into 0
1550624760.538 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.538 * [misc]backup-simplify:  Simplify (* 1/3 (log x)) into (* 1/3 (log x))
1550624760.538 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
1550624760.538 * [misc]backup-simplify:  Simplify (pow x 1/3) into (pow x 1/3)
1550624760.539 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1550624760.539 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.539 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1550624760.541 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
1550624760.541 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.541 * [misc]backup-simplify:  Simplify (+ (* 1/3 1/2) (* 0 (log x))) into 1/6
1550624760.542 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log x))) (+ (* (/ (pow 1/6 1) 1)))) into (* 1/6 (pow x 1/3))
1550624760.542 * [misc]backup-simplify:  Simplify (* 1/6 (pow x 1/3)) into (* 1/6 (pow x 1/3))
1550624760.544 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1550624760.544 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.544 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1550624760.546 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/6) 1)) (pow 1 1)))) 2) into 1/24
1550624760.546 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1550624760.547 * [misc]backup-simplify:  Simplify (+ (* 1/3 1/24) (+ (* 0 1/2) (* 0 (log x)))) into 1/72
1550624760.548 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log x))) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow 1/72 1) 1)))) into (* 1/36 (pow x 1/3))
1550624760.548 * [misc]backup-simplify:  Simplify (* 1/36 (pow x 1/3)) into (* 1/36 (pow x 1/3))
1550624760.548 * [misc]backup-simplify:  Simplify (+ (* (* 1/36 (pow x 1/3)) (pow x 2)) (+ (* (* 1/6 (pow x 1/3)) x) (pow x 1/3))) into (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3)))
1550624760.548 * [misc]backup-simplify:  Simplify (cbrt (expm1 (/ 1 x))) into (pow (expm1 (/ 1 x)) 1/3)
1550624760.548 * [misc]approximate:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in (x) around 0
1550624760.548 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in x
1550624760.548 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 x))))) in x
1550624760.548 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 x)))) in x
1550624760.548 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.548 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.548 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ 1 x))) in x
1550624760.548 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.548 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.548 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.548 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.548 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.548 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.548 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.548 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.549 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.549 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.549 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.549 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.549 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.549 * [misc]backup-simplify:  Simplify (log (- (exp (/ 1 x)) 1)) into (log (- (exp (/ 1 x)) 1))
1550624760.549 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ 1 x)) 1))) into (* 1/3 (log (- (exp (/ 1 x)) 1)))
1550624760.549 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.549 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 1/3) in x
1550624760.549 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 x))))) in x
1550624760.549 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 x)))) in x
1550624760.549 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.549 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.549 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ 1 x))) in x
1550624760.549 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.549 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.549 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.549 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.549 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.549 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.549 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.549 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.549 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.549 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.549 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.549 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.549 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.550 * [misc]backup-simplify:  Simplify (log (- (exp (/ 1 x)) 1)) into (log (- (exp (/ 1 x)) 1))
1550624760.550 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ 1 x)) 1))) into (* 1/3 (log (- (exp (/ 1 x)) 1)))
1550624760.550 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.550 * [misc]backup-simplify:  Simplify (pow (- (exp (/ 1 x)) 1) 1/3) into (pow (- (exp (/ 1 x)) 1) 1/3)
1550624760.550 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.550 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.551 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 1) into 0
1550624760.551 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (- (exp (/ 1 x)) 1)))) into 0
1550624760.551 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0
1550624760.551 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.552 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.552 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.553 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 2) into 0
1550624760.554 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))) into 0
1550624760.556 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.556 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.556 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.556 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.559 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 6) into 0
1550624760.559 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1)))))) into 0
1550624760.563 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.563 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.563 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.563 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.568 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 24) into 0
1550624760.568 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))))) into 0
1550624760.573 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.573 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.574 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.574 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.581 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 120) into 0
1550624760.582 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1)))))))) into 0
1550624760.587 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.587 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.588 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.588 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.594 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (exp (/ 1 x)) 1) 1)))) 720) into 0
1550624760.595 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ 1 x)) 1))))))))) into 0
1550624760.603 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.603 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.603 * [misc]backup-simplify:  Simplify (pow (- (exp (/ 1 (/ 1 x))) 1) 1/3) into (pow (- (exp x) 1) 1/3)
1550624760.603 * [misc]backup-simplify:  Simplify (cbrt (expm1 (/ 1 (- x)))) into (pow (expm1 (/ -1 x)) 1/3)
1550624760.603 * [misc]approximate:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in (x) around 0
1550624760.603 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in x
1550624760.603 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 x))))) in x
1550624760.603 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 x)))) in x
1550624760.603 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.603 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.603 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ -1 x))) in x
1550624760.603 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.603 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.603 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.603 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.603 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.603 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.603 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.603 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.603 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.603 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.604 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.604 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.604 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.604 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.604 * [misc]backup-simplify:  Simplify (log (- (exp (/ -1 x)) 1)) into (log (- (exp (/ -1 x)) 1))
1550624760.604 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ -1 x)) 1))) into (* 1/3 (log (- (exp (/ -1 x)) 1)))
1550624760.604 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.604 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 1/3) in x
1550624760.604 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 x))))) in x
1550624760.604 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 x)))) in x
1550624760.604 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.604 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.604 * [misc]taylor:  Taking taylor expansion of (log (expm1 (/ -1 x))) in x
1550624760.604 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.604 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.604 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.604 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.604 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.604 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.604 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.604 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.604 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.604 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.604 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.604 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.604 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.605 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.605 * [misc]backup-simplify:  Simplify (log (- (exp (/ -1 x)) 1)) into (log (- (exp (/ -1 x)) 1))
1550624760.605 * [misc]backup-simplify:  Simplify (* 1/3 (log (- (exp (/ -1 x)) 1))) into (* 1/3 (log (- (exp (/ -1 x)) 1)))
1550624760.605 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.605 * [misc]backup-simplify:  Simplify (pow (- (exp (/ -1 x)) 1) 1/3) into (pow (- (exp (/ -1 x)) 1) 1/3)
1550624760.605 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.605 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.606 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 1) into 0
1550624760.606 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (- (exp (/ -1 x)) 1)))) into 0
1550624760.607 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0
1550624760.607 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.607 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.607 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.608 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 2) into 0
1550624760.608 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))) into 0
1550624760.609 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.609 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.609 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.609 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.611 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 6) into 0
1550624760.611 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1)))))) into 0
1550624760.613 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.613 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.613 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.614 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.616 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 24) into 0
1550624760.617 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))))) into 0
1550624760.623 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.623 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.623 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.623 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.631 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 120) into 0
1550624760.631 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1)))))))) into 0
1550624760.640 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.640 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.640 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.640 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.651 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (exp (/ -1 x)) 1) 1)))) 720) into 0
1550624760.653 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (exp (/ -1 x)) 1))))))))) into 0
1550624760.665 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (- (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.666 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.666 * [misc]backup-simplify:  Simplify (pow (- (exp (/ -1 (/ 1 (- x)))) 1) 1/3) into (pow (- (exp x) 1) 1/3)
1550624760.666 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550624760.666 * [misc]backup-simplify:  Simplify (* (cbrt (expm1 x)) (cbrt (expm1 x))) into (pow (pow (expm1 x) 2) 1/3)
1550624760.666 * [misc]approximate:  Taking taylor expansion of (pow (pow (expm1 x) 2) 1/3) in (x) around 0
1550624760.666 * [misc]taylor:  Taking taylor expansion of (pow (pow (expm1 x) 2) 1/3) in x
1550624760.666 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (expm1 x) 2)))) in x
1550624760.666 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (expm1 x) 2))) in x
1550624760.666 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.666 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.666 * [misc]taylor:  Taking taylor expansion of (log (pow (expm1 x) 2)) in x
1550624760.666 * [misc]taylor:  Taking taylor expansion of (pow (expm1 x) 2) in x
1550624760.666 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.666 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.666 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.666 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.666 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.666 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.666 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.666 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.666 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.667 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.667 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.668 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.668 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.668 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.669 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550624760.669 * [misc]backup-simplify:  Simplify (log 1) into 0
1550624760.669 * [misc]backup-simplify:  Simplify (+ (* (- -2) (log x)) 0) into (* 2 (log x))
1550624760.669 * [misc]backup-simplify:  Simplify (* 1/3 (* 2 (log x))) into (* 2/3 (log x))
1550624760.669 * [misc]backup-simplify:  Simplify (exp (* 2/3 (log x))) into (pow x 2/3)
1550624760.669 * [misc]taylor:  Taking taylor expansion of (pow (pow (expm1 x) 2) 1/3) in x
1550624760.669 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (expm1 x) 2)))) in x
1550624760.669 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (expm1 x) 2))) in x
1550624760.669 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.669 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.669 * [misc]taylor:  Taking taylor expansion of (log (pow (expm1 x) 2)) in x
1550624760.669 * [misc]taylor:  Taking taylor expansion of (pow (expm1 x) 2) in x
1550624760.669 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1550624760.670 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1550624760.670 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1550624760.670 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.670 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.670 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.670 * [misc]backup-simplify:  Simplify (exp 0) into 1
1550624760.670 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.670 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.670 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.670 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1550624760.671 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1550624760.672 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.672 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550624760.672 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550624760.672 * [misc]backup-simplify:  Simplify (log 1) into 0
1550624760.672 * [misc]backup-simplify:  Simplify (+ (* (- -2) (log x)) 0) into (* 2 (log x))
1550624760.672 * [misc]backup-simplify:  Simplify (* 1/3 (* 2 (log x))) into (* 2/3 (log x))
1550624760.672 * [misc]backup-simplify:  Simplify (exp (* 2/3 (log x))) into (pow x 2/3)
1550624760.673 * [misc]backup-simplify:  Simplify (pow x 2/3) into (pow x 2/3)
1550624760.675 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1550624760.675 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.675 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1550624760.676 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (* 1/2 1)) into 1
1550624760.678 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1550624760.678 * [misc]backup-simplify:  Simplify (+ (* (- -2) (log x)) 0) into (* 2 (log x))
1550624760.678 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 (* 2 (log x)))) into 1/3
1550624760.679 * [misc]backup-simplify:  Simplify (* (exp (* 2/3 (log x))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (pow x 2) 1/3))
1550624760.680 * [misc]backup-simplify:  Simplify (* 1/3 (pow (pow x 2) 1/3)) into (* 1/3 (pow (pow x 2) 1/3))
1550624760.683 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1550624760.683 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.683 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1550624760.684 * [misc]backup-simplify:  Simplify (+ (* 1 1/6) (+ (* 1/2 1/2) (* 1/6 1))) into 7/12
1550624760.688 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 7/12) 1)) (pow 1 1)))) 2) into 1/12
1550624760.688 * [misc]backup-simplify:  Simplify (+ (* (- -2) (log x)) 0) into (* 2 (log x))
1550624760.688 * [misc]backup-simplify:  Simplify (+ (* 1/3 1/12) (+ (* 0 1) (* 0 (* 2 (log x))))) into 1/36
1550624760.690 * [misc]backup-simplify:  Simplify (* (exp (* 2/3 (log x))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 1/36 1) 1)))) into (* 1/12 (pow (pow x 2) 1/3))
1550624760.690 * [misc]backup-simplify:  Simplify (* 1/12 (pow (pow x 2) 1/3)) into (* 1/12 (pow (pow x 2) 1/3))
1550624760.691 * [misc]backup-simplify:  Simplify (+ (* (* 1/12 (pow (pow x 2) 1/3)) (pow x 2)) (+ (* (* 1/3 (pow (pow x 2) 1/3)) x) (pow x 2/3))) into (+ (* 1/3 (pow (pow x 5) 1/3)) (+ (* 1/12 (pow (pow x 8) 1/3)) (pow x 2/3)))
1550624760.691 * [misc]backup-simplify:  Simplify (* (cbrt (expm1 (/ 1 x))) (cbrt (expm1 (/ 1 x)))) into (pow (pow (expm1 (/ 1 x)) 2) 1/3)
1550624760.691 * [misc]approximate:  Taking taylor expansion of (pow (pow (expm1 (/ 1 x)) 2) 1/3) in (x) around 0
1550624760.691 * [misc]taylor:  Taking taylor expansion of (pow (pow (expm1 (/ 1 x)) 2) 1/3) in x
1550624760.691 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (expm1 (/ 1 x)) 2)))) in x
1550624760.691 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (expm1 (/ 1 x)) 2))) in x
1550624760.691 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.691 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.691 * [misc]taylor:  Taking taylor expansion of (log (pow (expm1 (/ 1 x)) 2)) in x
1550624760.691 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 2) in x
1550624760.691 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.691 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.691 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.691 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.691 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.691 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.691 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.692 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.692 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.692 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.692 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.692 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.692 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.692 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 x)) 1) (- (exp (/ 1 x)) 1)) into (pow (- (exp (/ 1 x)) 1) 2)
1550624760.692 * [misc]backup-simplify:  Simplify (log (pow (- (exp (/ 1 x)) 1) 2)) into (log (pow (- (exp (/ 1 x)) 1) 2))
1550624760.692 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2))) into (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))
1550624760.693 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))) into (pow (pow (- (exp (/ 1 x)) 1) 2) 1/3)
1550624760.693 * [misc]taylor:  Taking taylor expansion of (pow (pow (expm1 (/ 1 x)) 2) 1/3) in x
1550624760.693 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (expm1 (/ 1 x)) 2)))) in x
1550624760.693 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (expm1 (/ 1 x)) 2))) in x
1550624760.693 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.693 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.693 * [misc]taylor:  Taking taylor expansion of (log (pow (expm1 (/ 1 x)) 2)) in x
1550624760.693 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ 1 x)) 2) in x
1550624760.693 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1550624760.693 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1550624760.693 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1550624760.693 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1550624760.693 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.693 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.693 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.693 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550624760.693 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1550624760.693 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.693 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.693 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.694 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1550624760.694 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 x)) 1) (- (exp (/ 1 x)) 1)) into (pow (- (exp (/ 1 x)) 1) 2)
1550624760.694 * [misc]backup-simplify:  Simplify (log (pow (- (exp (/ 1 x)) 1) 2)) into (log (pow (- (exp (/ 1 x)) 1) 2))
1550624760.694 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2))) into (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))
1550624760.694 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))) into (pow (pow (- (exp (/ 1 x)) 1) 2) 1/3)
1550624760.694 * [misc]backup-simplify:  Simplify (pow (pow (- (exp (/ 1 x)) 1) 2) 1/3) into (pow (pow (- (exp (/ 1 x)) 1) 2) 1/3)
1550624760.695 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.695 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.695 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (* 0 (- (exp (/ 1 x)) 1))) into 0
1550624760.696 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 1)))) 1) into 0
1550624760.697 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (pow (- (exp (/ 1 x)) 1) 2)))) into 0
1550624760.698 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1550624760.698 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.698 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.698 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.699 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0
1550624760.701 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 1)))) 2) into 0
1550624760.701 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ 1 x)) 1) 2))))) into 0
1550624760.703 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.703 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.703 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.703 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.704 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0
1550624760.706 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (- (exp (/ 1 x)) 1) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 1)))) 6) into 0
1550624760.706 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ 1 x)) 1) 2)))))) into 0
1550624760.708 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.708 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.709 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.709 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.709 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0
1550624760.712 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (- (exp (/ 1 x)) 1) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 1)))) 24) into 0
1550624760.712 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ 1 x)) 1) 2))))))) into 0
1550624760.715 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.716 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.716 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.716 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.716 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0
1550624760.721 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (- (exp (/ 1 x)) 1) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (- (exp (/ 1 x)) 1) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 1)))) 120) into 0
1550624760.721 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ 1 x)) 1) 2)))))))) into 0
1550624760.726 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.726 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.726 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.727 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.727 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0
1550624760.734 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (- (exp (/ 1 x)) 1) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (- (exp (/ 1 x)) 1) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (- (exp (/ 1 x)) 1) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (- (exp (/ 1 x)) 1) 2) 1)))) 720) into 0
1550624760.735 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ 1 x)) 1) 2))))))))) into 0
1550624760.742 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ 1 x)) 1) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.742 * [misc]backup-simplify:  Simplify (pow (pow (- (exp (/ 1 (/ 1 x))) 1) 2) 1/3) into (pow (pow (- (exp x) 1) 2) 1/3)
1550624760.742 * [misc]backup-simplify:  Simplify (* (cbrt (expm1 (/ 1 (- x)))) (cbrt (expm1 (/ 1 (- x))))) into (pow (pow (expm1 (/ -1 x)) 2) 1/3)
1550624760.743 * [misc]approximate:  Taking taylor expansion of (pow (pow (expm1 (/ -1 x)) 2) 1/3) in (x) around 0
1550624760.743 * [misc]taylor:  Taking taylor expansion of (pow (pow (expm1 (/ -1 x)) 2) 1/3) in x
1550624760.743 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (expm1 (/ -1 x)) 2)))) in x
1550624760.743 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (expm1 (/ -1 x)) 2))) in x
1550624760.743 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.743 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.743 * [misc]taylor:  Taking taylor expansion of (log (pow (expm1 (/ -1 x)) 2)) in x
1550624760.743 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 2) in x
1550624760.743 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.743 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.743 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.743 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.743 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.743 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.743 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.743 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.743 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.743 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.743 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.743 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.743 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.743 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.743 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.743 * [misc]backup-simplify:  Simplify (* (- (exp (/ -1 x)) 1) (- (exp (/ -1 x)) 1)) into (pow (- (exp (/ -1 x)) 1) 2)
1550624760.743 * [misc]backup-simplify:  Simplify (log (pow (- (exp (/ -1 x)) 1) 2)) into (log (pow (- (exp (/ -1 x)) 1) 2))
1550624760.743 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2))) into (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))
1550624760.744 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))) into (pow (pow (- (exp (/ -1 x)) 1) 2) 1/3)
1550624760.744 * [misc]taylor:  Taking taylor expansion of (pow (pow (expm1 (/ -1 x)) 2) 1/3) in x
1550624760.744 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (expm1 (/ -1 x)) 2)))) in x
1550624760.744 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (expm1 (/ -1 x)) 2))) in x
1550624760.744 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1550624760.744 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1550624760.744 * [misc]taylor:  Taking taylor expansion of (log (pow (expm1 (/ -1 x)) 2)) in x
1550624760.744 * [misc]taylor:  Taking taylor expansion of (pow (expm1 (/ -1 x)) 2) in x
1550624760.744 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1550624760.744 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1550624760.744 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1550624760.744 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1550624760.744 * [misc]taylor:  Taking taylor expansion of -1 in x
1550624760.744 * [misc]backup-simplify:  Simplify -1 into -1
1550624760.744 * [misc]taylor:  Taking taylor expansion of x in x
1550624760.744 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.744 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.744 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550624760.744 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1550624760.744 * [misc]taylor:  Taking taylor expansion of 1 in x
1550624760.744 * [misc]backup-simplify:  Simplify 1 into 1
1550624760.744 * [misc]backup-simplify:  Simplify (- 1) into -1
1550624760.744 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1550624760.744 * [misc]backup-simplify:  Simplify (* (- (exp (/ -1 x)) 1) (- (exp (/ -1 x)) 1)) into (pow (- (exp (/ -1 x)) 1) 2)
1550624760.744 * [misc]backup-simplify:  Simplify (log (pow (- (exp (/ -1 x)) 1) 2)) into (log (pow (- (exp (/ -1 x)) 1) 2))
1550624760.744 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2))) into (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))
1550624760.745 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))) into (pow (pow (- (exp (/ -1 x)) 1) 2) 1/3)
1550624760.745 * [misc]backup-simplify:  Simplify (pow (pow (- (exp (/ -1 x)) 1) 2) 1/3) into (pow (pow (- (exp (/ -1 x)) 1) 2) 1/3)
1550624760.745 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.745 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.745 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (* 0 (- (exp (/ -1 x)) 1))) into 0
1550624760.746 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 1)))) 1) into 0
1550624760.746 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (pow (- (exp (/ -1 x)) 1) 2)))) into 0
1550624760.747 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1550624760.747 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.747 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.747 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.748 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0
1550624760.749 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 1)))) 2) into 0
1550624760.749 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ -1 x)) 1) 2))))) into 0
1550624760.751 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.751 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.752 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.752 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.752 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0
1550624760.755 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (- (exp (/ -1 x)) 1) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 1)))) 6) into 0
1550624760.756 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ -1 x)) 1) 2)))))) into 0
1550624760.759 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.759 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.759 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.760 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.760 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0
1550624760.766 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (- (exp (/ -1 x)) 1) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 1)))) 24) into 0
1550624760.767 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ -1 x)) 1) 2))))))) into 0
1550624760.772 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.772 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.772 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.773 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0
1550624760.780 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (- (exp (/ -1 x)) 1) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (- (exp (/ -1 x)) 1) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 1)))) 120) into 0
1550624760.781 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ -1 x)) 1) 2)))))))) into 0
1550624760.789 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1550624760.790 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.790 * [misc]backup-simplify:  Simplify (- 0) into 0
1550624760.790 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550624760.791 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0
1550624760.803 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (- (exp (/ -1 x)) 1) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (- (exp (/ -1 x)) 1) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (- (exp (/ -1 x)) 1) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (- (exp (/ -1 x)) 1) 2) 1)))) 720) into 0
1550624760.804 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (- (exp (/ -1 x)) 1) 2))))))))) into 0
1550624760.815 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (- (exp (/ -1 x)) 1) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1550624760.815 * [misc]backup-simplify:  Simplify 0 into 0
1550624760.816 * [misc]backup-simplify:  Simplify (pow (pow (- (exp (/ -1 (/ 1 (- x)))) 1) 2) 1/3) into (pow (pow (- (exp x) 1) 2) 1/3)
1550624760.816 * * * [misc]progress:  simplifying candidates
1550624760.816 * * * * [misc]progress:  [ 1 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (log1p (expm1 (cbrt (expm1 x))))))>
1550624760.816 * * * * [misc]progress:  [ 2 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (expm1 (log1p (cbrt (expm1 x))))))>
1550624760.816 * * * * [misc]progress:  [ 3 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (pow (expm1 x) 1/3)))>
1550624760.816 * * * * [misc]progress:  [ 4 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (pow (cbrt (expm1 x)) 1)))>
1550624760.816 * * * * [misc]progress:  [ 5 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (exp (log (cbrt (expm1 x))))))>
1550624760.816 * * * * [misc]progress:  [ 6 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (log (exp (cbrt (expm1 x))))))>
1550624760.816 * * * * [misc]progress:  [ 7 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x))))))>
1550624760.816 * [enter]simplify:  Simplifying (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))
1550624760.816 * * [misc]simplify:  iters left: 5 (5 enodes)
1550624760.817 * * [misc]simplify:  iters left: 4 (15 enodes)
1550624760.819 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.819 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.819 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.819 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.819 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1550624760.819 * * [misc]simplify:  Extracting #5: cost 8 inf + 1
1550624760.820 * * [misc]simplify:  Extracting #6: cost 0 inf + 1369
1550624760.820 * [exit]simplify:  Simplified to (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))
1550624760.820 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x))))))
1550624760.820 * * * * [misc]progress:  [ 8 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x))))))>
1550624760.820 * [enter]simplify:  Simplifying (cbrt (sqrt (expm1 x)))
1550624760.820 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.821 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.822 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.822 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.822 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.822 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.822 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.822 * * [misc]simplify:  Extracting #5: cost 0 inf + 747
1550624760.823 * [exit]simplify:  Simplified to (cbrt (sqrt (expm1 x)))
1550624760.823 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x))))))
1550624760.823 * * * * [misc]progress:  [ 9 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt 1) (cbrt (expm1 x)))))>
1550624760.823 * [enter]simplify:  Simplifying (cbrt 1)
1550624760.823 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624760.825 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.825 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624760.825 * [exit]simplify:  Simplified to 1
1550624760.825 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* 1 (cbrt (expm1 x)))))
1550624760.825 * * * * [misc]progress:  [ 10 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x))))))>
1550624760.825 * * * * [misc]progress:  [ 11 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))))>
1550624760.825 * * * * [misc]progress:  [ 12 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (sqrt (cbrt (expm1 x))) (sqrt (cbrt (expm1 x))))))>
1550624760.825 * * * * [misc]progress:  [ 13 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* 1 (cbrt (expm1 x)))))>
1550624760.825 * * * * [misc]progress:  [ 14 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (posit16->real (real->posit16 (cbrt (expm1 x))))))>
1550624760.825 * * * * [misc]progress:  [ 15 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (log1p (expm1 (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.825 * * * * [misc]progress:  [ 16 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (expm1 (log1p (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.825 * * * * [misc]progress:  [ 17 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (pow (expm1 x) 1/3)) (cbrt (expm1 x))))>
1550624760.825 * * * * [misc]progress:  [ 18 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (pow (cbrt (expm1 x)) 1)) (cbrt (expm1 x))))>
1550624760.825 * * * * [misc]progress:  [ 19 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (exp (log (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.825 * * * * [misc]progress:  [ 20 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (log (exp (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.825 * * * * [misc]progress:  [ 21 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.825 * [enter]simplify:  Simplifying (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))
1550624760.825 * * [misc]simplify:  iters left: 5 (5 enodes)
1550624760.826 * * [misc]simplify:  iters left: 4 (15 enodes)
1550624760.828 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.828 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.828 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.828 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.828 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1550624760.828 * * [misc]simplify:  Extracting #5: cost 8 inf + 1
1550624760.828 * * [misc]simplify:  Extracting #6: cost 0 inf + 1369
1550624760.829 * [exit]simplify:  Simplified to (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))
1550624760.829 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (* (* (cbrt (expm1 x)) (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x))))) (cbrt (expm1 x))))
1550624760.829 * * * * [misc]progress:  [ 22 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.829 * [enter]simplify:  Simplifying (cbrt (sqrt (expm1 x)))
1550624760.829 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.830 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.831 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.831 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.831 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.831 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.831 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.831 * * [misc]simplify:  Extracting #5: cost 0 inf + 747
1550624760.831 * [exit]simplify:  Simplified to (cbrt (sqrt (expm1 x)))
1550624760.831 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (* (* (cbrt (expm1 x)) (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x))))) (cbrt (expm1 x))))
1550624760.831 * * * * [misc]progress:  [ 23 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (* (cbrt 1) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.832 * [enter]simplify:  Simplifying (cbrt 1)
1550624760.832 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624760.833 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.833 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624760.834 * [exit]simplify:  Simplified to 1
1550624760.834 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (* (* (cbrt (expm1 x)) (* 1 (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.834 * * * * [misc]progress:  [ 24 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (* (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 25 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 26 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (* (sqrt (cbrt (expm1 x))) (sqrt (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 27 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (* 1 (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 28 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (posit16->real (real->posit16 (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 29 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (log1p (expm1 (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 30 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (expm1 (log1p (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 31 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (pow (expm1 x) 1/3) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 32 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (pow (cbrt (expm1 x)) 1) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 33 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (exp (log (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 34 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (log (exp (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.834 * * * * [misc]progress:  [ 35 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.834 * [enter]simplify:  Simplifying (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))
1550624760.834 * * [misc]simplify:  iters left: 5 (5 enodes)
1550624760.835 * * [misc]simplify:  iters left: 4 (15 enodes)
1550624760.837 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.837 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.837 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.837 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.837 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1550624760.837 * * [misc]simplify:  Extracting #5: cost 8 inf + 1
1550624760.837 * * [misc]simplify:  Extracting #6: cost 0 inf + 1369
1550624760.838 * [exit]simplify:  Simplified to (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))
1550624760.838 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (* (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624760.838 * * * * [misc]progress:  [ 36 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.838 * [enter]simplify:  Simplifying (cbrt (sqrt (expm1 x)))
1550624760.838 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.839 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.840 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.840 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.840 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.840 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.840 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.840 * * [misc]simplify:  Extracting #5: cost 0 inf + 747
1550624760.840 * [exit]simplify:  Simplified to (cbrt (sqrt (expm1 x)))
1550624760.840 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (* (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624760.840 * * * * [misc]progress:  [ 37 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt 1) (cbrt (expm1 x))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.841 * [enter]simplify:  Simplifying (cbrt 1)
1550624760.841 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624760.842 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.842 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624760.842 * [exit]simplify:  Simplified to 1
1550624760.842 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (* (* 1 (cbrt (expm1 x))) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624760.842 * * * * [misc]progress:  [ 38 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x)))) (cbrt (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.843 * * * * [misc]progress:  [ 39 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.843 * * * * [misc]progress:  [ 40 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (cbrt (expm1 x))) (sqrt (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.843 * * * * [misc]progress:  [ 41 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* 1 (cbrt (expm1 x))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.843 * * * * [misc]progress:  [ 42 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (posit16->real (real->posit16 (cbrt (expm1 x)))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.843 * * * * [misc]progress:  [ 43 / 85 ] simplifiying candidate #<alt (λ (x) (* (log1p (expm1 (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.843 * * * * [misc]progress:  [ 44 / 85 ] simplifiying candidate #<alt (λ (x) (* (expm1 (log1p (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.843 * * * * [misc]progress:  [ 45 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (expm1 x) (+ 1/3 1/3)) (cbrt (expm1 x))))>
1550624760.843 * [enter]simplify:  Simplifying (expm1 x)
1550624760.843 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624760.844 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.844 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.844 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550624760.844 * * [misc]simplify:  Extracting #3: cost 0 inf + 143
1550624760.844 * [exit]simplify:  Simplified to (expm1 x)
1550624760.844 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (pow (expm1 x) (+ 1/3 1/3)) (cbrt (expm1 x))))
1550624760.844 * [enter]simplify:  Simplifying (+ 1/3 1/3)
1550624760.844 * * [misc]simplify:  iters left: 2 (2 enodes)
1550624760.846 * * [misc]simplify:  iters left: 1 (7 enodes)
1550624760.848 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.848 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624760.848 * [exit]simplify:  Simplified to 2/3
1550624760.849 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (pow (expm1 x) 2/3) (cbrt (expm1 x))))
1550624760.849 * * * * [misc]progress:  [ 46 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (cbrt (expm1 x)) (+ 1 1)) (cbrt (expm1 x))))>
1550624760.849 * [enter]simplify:  Simplifying (cbrt (expm1 x))
1550624760.849 * * [misc]simplify:  iters left: 2 (3 enodes)
1550624760.850 * * [misc]simplify:  iters left: 1 (9 enodes)
1550624760.852 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.852 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.852 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.852 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1550624760.852 * * [misc]simplify:  Extracting #4: cost 0 inf + 445
1550624760.852 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624760.853 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (pow (cbrt (expm1 x)) (+ 1 1)) (cbrt (expm1 x))))
1550624760.853 * [enter]simplify:  Simplifying (+ 1 1)
1550624760.853 * * [misc]simplify:  iters left: 2 (2 enodes)
1550624760.855 * * [misc]simplify:  iters left: 1 (9 enodes)
1550624760.858 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.858 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624760.858 * [exit]simplify:  Simplified to 2
1550624760.858 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (pow (cbrt (expm1 x)) 2) (cbrt (expm1 x))))
1550624760.858 * * * * [misc]progress:  [ 47 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (* (expm1 x) (expm1 x)) 1/3) (cbrt (expm1 x))))>
1550624760.858 * [enter]simplify:  Simplifying (* (expm1 x) (expm1 x))
1550624760.858 * * [misc]simplify:  iters left: 3 (3 enodes)
1550624760.859 * * [misc]simplify:  iters left: 2 (9 enodes)
1550624760.862 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.862 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.862 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.862 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1550624760.862 * * [misc]simplify:  Extracting #4: cost 0 inf + 365
1550624760.862 * [exit]simplify:  Simplified to (* (expm1 x) (expm1 x))
1550624760.862 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (pow (* (expm1 x) (expm1 x)) 1/3) (cbrt (expm1 x))))
1550624760.862 * * * * [misc]progress:  [ 48 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1) (cbrt (expm1 x))))>
1550624760.862 * [enter]simplify:  Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x)))
1550624760.862 * * [misc]simplify:  iters left: 4 (4 enodes)
1550624760.864 * * [misc]simplify:  iters left: 3 (12 enodes)
1550624760.867 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.867 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.867 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.867 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.868 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.868 * * [misc]simplify:  Extracting #5: cost 0 inf + 827
1550624760.868 * [exit]simplify:  Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x)))
1550624760.868 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (pow (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1) (cbrt (expm1 x))))
1550624760.868 * * * * [misc]progress:  [ 49 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (cbrt (expm1 x)) 2) (cbrt (expm1 x))))>
1550624760.868 * * * * [misc]progress:  [ 50 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (cbrt (expm1 x)) (+ 1 1)) (cbrt (expm1 x))))>
1550624760.868 * [enter]simplify:  Simplifying (cbrt (expm1 x))
1550624760.868 * * [misc]simplify:  iters left: 2 (3 enodes)
1550624760.869 * * [misc]simplify:  iters left: 1 (9 enodes)
1550624760.873 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.873 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.874 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.874 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1550624760.874 * * [misc]simplify:  Extracting #4: cost 0 inf + 445
1550624760.874 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624760.874 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (pow (cbrt (expm1 x)) (+ 1 1)) (cbrt (expm1 x))))
1550624760.874 * * * * [misc]progress:  [ 51 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1) (cbrt (expm1 x))))>
1550624760.874 * * * * [misc]progress:  [ 52 / 85 ] simplifiying candidate #<alt (λ (x) (* (exp (+ (log (cbrt (expm1 x))) (log (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.874 * [enter]simplify:  Simplifying (+ (log (cbrt (expm1 x))) (log (cbrt (expm1 x))))
1550624760.874 * * [misc]simplify:  iters left: 5 (5 enodes)
1550624760.876 * * [misc]simplify:  iters left: 4 (15 enodes)
1550624760.880 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.880 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.880 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.880 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.880 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1550624760.880 * * [misc]simplify:  Extracting #5: cost 8 inf + 1
1550624760.881 * * [misc]simplify:  Extracting #6: cost 0 inf + 1409
1550624760.881 * [exit]simplify:  Simplified to (+ (log (cbrt (expm1 x))) (log (cbrt (expm1 x))))
1550624760.881 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (exp (+ (log (cbrt (expm1 x))) (log (cbrt (expm1 x))))) (cbrt (expm1 x))))
1550624760.881 * * * * [misc]progress:  [ 53 / 85 ] simplifiying candidate #<alt (λ (x) (* (exp (log (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.881 * * * * [misc]progress:  [ 54 / 85 ] simplifiying candidate #<alt (λ (x) (* (log (exp (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.881 * * * * [misc]progress:  [ 55 / 85 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (expm1 x) (expm1 x))) (cbrt (expm1 x))))>
1550624760.881 * [enter]simplify:  Simplifying (* (expm1 x) (expm1 x))
1550624760.882 * * [misc]simplify:  iters left: 3 (3 enodes)
1550624760.883 * * [misc]simplify:  iters left: 2 (9 enodes)
1550624760.885 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.885 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.885 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.885 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1550624760.885 * * [misc]simplify:  Extracting #4: cost 0 inf + 365
1550624760.885 * [exit]simplify:  Simplified to (* (expm1 x) (expm1 x))
1550624760.885 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (cbrt (* (expm1 x) (expm1 x))) (cbrt (expm1 x))))
1550624760.886 * * * * [misc]progress:  [ 56 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.886 * * * * [misc]progress:  [ 57 / 85 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.886 * * * * [misc]progress:  [ 58 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (sqrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.886 * * * * [misc]progress:  [ 59 / 85 ] simplifiying candidate #<alt (λ (x) (* (* 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.886 * * * * [misc]progress:  [ 60 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (expm1 x)) (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.886 * [enter]simplify:  Simplifying (cbrt (cbrt (expm1 x)))
1550624760.886 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.888 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.890 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.891 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.891 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.891 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.891 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.891 * * [misc]simplify:  Extracting #5: cost 0 inf + 907
1550624760.891 * [exit]simplify:  Simplified to (cbrt (cbrt (expm1 x)))
1550624760.891 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (cbrt (expm1 x)) (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.891 * * * * [misc]progress:  [ 61 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (expm1 x)) (cbrt (sqrt (expm1 x)))) (cbrt (sqrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.891 * [enter]simplify:  Simplifying (cbrt (sqrt (expm1 x)))
1550624760.891 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.893 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.896 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.896 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.896 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.896 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.896 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.896 * * [misc]simplify:  Extracting #5: cost 0 inf + 747
1550624760.896 * [exit]simplify:  Simplified to (cbrt (sqrt (expm1 x)))
1550624760.897 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (cbrt (expm1 x)) (cbrt (sqrt (expm1 x)))) (cbrt (sqrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.897 * * * * [misc]progress:  [ 62 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (expm1 x)) (cbrt 1)) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.897 * [enter]simplify:  Simplifying (cbrt (expm1 x))
1550624760.897 * * [misc]simplify:  iters left: 2 (3 enodes)
1550624760.898 * * [misc]simplify:  iters left: 1 (9 enodes)
1550624760.900 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.900 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.900 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.900 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1550624760.901 * * [misc]simplify:  Extracting #4: cost 0 inf + 445
1550624760.901 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624760.901 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (cbrt (expm1 x)) (cbrt 1)) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624760.901 * * * * [misc]progress:  [ 63 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (expm1 x)) (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x))))) (cbrt (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.901 * [enter]simplify:  Simplifying (cbrt (cbrt (expm1 x)))
1550624760.901 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.902 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.905 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.906 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.906 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.906 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.906 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.906 * * [misc]simplify:  Extracting #5: cost 0 inf + 907
1550624760.906 * [exit]simplify:  Simplified to (cbrt (cbrt (expm1 x)))
1550624760.906 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (cbrt (expm1 x)) (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x))))) (cbrt (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.906 * * * * [misc]progress:  [ 64 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (expm1 x)) (sqrt (cbrt (expm1 x)))) (sqrt (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.906 * [enter]simplify:  Simplifying (sqrt (cbrt (expm1 x)))
1550624760.906 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.908 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.911 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.911 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.911 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.911 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.911 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.911 * * [misc]simplify:  Extracting #5: cost 0 inf + 827
1550624760.911 * [exit]simplify:  Simplified to (sqrt (cbrt (expm1 x)))
1550624760.911 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (cbrt (expm1 x)) (sqrt (cbrt (expm1 x)))) (sqrt (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.912 * * * * [misc]progress:  [ 65 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (expm1 x)) 1) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.912 * [enter]simplify:  Simplifying (cbrt (expm1 x))
1550624760.912 * * [misc]simplify:  iters left: 2 (3 enodes)
1550624760.913 * * [misc]simplify:  iters left: 1 (9 enodes)
1550624760.916 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.916 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.916 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.916 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1550624760.916 * * [misc]simplify:  Extracting #4: cost 0 inf + 445
1550624760.916 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624760.916 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (cbrt (expm1 x)) 1) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624760.916 * * * * [misc]progress:  [ 66 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (* (cbrt (cbrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.916 * [enter]simplify:  Simplifying (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))
1550624760.916 * * [misc]simplify:  iters left: 5 (5 enodes)
1550624760.918 * * [misc]simplify:  iters left: 4 (15 enodes)
1550624760.922 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.922 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.922 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.922 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.922 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1550624760.922 * * [misc]simplify:  Extracting #5: cost 8 inf + 1
1550624760.922 * * [misc]simplify:  Extracting #6: cost 0 inf + 1369
1550624760.923 * [exit]simplify:  Simplified to (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))
1550624760.923 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (cbrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (* (cbrt (cbrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.923 * * * * [misc]progress:  [ 67 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (expm1 x))) (* (cbrt (sqrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.923 * [enter]simplify:  Simplifying (cbrt (sqrt (expm1 x)))
1550624760.923 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.925 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.928 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.928 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.928 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.928 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.928 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.928 * * [misc]simplify:  Extracting #5: cost 0 inf + 747
1550624760.928 * [exit]simplify:  Simplified to (cbrt (sqrt (expm1 x)))
1550624760.928 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (cbrt (sqrt (expm1 x))) (* (cbrt (sqrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.929 * * * * [misc]progress:  [ 68 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt 1) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.929 * [enter]simplify:  Simplifying (cbrt 1)
1550624760.929 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624760.932 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.932 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624760.932 * [exit]simplify:  Simplified to 1
1550624760.932 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.932 * * * * [misc]progress:  [ 69 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x)))) (* (cbrt (cbrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.933 * [enter]simplify:  Simplifying (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x))))
1550624760.933 * * [misc]simplify:  iters left: 5 (5 enodes)
1550624760.935 * * [misc]simplify:  iters left: 4 (15 enodes)
1550624760.938 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.938 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.938 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.939 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.939 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1550624760.939 * * [misc]simplify:  Extracting #5: cost 8 inf + 1
1550624760.939 * * [misc]simplify:  Extracting #6: cost 0 inf + 1449
1550624760.939 * [exit]simplify:  Simplified to (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x))))
1550624760.939 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (* (cbrt (cbrt (expm1 x))) (cbrt (cbrt (expm1 x)))) (* (cbrt (cbrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.939 * * * * [misc]progress:  [ 70 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (cbrt (expm1 x))) (* (sqrt (cbrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.940 * [enter]simplify:  Simplifying (sqrt (cbrt (expm1 x)))
1550624760.940 * * [misc]simplify:  iters left: 3 (4 enodes)
1550624760.941 * * [misc]simplify:  iters left: 2 (12 enodes)
1550624760.944 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624760.944 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624760.944 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624760.944 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624760.944 * * [misc]simplify:  Extracting #4: cost 6 inf + 1
1550624760.944 * * [misc]simplify:  Extracting #5: cost 0 inf + 827
1550624760.945 * [exit]simplify:  Simplified to (sqrt (cbrt (expm1 x)))
1550624760.945 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (sqrt (cbrt (expm1 x))) (* (sqrt (cbrt (expm1 x))) (cbrt (expm1 x)))) (cbrt (expm1 x))))
1550624760.945 * * * * [misc]progress:  [ 71 / 85 ] simplifiying candidate #<alt (λ (x) (* (* 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
1550624760.945 * * * * [misc]progress:  [ 72 / 85 ] simplifiying candidate #<alt (λ (x) (* (posit16->real (real->posit16 (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (cbrt (expm1 x))))>
1550624760.945 * * * * [misc]progress:  [ 73 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624760.945 * * * * [misc]progress:  [ 74 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3)))))>
1550624760.945 * [enter]simplify:  Simplifying (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3)))
1550624760.945 * * [misc]simplify:  iters left: 6 (15 enodes)
1550624760.954 * * [misc]simplify:  iters left: 5 (56 enodes)
1550624760.971 * * [misc]simplify:  iters left: 4 (68 enodes)
1550624760.991 * * [misc]simplify:  iters left: 3 (79 enodes)
1550624761.012 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.012 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550624761.012 * * [misc]simplify:  Extracting #2: cost 22 inf + 2
1550624761.012 * * [misc]simplify:  Extracting #3: cost 24 inf + 4
1550624761.012 * * [misc]simplify:  Extracting #4: cost 15 inf + 1524
1550624761.014 * * [misc]simplify:  Extracting #5: cost 2 inf + 7030
1550624761.015 * * [misc]simplify:  Extracting #6: cost 0 inf + 8138
1550624761.017 * [exit]simplify:  Simplified to (fma 1/6 (cbrt (pow x 4)) (fma 1/36 (cbrt (pow x 7)) (cbrt x)))
1550624761.017 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (fma 1/6 (cbrt (pow x 4)) (fma 1/36 (cbrt (pow x 7)) (cbrt x)))))
1550624761.017 * * * * [misc]progress:  [ 75 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (pow (- (exp x) 1) 1/3)))>
1550624761.017 * [enter]simplify:  Simplifying (pow (- (exp x) 1) 1/3)
1550624761.017 * * [misc]simplify:  iters left: 4 (6 enodes)
1550624761.021 * * [misc]simplify:  iters left: 3 (25 enodes)
1550624761.026 * * [misc]simplify:  iters left: 2 (29 enodes)
1550624761.031 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.031 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624761.031 * * [misc]simplify:  Extracting #2: cost 8 inf + 1
1550624761.031 * * [misc]simplify:  Extracting #3: cost 6 inf + 4
1550624761.031 * * [misc]simplify:  Extracting #4: cost 0 inf + 590
1550624761.031 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624761.031 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624761.031 * * * * [misc]progress:  [ 76 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (pow (- (exp x) 1) 1/3)))>
1550624761.031 * [enter]simplify:  Simplifying (pow (- (exp x) 1) 1/3)
1550624761.031 * * [misc]simplify:  iters left: 4 (6 enodes)
1550624761.034 * * [misc]simplify:  iters left: 3 (25 enodes)
1550624761.038 * * [misc]simplify:  iters left: 2 (29 enodes)
1550624761.042 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.042 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624761.042 * * [misc]simplify:  Extracting #2: cost 8 inf + 1
1550624761.042 * * [misc]simplify:  Extracting #3: cost 6 inf + 4
1550624761.042 * * [misc]simplify:  Extracting #4: cost 0 inf + 590
1550624761.043 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624761.043 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624761.043 * * * * [misc]progress:  [ 77 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3)))) (cbrt (expm1 x))))>
1550624761.043 * [enter]simplify:  Simplifying (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3)))
1550624761.043 * * [misc]simplify:  iters left: 6 (15 enodes)
1550624761.050 * * [misc]simplify:  iters left: 5 (56 enodes)
1550624761.068 * * [misc]simplify:  iters left: 4 (68 enodes)
1550624761.086 * * [misc]simplify:  iters left: 3 (79 enodes)
1550624761.105 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.105 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550624761.105 * * [misc]simplify:  Extracting #2: cost 22 inf + 2
1550624761.105 * * [misc]simplify:  Extracting #3: cost 24 inf + 4
1550624761.106 * * [misc]simplify:  Extracting #4: cost 15 inf + 1524
1550624761.107 * * [misc]simplify:  Extracting #5: cost 2 inf + 7030
1550624761.108 * * [misc]simplify:  Extracting #6: cost 0 inf + 8138
1550624761.110 * [exit]simplify:  Simplified to (fma 1/6 (cbrt (pow x 4)) (fma 1/36 (cbrt (pow x 7)) (cbrt x)))
1550624761.110 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (cbrt (expm1 x)) (fma 1/6 (cbrt (pow x 4)) (fma 1/36 (cbrt (pow x 7)) (cbrt x)))) (cbrt (expm1 x))))
1550624761.110 * * * * [misc]progress:  [ 78 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (pow (- (exp x) 1) 1/3)) (cbrt (expm1 x))))>
1550624761.110 * [enter]simplify:  Simplifying (pow (- (exp x) 1) 1/3)
1550624761.110 * * [misc]simplify:  iters left: 4 (6 enodes)
1550624761.115 * * [misc]simplify:  iters left: 3 (25 enodes)
1550624761.122 * * [misc]simplify:  iters left: 2 (29 enodes)
1550624761.130 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.130 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624761.130 * * [misc]simplify:  Extracting #2: cost 8 inf + 1
1550624761.130 * * [misc]simplify:  Extracting #3: cost 6 inf + 4
1550624761.131 * * [misc]simplify:  Extracting #4: cost 0 inf + 590
1550624761.131 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624761.131 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624761.131 * * * * [misc]progress:  [ 79 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 x)) (pow (- (exp x) 1) 1/3)) (cbrt (expm1 x))))>
1550624761.131 * [enter]simplify:  Simplifying (pow (- (exp x) 1) 1/3)
1550624761.131 * * [misc]simplify:  iters left: 4 (6 enodes)
1550624761.135 * * [misc]simplify:  iters left: 3 (25 enodes)
1550624761.142 * * [misc]simplify:  iters left: 2 (29 enodes)
1550624761.150 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.150 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624761.151 * * [misc]simplify:  Extracting #2: cost 8 inf + 1
1550624761.151 * * [misc]simplify:  Extracting #3: cost 6 inf + 4
1550624761.151 * * [misc]simplify:  Extracting #4: cost 0 inf + 590
1550624761.151 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624761.151 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624761.151 * * * * [misc]progress:  [ 80 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3))) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624761.151 * [enter]simplify:  Simplifying (+ (* 1/36 (pow (pow x 7) 1/3)) (+ (* 1/6 (pow (pow x 4) 1/3)) (pow x 1/3)))
1550624761.152 * * [misc]simplify:  iters left: 6 (15 enodes)
1550624761.161 * * [misc]simplify:  iters left: 5 (56 enodes)
1550624761.173 * * [misc]simplify:  iters left: 4 (68 enodes)
1550624761.183 * * [misc]simplify:  iters left: 3 (79 enodes)
1550624761.193 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.193 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550624761.193 * * [misc]simplify:  Extracting #2: cost 22 inf + 2
1550624761.193 * * [misc]simplify:  Extracting #3: cost 24 inf + 4
1550624761.193 * * [misc]simplify:  Extracting #4: cost 15 inf + 1524
1550624761.194 * * [misc]simplify:  Extracting #5: cost 2 inf + 7030
1550624761.194 * * [misc]simplify:  Extracting #6: cost 0 inf + 8138
1550624761.195 * [exit]simplify:  Simplified to (fma 1/6 (cbrt (pow x 4)) (fma 1/36 (cbrt (pow x 7)) (cbrt x)))
1550624761.195 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (fma 1/6 (cbrt (pow x 4)) (fma 1/36 (cbrt (pow x 7)) (cbrt x))) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624761.195 * * * * [misc]progress:  [ 81 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (pow (- (exp x) 1) 1/3) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624761.196 * [enter]simplify:  Simplifying (pow (- (exp x) 1) 1/3)
1550624761.196 * * [misc]simplify:  iters left: 4 (6 enodes)
1550624761.199 * * [misc]simplify:  iters left: 3 (25 enodes)
1550624761.205 * * [misc]simplify:  iters left: 2 (29 enodes)
1550624761.212 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.212 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624761.212 * * [misc]simplify:  Extracting #2: cost 8 inf + 1
1550624761.212 * * [misc]simplify:  Extracting #3: cost 6 inf + 4
1550624761.213 * * [misc]simplify:  Extracting #4: cost 0 inf + 590
1550624761.213 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624761.213 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624761.213 * * * * [misc]progress:  [ 82 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (pow (- (exp x) 1) 1/3) (cbrt (expm1 x))) (cbrt (expm1 x))))>
1550624761.213 * [enter]simplify:  Simplifying (pow (- (exp x) 1) 1/3)
1550624761.213 * * [misc]simplify:  iters left: 4 (6 enodes)
1550624761.216 * * [misc]simplify:  iters left: 3 (25 enodes)
1550624761.220 * * [misc]simplify:  iters left: 2 (29 enodes)
1550624761.224 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.224 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624761.224 * * [misc]simplify:  Extracting #2: cost 8 inf + 1
1550624761.224 * * [misc]simplify:  Extracting #3: cost 6 inf + 4
1550624761.224 * * [misc]simplify:  Extracting #4: cost 0 inf + 590
1550624761.225 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1550624761.225 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))
1550624761.225 * * * * [misc]progress:  [ 83 / 85 ] simplifiying candidate #<alt (λ (x) (* (+ (* 1/3 (pow (pow x 5) 1/3)) (+ (* 1/12 (pow (pow x 8) 1/3)) (pow x 2/3))) (cbrt (expm1 x))))>
1550624761.225 * [enter]simplify:  Simplifying (+ (* 1/3 (pow (pow x 5) 1/3)) (+ (* 1/12 (pow (pow x 8) 1/3)) (pow x 2/3)))
1550624761.225 * * [misc]simplify:  iters left: 6 (15 enodes)
1550624761.229 * * [misc]simplify:  iters left: 5 (55 enodes)
1550624761.238 * * [misc]simplify:  iters left: 4 (67 enodes)
1550624761.249 * * [misc]simplify:  iters left: 3 (78 enodes)
1550624761.259 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.259 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550624761.259 * * [misc]simplify:  Extracting #2: cost 22 inf + 2
1550624761.260 * * [misc]simplify:  Extracting #3: cost 24 inf + 4
1550624761.260 * * [misc]simplify:  Extracting #4: cost 10 inf + 4073
1550624761.260 * * [misc]simplify:  Extracting #5: cost 0 inf + 9186
1550624761.261 * [exit]simplify:  Simplified to (fma 1/12 (cbrt (pow x 8)) (fma 1/3 (cbrt (pow x 5)) (pow x 2/3)))
1550624761.261 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fma 1/12 (cbrt (pow x 8)) (fma 1/3 (cbrt (pow x 5)) (pow x 2/3))) (cbrt (expm1 x))))
1550624761.261 * * * * [misc]progress:  [ 84 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (pow (- (exp x) 1) 2) 1/3) (cbrt (expm1 x))))>
1550624761.262 * [enter]simplify:  Simplifying (pow (pow (- (exp x) 1) 2) 1/3)
1550624761.262 * * [misc]simplify:  iters left: 5 (8 enodes)
1550624761.265 * * [misc]simplify:  iters left: 4 (32 enodes)
1550624761.270 * * [misc]simplify:  iters left: 3 (36 enodes)
1550624761.275 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.275 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624761.275 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550624761.275 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1550624761.275 * * [misc]simplify:  Extracting #4: cost 8 inf + 5
1550624761.275 * * [misc]simplify:  Extracting #5: cost 3 inf + 520
1550624761.275 * * [misc]simplify:  Extracting #6: cost 0 inf + 893
1550624761.275 * [exit]simplify:  Simplified to (cbrt (* (expm1 x) (expm1 x)))
1550624761.275 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (cbrt (* (expm1 x) (expm1 x))) (cbrt (expm1 x))))
1550624761.275 * * * * [misc]progress:  [ 85 / 85 ] simplifiying candidate #<alt (λ (x) (* (pow (pow (- (exp x) 1) 2) 1/3) (cbrt (expm1 x))))>
1550624761.276 * [enter]simplify:  Simplifying (pow (pow (- (exp x) 1) 2) 1/3)
1550624761.276 * * [misc]simplify:  iters left: 5 (8 enodes)
1550624761.279 * * [misc]simplify:  iters left: 4 (32 enodes)
1550624761.284 * * [misc]simplify:  iters left: 3 (36 enodes)
1550624761.289 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.289 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624761.289 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550624761.289 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1550624761.289 * * [misc]simplify:  Extracting #4: cost 8 inf + 5
1550624761.289 * * [misc]simplify:  Extracting #5: cost 3 inf + 520
1550624761.289 * * [misc]simplify:  Extracting #6: cost 0 inf + 893
1550624761.289 * [exit]simplify:  Simplified to (cbrt (* (expm1 x) (expm1 x)))
1550624761.289 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (cbrt (* (expm1 x) (expm1 x))) (cbrt (expm1 x))))
1550624761.289 * * * [misc]progress:  adding candidates to table
1550624761.758 * [misc]progress:  [Phase 3 of 3] Extracting.
1550624761.758 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))> #<alt (λ (x) (expm1 x))>)
1550624761.758 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1550624761.758 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))> #<alt (λ (x) (expm1 x))>)
1550624761.787 * * * [misc]regime:  Found split indices: #<option (#s(si 1 255))>
1550624761.787 * [enter]simplify:  Simplifying (expm1 x)
1550624761.787 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624761.787 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624761.787 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550624761.787 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550624761.787 * * [misc]simplify:  Extracting #3: cost 0 inf + 72
1550624761.788 * [exit]simplify:  Simplified to (expm1 x)
1550624764.901 * [misc]regime-testing:  Baseline error score: 0.0010001250156269534
1550624764.902 * [misc]regime-testing:  Oracle error score: 0.0008751093886735842
1550624764.904 * [misc]regime-testing:  End program error score: 0.0010001250156269534
1550624764.936 * [misc]regime-testing:  Target error score: 0.4185571127836945