1540332873.344 * [misc]progress:  [Phase 1 of 3] Setting up.
1540332873.344 * * * [misc]progress:  [1/2] Preparing points
1540332873.344 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540332873.365 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332873.365 * * * * [misc]points:  Sampling 128 additional inputs, on iter 1 have 128 / 256
1540332873.386 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332873.386 * * * * [misc]points:  Sampling 68 additional inputs, on iter 2 have 188 / 256
1540332873.398 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332873.398 * * * * [misc]points:  Sampling 36 additional inputs, on iter 3 have 220 / 256
1540332873.406 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332873.406 * * * * [misc]points:  Sampling 14 additional inputs, on iter 4 have 242 / 256
1540332873.410 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332873.410 * * * * [misc]points:  Sampling 8 additional inputs, on iter 5 have 248 / 256
1540332873.413 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332873.413 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 255 / 256
1540332873.416 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332873.416 * * * * [exit]points:  Sampled 258 points with exact outputs
1540332873.416 * * * [misc]progress:  [2/2] Setting up program.
1540332873.422 * [misc]progress:  [Phase 2 of 3] Improving.
1540332873.423 * [enter]simplify:  Simplifying (exp (- (- 1 (* x x))))
1540332873.424 * * [misc]simplify:  iters left: 6 (6 enodes)
1540332873.427 * * [misc]simplify:  iters left: 5 (12 enodes)
1540332873.453 * * [misc]simplify:  iters left: 4 (25 enodes)
1540332873.464 * * [misc]simplify:  iters left: 3 (51 enodes)
1540332873.476 * * [misc]simplify:  iters left: 2 (82 enodes)
1540332873.493 * * [misc]simplify:  iters left: 1 (126 enodes)
1540332873.543 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332873.555 * * [misc]progress:  iteration 1 / 4
1540332873.555 * * * [misc]progress:  picking best candidate
1540332873.563 * * * * [misc]pick:  Picked  #<alt (λ (x) (exp (fma x x -1)))>
1540332873.563 * * * [misc]progress:  localizing error
1540332873.571 * * * [misc]progress:  generating rewritten candidates
1540332873.571 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540332873.580 * * * [misc]progress:  generating series expansions
1540332873.580 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540332873.580 * [misc]backup-simplify:  Simplify (exp (fma x x -1)) into (exp (fma x x -1))
1540332873.580 * [misc]approximate:  Taking taylor expansion of (exp (fma x x -1)) in (x) around 0
1540332873.580 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332873.580 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332873.581 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332873.581 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332873.581 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.581 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.581 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.581 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.581 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.581 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.581 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.581 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.582 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332873.582 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332873.582 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332873.582 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332873.582 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332873.582 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332873.582 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332873.582 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.582 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.582 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.582 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.582 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.582 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.582 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.582 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.582 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332873.582 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332873.583 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332873.583 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332873.583 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1540332873.583 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332873.584 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1540332873.584 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.584 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1540332873.585 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332873.586 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1540332873.586 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332873.587 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1540332873.587 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332873.589 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332873.589 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.589 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540332873.589 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332873.593 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1540332873.593 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1540332873.594 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1540332873.594 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332873.594 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
1540332873.594 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332873.594 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332873.594 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332873.594 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332873.594 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332873.594 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.594 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.594 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.594 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332873.594 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332873.594 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.594 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.594 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.594 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332873.594 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.595 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.595 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332873.595 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332873.595 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332873.595 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332873.595 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332873.595 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332873.595 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332873.595 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332873.595 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.595 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.595 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.595 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332873.595 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332873.595 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.595 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.595 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.595 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332873.595 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.595 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.595 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332873.596 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332873.596 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332873.596 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332873.596 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.596 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.596 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.596 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.596 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.596 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.596 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
1540332873.596 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332873.596 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
1540332873.596 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332873.596 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332873.596 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332873.596 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332873.596 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332873.596 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.596 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.596 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.596 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.596 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.597 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332873.597 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332873.597 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.597 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.597 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.597 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.597 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.597 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332873.597 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.597 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.597 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332873.597 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332873.597 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332873.597 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332873.597 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332873.597 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332873.597 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332873.597 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332873.597 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.597 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.597 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.597 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.597 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.597 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332873.597 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332873.597 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.597 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.597 * [misc]taylor:  Taking taylor expansion of x in x
1540332873.597 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.597 * [misc]backup-simplify:  Simplify 1 into 1
1540332873.598 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332873.598 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332873.598 * [misc]backup-simplify:  Simplify -1 into -1
1540332873.598 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332873.598 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332873.598 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332873.598 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332873.598 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.598 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.598 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.598 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.598 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.598 * [misc]backup-simplify:  Simplify 0 into 0
1540332873.598 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
1540332873.598 * * * [misc]progress:  simplifying candidates
1540332873.598 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (exp (fma x x -1)))))>
1540332873.598 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
1540332873.598 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (fma x x -1)) 1))>
1540332873.598 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))>
1540332873.599 * [enter]simplify:  Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1540332873.600 * * [misc]simplify:  iters left: 5 (6 enodes)
1540332873.601 * * [misc]simplify:  iters left: 4 (10 enodes)
1540332873.603 * * [misc]simplify:  iters left: 3 (15 enodes)
1540332873.610 * * [misc]simplify:  iters left: 2 (21 enodes)
1540332873.618 * * [misc]simplify:  iters left: 1 (36 enodes)
1540332873.652 * [exit]simplify:  Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1540332873.652 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))
1540332873.652 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))>
1540332873.652 * [enter]simplify:  Simplifying (exp (sqrt (fma x x -1)))
1540332873.653 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332873.655 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332873.658 * * [misc]simplify:  iters left: 1 (12 enodes)
1540332873.664 * [exit]simplify:  Simplified to (exp (sqrt (fma x x -1)))
1540332873.664 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))
1540332873.665 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (fma x x -1)))>
1540332873.665 * [enter]simplify:  Simplifying (exp 1)
1540332873.665 * * [misc]simplify:  iters left: 1 (2 enodes)
1540332873.666 * [exit]simplify:  Simplified to E
1540332873.666 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow E (fma x x -1)))
1540332873.666 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
1540332873.666 * [enter]simplify:  Simplifying (exp (* x x))
1540332873.667 * * [misc]simplify:  iters left: 3 (3 enodes)
1540332873.668 * * [misc]simplify:  iters left: 2 (5 enodes)
1540332873.670 * [exit]simplify:  Simplified to (exp (* x x))
1540332873.670 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1)))
1540332873.670 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1540332873.671 * [enter]simplify:  Simplifying (fma x x -1)
1540332873.671 * * [misc]simplify:  iters left: 1 (3 enodes)
1540332873.677 * [exit]simplify:  Simplified to (fma x x -1)
1540332873.677 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (fma x x -1)))
1540332873.677 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (fma x x -1)))))>
1540332873.677 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (fma x x -1)))))>
1540332873.677 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332873.678 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))))>
1540332873.678 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))))>
1540332873.678 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (fma x x -1))))>
1540332873.678 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
1540332873.678 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1540332873.679 * * [misc]simplify:  iters left: 6 (13 enodes)
1540332873.687 * * [misc]simplify:  iters left: 5 (24 enodes)
1540332873.699 * * [misc]simplify:  iters left: 4 (51 enodes)
1540332873.729 * * [misc]simplify:  iters left: 3 (101 enodes)
1540332873.746 * * [misc]simplify:  iters left: 2 (121 enodes)
1540332873.785 * * [misc]simplify:  iters left: 1 (196 enodes)
1540332873.948 * [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
1540332873.948 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)))
1540332873.948 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1540332873.948 * [enter]simplify:  Simplifying (exp (fma x x -1))
1540332873.948 * * [misc]simplify:  iters left: 2 (4 enodes)
1540332873.950 * * [misc]simplify:  iters left: 1 (6 enodes)
1540332873.954 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332873.954 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1540332873.954 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1540332873.955 * [enter]simplify:  Simplifying (exp (fma x x -1))
1540332873.955 * * [misc]simplify:  iters left: 2 (4 enodes)
1540332873.956 * * [misc]simplify:  iters left: 1 (6 enodes)
1540332873.958 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332873.958 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1540332873.958 * * * [misc]progress:  adding candidates to table
1540332874.103 * * [misc]progress:  iteration 2 / 4
1540332874.103 * * * [misc]progress:  picking best candidate
1540332874.107 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332874.107 * * * [misc]progress:  localizing error
1540332874.124 * * * [misc]progress:  generating rewritten candidates
1540332874.124 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1540332874.139 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1540332874.157 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1540332874.165 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1540332874.361 * * * [misc]progress:  generating series expansions
1540332874.361 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1540332874.361 * [misc]backup-simplify:  Simplify (cbrt (exp (fma x x -1))) into (pow (exp (fma x x -1)) 1/3)
1540332874.361 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in (x) around 0
1540332874.361 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in x
1540332874.361 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x -1))))) in x
1540332874.361 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma x x -1)))) in x
1540332874.361 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.361 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.362 * [misc]taylor:  Taking taylor expansion of (log (exp (fma x x -1))) in x
1540332874.362 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332874.362 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332874.362 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332874.362 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332874.362 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.362 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.362 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.362 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.362 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.362 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.362 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.362 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.362 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332874.362 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332874.363 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.363 * [misc]backup-simplify:  Simplify (log (exp -1)) into -1
1540332874.363 * [misc]backup-simplify:  Simplify (* 1/3 -1) into -1/3
1540332874.363 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.363 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in x
1540332874.363 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x -1))))) in x
1540332874.363 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma x x -1)))) in x
1540332874.363 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.363 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.364 * [misc]taylor:  Taking taylor expansion of (log (exp (fma x x -1))) in x
1540332874.364 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332874.364 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332874.364 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332874.364 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332874.364 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.364 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.364 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.364 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.364 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.364 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.364 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.364 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.364 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332874.364 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332874.364 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.365 * [misc]backup-simplify:  Simplify (log (exp -1)) into -1
1540332874.365 * [misc]backup-simplify:  Simplify (* 1/3 -1) into -1/3
1540332874.365 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.365 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.366 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1540332874.366 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.367 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.369 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp -1) 1)))) 1) into 0
1540332874.369 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 -1)) into 0
1540332874.370 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.370 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.370 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1540332874.370 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.372 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1540332874.376 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp -1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (exp -1) 1)))) 2) into 1
1540332874.376 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (+ (* 0 0) (* 0 -1))) into 1/3
1540332874.377 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/3 1) 1)))) into (* 1/3 (exp -1/3))
1540332874.377 * [misc]backup-simplify:  Simplify (* 1/3 (exp -1/3)) into (* 1/3 (exp -1/3))
1540332874.378 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1540332874.378 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.380 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.386 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp -1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp -1) 1)))) 6) into 0
1540332874.386 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1)))) into 0
1540332874.388 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.388 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.389 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540332874.389 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.393 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1540332874.402 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp -1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (exp -1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (exp -1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (exp -1) 1)))) 24) into 0
1540332874.403 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1))))) into 0
1540332874.406 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/18 (exp -1/3))
1540332874.407 * [misc]backup-simplify:  Simplify (* 1/18 (exp -1/3)) into (* 1/18 (exp -1/3))
1540332874.407 * [misc]backup-simplify:  Simplify (+ (* (* 1/18 (exp -1/3)) (pow x 4)) (+ (* (* 1/3 (exp -1/3)) (pow x 2)) (exp -1/3))) into (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
1540332874.408 * [misc]backup-simplify:  Simplify (cbrt (exp (fma (/ 1 x) (/ 1 x) -1))) into (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3)
1540332874.408 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in (x) around 0
1540332874.408 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in x
1540332874.408 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1))))) in x
1540332874.408 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1540332874.408 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.408 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.408 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1540332874.408 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332874.408 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332874.408 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332874.408 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332874.408 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.408 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.408 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.408 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.408 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.408 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.408 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.408 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.408 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.408 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.408 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332874.409 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.409 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332874.409 * [misc]backup-simplify:  Simplify (log (exp (fma (/ 1 x) (/ 1 x) -1))) into (fma (/ 1 x) (/ 1 x) -1)
1540332874.409 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) -1)) into (* 1/3 (fma (/ 1 x) (/ 1 x) -1))
1540332874.409 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.409 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in x
1540332874.409 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1))))) in x
1540332874.409 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1540332874.409 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.409 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.409 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1540332874.409 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332874.409 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332874.409 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332874.409 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332874.409 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.409 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.409 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.409 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.409 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.409 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.409 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.409 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.409 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.409 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.409 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.409 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.410 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332874.410 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.410 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332874.410 * [misc]backup-simplify:  Simplify (log (exp (fma (/ 1 x) (/ 1 x) -1))) into (fma (/ 1 x) (/ 1 x) -1)
1540332874.410 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) -1)) into (* 1/3 (fma (/ 1 x) (/ 1 x) -1))
1540332874.410 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.410 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.411 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 1) into 0
1540332874.411 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))) into 0
1540332874.412 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.412 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.415 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 2) into 0
1540332874.415 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))) into 0
1540332874.417 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540332874.417 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.421 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 6) into 0
1540332874.422 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))))) into 0
1540332874.425 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.425 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.435 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 24) into 0
1540332874.436 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))))) into 0
1540332874.439 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.439 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.446 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 120) into 0
1540332874.446 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))))))) into 0
1540332874.451 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.451 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.462 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 720) into 0
1540332874.463 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))))))) into 0
1540332874.470 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.470 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.470 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1))) into (exp (* 1/3 (fma x x -1)))
1540332874.471 * [misc]backup-simplify:  Simplify (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1))) into (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3)
1540332874.471 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in (x) around 0
1540332874.471 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in x
1540332874.471 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1))))) in x
1540332874.471 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1540332874.471 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.471 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.471 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1540332874.471 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332874.471 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332874.471 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332874.471 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332874.471 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.471 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.471 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.471 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.471 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.471 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.471 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.471 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.471 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.471 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.471 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.471 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.471 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.471 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.471 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.471 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.471 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332874.472 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.472 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332874.472 * [misc]backup-simplify:  Simplify (log (exp (fma (/ -1 x) (/ -1 x) -1))) into (fma (/ -1 x) (/ -1 x) -1)
1540332874.472 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) -1)) into (* 1/3 (fma (/ -1 x) (/ -1 x) -1))
1540332874.472 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.472 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in x
1540332874.472 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1))))) in x
1540332874.472 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1540332874.472 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.472 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.472 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1540332874.472 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332874.472 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332874.472 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332874.472 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332874.472 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.472 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.472 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.472 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.472 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.472 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.472 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.472 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.472 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.472 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.472 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.472 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.472 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.473 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.473 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.473 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.473 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332874.473 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.473 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332874.473 * [misc]backup-simplify:  Simplify (log (exp (fma (/ -1 x) (/ -1 x) -1))) into (fma (/ -1 x) (/ -1 x) -1)
1540332874.473 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) -1)) into (* 1/3 (fma (/ -1 x) (/ -1 x) -1))
1540332874.473 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.473 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.474 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 1) into 0
1540332874.474 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))) into 0
1540332874.475 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.475 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.477 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 2) into 0
1540332874.478 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))) into 0
1540332874.479 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540332874.480 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.484 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 6) into 0
1540332874.484 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))))) into 0
1540332874.488 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.488 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.495 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 24) into 0
1540332874.495 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))))) into 0
1540332874.501 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.501 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.512 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 120) into 0
1540332874.513 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))))))) into 0
1540332874.521 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.522 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.539 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 720) into 0
1540332874.540 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))))))) into 0
1540332874.554 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.554 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.554 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1))) into (exp (* 1/3 (fma x x -1)))
1540332874.554 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1540332874.558 * [misc]backup-simplify:  Simplify (cbrt (exp (fma x x -1))) into (pow (exp (fma x x -1)) 1/3)
1540332874.558 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in (x) around 0
1540332874.558 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in x
1540332874.558 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x -1))))) in x
1540332874.558 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma x x -1)))) in x
1540332874.558 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.558 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.558 * [misc]taylor:  Taking taylor expansion of (log (exp (fma x x -1))) in x
1540332874.558 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332874.558 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332874.558 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332874.558 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332874.558 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.558 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.558 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.558 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.558 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.558 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.558 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.558 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.559 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332874.559 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332874.559 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.559 * [misc]backup-simplify:  Simplify (log (exp -1)) into -1
1540332874.560 * [misc]backup-simplify:  Simplify (* 1/3 -1) into -1/3
1540332874.560 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.560 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in x
1540332874.560 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x -1))))) in x
1540332874.560 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma x x -1)))) in x
1540332874.560 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.560 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.560 * [misc]taylor:  Taking taylor expansion of (log (exp (fma x x -1))) in x
1540332874.560 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332874.560 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332874.560 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332874.560 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332874.560 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.560 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.560 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.560 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.560 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.560 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.560 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.560 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.560 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332874.561 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332874.561 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.561 * [misc]backup-simplify:  Simplify (log (exp -1)) into -1
1540332874.561 * [misc]backup-simplify:  Simplify (* 1/3 -1) into -1/3
1540332874.561 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.562 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.562 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1540332874.562 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.564 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.567 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp -1) 1)))) 1) into 0
1540332874.567 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 -1)) into 0
1540332874.568 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.568 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.569 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1540332874.569 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.571 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1540332874.577 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp -1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (exp -1) 1)))) 2) into 1
1540332874.577 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (+ (* 0 0) (* 0 -1))) into 1/3
1540332874.580 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/3 1) 1)))) into (* 1/3 (exp -1/3))
1540332874.580 * [misc]backup-simplify:  Simplify (* 1/3 (exp -1/3)) into (* 1/3 (exp -1/3))
1540332874.580 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1540332874.581 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.584 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.595 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp -1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp -1) 1)))) 6) into 0
1540332874.595 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1)))) into 0
1540332874.599 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.599 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.600 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540332874.600 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.606 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1540332874.622 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp -1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (exp -1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (exp -1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (exp -1) 1)))) 24) into 0
1540332874.623 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1))))) into 0
1540332874.629 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/18 (exp -1/3))
1540332874.629 * [misc]backup-simplify:  Simplify (* 1/18 (exp -1/3)) into (* 1/18 (exp -1/3))
1540332874.630 * [misc]backup-simplify:  Simplify (+ (* (* 1/18 (exp -1/3)) (pow x 4)) (+ (* (* 1/3 (exp -1/3)) (pow x 2)) (exp -1/3))) into (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
1540332874.631 * [misc]backup-simplify:  Simplify (cbrt (exp (fma (/ 1 x) (/ 1 x) -1))) into (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3)
1540332874.631 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in (x) around 0
1540332874.631 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in x
1540332874.631 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1))))) in x
1540332874.631 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1540332874.631 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.631 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.631 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1540332874.631 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332874.631 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332874.631 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332874.631 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332874.631 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.631 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.631 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.631 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.631 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.631 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.631 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.631 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.631 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.632 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.632 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.632 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.632 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332874.632 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.632 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332874.632 * [misc]backup-simplify:  Simplify (log (exp (fma (/ 1 x) (/ 1 x) -1))) into (fma (/ 1 x) (/ 1 x) -1)
1540332874.632 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) -1)) into (* 1/3 (fma (/ 1 x) (/ 1 x) -1))
1540332874.633 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.633 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in x
1540332874.633 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1))))) in x
1540332874.633 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1540332874.633 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.633 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.633 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1540332874.633 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332874.633 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332874.633 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332874.633 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332874.633 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.633 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.633 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.633 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.633 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.633 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.633 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.633 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.633 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.633 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.633 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.634 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.634 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332874.634 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.634 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332874.634 * [misc]backup-simplify:  Simplify (log (exp (fma (/ 1 x) (/ 1 x) -1))) into (fma (/ 1 x) (/ 1 x) -1)
1540332874.634 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) -1)) into (* 1/3 (fma (/ 1 x) (/ 1 x) -1))
1540332874.634 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.635 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.636 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 1) into 0
1540332874.636 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))) into 0
1540332874.637 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.637 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.640 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 2) into 0
1540332874.640 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))) into 0
1540332874.642 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540332874.642 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.647 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 6) into 0
1540332874.648 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))))) into 0
1540332874.651 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.651 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.658 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 24) into 0
1540332874.659 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))))) into 0
1540332874.664 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.664 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.675 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 120) into 0
1540332874.676 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))))))) into 0
1540332874.684 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.685 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.699 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 720) into 0
1540332874.700 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))))))) into 0
1540332874.709 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.709 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.709 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1))) into (exp (* 1/3 (fma x x -1)))
1540332874.710 * [misc]backup-simplify:  Simplify (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1))) into (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3)
1540332874.710 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in (x) around 0
1540332874.710 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in x
1540332874.710 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1))))) in x
1540332874.710 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1540332874.710 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.710 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.710 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1540332874.710 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332874.710 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332874.710 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332874.710 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332874.710 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.710 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.710 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.710 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.710 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.710 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.710 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.710 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.710 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.710 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.710 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.710 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.710 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.711 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.711 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.711 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.711 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332874.711 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.711 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332874.711 * [misc]backup-simplify:  Simplify (log (exp (fma (/ -1 x) (/ -1 x) -1))) into (fma (/ -1 x) (/ -1 x) -1)
1540332874.711 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) -1)) into (* 1/3 (fma (/ -1 x) (/ -1 x) -1))
1540332874.711 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.711 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in x
1540332874.711 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1))))) in x
1540332874.711 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1540332874.711 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.711 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.711 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1540332874.711 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332874.711 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332874.711 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332874.711 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332874.711 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.711 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.711 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.711 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.711 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.711 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.712 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.712 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.712 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.712 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.712 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.712 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.712 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.712 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.712 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.712 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.712 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332874.712 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.712 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332874.712 * [misc]backup-simplify:  Simplify (log (exp (fma (/ -1 x) (/ -1 x) -1))) into (fma (/ -1 x) (/ -1 x) -1)
1540332874.712 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) -1)) into (* 1/3 (fma (/ -1 x) (/ -1 x) -1))
1540332874.712 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.712 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.713 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 1) into 0
1540332874.713 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))) into 0
1540332874.714 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.714 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.716 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 2) into 0
1540332874.716 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))) into 0
1540332874.717 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540332874.717 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.720 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 6) into 0
1540332874.720 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))))) into 0
1540332874.722 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.722 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.726 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 24) into 0
1540332874.727 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))))) into 0
1540332874.731 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.731 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.743 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 120) into 0
1540332874.744 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))))))) into 0
1540332874.752 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.752 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.768 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 720) into 0
1540332874.769 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))))))) into 0
1540332874.782 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.782 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.782 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1))) into (exp (* 1/3 (fma x x -1)))
1540332874.783 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1540332874.783 * [misc]backup-simplify:  Simplify (cbrt (exp (fma x x -1))) into (pow (exp (fma x x -1)) 1/3)
1540332874.783 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in (x) around 0
1540332874.783 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in x
1540332874.783 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x -1))))) in x
1540332874.783 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma x x -1)))) in x
1540332874.783 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.783 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.783 * [misc]taylor:  Taking taylor expansion of (log (exp (fma x x -1))) in x
1540332874.783 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332874.783 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332874.784 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332874.784 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332874.784 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.784 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.784 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.784 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.784 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.784 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.784 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.784 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.784 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332874.784 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332874.784 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.785 * [misc]backup-simplify:  Simplify (log (exp -1)) into -1
1540332874.785 * [misc]backup-simplify:  Simplify (* 1/3 -1) into -1/3
1540332874.785 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.785 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma x x -1)) 1/3) in x
1540332874.785 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x -1))))) in x
1540332874.785 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma x x -1)))) in x
1540332874.785 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.785 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.785 * [misc]taylor:  Taking taylor expansion of (log (exp (fma x x -1))) in x
1540332874.785 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332874.785 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332874.785 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332874.785 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332874.785 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.785 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.786 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.786 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.786 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.786 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.786 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.786 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.786 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332874.786 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332874.786 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.786 * [misc]backup-simplify:  Simplify (log (exp -1)) into -1
1540332874.787 * [misc]backup-simplify:  Simplify (* 1/3 -1) into -1/3
1540332874.787 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.787 * [misc]backup-simplify:  Simplify (exp -1/3) into (exp -1/3)
1540332874.787 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1540332874.788 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.789 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.792 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp -1) 1)))) 1) into 0
1540332874.792 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 -1)) into 0
1540332874.794 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.794 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.794 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1540332874.795 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.797 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1540332874.803 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp -1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (exp -1) 1)))) 2) into 1
1540332874.803 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (+ (* 0 0) (* 0 -1))) into 1/3
1540332874.805 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/3 1) 1)))) into (* 1/3 (exp -1/3))
1540332874.806 * [misc]backup-simplify:  Simplify (* 1/3 (exp -1/3)) into (* 1/3 (exp -1/3))
1540332874.806 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1540332874.806 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.809 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.819 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp -1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp -1) 1)))) 6) into 0
1540332874.819 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1)))) into 0
1540332874.823 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.823 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.823 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540332874.824 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.830 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1540332874.845 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp -1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (exp -1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (exp -1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (exp -1) 1)))) 24) into 0
1540332874.846 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1))))) into 0
1540332874.852 * [misc]backup-simplify:  Simplify (* (exp -1/3) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/18 (exp -1/3))
1540332874.852 * [misc]backup-simplify:  Simplify (* 1/18 (exp -1/3)) into (* 1/18 (exp -1/3))
1540332874.853 * [misc]backup-simplify:  Simplify (+ (* (* 1/18 (exp -1/3)) (pow x 4)) (+ (* (* 1/3 (exp -1/3)) (pow x 2)) (exp -1/3))) into (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
1540332874.856 * [misc]backup-simplify:  Simplify (cbrt (exp (fma (/ 1 x) (/ 1 x) -1))) into (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3)
1540332874.856 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in (x) around 0
1540332874.856 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in x
1540332874.856 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1))))) in x
1540332874.856 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1540332874.856 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.856 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.856 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1540332874.856 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332874.856 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332874.856 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332874.856 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332874.856 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.856 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.856 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.857 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.857 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.857 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.857 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.857 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.857 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.857 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.857 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.857 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.857 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332874.857 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.858 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332874.858 * [misc]backup-simplify:  Simplify (log (exp (fma (/ 1 x) (/ 1 x) -1))) into (fma (/ 1 x) (/ 1 x) -1)
1540332874.858 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) -1)) into (* 1/3 (fma (/ 1 x) (/ 1 x) -1))
1540332874.858 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.858 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1/3) in x
1540332874.858 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1))))) in x
1540332874.858 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1540332874.858 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.858 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.858 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1540332874.858 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332874.858 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332874.858 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332874.858 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332874.858 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.859 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.859 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.859 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.859 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.859 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332874.859 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.859 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.859 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.859 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332874.859 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.859 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.859 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332874.859 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.860 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332874.860 * [misc]backup-simplify:  Simplify (log (exp (fma (/ 1 x) (/ 1 x) -1))) into (fma (/ 1 x) (/ 1 x) -1)
1540332874.860 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) -1)) into (* 1/3 (fma (/ 1 x) (/ 1 x) -1))
1540332874.860 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.860 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1)))
1540332874.862 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 1) into 0
1540332874.862 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))) into 0
1540332874.863 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.863 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.866 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 2) into 0
1540332874.866 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))) into 0
1540332874.868 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540332874.868 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.870 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 6) into 0
1540332874.871 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))))) into 0
1540332874.873 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) -1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.873 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.877 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 24) into 0
1540332874.877 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))))) into 0
1540332874.881 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.881 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.887 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 120) into 0
1540332874.888 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1))))))) into 0
1540332874.892 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.893 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.903 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) -1)) 1)))) 720) into 0
1540332874.903 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) -1)))))))) into 0
1540332874.917 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 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
1540332874.918 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.918 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1))) into (exp (* 1/3 (fma x x -1)))
1540332874.918 * [misc]backup-simplify:  Simplify (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1))) into (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3)
1540332874.918 * [misc]approximate:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in (x) around 0
1540332874.918 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in x
1540332874.918 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1))))) in x
1540332874.918 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1540332874.918 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.919 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.919 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1540332874.919 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332874.919 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332874.919 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332874.919 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332874.919 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.919 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.919 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.919 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.919 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.919 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.919 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.919 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.919 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.919 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.919 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.919 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.919 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.919 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.919 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.919 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.920 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332874.920 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.920 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332874.920 * [misc]backup-simplify:  Simplify (log (exp (fma (/ -1 x) (/ -1 x) -1))) into (fma (/ -1 x) (/ -1 x) -1)
1540332874.920 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) -1)) into (* 1/3 (fma (/ -1 x) (/ -1 x) -1))
1540332874.920 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.920 * [misc]taylor:  Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1/3) in x
1540332874.920 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1))))) in x
1540332874.920 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1540332874.921 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1540332874.921 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540332874.921 * [misc]taylor:  Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1540332874.921 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332874.921 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332874.921 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332874.921 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332874.921 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.921 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.921 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.921 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.921 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.921 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.921 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.921 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332874.921 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.921 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.921 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.921 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.921 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.921 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332874.921 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.922 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.922 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332874.922 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.922 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332874.922 * [misc]backup-simplify:  Simplify (log (exp (fma (/ -1 x) (/ -1 x) -1))) into (fma (/ -1 x) (/ -1 x) -1)
1540332874.922 * [misc]backup-simplify:  Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) -1)) into (* 1/3 (fma (/ -1 x) (/ -1 x) -1))
1540332874.922 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.923 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1)))
1540332874.924 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 1) into 0
1540332874.924 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))) into 0
1540332874.925 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.925 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.928 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 2) into 0
1540332874.928 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))) into 0
1540332874.931 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540332874.931 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.933 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 6) into 0
1540332874.934 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))))) into 0
1540332874.935 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) -1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.936 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.940 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 24) into 0
1540332874.940 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))))) into 0
1540332874.943 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.943 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.950 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 120) into 0
1540332874.950 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1))))))) into 0
1540332874.955 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.955 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.970 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) -1)) 1)))) 720) into 0
1540332874.971 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) -1)))))))) into 0
1540332874.984 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -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
1540332874.984 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.985 * [misc]backup-simplify:  Simplify (exp (* 1/3 (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1))) into (exp (* 1/3 (fma x x -1)))
1540332874.985 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1540332874.986 * [misc]backup-simplify:  Simplify (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))) into (exp (fma x x -1))
1540332874.986 * [misc]approximate:  Taking taylor expansion of (exp (fma x x -1)) in (x) around 0
1540332874.986 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332874.986 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332874.986 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332874.986 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332874.986 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.986 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.986 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.986 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.986 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.986 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.986 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.986 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.987 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332874.987 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332874.987 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.987 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1540332874.987 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1540332874.987 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1540332874.987 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1540332874.987 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.987 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.987 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.987 * [misc]taylor:  Taking taylor expansion of x in x
1540332874.987 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.987 * [misc]backup-simplify:  Simplify 1 into 1
1540332874.987 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332874.987 * [misc]backup-simplify:  Simplify -1 into -1
1540332874.987 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540332874.988 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540332874.988 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.988 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.988 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1540332874.988 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.990 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1540332874.990 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.990 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1540332874.990 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332874.993 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1540332874.993 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1540332874.993 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1540332874.994 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332874.997 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540332874.997 * [misc]backup-simplify:  Simplify 0 into 0
1540332874.998 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540332874.998 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540332875.002 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1540332875.002 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1540332875.003 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1540332875.004 * [misc]backup-simplify:  Simplify (* (* (cbrt (exp (fma (/ 1 x) (/ 1 x) -1))) (cbrt (exp (fma (/ 1 x) (/ 1 x) -1)))) (cbrt (exp (fma (/ 1 x) (/ 1 x) -1)))) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332875.004 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
1540332875.004 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332875.004 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332875.004 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332875.004 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332875.004 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332875.004 * [misc]taylor:  Taking taylor expansion of x in x
1540332875.004 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.004 * [misc]backup-simplify:  Simplify 1 into 1
1540332875.004 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332875.004 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332875.004 * [misc]taylor:  Taking taylor expansion of x in x
1540332875.004 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.004 * [misc]backup-simplify:  Simplify 1 into 1
1540332875.004 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332875.004 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332875.004 * [misc]backup-simplify:  Simplify -1 into -1
1540332875.004 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332875.004 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332875.005 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332875.005 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1540332875.005 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1540332875.005 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1540332875.005 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1540332875.005 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332875.005 * [misc]taylor:  Taking taylor expansion of x in x
1540332875.005 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.005 * [misc]backup-simplify:  Simplify 1 into 1
1540332875.005 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332875.005 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540332875.005 * [misc]taylor:  Taking taylor expansion of x in x
1540332875.005 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.005 * [misc]backup-simplify:  Simplify 1 into 1
1540332875.005 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540332875.005 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332875.005 * [misc]backup-simplify:  Simplify -1 into -1
1540332875.005 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540332875.005 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332875.005 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332875.005 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1540332875.006 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.006 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.006 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.006 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.006 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.006 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.006 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
1540332875.007 * [misc]backup-simplify:  Simplify (* (* (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1))) (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)))) (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)))) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332875.007 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
1540332875.007 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332875.007 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332875.007 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332875.007 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332875.007 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332875.007 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332875.007 * [misc]backup-simplify:  Simplify -1 into -1
1540332875.007 * [misc]taylor:  Taking taylor expansion of x in x
1540332875.007 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.007 * [misc]backup-simplify:  Simplify 1 into 1
1540332875.007 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332875.007 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332875.007 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332875.007 * [misc]backup-simplify:  Simplify -1 into -1
1540332875.007 * [misc]taylor:  Taking taylor expansion of x in x
1540332875.007 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.007 * [misc]backup-simplify:  Simplify 1 into 1
1540332875.007 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332875.007 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332875.007 * [misc]backup-simplify:  Simplify -1 into -1
1540332875.007 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332875.007 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332875.007 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332875.007 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1540332875.008 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1540332875.008 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1540332875.008 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1540332875.008 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332875.008 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332875.008 * [misc]backup-simplify:  Simplify -1 into -1
1540332875.008 * [misc]taylor:  Taking taylor expansion of x in x
1540332875.008 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.008 * [misc]backup-simplify:  Simplify 1 into 1
1540332875.008 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332875.008 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540332875.008 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332875.008 * [misc]backup-simplify:  Simplify -1 into -1
1540332875.008 * [misc]taylor:  Taking taylor expansion of x in x
1540332875.008 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.008 * [misc]backup-simplify:  Simplify 1 into 1
1540332875.008 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540332875.008 * [misc]taylor:  Taking taylor expansion of -1 in x
1540332875.008 * [misc]backup-simplify:  Simplify -1 into -1
1540332875.008 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540332875.008 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540332875.008 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332875.008 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1540332875.008 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.008 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.008 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.009 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.009 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.009 * [misc]backup-simplify:  Simplify 0 into 0
1540332875.009 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
1540332875.009 * * * [misc]progress:  simplifying candidates
1540332875.009 * * * * [misc]progress:  [ 1 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (log1p (expm1 (cbrt (exp (fma x x -1)))))))>
1540332875.009 * * * * [misc]progress:  [ 2 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (expm1 (log1p (cbrt (exp (fma x x -1)))))))>
1540332875.009 * * * * [misc]progress:  [ 3 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (pow (exp (fma x x -1)) 1/3)))>
1540332875.009 * * * * [misc]progress:  [ 4 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (pow (cbrt (exp (fma x x -1))) 1)))>
1540332875.009 * * * * [misc]progress:  [ 5 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (exp (log (cbrt (exp (fma x x -1)))))))>
1540332875.009 * * * * [misc]progress:  [ 6 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (log (exp (cbrt (exp (fma x x -1)))))))>
1540332875.009 * * * * [misc]progress:  [ 7 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (exp (* x x))) (cbrt (exp -1)))))>
1540332875.009 * [enter]simplify:  Simplifying (cbrt (exp (* x x)))
1540332875.009 * * [misc]simplify:  iters left: 4 (4 enodes)
1540332875.010 * * [misc]simplify:  iters left: 3 (6 enodes)
1540332875.012 * [exit]simplify:  Simplified to (cbrt (exp (* x x)))
1540332875.012 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (exp (* x x))) (cbrt (exp -1)))))
1540332875.012 * * * * [misc]progress:  [ 8 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1)))))))>
1540332875.012 * [enter]simplify:  Simplifying (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))))
1540332875.012 * * [misc]simplify:  iters left: 6 (7 enodes)
1540332875.014 * * [misc]simplify:  iters left: 5 (9 enodes)
1540332875.016 * * [misc]simplify:  iters left: 4 (17 enodes)
1540332875.021 * * [misc]simplify:  iters left: 3 (28 enodes)
1540332875.027 * * [misc]simplify:  iters left: 2 (48 enodes)
1540332875.046 * * [misc]simplify:  iters left: 1 (90 enodes)
1540332875.092 * [exit]simplify:  Simplified to (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))))
1540332875.093 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1)))))))
1540332875.093 * * * * [misc]progress:  [ 9 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))))>
1540332875.093 * [enter]simplify:  Simplifying (cbrt (sqrt (exp (fma x x -1))))
1540332875.093 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332875.094 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332875.097 * * [misc]simplify:  iters left: 2 (16 enodes)
1540332875.101 * * [misc]simplify:  iters left: 1 (27 enodes)
1540332875.109 * [exit]simplify:  Simplified to (cbrt (sqrt (exp (fma x x -1))))
1540332875.109 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))))
1540332875.109 * * * * [misc]progress:  [ 10 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt 1) (cbrt (exp (fma x x -1))))))>
1540332875.109 * [enter]simplify:  Simplifying (cbrt 1)
1540332875.109 * * [misc]simplify:  iters left: 1 (2 enodes)
1540332875.110 * [exit]simplify:  Simplified to 1
1540332875.110 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* 1 (cbrt (exp (fma x x -1))))))
1540332875.110 * * * * [misc]progress:  [ 11 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (* (cbrt (cbrt (exp (fma x x -1)))) (cbrt (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1)))))))>
1540332875.110 * * * * [misc]progress:  [ 12 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1540332875.110 * * * * [misc]progress:  [ 13 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (sqrt (cbrt (exp (fma x x -1)))) (sqrt (cbrt (exp (fma x x -1)))))))>
1540332875.110 * * * * [misc]progress:  [ 14 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* 1 (cbrt (exp (fma x x -1))))))>
1540332875.110 * * * * [misc]progress:  [ 15 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (log1p (expm1 (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.111 * * * * [misc]progress:  [ 16 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (expm1 (log1p (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.111 * * * * [misc]progress:  [ 17 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (pow (exp (fma x x -1)) 1/3)) (cbrt (exp (fma x x -1)))))>
1540332875.111 * * * * [misc]progress:  [ 18 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (pow (cbrt (exp (fma x x -1))) 1)) (cbrt (exp (fma x x -1)))))>
1540332875.111 * * * * [misc]progress:  [ 19 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (exp (log (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.111 * * * * [misc]progress:  [ 20 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (log (exp (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.111 * * * * [misc]progress:  [ 21 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (cbrt (exp (* x x))) (cbrt (exp -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.111 * [enter]simplify:  Simplifying (cbrt (exp (* x x)))
1540332875.111 * * [misc]simplify:  iters left: 4 (4 enodes)
1540332875.112 * * [misc]simplify:  iters left: 3 (6 enodes)
1540332875.113 * [exit]simplify:  Simplified to (cbrt (exp (* x x)))
1540332875.113 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (cbrt (exp (* x x))) (cbrt (exp -1)))) (cbrt (exp (fma x x -1)))))
1540332875.113 * * * * [misc]progress:  [ 22 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.113 * [enter]simplify:  Simplifying (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))))
1540332875.114 * * [misc]simplify:  iters left: 6 (7 enodes)
1540332875.115 * * [misc]simplify:  iters left: 5 (9 enodes)
1540332875.118 * * [misc]simplify:  iters left: 4 (17 enodes)
1540332875.124 * * [misc]simplify:  iters left: 3 (28 enodes)
1540332875.137 * * [misc]simplify:  iters left: 2 (48 enodes)
1540332875.163 * * [misc]simplify:  iters left: 1 (90 enodes)
1540332875.208 * [exit]simplify:  Simplified to (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))))
1540332875.208 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))
1540332875.208 * * * * [misc]progress:  [ 23 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.208 * [enter]simplify:  Simplifying (cbrt (sqrt (exp (fma x x -1))))
1540332875.209 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332875.210 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332875.212 * * [misc]simplify:  iters left: 2 (16 enodes)
1540332875.217 * * [misc]simplify:  iters left: 1 (27 enodes)
1540332875.224 * [exit]simplify:  Simplified to (cbrt (sqrt (exp (fma x x -1))))
1540332875.224 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))
1540332875.224 * * * * [misc]progress:  [ 24 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (cbrt 1) (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))))>
1540332875.225 * [enter]simplify:  Simplifying (cbrt 1)
1540332875.225 * * [misc]simplify:  iters left: 1 (2 enodes)
1540332875.226 * [exit]simplify:  Simplified to 1
1540332875.226 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (* 1 (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))))
1540332875.226 * * * * [misc]progress:  [ 25 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (* (cbrt (cbrt (exp (fma x x -1)))) (cbrt (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 26 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 27 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (* (sqrt (cbrt (exp (fma x x -1)))) (sqrt (cbrt (exp (fma x x -1)))))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 28 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (* 1 (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 29 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (log1p (expm1 (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 30 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (expm1 (log1p (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 31 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (pow (exp (fma x x -1)) 1/3) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 32 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (pow (cbrt (exp (fma x x -1))) 1) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 33 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (exp (log (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 34 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (log (exp (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * * * * [misc]progress:  [ 35 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (* x x))) (cbrt (exp -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.226 * [enter]simplify:  Simplifying (cbrt (exp (* x x)))
1540332875.227 * * [misc]simplify:  iters left: 4 (4 enodes)
1540332875.228 * * [misc]simplify:  iters left: 3 (6 enodes)
1540332875.230 * [exit]simplify:  Simplified to (cbrt (exp (* x x)))
1540332875.230 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (* (* (cbrt (exp (* x x))) (cbrt (exp -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))
1540332875.230 * * * * [misc]progress:  [ 36 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.230 * [enter]simplify:  Simplifying (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))))
1540332875.231 * * [misc]simplify:  iters left: 6 (7 enodes)
1540332875.234 * * [misc]simplify:  iters left: 5 (9 enodes)
1540332875.242 * * [misc]simplify:  iters left: 4 (17 enodes)
1540332875.251 * * [misc]simplify:  iters left: 3 (28 enodes)
1540332875.264 * * [misc]simplify:  iters left: 2 (48 enodes)
1540332875.287 * * [misc]simplify:  iters left: 1 (90 enodes)
1540332875.324 * [exit]simplify:  Simplified to (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))))
1540332875.324 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (* (* (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))
1540332875.324 * * * * [misc]progress:  [ 37 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.324 * [enter]simplify:  Simplifying (cbrt (sqrt (exp (fma x x -1))))
1540332875.324 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332875.325 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332875.330 * * [misc]simplify:  iters left: 2 (16 enodes)
1540332875.334 * * [misc]simplify:  iters left: 1 (27 enodes)
1540332875.342 * [exit]simplify:  Simplified to (cbrt (sqrt (exp (fma x x -1))))
1540332875.342 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (* (* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))
1540332875.342 * * * * [misc]progress:  [ 38 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt 1) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.342 * [enter]simplify:  Simplifying (cbrt 1)
1540332875.342 * * [misc]simplify:  iters left: 1 (2 enodes)
1540332875.343 * [exit]simplify:  Simplified to 1
1540332875.343 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (* (* 1 (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))
1540332875.343 * * * * [misc]progress:  [ 39 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (* (cbrt (cbrt (exp (fma x x -1)))) (cbrt (cbrt (exp (fma x x -1))))) (cbrt (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.343 * * * * [misc]progress:  [ 40 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.343 * * * * [misc]progress:  [ 41 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (cbrt (exp (fma x x -1)))) (sqrt (cbrt (exp (fma x x -1))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.344 * * * * [misc]progress:  [ 42 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* 1 (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332875.344 * * * * [misc]progress:  [ 43 / 87 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1540332875.344 * * * * [misc]progress:  [ 44 / 87 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1540332875.344 * * * * [misc]progress:  [ 45 / 87 ] simplifiying candidate #<alt (λ (x) (pow (exp (fma x x -1)) (+ (+ 1/3 1/3) 1/3)))>
1540332875.344 * [enter]simplify:  Simplifying (exp (fma x x -1))
1540332875.344 * * [misc]simplify:  iters left: 2 (4 enodes)
1540332875.345 * * [misc]simplify:  iters left: 1 (6 enodes)
1540332875.347 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332875.347 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (fma x x -1)) (+ (+ 1/3 1/3) 1/3)))
1540332875.347 * [enter]simplify:  Simplifying (+ (+ 1/3 1/3) 1/3)
1540332875.348 * * [misc]simplify:  iters left: 4 (3 enodes)
1540332875.350 * * [misc]simplify:  iters left: 3 (6 enodes)
1540332875.350 * * [misc]simplify:  iters left: 2 (8 enodes)
1540332875.351 * [exit]simplify:  Simplified to 1
1540332875.351 * [misc]simplify:  Simplified (2 2) to (λ (x) (pow (exp (fma x x -1)) 1))
1540332875.351 * * * * [misc]progress:  [ 46 / 87 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (exp (fma x x -1))) (+ (+ 1 1) 1)))>
1540332875.351 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332875.351 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332875.353 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332875.358 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332875.367 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332875.367 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (cbrt (exp (fma x x -1))) (+ (+ 1 1) 1)))
1540332875.367 * [enter]simplify:  Simplifying (+ (+ 1 1) 1)
1540332875.368 * * [misc]simplify:  iters left: 4 (3 enodes)
1540332875.371 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332875.372 * [exit]simplify:  Simplified to 3
1540332875.372 * [misc]simplify:  Simplified (2 2) to (λ (x) (pow (cbrt (exp (fma x x -1))) 3))
1540332875.372 * * * * [misc]progress:  [ 47 / 87 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (exp (fma x x -1))) (+ 2 1)))>
1540332875.373 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332875.373 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332875.375 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332875.379 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332875.388 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332875.388 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (cbrt (exp (fma x x -1))) (+ 2 1)))
1540332875.388 * [enter]simplify:  Simplifying (+ 2 1)
1540332875.388 * * [misc]simplify:  iters left: 2 (3 enodes)
1540332875.391 * * [misc]simplify:  iters left: 1 (7 enodes)
1540332875.392 * [exit]simplify:  Simplified to 3
1540332875.392 * [misc]simplify:  Simplified (2 2) to (λ (x) (pow (cbrt (exp (fma x x -1))) 3))
1540332875.392 * * * * [misc]progress:  [ 48 / 87 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (exp (fma x x -1))) (+ (+ 1 1) 1)))>
1540332875.393 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332875.393 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332875.395 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332875.399 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332875.408 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332875.408 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (cbrt (exp (fma x x -1))) (+ (+ 1 1) 1)))
1540332875.408 * [enter]simplify:  Simplifying (+ (+ 1 1) 1)
1540332875.409 * * [misc]simplify:  iters left: 4 (3 enodes)
1540332875.413 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332875.414 * [exit]simplify:  Simplified to 3
1540332875.414 * [misc]simplify:  Simplified (2 2) to (λ (x) (pow (cbrt (exp (fma x x -1))) 3))
1540332875.414 * * * * [misc]progress:  [ 49 / 87 ] simplifiying candidate #<alt (λ (x) (pow (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1))) 1/3))>
1540332875.414 * [enter]simplify:  Simplifying (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))
1540332875.415 * * [misc]simplify:  iters left: 6 (6 enodes)
1540332875.418 * * [misc]simplify:  iters left: 5 (11 enodes)
1540332875.426 * * [misc]simplify:  iters left: 4 (29 enodes)
1540332875.445 * * [misc]simplify:  iters left: 3 (78 enodes)
1540332875.477 * * [misc]simplify:  iters left: 2 (202 enodes)
1540332875.609 * * [misc]simplify:  iters left: 1 (486 enodes)
1540332876.334 * [exit]simplify:  Simplified to (exp (fma x (+ x x) (fma x x -3)))
1540332876.334 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (fma x (+ x x) (fma x x -3))) 1/3))
1540332876.335 * * * * [misc]progress:  [ 50 / 87 ] simplifiying candidate #<alt (λ (x) (pow (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))) 1))>
1540332876.335 * [enter]simplify:  Simplifying (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))))
1540332876.336 * * [misc]simplify:  iters left: 6 (7 enodes)
1540332876.339 * * [misc]simplify:  iters left: 5 (10 enodes)
1540332876.344 * * [misc]simplify:  iters left: 4 (20 enodes)
1540332876.354 * * [misc]simplify:  iters left: 3 (31 enodes)
1540332876.367 * * [misc]simplify:  iters left: 2 (51 enodes)
1540332876.391 * * [misc]simplify:  iters left: 1 (94 enodes)
1540332876.446 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332876.447 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (fma x x -1)) 1))
1540332876.447 * * * * [misc]progress:  [ 51 / 87 ] simplifiying candidate #<alt (λ (x) (pow (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))) 1))>
1540332876.447 * [enter]simplify:  Simplifying (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))))
1540332876.448 * * [misc]simplify:  iters left: 6 (7 enodes)
1540332876.451 * * [misc]simplify:  iters left: 5 (10 enodes)
1540332876.456 * * [misc]simplify:  iters left: 4 (20 enodes)
1540332876.461 * * [misc]simplify:  iters left: 3 (31 enodes)
1540332876.468 * * [misc]simplify:  iters left: 2 (51 enodes)
1540332876.490 * * [misc]simplify:  iters left: 1 (94 enodes)
1540332876.530 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332876.530 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (fma x x -1)) 1))
1540332876.530 * * * * [misc]progress:  [ 52 / 87 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (exp (fma x x -1))) 3))>
1540332876.530 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332876.530 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332876.531 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332876.535 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332876.545 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332876.545 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (cbrt (exp (fma x x -1))) 3))
1540332876.545 * * * * [misc]progress:  [ 53 / 87 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (exp (fma x x -1))) (+ (+ 1 1) 1)))>
1540332876.545 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332876.545 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332876.547 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332876.552 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332876.560 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332876.560 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (cbrt (exp (fma x x -1))) (+ (+ 1 1) 1)))
1540332876.560 * * * * [misc]progress:  [ 54 / 87 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (exp (fma x x -1))) (+ 2 1)))>
1540332876.561 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332876.561 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332876.563 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332876.567 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332876.576 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332876.576 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (cbrt (exp (fma x x -1))) (+ 2 1)))
1540332876.576 * * * * [misc]progress:  [ 55 / 87 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (exp (fma x x -1))) (+ (+ 1 1) 1)))>
1540332876.576 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332876.577 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332876.579 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332876.583 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332876.596 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332876.596 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (cbrt (exp (fma x x -1))) (+ (+ 1 1) 1)))
1540332876.596 * * * * [misc]progress:  [ 56 / 87 ] simplifiying candidate #<alt (λ (x) (pow (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))) 1))>
1540332876.596 * * * * [misc]progress:  [ 57 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (+ (log (cbrt (exp (fma x x -1)))) (log (cbrt (exp (fma x x -1))))) (log (cbrt (exp (fma x x -1)))))))>
1540332876.596 * [enter]simplify:  Simplifying (+ (+ (log (cbrt (exp (fma x x -1)))) (log (cbrt (exp (fma x x -1))))) (log (cbrt (exp (fma x x -1)))))
1540332876.597 * * [misc]simplify:  iters left: 6 (8 enodes)
1540332876.601 * * [misc]simplify:  iters left: 5 (11 enodes)
1540332876.606 * * [misc]simplify:  iters left: 4 (19 enodes)
1540332876.615 * * [misc]simplify:  iters left: 3 (30 enodes)
1540332876.628 * * [misc]simplify:  iters left: 2 (50 enodes)
1540332876.666 * * [misc]simplify:  iters left: 1 (92 enodes)
1540332876.742 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fma x x -1)))) (+ (log (cbrt (exp (fma x x -1)))) (log (cbrt (exp (fma x x -1))))))
1540332876.742 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (cbrt (exp (fma x x -1)))) (+ (log (cbrt (exp (fma x x -1)))) (log (cbrt (exp (fma x x -1))))))))
1540332876.742 * * * * [misc]progress:  [ 58 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (log (cbrt (exp (fma x x -1)))))))>
1540332876.743 * [enter]simplify:  Simplifying (+ (log (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (log (cbrt (exp (fma x x -1)))))
1540332876.744 * * [misc]simplify:  iters left: 6 (9 enodes)
1540332876.748 * * [misc]simplify:  iters left: 5 (13 enodes)
1540332876.754 * * [misc]simplify:  iters left: 4 (21 enodes)
1540332876.764 * * [misc]simplify:  iters left: 3 (32 enodes)
1540332876.777 * * [misc]simplify:  iters left: 2 (52 enodes)
1540332876.813 * * [misc]simplify:  iters left: 1 (94 enodes)
1540332876.889 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fma x x -1)))) (log (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))))
1540332876.889 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (cbrt (exp (fma x x -1)))) (log (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))))))
1540332876.889 * * * * [misc]progress:  [ 59 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1540332876.889 * * * * [misc]progress:  [ 60 / 87 ] simplifiying candidate #<alt (λ (x) (log (exp (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1540332876.889 * * * * [misc]progress:  [ 61 / 87 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))))>
1540332876.889 * [enter]simplify:  Simplifying (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))
1540332876.890 * * [misc]simplify:  iters left: 6 (6 enodes)
1540332876.893 * * [misc]simplify:  iters left: 5 (11 enodes)
1540332876.900 * * [misc]simplify:  iters left: 4 (29 enodes)
1540332876.922 * * [misc]simplify:  iters left: 3 (78 enodes)
1540332876.976 * * [misc]simplify:  iters left: 2 (202 enodes)
1540332877.206 * * [misc]simplify:  iters left: 1 (486 enodes)
1540332877.853 * [exit]simplify:  Simplified to (exp (fma x (+ x x) (fma x x -3)))
1540332877.853 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (exp (fma x (+ x x) (fma x x -3)))))
1540332877.853 * * * * [misc]progress:  [ 62 / 87 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (exp (fma x x -1)))))>
1540332877.854 * [enter]simplify:  Simplifying (* (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))) (exp (fma x x -1)))
1540332877.855 * * [misc]simplify:  iters left: 6 (9 enodes)
1540332877.861 * * [misc]simplify:  iters left: 5 (21 enodes)
1540332877.878 * * [misc]simplify:  iters left: 4 (54 enodes)
1540332877.901 * * [misc]simplify:  iters left: 3 (130 enodes)
1540332877.960 * * [misc]simplify:  iters left: 2 (289 enodes)
1540332878.137 * [exit]simplify:  Simplified to (pow (exp (fma x x -1)) 3)
1540332878.137 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (pow (exp (fma x x -1)) 3)))
1540332878.137 * * * * [misc]progress:  [ 63 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))))) (cbrt (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))) (cbrt (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1540332878.137 * * * * [misc]progress:  [ 64 / 87 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))))) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1540332878.137 * * * * [misc]progress:  [ 65 / 87 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))))) (sqrt (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1540332878.138 * * * * [misc]progress:  [ 66 / 87 ] simplifiying candidate #<alt (λ (x) (* 1 (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))))))>
1540332878.138 * * * * [misc]progress:  [ 67 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (* x x)))) (cbrt (exp -1))))>
1540332878.138 * [enter]simplify:  Simplifying (cbrt (exp -1))
1540332878.142 * * [misc]simplify:  iters left: 2 (3 enodes)
1540332878.144 * [exit]simplify:  Simplified to (cbrt (exp -1))
1540332878.144 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (* x x)))) (cbrt (exp -1))))
1540332878.144 * * * * [misc]progress:  [ 68 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))))) (cbrt (cbrt (exp (fma x x -1))))))>
1540332878.144 * [enter]simplify:  Simplifying (cbrt (cbrt (exp (fma x x -1))))
1540332878.145 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332878.147 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332878.152 * * [misc]simplify:  iters left: 2 (16 enodes)
1540332878.160 * * [misc]simplify:  iters left: 1 (27 enodes)
1540332878.174 * [exit]simplify:  Simplified to (cbrt (cbrt (exp (fma x x -1))))
1540332878.174 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))))) (cbrt (cbrt (exp (fma x x -1))))))
1540332878.174 * * * * [misc]progress:  [ 69 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1))))) (cbrt (sqrt (exp (fma x x -1))))))>
1540332878.175 * [enter]simplify:  Simplifying (cbrt (sqrt (exp (fma x x -1))))
1540332878.175 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332878.178 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332878.183 * * [misc]simplify:  iters left: 2 (16 enodes)
1540332878.191 * * [misc]simplify:  iters left: 1 (27 enodes)
1540332878.205 * [exit]simplify:  Simplified to (cbrt (sqrt (exp (fma x x -1))))
1540332878.206 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1))))) (cbrt (sqrt (exp (fma x x -1))))))
1540332878.206 * * * * [misc]progress:  [ 70 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt 1)) (cbrt (exp (fma x x -1)))))>
1540332878.206 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332878.206 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332878.208 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332878.212 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332878.221 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332878.221 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt 1)) (cbrt (exp (fma x x -1)))))
1540332878.221 * * * * [misc]progress:  [ 71 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (cbrt (exp (fma x x -1)))) (cbrt (cbrt (exp (fma x x -1)))))) (cbrt (cbrt (exp (fma x x -1))))))>
1540332878.221 * [enter]simplify:  Simplifying (cbrt (cbrt (exp (fma x x -1))))
1540332878.222 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332878.224 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332878.229 * * [misc]simplify:  iters left: 2 (16 enodes)
1540332878.237 * * [misc]simplify:  iters left: 1 (27 enodes)
1540332878.251 * [exit]simplify:  Simplified to (cbrt (cbrt (exp (fma x x -1))))
1540332878.251 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (* (cbrt (cbrt (exp (fma x x -1)))) (cbrt (cbrt (exp (fma x x -1)))))) (cbrt (cbrt (exp (fma x x -1))))))
1540332878.251 * * * * [misc]progress:  [ 72 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (sqrt (cbrt (exp (fma x x -1))))) (sqrt (cbrt (exp (fma x x -1))))))>
1540332878.252 * [enter]simplify:  Simplifying (sqrt (cbrt (exp (fma x x -1))))
1540332878.252 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332878.254 * * [misc]simplify:  iters left: 3 (8 enodes)
1540332878.259 * * [misc]simplify:  iters left: 2 (16 enodes)
1540332878.267 * * [misc]simplify:  iters left: 1 (27 enodes)
1540332878.281 * [exit]simplify:  Simplified to (sqrt (cbrt (exp (fma x x -1))))
1540332878.281 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (sqrt (cbrt (exp (fma x x -1))))) (sqrt (cbrt (exp (fma x x -1))))))
1540332878.281 * * * * [misc]progress:  [ 73 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) 1) (cbrt (exp (fma x x -1)))))>
1540332878.282 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332878.285 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332878.287 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332878.291 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332878.298 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332878.298 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) 1) (cbrt (exp (fma x x -1)))))
1540332878.298 * * * * [misc]progress:  [ 74 / 87 ] simplifiying candidate #<alt (λ (x) (* (cbrt (exp (fma x x -1))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))))>
1540332878.298 * [enter]simplify:  Simplifying (cbrt (exp (fma x x -1)))
1540332878.298 * * [misc]simplify:  iters left: 3 (5 enodes)
1540332878.299 * * [misc]simplify:  iters left: 2 (7 enodes)
1540332878.302 * * [misc]simplify:  iters left: 1 (15 enodes)
1540332878.307 * [exit]simplify:  Simplified to (cbrt (exp (fma x x -1)))
1540332878.307 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (cbrt (exp (fma x x -1))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))))
1540332878.307 * * * * [misc]progress:  [ 75 / 87 ] simplifiying candidate #<alt (λ (x) (* (cbrt (exp (fma x x -1))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))))>
1540332878.307 * * * * [misc]progress:  [ 76 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))))>
1540332878.307 * [enter]simplify:  Simplifying (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
1540332878.308 * * [misc]simplify:  iters left: 6 (15 enodes)
1540332878.312 * * [misc]simplify:  iters left: 5 (29 enodes)
1540332878.321 * * [misc]simplify:  iters left: 4 (66 enodes)
1540332878.357 * * [misc]simplify:  iters left: 3 (133 enodes)
1540332878.420 * * [misc]simplify:  iters left: 2 (185 enodes)
1540332878.511 * * [misc]simplify:  iters left: 1 (338 enodes)
1540332878.762 * [exit]simplify:  Simplified to (fma (fma 1/3 (* x x) (* (pow x 4) 1/18)) (exp -1/3) (exp -1/3))
1540332878.762 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (fma (fma 1/3 (* x x) (* (pow x 4) 1/18)) (exp -1/3) (exp -1/3))))
1540332878.762 * * * * [misc]progress:  [ 77 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (exp (* 1/3 (fma x x -1)))))>
1540332878.762 * [enter]simplify:  Simplifying (exp (* 1/3 (fma x x -1)))
1540332878.762 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332878.764 * * [misc]simplify:  iters left: 3 (11 enodes)
1540332878.771 * * [misc]simplify:  iters left: 2 (23 enodes)
1540332878.778 * * [misc]simplify:  iters left: 1 (46 enodes)
1540332878.796 * [exit]simplify:  Simplified to (pow (exp 1/3) (fma x x -1))
1540332878.796 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (pow (exp 1/3) (fma x x -1))))
1540332878.796 * * * * [misc]progress:  [ 78 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (exp (* 1/3 (fma x x -1)))))>
1540332878.796 * [enter]simplify:  Simplifying (exp (* 1/3 (fma x x -1)))
1540332878.796 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332878.798 * * [misc]simplify:  iters left: 3 (11 enodes)
1540332878.802 * * [misc]simplify:  iters left: 2 (23 enodes)
1540332878.810 * * [misc]simplify:  iters left: 1 (46 enodes)
1540332878.827 * [exit]simplify:  Simplified to (pow (exp 1/3) (fma x x -1))
1540332878.828 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (pow (exp 1/3) (fma x x -1))))
1540332878.828 * * * * [misc]progress:  [ 79 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))) (cbrt (exp (fma x x -1)))))>
1540332878.828 * [enter]simplify:  Simplifying (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
1540332878.829 * * [misc]simplify:  iters left: 6 (15 enodes)
1540332878.833 * * [misc]simplify:  iters left: 5 (29 enodes)
1540332878.842 * * [misc]simplify:  iters left: 4 (66 enodes)
1540332878.867 * * [misc]simplify:  iters left: 3 (133 enodes)
1540332878.904 * * [misc]simplify:  iters left: 2 (185 enodes)
1540332879.025 * * [misc]simplify:  iters left: 1 (338 enodes)
1540332879.336 * [exit]simplify:  Simplified to (fma (fma 1/3 (* x x) (* (pow x 4) 1/18)) (exp -1/3) (exp -1/3))
1540332879.336 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (fma (fma 1/3 (* x x) (* (pow x 4) 1/18)) (exp -1/3) (exp -1/3))) (cbrt (exp (fma x x -1)))))
1540332879.336 * * * * [misc]progress:  [ 80 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (exp (* 1/3 (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332879.336 * [enter]simplify:  Simplifying (exp (* 1/3 (fma x x -1)))
1540332879.337 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332879.341 * * [misc]simplify:  iters left: 3 (11 enodes)
1540332879.346 * * [misc]simplify:  iters left: 2 (23 enodes)
1540332879.354 * * [misc]simplify:  iters left: 1 (46 enodes)
1540332879.373 * [exit]simplify:  Simplified to (pow (exp 1/3) (fma x x -1))
1540332879.373 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (pow (exp 1/3) (fma x x -1))) (cbrt (exp (fma x x -1)))))
1540332879.373 * * * * [misc]progress:  [ 81 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (exp (* 1/3 (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332879.373 * [enter]simplify:  Simplifying (exp (* 1/3 (fma x x -1)))
1540332879.373 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332879.375 * * [misc]simplify:  iters left: 3 (11 enodes)
1540332879.380 * * [misc]simplify:  iters left: 2 (23 enodes)
1540332879.389 * * [misc]simplify:  iters left: 1 (46 enodes)
1540332879.420 * [exit]simplify:  Simplified to (pow (exp 1/3) (fma x x -1))
1540332879.421 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (cbrt (exp (fma x x -1))) (pow (exp 1/3) (fma x x -1))) (cbrt (exp (fma x x -1)))))
1540332879.421 * * * * [misc]progress:  [ 82 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3))))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332879.421 * [enter]simplify:  Simplifying (+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
1540332879.422 * * [misc]simplify:  iters left: 6 (15 enodes)
1540332879.431 * * [misc]simplify:  iters left: 5 (29 enodes)
1540332879.448 * * [misc]simplify:  iters left: 4 (66 enodes)
1540332879.478 * * [misc]simplify:  iters left: 3 (133 enodes)
1540332879.520 * * [misc]simplify:  iters left: 2 (185 enodes)
1540332879.593 * * [misc]simplify:  iters left: 1 (338 enodes)
1540332879.926 * [exit]simplify:  Simplified to (fma (fma 1/3 (* x x) (* (pow x 4) 1/18)) (exp -1/3) (exp -1/3))
1540332879.926 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (fma (fma 1/3 (* x x) (* (pow x 4) 1/18)) (exp -1/3) (exp -1/3)) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))
1540332879.926 * * * * [misc]progress:  [ 83 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* 1/3 (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332879.926 * [enter]simplify:  Simplifying (exp (* 1/3 (fma x x -1)))
1540332879.927 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332879.931 * * [misc]simplify:  iters left: 3 (11 enodes)
1540332879.938 * * [misc]simplify:  iters left: 2 (23 enodes)
1540332879.953 * * [misc]simplify:  iters left: 1 (46 enodes)
1540332879.986 * [exit]simplify:  Simplified to (pow (exp 1/3) (fma x x -1))
1540332879.986 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (pow (exp 1/3) (fma x x -1)) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))
1540332879.986 * * * * [misc]progress:  [ 84 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* 1/3 (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1540332879.987 * [enter]simplify:  Simplifying (exp (* 1/3 (fma x x -1)))
1540332879.987 * * [misc]simplify:  iters left: 4 (6 enodes)
1540332879.991 * * [misc]simplify:  iters left: 3 (11 enodes)
1540332879.998 * * [misc]simplify:  iters left: 2 (23 enodes)
1540332880.012 * * [misc]simplify:  iters left: 1 (46 enodes)
1540332880.045 * [exit]simplify:  Simplified to (pow (exp 1/3) (fma x x -1))
1540332880.045 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (pow (exp 1/3) (fma x x -1)) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))
1540332880.045 * * * * [misc]progress:  [ 85 / 87 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
1540332880.045 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1540332880.047 * * [misc]simplify:  iters left: 6 (13 enodes)
1540332880.054 * * [misc]simplify:  iters left: 5 (24 enodes)
1540332880.064 * * [misc]simplify:  iters left: 4 (51 enodes)
1540332880.081 * * [misc]simplify:  iters left: 3 (101 enodes)
1540332880.106 * * [misc]simplify:  iters left: 2 (121 enodes)
1540332880.137 * * [misc]simplify:  iters left: 1 (196 enodes)
1540332880.237 * [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
1540332880.238 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)))
1540332880.238 * * * * [misc]progress:  [ 86 / 87 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1540332880.238 * [enter]simplify:  Simplifying (exp (fma x x -1))
1540332880.239 * * [misc]simplify:  iters left: 2 (4 enodes)
1540332880.240 * * [misc]simplify:  iters left: 1 (6 enodes)
1540332880.245 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332880.245 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1540332880.245 * * * * [misc]progress:  [ 87 / 87 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1540332880.245 * [enter]simplify:  Simplifying (exp (fma x x -1))
1540332880.245 * * [misc]simplify:  iters left: 2 (4 enodes)
1540332880.247 * * [misc]simplify:  iters left: 1 (6 enodes)
1540332880.251 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332880.252 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1540332880.252 * * * [misc]progress:  adding candidates to table
1540332881.700 * [misc]progress:  [Phase 3 of 3] Extracting.
1540332881.701 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>)
1540332881.701 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1540332881.701 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>)
1540332881.739 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1540332881.739 * [enter]simplify:  Simplifying (exp (fma x x -1))
1540332881.740 * * [misc]simplify:  iters left: 2 (4 enodes)
1540332881.740 * [exit]simplify:  Simplified to (exp (fma x x -1))
1540332881.741 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540332882.786 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332882.787 * * * * [misc]points:  Sampling 4005 additional inputs, on iter 1 have 3995 / 8000
1540332883.683 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332883.685 * * * * [misc]points:  Sampling 2027 additional inputs, on iter 2 have 5973 / 8000
1540332883.973 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332883.974 * * * * [misc]points:  Sampling 1021 additional inputs, on iter 3 have 6979 / 8000
1540332884.116 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.117 * * * * [misc]points:  Sampling 489 additional inputs, on iter 4 have 7511 / 8000
1540332884.212 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.212 * * * * [misc]points:  Sampling 258 additional inputs, on iter 5 have 7742 / 8000
1540332884.236 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.236 * * * * [misc]points:  Sampling 124 additional inputs, on iter 6 have 7876 / 8000
1540332884.257 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.257 * * * * [misc]points:  Sampling 63 additional inputs, on iter 7 have 7937 / 8000
1540332884.269 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.269 * * * * [misc]points:  Sampling 30 additional inputs, on iter 8 have 7970 / 8000
1540332884.276 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.276 * * * * [misc]points:  Sampling 14 additional inputs, on iter 9 have 7986 / 8000
1540332884.280 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.281 * * * * [misc]points:  Sampling 6 additional inputs, on iter 10 have 7994 / 8000
1540332884.283 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.284 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7999 / 8000
1540332884.286 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540332884.286 * * * * [exit]points:  Sampled 8001 points with exact outputs