1539796561.732 * [misc]progress: [Phase 1 of 3] Setting up. 1539796561.732 * * * [misc]progress: [1/2] Preparing points 1539796561.732 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539796561.734 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539796561.736 * * * * [misc]points: Setting MPFR precision to 64 1539796561.737 * * * * [misc]points: Setting MPFR precision to 320 1539796561.738 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539796561.739 * * * * [misc]points: Setting MPFR precision to 64 1539796561.740 * * * * [misc]points: Setting MPFR precision to 320 1539796561.741 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539796561.742 * * * * [misc]points: Setting MPFR precision to 64 1539796561.744 * * * * [misc]points: Setting MPFR precision to 320 1539796561.745 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539796561.747 * * * * [misc]points: Setting MPFR precision to 64 1539796561.750 * * * * [misc]points: Setting MPFR precision to 320 1539796561.753 * * * * [misc]points: Computing exacts for 256 points 1539796561.754 * * * * [misc]points: Setting MPFR precision to 64 1539796561.762 * * * * [misc]points: Setting MPFR precision to 320 1539796561.771 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796561.771 * * * * [misc]points: Sampling 116 additional inputs, on iter 1 have 140 / 256 1539796561.772 * * * * [misc]points: Computing exacts on every 7 of 116 points to ramp up precision 1539796561.774 * * * * [misc]points: Setting MPFR precision to 64 1539796561.774 * * * * [misc]points: Setting MPFR precision to 320 1539796561.775 * * * * [misc]points: Computing exacts on every 3 of 116 points to ramp up precision 1539796561.776 * * * * [misc]points: Setting MPFR precision to 64 1539796561.777 * * * * [misc]points: Setting MPFR precision to 320 1539796561.778 * * * * [misc]points: Computing exacts for 116 points 1539796561.780 * * * * [misc]points: Setting MPFR precision to 64 1539796561.784 * * * * [misc]points: Setting MPFR precision to 320 1539796561.788 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796561.788 * * * * [misc]points: Sampling 58 additional inputs, on iter 2 have 198 / 256 1539796561.788 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1539796561.790 * * * * [misc]points: Setting MPFR precision to 64 1539796561.791 * * * * [misc]points: Setting MPFR precision to 320 1539796561.791 * * * * [misc]points: Computing exacts for 58 points 1539796561.793 * * * * [misc]points: Setting MPFR precision to 64 1539796561.795 * * * * [misc]points: Setting MPFR precision to 320 1539796561.797 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796561.797 * * * * [misc]points: Sampling 23 additional inputs, on iter 3 have 233 / 256 1539796561.797 * * * * [misc]points: Computing exacts for 23 points 1539796561.798 * * * * [misc]points: Setting MPFR precision to 64 1539796561.799 * * * * [misc]points: Setting MPFR precision to 320 1539796561.800 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796561.800 * * * * [misc]points: Sampling 10 additional inputs, on iter 4 have 246 / 256 1539796561.800 * * * * [misc]points: Computing exacts for 10 points 1539796561.802 * * * * [misc]points: Setting MPFR precision to 64 1539796561.802 * * * * [misc]points: Setting MPFR precision to 320 1539796561.803 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796561.803 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1539796561.803 * * * * [misc]points: Computing exacts for 4 points 1539796561.804 * * * * [misc]points: Setting MPFR precision to 64 1539796561.804 * * * * [misc]points: Setting MPFR precision to 320 1539796561.804 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796561.804 * * * * [exit]points: Sampled 256 points with exact outputs 1539796561.805 * * * [misc]progress: [2/2] Setting up program. 1539796561.808 * [misc]progress: [Phase 2 of 3] Improving. 1539796561.808 * [enter]simplify: Simplifying (exp (- (- 1 (* x x)))) 1539796561.809 * * [misc]simplify: iters left: 6 (6 enodes) 1539796561.811 * * [misc]simplify: iters left: 5 (12 enodes) 1539796561.816 * * [misc]simplify: iters left: 4 (25 enodes) 1539796561.824 * * [misc]simplify: iters left: 3 (51 enodes) 1539796561.841 * * [misc]simplify: iters left: 2 (82 enodes) 1539796561.864 * * [misc]simplify: iters left: 1 (126 enodes) 1539796561.894 * [exit]simplify: Simplified to (exp (fma x x -1)) 1539796561.899 * * [misc]progress: iteration 1 / 4 1539796561.899 * * * [misc]progress: picking best candidate 1539796561.901 * * * * [misc]pick: Picked # 1539796561.901 * * * [misc]progress: localizing error 1539796561.910 * * * [misc]progress: generating rewritten candidates 1539796561.910 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1539796561.912 * * * [misc]progress: generating series expansions 1539796561.912 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1539796561.912 * [misc]backup-simplify: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 1539796561.912 * [misc]approximate: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 1539796561.912 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1539796561.912 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1539796561.914 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1539796561.914 * [misc]taylor: Taking taylor expansion of (* x x) in x 1539796561.914 * [misc]taylor: Taking taylor expansion of x in x 1539796561.914 * [misc]backup-simplify: Simplify 0 into 0 1539796561.914 * [misc]backup-simplify: Simplify 1 into 1 1539796561.914 * [misc]taylor: Taking taylor expansion of x in x 1539796561.914 * [misc]backup-simplify: Simplify 0 into 0 1539796561.914 * [misc]backup-simplify: Simplify 1 into 1 1539796561.914 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.914 * [misc]backup-simplify: Simplify -1 into -1 1539796561.914 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539796561.914 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539796561.914 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796561.914 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1539796561.914 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1539796561.914 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1539796561.914 * [misc]taylor: Taking taylor expansion of (* x x) in x 1539796561.914 * [misc]taylor: Taking taylor expansion of x in x 1539796561.914 * [misc]backup-simplify: Simplify 0 into 0 1539796561.914 * [misc]backup-simplify: Simplify 1 into 1 1539796561.914 * [misc]taylor: Taking taylor expansion of x in x 1539796561.914 * [misc]backup-simplify: Simplify 0 into 0 1539796561.914 * [misc]backup-simplify: Simplify 1 into 1 1539796561.914 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.914 * [misc]backup-simplify: Simplify -1 into -1 1539796561.915 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539796561.915 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539796561.915 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796561.915 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796561.915 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1539796561.915 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796561.916 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1539796561.916 * [misc]backup-simplify: Simplify 0 into 0 1539796561.916 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1539796561.917 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796561.918 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1539796561.918 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796561.918 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1539796561.919 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796561.922 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539796561.922 * [misc]backup-simplify: Simplify 0 into 0 1539796561.922 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1539796561.923 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796561.929 * [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)) 1539796561.930 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1539796561.931 * [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))))) 1539796561.931 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796561.931 * [misc]approximate: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1539796561.931 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1539796561.931 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1539796561.931 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1539796561.932 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1539796561.932 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796561.932 * [misc]taylor: Taking taylor expansion of x in x 1539796561.932 * [misc]backup-simplify: Simplify 0 into 0 1539796561.932 * [misc]backup-simplify: Simplify 1 into 1 1539796561.932 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796561.932 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796561.932 * [misc]taylor: Taking taylor expansion of x in x 1539796561.932 * [misc]backup-simplify: Simplify 0 into 0 1539796561.932 * [misc]backup-simplify: Simplify 1 into 1 1539796561.932 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796561.932 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.932 * [misc]backup-simplify: Simplify -1 into -1 1539796561.932 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539796561.932 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796561.933 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796561.933 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1539796561.933 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1539796561.933 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1539796561.933 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1539796561.933 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796561.933 * [misc]taylor: Taking taylor expansion of x in x 1539796561.933 * [misc]backup-simplify: Simplify 0 into 0 1539796561.933 * [misc]backup-simplify: Simplify 1 into 1 1539796561.933 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796561.933 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796561.933 * [misc]taylor: Taking taylor expansion of x in x 1539796561.933 * [misc]backup-simplify: Simplify 0 into 0 1539796561.933 * [misc]backup-simplify: Simplify 1 into 1 1539796561.933 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796561.933 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.933 * [misc]backup-simplify: Simplify -1 into -1 1539796561.934 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539796561.934 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796561.934 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796561.934 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796561.934 * [misc]backup-simplify: Simplify 0 into 0 1539796561.934 * [misc]backup-simplify: Simplify 0 into 0 1539796561.934 * [misc]backup-simplify: Simplify 0 into 0 1539796561.934 * [misc]backup-simplify: Simplify 0 into 0 1539796561.934 * [misc]backup-simplify: Simplify 0 into 0 1539796561.934 * [misc]backup-simplify: Simplify 0 into 0 1539796561.935 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1539796561.935 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796561.935 * [misc]approximate: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1539796561.935 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1539796561.935 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1539796561.935 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1539796561.935 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1539796561.935 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796561.935 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.935 * [misc]backup-simplify: Simplify -1 into -1 1539796561.935 * [misc]taylor: Taking taylor expansion of x in x 1539796561.935 * [misc]backup-simplify: Simplify 0 into 0 1539796561.935 * [misc]backup-simplify: Simplify 1 into 1 1539796561.935 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796561.935 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796561.935 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.935 * [misc]backup-simplify: Simplify -1 into -1 1539796561.935 * [misc]taylor: Taking taylor expansion of x in x 1539796561.935 * [misc]backup-simplify: Simplify 0 into 0 1539796561.936 * [misc]backup-simplify: Simplify 1 into 1 1539796561.936 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796561.936 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.936 * [misc]backup-simplify: Simplify -1 into -1 1539796561.936 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1539796561.936 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796561.936 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796561.936 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1539796561.936 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1539796561.936 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1539796561.936 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1539796561.937 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796561.937 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.937 * [misc]backup-simplify: Simplify -1 into -1 1539796561.937 * [misc]taylor: Taking taylor expansion of x in x 1539796561.937 * [misc]backup-simplify: Simplify 0 into 0 1539796561.937 * [misc]backup-simplify: Simplify 1 into 1 1539796561.937 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796561.937 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796561.937 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.937 * [misc]backup-simplify: Simplify -1 into -1 1539796561.937 * [misc]taylor: Taking taylor expansion of x in x 1539796561.937 * [misc]backup-simplify: Simplify 0 into 0 1539796561.937 * [misc]backup-simplify: Simplify 1 into 1 1539796561.937 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796561.937 * [misc]taylor: Taking taylor expansion of -1 in x 1539796561.937 * [misc]backup-simplify: Simplify -1 into -1 1539796561.937 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1539796561.938 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796561.938 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796561.938 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796561.938 * [misc]backup-simplify: Simplify 0 into 0 1539796561.938 * [misc]backup-simplify: Simplify 0 into 0 1539796561.938 * [misc]backup-simplify: Simplify 0 into 0 1539796561.938 * [misc]backup-simplify: Simplify 0 into 0 1539796561.938 * [misc]backup-simplify: Simplify 0 into 0 1539796561.938 * [misc]backup-simplify: Simplify 0 into 0 1539796561.938 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1539796561.938 * * * [misc]progress: simplifying candidates 1539796561.938 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1539796561.939 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1539796561.939 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1539796561.939 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1539796561.939 * [enter]simplify: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1539796561.939 * * [misc]simplify: iters left: 5 (6 enodes) 1539796561.941 * * [misc]simplify: iters left: 4 (10 enodes) 1539796561.945 * * [misc]simplify: iters left: 3 (15 enodes) 1539796561.950 * * [misc]simplify: iters left: 2 (21 enodes) 1539796561.957 * * [misc]simplify: iters left: 1 (36 enodes) 1539796561.983 * [exit]simplify: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1539796561.983 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 1539796561.983 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1539796561.984 * [enter]simplify: Simplifying (exp (sqrt (fma x x -1))) 1539796561.984 * * [misc]simplify: iters left: 3 (5 enodes) 1539796561.985 * * [misc]simplify: iters left: 2 (7 enodes) 1539796561.987 * * [misc]simplify: iters left: 1 (12 enodes) 1539796561.992 * [exit]simplify: Simplified to (exp (sqrt (fma x x -1))) 1539796561.992 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 1539796561.992 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1539796561.992 * [enter]simplify: Simplifying (exp 1) 1539796561.992 * * [misc]simplify: iters left: 1 (2 enodes) 1539796561.993 * [exit]simplify: Simplified to E 1539796561.993 * [misc]simplify: Simplified (2 1) to (λ (x) (pow E (fma x x -1))) 1539796561.993 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1539796561.993 * [enter]simplify: Simplifying (exp (* x x)) 1539796561.993 * * [misc]simplify: iters left: 3 (3 enodes) 1539796561.994 * * [misc]simplify: iters left: 2 (5 enodes) 1539796561.996 * [exit]simplify: Simplified to (exp (* x x)) 1539796561.996 * [misc]simplify: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1539796561.996 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1539796561.996 * [enter]simplify: Simplifying (fma x x -1) 1539796561.996 * * [misc]simplify: iters left: 1 (3 enodes) 1539796561.997 * [exit]simplify: Simplified to (fma x x -1) 1539796561.997 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1539796561.997 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1539796561.997 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1539796561.997 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1539796561.997 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1539796561.997 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1539796561.997 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1539796561.997 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1539796561.998 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1539796561.998 * * [misc]simplify: iters left: 6 (13 enodes) 1539796562.003 * * [misc]simplify: iters left: 5 (24 enodes) 1539796562.012 * * [misc]simplify: iters left: 4 (51 enodes) 1539796562.034 * * [misc]simplify: iters left: 3 (101 enodes) 1539796562.049 * * [misc]simplify: iters left: 2 (121 enodes) 1539796562.078 * * [misc]simplify: iters left: 1 (196 enodes) 1539796562.203 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1539796562.203 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1539796562.203 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1539796562.203 * [enter]simplify: Simplifying (exp (fma x x -1)) 1539796562.204 * * [misc]simplify: iters left: 2 (4 enodes) 1539796562.205 * * [misc]simplify: iters left: 1 (6 enodes) 1539796562.207 * [exit]simplify: Simplified to (exp (fma x x -1)) 1539796562.207 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1539796562.207 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1539796562.208 * [enter]simplify: Simplifying (exp (fma x x -1)) 1539796562.208 * * [misc]simplify: iters left: 2 (4 enodes) 1539796562.209 * * [misc]simplify: iters left: 1 (6 enodes) 1539796562.211 * [exit]simplify: Simplified to (exp (fma x x -1)) 1539796562.211 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1539796562.211 * * * [misc]progress: adding candidates to table 1539796562.319 * * [misc]progress: iteration 2 / 4 1539796562.319 * * * [misc]progress: picking best candidate 1539796562.324 * * * * [misc]pick: Picked # 1539796562.324 * * * [misc]progress: localizing error 1539796562.338 * * * [misc]progress: generating rewritten candidates 1539796562.338 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1539796562.339 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1) 1539796562.339 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1) 1539796562.342 * * * [misc]progress: generating series expansions 1539796562.342 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1539796562.342 * [misc]backup-simplify: Simplify (expm1 (log1p (exp (fma x x -1)))) into (expm1 (log1p (exp (fma x x -1)))) 1539796562.342 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (exp (fma x x -1)))) in (x) around 0 1539796562.342 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (exp (fma x x -1)))) in x 1539796562.342 * [misc]taylor: Rewrote expression to (- (exp (log1p (exp (fma x x -1)))) 1) 1539796562.342 * [misc]taylor: Taking taylor expansion of (exp (log1p (exp (fma x x -1)))) in x 1539796562.342 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma x x -1))) in x 1539796562.342 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma x x -1)))) 1539796562.342 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma x x -1))) in x 1539796562.343 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.343 * [misc]backup-simplify: Simplify 1 into 1 1539796562.343 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1539796562.343 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1539796562.343 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1539796562.343 * [misc]taylor: Taking taylor expansion of (* x x) in x 1539796562.343 * [misc]taylor: Taking taylor expansion of x in x 1539796562.343 * [misc]backup-simplify: Simplify 0 into 0 1539796562.343 * [misc]backup-simplify: Simplify 1 into 1 1539796562.343 * [misc]taylor: Taking taylor expansion of x in x 1539796562.343 * [misc]backup-simplify: Simplify 0 into 0 1539796562.343 * [misc]backup-simplify: Simplify 1 into 1 1539796562.343 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.343 * [misc]backup-simplify: Simplify -1 into -1 1539796562.343 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539796562.343 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539796562.344 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.344 * [misc]backup-simplify: Simplify (+ 1 (exp -1)) into (+ (exp -1) 1) 1539796562.344 * [misc]backup-simplify: Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1)) 1539796562.345 * [misc]backup-simplify: Simplify (exp (log (+ (exp -1) 1))) into (+ (exp -1) 1) 1539796562.345 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.345 * [misc]backup-simplify: Simplify 1 into 1 1539796562.345 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (exp (fma x x -1)))) in x 1539796562.345 * [misc]taylor: Rewrote expression to (- (exp (log1p (exp (fma x x -1)))) 1) 1539796562.345 * [misc]taylor: Taking taylor expansion of (exp (log1p (exp (fma x x -1)))) in x 1539796562.345 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma x x -1))) in x 1539796562.345 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma x x -1)))) 1539796562.345 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma x x -1))) in x 1539796562.345 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.345 * [misc]backup-simplify: Simplify 1 into 1 1539796562.345 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1539796562.345 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1539796562.345 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1539796562.345 * [misc]taylor: Taking taylor expansion of (* x x) in x 1539796562.345 * [misc]taylor: Taking taylor expansion of x in x 1539796562.345 * [misc]backup-simplify: Simplify 0 into 0 1539796562.345 * [misc]backup-simplify: Simplify 1 into 1 1539796562.345 * [misc]taylor: Taking taylor expansion of x in x 1539796562.345 * [misc]backup-simplify: Simplify 0 into 0 1539796562.345 * [misc]backup-simplify: Simplify 1 into 1 1539796562.345 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.346 * [misc]backup-simplify: Simplify -1 into -1 1539796562.346 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539796562.346 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539796562.346 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.346 * [misc]backup-simplify: Simplify (+ 1 (exp -1)) into (+ (exp -1) 1) 1539796562.347 * [misc]backup-simplify: Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1)) 1539796562.347 * [misc]backup-simplify: Simplify (exp (log (+ (exp -1) 1))) into (+ (exp -1) 1) 1539796562.347 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.347 * [misc]backup-simplify: Simplify 1 into 1 1539796562.348 * [misc]backup-simplify: Simplify (- 1) into -1 1539796562.348 * [misc]backup-simplify: Simplify (+ (+ (exp -1) 1) -1) into (exp -1) 1539796562.348 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.348 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1539796562.349 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.350 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1539796562.350 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.353 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp -1) 1) 1)))) 1) into 0 1539796562.355 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 1539796562.355 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.355 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.355 * [misc]backup-simplify: Simplify 0 into 0 1539796562.355 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1539796562.356 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.358 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1539796562.358 * [misc]backup-simplify: Simplify (+ 0 (exp -1)) into (exp -1) 1539796562.363 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 1)))) 2) into (/ (exp -1) (+ (exp -1) 1)) 1539796562.368 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)))) into (exp -1) 1539796562.368 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.369 * [misc]backup-simplify: Simplify (+ (exp -1) 0) into (exp -1) 1539796562.369 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.369 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1539796562.369 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.373 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539796562.374 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.382 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 1)))) 6) into 0 1539796562.387 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539796562.388 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.388 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.388 * [misc]backup-simplify: Simplify 0 into 0 1539796562.388 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1539796562.389 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.394 * [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)) 1539796562.394 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (exp -1))) into (* 1/2 (exp -1)) 1539796562.402 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp -1) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (+ (exp -1) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (+ (exp -1) 1) 1)))) 24) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) 1539796562.411 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (/ (exp -1) (+ (exp -1) 1)) 2) 2)) (* (/ (pow (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) 1) 1)))) into (* 1/2 (exp -1)) 1539796562.411 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.411 * [misc]backup-simplify: Simplify (+ (* 1/2 (exp -1)) 0) into (* 1/2 (exp -1)) 1539796562.411 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1539796562.412 * [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))))) 1539796562.412 * [misc]backup-simplify: Simplify (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) into (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) 1539796562.412 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in (x) around 0 1539796562.412 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in x 1539796562.412 * [misc]taylor: Rewrote expression to (- (exp (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) 1) 1539796562.412 * [misc]taylor: Taking taylor expansion of (exp (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in x 1539796562.412 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in x 1539796562.412 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1)))) 1539796562.412 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) in x 1539796562.412 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.412 * [misc]backup-simplify: Simplify 1 into 1 1539796562.412 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1539796562.412 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1539796562.412 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1539796562.412 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1539796562.412 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.412 * [misc]taylor: Taking taylor expansion of x in x 1539796562.412 * [misc]backup-simplify: Simplify 0 into 0 1539796562.412 * [misc]backup-simplify: Simplify 1 into 1 1539796562.412 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.412 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.413 * [misc]taylor: Taking taylor expansion of x in x 1539796562.413 * [misc]backup-simplify: Simplify 0 into 0 1539796562.413 * [misc]backup-simplify: Simplify 1 into 1 1539796562.413 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.413 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.413 * [misc]backup-simplify: Simplify -1 into -1 1539796562.413 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539796562.413 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.413 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.413 * [misc]backup-simplify: Simplify (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1539796562.413 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) 1539796562.413 * [misc]backup-simplify: Simplify (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1539796562.413 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.413 * [misc]backup-simplify: Simplify 1 into 1 1539796562.413 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in x 1539796562.413 * [misc]taylor: Rewrote expression to (- (exp (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) 1) 1539796562.413 * [misc]taylor: Taking taylor expansion of (exp (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in x 1539796562.413 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in x 1539796562.413 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1)))) 1539796562.413 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) in x 1539796562.413 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.413 * [misc]backup-simplify: Simplify 1 into 1 1539796562.413 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1539796562.413 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1539796562.413 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1539796562.414 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1539796562.414 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.414 * [misc]taylor: Taking taylor expansion of x in x 1539796562.414 * [misc]backup-simplify: Simplify 0 into 0 1539796562.414 * [misc]backup-simplify: Simplify 1 into 1 1539796562.414 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.414 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.414 * [misc]taylor: Taking taylor expansion of x in x 1539796562.414 * [misc]backup-simplify: Simplify 0 into 0 1539796562.414 * [misc]backup-simplify: Simplify 1 into 1 1539796562.414 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.414 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.414 * [misc]backup-simplify: Simplify -1 into -1 1539796562.414 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539796562.414 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.414 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.414 * [misc]backup-simplify: Simplify (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1539796562.414 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) 1539796562.414 * [misc]backup-simplify: Simplify (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1539796562.414 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.414 * [misc]backup-simplify: Simplify 1 into 1 1539796562.415 * [misc]backup-simplify: Simplify (- 1) into -1 1539796562.415 * [misc]backup-simplify: Simplify (+ (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) -1) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.415 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.415 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.416 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 1) into 0 1539796562.416 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 1539796562.416 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.416 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.416 * [misc]backup-simplify: Simplify 0 into 0 1539796562.417 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.418 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 2) into 0 1539796562.419 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539796562.419 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.419 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.419 * [misc]backup-simplify: Simplify 0 into 0 1539796562.419 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.421 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 6) into 0 1539796562.425 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539796562.425 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.426 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.426 * [misc]backup-simplify: Simplify 0 into 0 1539796562.426 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.429 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 24) into 0 1539796562.432 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 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 1539796562.432 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.432 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.432 * [misc]backup-simplify: Simplify 0 into 0 1539796562.433 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.438 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 120) into 0 1539796562.445 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 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 1539796562.446 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.446 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.446 * [misc]backup-simplify: Simplify 0 into 0 1539796562.446 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.457 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 720) into 0 1539796562.465 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 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 1539796562.465 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.465 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.465 * [misc]backup-simplify: Simplify 0 into 0 1539796562.465 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1539796562.465 * [misc]backup-simplify: Simplify (expm1 (log1p (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)))) into (expm1 (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) 1539796562.465 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in (x) around 0 1539796562.465 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in x 1539796562.465 * [misc]taylor: Rewrote expression to (- (exp (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) 1) 1539796562.465 * [misc]taylor: Taking taylor expansion of (exp (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in x 1539796562.465 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in x 1539796562.465 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1)))) 1539796562.466 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) in x 1539796562.466 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.466 * [misc]backup-simplify: Simplify 1 into 1 1539796562.466 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1539796562.466 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1539796562.466 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1539796562.466 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1539796562.466 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.466 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.466 * [misc]backup-simplify: Simplify -1 into -1 1539796562.466 * [misc]taylor: Taking taylor expansion of x in x 1539796562.466 * [misc]backup-simplify: Simplify 0 into 0 1539796562.466 * [misc]backup-simplify: Simplify 1 into 1 1539796562.466 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.466 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.466 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.466 * [misc]backup-simplify: Simplify -1 into -1 1539796562.466 * [misc]taylor: Taking taylor expansion of x in x 1539796562.466 * [misc]backup-simplify: Simplify 0 into 0 1539796562.466 * [misc]backup-simplify: Simplify 1 into 1 1539796562.466 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.466 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.466 * [misc]backup-simplify: Simplify -1 into -1 1539796562.466 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1539796562.466 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.466 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.466 * [misc]backup-simplify: Simplify (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1539796562.467 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) 1539796562.467 * [misc]backup-simplify: Simplify (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1539796562.467 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.467 * [misc]backup-simplify: Simplify 1 into 1 1539796562.467 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in x 1539796562.467 * [misc]taylor: Rewrote expression to (- (exp (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) 1) 1539796562.467 * [misc]taylor: Taking taylor expansion of (exp (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in x 1539796562.467 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in x 1539796562.467 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1)))) 1539796562.467 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) in x 1539796562.467 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.467 * [misc]backup-simplify: Simplify 1 into 1 1539796562.467 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1539796562.467 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1539796562.467 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1539796562.467 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1539796562.467 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.467 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.467 * [misc]backup-simplify: Simplify -1 into -1 1539796562.467 * [misc]taylor: Taking taylor expansion of x in x 1539796562.467 * [misc]backup-simplify: Simplify 0 into 0 1539796562.467 * [misc]backup-simplify: Simplify 1 into 1 1539796562.467 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.467 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.467 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.467 * [misc]backup-simplify: Simplify -1 into -1 1539796562.467 * [misc]taylor: Taking taylor expansion of x in x 1539796562.467 * [misc]backup-simplify: Simplify 0 into 0 1539796562.467 * [misc]backup-simplify: Simplify 1 into 1 1539796562.467 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.467 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.467 * [misc]backup-simplify: Simplify -1 into -1 1539796562.467 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1539796562.468 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.468 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.468 * [misc]backup-simplify: Simplify (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1539796562.468 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) 1539796562.468 * [misc]backup-simplify: Simplify (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1539796562.468 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.468 * [misc]backup-simplify: Simplify 1 into 1 1539796562.468 * [misc]backup-simplify: Simplify (- 1) into -1 1539796562.468 * [misc]backup-simplify: Simplify (+ (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) -1) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.468 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.468 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.469 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 1) into 0 1539796562.470 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 1539796562.470 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.470 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.470 * [misc]backup-simplify: Simplify 0 into 0 1539796562.470 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.471 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 2) into 0 1539796562.472 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539796562.472 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.472 * [misc]backup-simplify: Simplify 0 into 0 1539796562.473 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.474 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 6) into 0 1539796562.476 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539796562.476 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.476 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.476 * [misc]backup-simplify: Simplify 0 into 0 1539796562.477 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.480 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 24) into 0 1539796562.483 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 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 1539796562.483 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.483 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.483 * [misc]backup-simplify: Simplify 0 into 0 1539796562.483 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.488 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 120) into 0 1539796562.497 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 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 1539796562.497 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.497 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.497 * [misc]backup-simplify: Simplify 0 into 0 1539796562.498 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.510 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 720) into 0 1539796562.524 * [misc]backup-simplify: Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 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 1539796562.524 * [misc]backup-simplify: Simplify (- 0) into 0 1539796562.524 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.524 * [misc]backup-simplify: Simplify 0 into 0 1539796562.524 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1539796562.524 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1) 1539796562.525 * [misc]backup-simplify: Simplify (log1p (exp (fma x x -1))) into (log1p (exp (fma x x -1))) 1539796562.525 * [misc]approximate: Taking taylor expansion of (log1p (exp (fma x x -1))) in (x) around 0 1539796562.525 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma x x -1))) in x 1539796562.525 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma x x -1)))) 1539796562.525 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma x x -1))) in x 1539796562.525 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.525 * [misc]backup-simplify: Simplify 1 into 1 1539796562.525 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1539796562.525 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1539796562.525 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1539796562.525 * [misc]taylor: Taking taylor expansion of (* x x) in x 1539796562.525 * [misc]taylor: Taking taylor expansion of x in x 1539796562.525 * [misc]backup-simplify: Simplify 0 into 0 1539796562.525 * [misc]backup-simplify: Simplify 1 into 1 1539796562.525 * [misc]taylor: Taking taylor expansion of x in x 1539796562.525 * [misc]backup-simplify: Simplify 0 into 0 1539796562.525 * [misc]backup-simplify: Simplify 1 into 1 1539796562.525 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.525 * [misc]backup-simplify: Simplify -1 into -1 1539796562.525 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539796562.525 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539796562.526 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.526 * [misc]backup-simplify: Simplify (+ 1 (exp -1)) into (+ (exp -1) 1) 1539796562.526 * [misc]backup-simplify: Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1)) 1539796562.527 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma x x -1))) in x 1539796562.527 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma x x -1)))) 1539796562.527 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma x x -1))) in x 1539796562.527 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.527 * [misc]backup-simplify: Simplify 1 into 1 1539796562.527 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1539796562.527 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1539796562.527 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1539796562.527 * [misc]taylor: Taking taylor expansion of (* x x) in x 1539796562.527 * [misc]taylor: Taking taylor expansion of x in x 1539796562.527 * [misc]backup-simplify: Simplify 0 into 0 1539796562.527 * [misc]backup-simplify: Simplify 1 into 1 1539796562.527 * [misc]taylor: Taking taylor expansion of x in x 1539796562.527 * [misc]backup-simplify: Simplify 0 into 0 1539796562.527 * [misc]backup-simplify: Simplify 1 into 1 1539796562.527 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.527 * [misc]backup-simplify: Simplify -1 into -1 1539796562.527 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539796562.527 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539796562.528 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.528 * [misc]backup-simplify: Simplify (+ 1 (exp -1)) into (+ (exp -1) 1) 1539796562.528 * [misc]backup-simplify: Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1)) 1539796562.529 * [misc]backup-simplify: Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1)) 1539796562.529 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1539796562.529 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.531 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1539796562.531 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.534 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp -1) 1) 1)))) 1) into 0 1539796562.534 * [misc]backup-simplify: Simplify 0 into 0 1539796562.535 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1539796562.535 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.537 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1539796562.538 * [misc]backup-simplify: Simplify (+ 0 (exp -1)) into (exp -1) 1539796562.543 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 1)))) 2) into (/ (exp -1) (+ (exp -1) 1)) 1539796562.544 * [misc]backup-simplify: Simplify (/ (exp -1) (+ (exp -1) 1)) into (/ (exp -1) (+ (exp -1) 1)) 1539796562.544 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1539796562.544 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.548 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539796562.549 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.560 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 1)))) 6) into 0 1539796562.560 * [misc]backup-simplify: Simplify 0 into 0 1539796562.560 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1539796562.560 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.566 * [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)) 1539796562.567 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (exp -1))) into (* 1/2 (exp -1)) 1539796562.580 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp -1) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (+ (exp -1) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (+ (exp -1) 1) 1)))) 24) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) 1539796562.584 * [misc]backup-simplify: Simplify (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) 1539796562.588 * [misc]backup-simplify: Simplify (+ (* (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) (pow x 4)) (+ (* (/ (exp -1) (+ (exp -1) 1)) (pow x 2)) (log (+ (exp -1) 1)))) into (- (+ (* 1/2 (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1))) (+ (/ (* (pow x 2) (exp -1)) (+ (exp -1) 1)) (log (+ (exp -1) 1)))) (* 1/2 (/ (* (pow x 4) (pow (exp -1) 2)) (pow (+ (exp -1) 1) 2)))) 1539796562.589 * [misc]backup-simplify: Simplify (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) into (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) 1539796562.589 * [misc]approximate: Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in (x) around 0 1539796562.589 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in x 1539796562.589 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1)))) 1539796562.589 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) in x 1539796562.589 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.589 * [misc]backup-simplify: Simplify 1 into 1 1539796562.589 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1539796562.589 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1539796562.589 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1539796562.589 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1539796562.589 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.589 * [misc]taylor: Taking taylor expansion of x in x 1539796562.589 * [misc]backup-simplify: Simplify 0 into 0 1539796562.589 * [misc]backup-simplify: Simplify 1 into 1 1539796562.589 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.589 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.589 * [misc]taylor: Taking taylor expansion of x in x 1539796562.589 * [misc]backup-simplify: Simplify 0 into 0 1539796562.589 * [misc]backup-simplify: Simplify 1 into 1 1539796562.590 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.590 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.590 * [misc]backup-simplify: Simplify -1 into -1 1539796562.590 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539796562.590 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.590 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.590 * [misc]backup-simplify: Simplify (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1539796562.590 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) 1539796562.590 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in x 1539796562.590 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1)))) 1539796562.590 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) in x 1539796562.590 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.590 * [misc]backup-simplify: Simplify 1 into 1 1539796562.591 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1539796562.591 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1539796562.591 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1539796562.591 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1539796562.591 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.591 * [misc]taylor: Taking taylor expansion of x in x 1539796562.591 * [misc]backup-simplify: Simplify 0 into 0 1539796562.591 * [misc]backup-simplify: Simplify 1 into 1 1539796562.591 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.591 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.591 * [misc]taylor: Taking taylor expansion of x in x 1539796562.591 * [misc]backup-simplify: Simplify 0 into 0 1539796562.591 * [misc]backup-simplify: Simplify 1 into 1 1539796562.591 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.591 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.591 * [misc]backup-simplify: Simplify -1 into -1 1539796562.591 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539796562.591 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.592 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.592 * [misc]backup-simplify: Simplify (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1539796562.592 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) 1539796562.592 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) 1539796562.592 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.593 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 1) into 0 1539796562.593 * [misc]backup-simplify: Simplify 0 into 0 1539796562.593 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.595 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 2) into 0 1539796562.595 * [misc]backup-simplify: Simplify 0 into 0 1539796562.595 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.598 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 6) into 0 1539796562.598 * [misc]backup-simplify: Simplify 0 into 0 1539796562.598 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.602 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 24) into 0 1539796562.602 * [misc]backup-simplify: Simplify 0 into 0 1539796562.603 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.609 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 120) into 0 1539796562.610 * [misc]backup-simplify: Simplify 0 into 0 1539796562.610 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.621 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 720) into 0 1539796562.621 * [misc]backup-simplify: Simplify 0 into 0 1539796562.622 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) 1)) into (log (+ (exp (fma x x -1)) 1)) 1539796562.622 * [misc]backup-simplify: Simplify (log1p (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1))) into (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) 1539796562.622 * [misc]approximate: Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in (x) around 0 1539796562.622 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in x 1539796562.622 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1)))) 1539796562.622 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) in x 1539796562.622 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.622 * [misc]backup-simplify: Simplify 1 into 1 1539796562.622 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1539796562.622 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1539796562.622 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1539796562.622 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1539796562.622 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.622 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.622 * [misc]backup-simplify: Simplify -1 into -1 1539796562.622 * [misc]taylor: Taking taylor expansion of x in x 1539796562.622 * [misc]backup-simplify: Simplify 0 into 0 1539796562.622 * [misc]backup-simplify: Simplify 1 into 1 1539796562.622 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.622 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.622 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.622 * [misc]backup-simplify: Simplify -1 into -1 1539796562.622 * [misc]taylor: Taking taylor expansion of x in x 1539796562.622 * [misc]backup-simplify: Simplify 0 into 0 1539796562.622 * [misc]backup-simplify: Simplify 1 into 1 1539796562.623 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.623 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.623 * [misc]backup-simplify: Simplify -1 into -1 1539796562.623 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1539796562.623 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.623 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.623 * [misc]backup-simplify: Simplify (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1539796562.623 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) 1539796562.623 * [misc]taylor: Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in x 1539796562.623 * [misc]taylor: Rewrote expression to (log (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1)))) 1539796562.623 * [misc]taylor: Taking taylor expansion of (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) in x 1539796562.623 * [misc]taylor: Taking taylor expansion of 1 in x 1539796562.624 * [misc]backup-simplify: Simplify 1 into 1 1539796562.624 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1539796562.624 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1539796562.624 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1539796562.624 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1539796562.624 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.624 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.624 * [misc]backup-simplify: Simplify -1 into -1 1539796562.624 * [misc]taylor: Taking taylor expansion of x in x 1539796562.624 * [misc]backup-simplify: Simplify 0 into 0 1539796562.624 * [misc]backup-simplify: Simplify 1 into 1 1539796562.624 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.624 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.624 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.624 * [misc]backup-simplify: Simplify -1 into -1 1539796562.624 * [misc]taylor: Taking taylor expansion of x in x 1539796562.624 * [misc]backup-simplify: Simplify 0 into 0 1539796562.624 * [misc]backup-simplify: Simplify 1 into 1 1539796562.624 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.624 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.624 * [misc]backup-simplify: Simplify -1 into -1 1539796562.624 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1539796562.625 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.625 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.625 * [misc]backup-simplify: Simplify (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1539796562.625 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) 1539796562.625 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) 1539796562.625 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.626 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 1) into 0 1539796562.626 * [misc]backup-simplify: Simplify 0 into 0 1539796562.626 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.628 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 2) into 0 1539796562.628 * [misc]backup-simplify: Simplify 0 into 0 1539796562.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.631 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 6) into 0 1539796562.631 * [misc]backup-simplify: Simplify 0 into 0 1539796562.631 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.635 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 24) into 0 1539796562.636 * [misc]backup-simplify: Simplify 0 into 0 1539796562.636 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.643 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 120) into 0 1539796562.643 * [misc]backup-simplify: Simplify 0 into 0 1539796562.643 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.653 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 720) into 0 1539796562.653 * [misc]backup-simplify: Simplify 0 into 0 1539796562.653 * [misc]backup-simplify: Simplify (log (+ (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) 1)) into (log (+ (exp (fma x x -1)) 1)) 1539796562.653 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1) 1539796562.653 * [misc]backup-simplify: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 1539796562.653 * [misc]approximate: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 1539796562.653 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1539796562.653 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1539796562.653 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1539796562.654 * [misc]taylor: Taking taylor expansion of (* x x) in x 1539796562.654 * [misc]taylor: Taking taylor expansion of x in x 1539796562.654 * [misc]backup-simplify: Simplify 0 into 0 1539796562.654 * [misc]backup-simplify: Simplify 1 into 1 1539796562.654 * [misc]taylor: Taking taylor expansion of x in x 1539796562.654 * [misc]backup-simplify: Simplify 0 into 0 1539796562.654 * [misc]backup-simplify: Simplify 1 into 1 1539796562.654 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.654 * [misc]backup-simplify: Simplify -1 into -1 1539796562.654 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539796562.654 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539796562.654 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.654 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1539796562.654 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1539796562.654 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1539796562.654 * [misc]taylor: Taking taylor expansion of (* x x) in x 1539796562.654 * [misc]taylor: Taking taylor expansion of x in x 1539796562.654 * [misc]backup-simplify: Simplify 0 into 0 1539796562.654 * [misc]backup-simplify: Simplify 1 into 1 1539796562.654 * [misc]taylor: Taking taylor expansion of x in x 1539796562.654 * [misc]backup-simplify: Simplify 0 into 0 1539796562.654 * [misc]backup-simplify: Simplify 1 into 1 1539796562.654 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.654 * [misc]backup-simplify: Simplify -1 into -1 1539796562.654 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539796562.654 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539796562.654 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.655 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.655 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1539796562.655 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.656 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1539796562.656 * [misc]backup-simplify: Simplify 0 into 0 1539796562.656 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1539796562.656 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.658 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1539796562.658 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1539796562.658 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1539796562.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.660 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539796562.660 * [misc]backup-simplify: Simplify 0 into 0 1539796562.661 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1539796562.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539796562.664 * [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)) 1539796562.665 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1539796562.665 * [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))))) 1539796562.665 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.665 * [misc]approximate: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1539796562.665 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1539796562.665 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1539796562.665 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1539796562.665 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1539796562.665 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.665 * [misc]taylor: Taking taylor expansion of x in x 1539796562.665 * [misc]backup-simplify: Simplify 0 into 0 1539796562.665 * [misc]backup-simplify: Simplify 1 into 1 1539796562.666 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.666 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.666 * [misc]taylor: Taking taylor expansion of x in x 1539796562.666 * [misc]backup-simplify: Simplify 0 into 0 1539796562.666 * [misc]backup-simplify: Simplify 1 into 1 1539796562.666 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.666 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.666 * [misc]backup-simplify: Simplify -1 into -1 1539796562.666 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539796562.666 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.666 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.666 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1539796562.666 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1539796562.666 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1539796562.666 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1539796562.666 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.666 * [misc]taylor: Taking taylor expansion of x in x 1539796562.666 * [misc]backup-simplify: Simplify 0 into 0 1539796562.666 * [misc]backup-simplify: Simplify 1 into 1 1539796562.666 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.666 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539796562.666 * [misc]taylor: Taking taylor expansion of x in x 1539796562.666 * [misc]backup-simplify: Simplify 0 into 0 1539796562.666 * [misc]backup-simplify: Simplify 1 into 1 1539796562.666 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539796562.666 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.666 * [misc]backup-simplify: Simplify -1 into -1 1539796562.667 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539796562.667 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.667 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.667 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1539796562.667 * [misc]backup-simplify: Simplify 0 into 0 1539796562.667 * [misc]backup-simplify: Simplify 0 into 0 1539796562.667 * [misc]backup-simplify: Simplify 0 into 0 1539796562.667 * [misc]backup-simplify: Simplify 0 into 0 1539796562.667 * [misc]backup-simplify: Simplify 0 into 0 1539796562.667 * [misc]backup-simplify: Simplify 0 into 0 1539796562.667 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1539796562.667 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.667 * [misc]approximate: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1539796562.667 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1539796562.667 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1539796562.667 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1539796562.667 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1539796562.667 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.667 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.667 * [misc]backup-simplify: Simplify -1 into -1 1539796562.667 * [misc]taylor: Taking taylor expansion of x in x 1539796562.667 * [misc]backup-simplify: Simplify 0 into 0 1539796562.667 * [misc]backup-simplify: Simplify 1 into 1 1539796562.667 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.668 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.668 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.668 * [misc]backup-simplify: Simplify -1 into -1 1539796562.668 * [misc]taylor: Taking taylor expansion of x in x 1539796562.668 * [misc]backup-simplify: Simplify 0 into 0 1539796562.668 * [misc]backup-simplify: Simplify 1 into 1 1539796562.668 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.668 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.668 * [misc]backup-simplify: Simplify -1 into -1 1539796562.668 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1539796562.668 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.668 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.668 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1539796562.668 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1539796562.668 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1539796562.668 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1539796562.668 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.668 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.668 * [misc]backup-simplify: Simplify -1 into -1 1539796562.668 * [misc]taylor: Taking taylor expansion of x in x 1539796562.668 * [misc]backup-simplify: Simplify 0 into 0 1539796562.668 * [misc]backup-simplify: Simplify 1 into 1 1539796562.668 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.668 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539796562.668 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.668 * [misc]backup-simplify: Simplify -1 into -1 1539796562.668 * [misc]taylor: Taking taylor expansion of x in x 1539796562.668 * [misc]backup-simplify: Simplify 0 into 0 1539796562.668 * [misc]backup-simplify: Simplify 1 into 1 1539796562.668 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539796562.668 * [misc]taylor: Taking taylor expansion of -1 in x 1539796562.669 * [misc]backup-simplify: Simplify -1 into -1 1539796562.669 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1539796562.669 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539796562.669 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.669 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1539796562.669 * [misc]backup-simplify: Simplify 0 into 0 1539796562.669 * [misc]backup-simplify: Simplify 0 into 0 1539796562.669 * [misc]backup-simplify: Simplify 0 into 0 1539796562.669 * [misc]backup-simplify: Simplify 0 into 0 1539796562.669 * [misc]backup-simplify: Simplify 0 into 0 1539796562.669 * [misc]backup-simplify: Simplify 0 into 0 1539796562.669 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1539796562.669 * * * [misc]progress: simplifying candidates 1539796562.669 * * * * [misc]progress: [ 1 / 45 ] simplifiying candidate # 1539796562.669 * * * * [misc]progress: [ 2 / 45 ] simplifiying candidate # 1539796562.669 * * * * [misc]progress: [ 3 / 45 ] simplifiying candidate # 1539796562.669 * * * * [misc]progress: [ 4 / 45 ] simplifiying candidate # 1539796562.669 * [enter]simplify: Simplifying (fma x x -1) 1539796562.670 * * [misc]simplify: iters left: 1 (3 enodes) 1539796562.670 * [exit]simplify: Simplified to (fma x x -1) 1539796562.670 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1539796562.670 * * * * [misc]progress: [ 5 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 6 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 7 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 8 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 9 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 10 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 11 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 12 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 13 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 14 / 45 ] simplifiying candidate # 1539796562.670 * * * * [misc]progress: [ 15 / 45 ] simplifiying candidate # 1539796562.671 * [enter]simplify: Simplifying (exp (fma x x -1)) 1539796562.671 * * [misc]simplify: iters left: 2 (4 enodes) 1539796562.671 * * [misc]simplify: iters left: 1 (6 enodes) 1539796562.673 * [exit]simplify: Simplified to (exp (fma x x -1)) 1539796562.673 * [misc]simplify: Simplified (2 1 1) to (λ (x) (expm1 (log1p (exp (fma x x -1))))) 1539796562.673 * * * * [misc]progress: [ 16 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 17 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 18 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 19 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 20 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 21 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 22 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 23 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 24 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 25 / 45 ] simplifiying candidate # 1539796562.673 * * * * [misc]progress: [ 26 / 45 ] simplifiying candidate # 1539796562.673 * [enter]simplify: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1539796562.673 * * [misc]simplify: iters left: 5 (6 enodes) 1539796562.674 * * [misc]simplify: iters left: 4 (10 enodes) 1539796562.676 * * [misc]simplify: iters left: 3 (15 enodes) 1539796562.679 * * [misc]simplify: iters left: 2 (21 enodes) 1539796562.682 * * [misc]simplify: iters left: 1 (36 enodes) 1539796562.705 * [exit]simplify: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1539796562.706 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))))) 1539796562.706 * * * * [misc]progress: [ 27 / 45 ] simplifiying candidate # 1539796562.706 * [enter]simplify: Simplifying (exp (sqrt (fma x x -1))) 1539796562.706 * * [misc]simplify: iters left: 3 (5 enodes) 1539796562.708 * * [misc]simplify: iters left: 2 (7 enodes) 1539796562.710 * * [misc]simplify: iters left: 1 (12 enodes) 1539796562.713 * [exit]simplify: Simplified to (exp (sqrt (fma x x -1))) 1539796562.713 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))))) 1539796562.713 * * * * [misc]progress: [ 28 / 45 ] simplifiying candidate # 1539796562.713 * [enter]simplify: Simplifying (exp 1) 1539796562.713 * * [misc]simplify: iters left: 1 (2 enodes) 1539796562.714 * [exit]simplify: Simplified to E 1539796562.714 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (pow E (fma x x -1))))) 1539796562.714 * * * * [misc]progress: [ 29 / 45 ] simplifiying candidate # 1539796562.714 * [enter]simplify: Simplifying (exp (* x x)) 1539796562.714 * * [misc]simplify: iters left: 3 (3 enodes) 1539796562.714 * * [misc]simplify: iters left: 2 (5 enodes) 1539796562.715 * [exit]simplify: Simplified to (exp (* x x)) 1539796562.715 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (exp (* x x)) (exp -1))))) 1539796562.715 * * * * [misc]progress: [ 30 / 45 ] simplifiying candidate # 1539796562.715 * [enter]simplify: Simplifying (fma x x -1) 1539796562.715 * * [misc]simplify: iters left: 1 (3 enodes) 1539796562.716 * [exit]simplify: Simplified to (fma x x -1) 1539796562.716 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (exp (fma x x -1))))) 1539796562.716 * * * * [misc]progress: [ 31 / 45 ] simplifiying candidate # 1539796562.716 * * * * [misc]progress: [ 32 / 45 ] simplifiying candidate # 1539796562.716 * * * * [misc]progress: [ 33 / 45 ] simplifiying candidate # 1539796562.716 * * * * [misc]progress: [ 34 / 45 ] simplifiying candidate # 1539796562.716 * * * * [misc]progress: [ 35 / 45 ] simplifiying candidate # 1539796562.716 * * * * [misc]progress: [ 36 / 45 ] simplifiying candidate # 1539796562.716 * * * * [misc]progress: [ 37 / 45 ] simplifiying candidate # 1539796562.716 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1539796562.716 * * [misc]simplify: iters left: 6 (13 enodes) 1539796562.719 * * [misc]simplify: iters left: 5 (24 enodes) 1539796562.723 * * [misc]simplify: iters left: 4 (51 enodes) 1539796562.734 * * [misc]simplify: iters left: 3 (101 enodes) 1539796562.752 * * [misc]simplify: iters left: 2 (121 enodes) 1539796562.800 * * [misc]simplify: iters left: 1 (196 enodes) 1539796562.925 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1539796562.925 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1539796562.925 * * * * [misc]progress: [ 38 / 45 ] simplifiying candidate # 1539796562.926 * [enter]simplify: Simplifying (exp (fma x x -1)) 1539796562.926 * * [misc]simplify: iters left: 2 (4 enodes) 1539796562.927 * * [misc]simplify: iters left: 1 (6 enodes) 1539796562.929 * [exit]simplify: Simplified to (exp (fma x x -1)) 1539796562.929 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1539796562.929 * * * * [misc]progress: [ 39 / 45 ] simplifiying candidate # 1539796562.930 * [enter]simplify: Simplifying (exp (fma x x -1)) 1539796562.930 * * [misc]simplify: iters left: 2 (4 enodes) 1539796562.931 * * [misc]simplify: iters left: 1 (6 enodes) 1539796562.933 * [exit]simplify: Simplified to (exp (fma x x -1)) 1539796562.933 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1539796562.933 * * * * [misc]progress: [ 40 / 45 ] simplifiying candidate # 1539796562.933 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1))) (+ (/ (* (pow x 2) (exp -1)) (+ (exp -1) 1)) (log (+ (exp -1) 1)))) (* 1/2 (/ (* (pow x 4) (pow (exp -1) 2)) (pow (+ (exp -1) 1) 2)))) 1539796562.934 * * [misc]simplify: iters left: 6 (24 enodes) 1539796562.942 * * [misc]simplify: iters left: 5 (53 enodes) 1539796562.962 * * [misc]simplify: iters left: 4 (145 enodes) 1539796563.013 * * [misc]simplify: iters left: 3 (365 enodes) 1539796563.329 * [exit]simplify: Simplified to (+ (fma (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1)) 1/2 (log1p (exp -1))) (fma (/ -1/2 (+ (exp -1) 1)) (/ (* (pow x 4) (exp -2)) (+ (exp -1) 1)) (/ (* (* x x) (exp -1)) (+ (exp -1) 1)))) 1539796563.329 * [misc]simplify: Simplified (2 1) to (λ (x) (expm1 (+ (fma (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1)) 1/2 (log1p (exp -1))) (fma (/ -1/2 (+ (exp -1) 1)) (/ (* (pow x 4) (exp -2)) (+ (exp -1) 1)) (/ (* (* x x) (exp -1)) (+ (exp -1) 1)))))) 1539796563.329 * * * * [misc]progress: [ 41 / 45 ] simplifiying candidate # 1539796563.329 * [enter]simplify: Simplifying (log (+ (exp (fma x x -1)) 1)) 1539796563.330 * * [misc]simplify: iters left: 5 (7 enodes) 1539796563.331 * * [misc]simplify: iters left: 4 (12 enodes) 1539796563.333 * * [misc]simplify: iters left: 3 (20 enodes) 1539796563.337 * * [misc]simplify: iters left: 2 (30 enodes) 1539796563.341 * * [misc]simplify: iters left: 1 (50 enodes) 1539796563.369 * [exit]simplify: Simplified to (log1p (exp (fma x x -1))) 1539796563.369 * [misc]simplify: Simplified (2 1) to (λ (x) (expm1 (log1p (exp (fma x x -1))))) 1539796563.369 * * * * [misc]progress: [ 42 / 45 ] simplifiying candidate # 1539796563.369 * [enter]simplify: Simplifying (log (+ (exp (fma x x -1)) 1)) 1539796563.369 * * [misc]simplify: iters left: 5 (7 enodes) 1539796563.372 * * [misc]simplify: iters left: 4 (12 enodes) 1539796563.376 * * [misc]simplify: iters left: 3 (20 enodes) 1539796563.382 * * [misc]simplify: iters left: 2 (30 enodes) 1539796563.391 * * [misc]simplify: iters left: 1 (50 enodes) 1539796563.424 * [exit]simplify: Simplified to (log1p (exp (fma x x -1))) 1539796563.424 * [misc]simplify: Simplified (2 1) to (λ (x) (expm1 (log1p (exp (fma x x -1))))) 1539796563.424 * * * * [misc]progress: [ 43 / 45 ] simplifiying candidate # 1539796563.425 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1539796563.425 * * [misc]simplify: iters left: 6 (13 enodes) 1539796563.430 * * [misc]simplify: iters left: 5 (24 enodes) 1539796563.438 * * [misc]simplify: iters left: 4 (51 enodes) 1539796563.459 * * [misc]simplify: iters left: 3 (101 enodes) 1539796563.487 * * [misc]simplify: iters left: 2 (121 enodes) 1539796563.519 * * [misc]simplify: iters left: 1 (196 enodes) 1539796563.614 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1539796563.614 * [misc]simplify: Simplified (2 1 1) to (λ (x) (expm1 (log1p (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))))) 1539796563.614 * * * * [misc]progress: [ 44 / 45 ] simplifiying candidate # 1539796563.614 * [enter]simplify: Simplifying (exp (fma x x -1)) 1539796563.614 * * [misc]simplify: iters left: 2 (4 enodes) 1539796563.615 * * [misc]simplify: iters left: 1 (6 enodes) 1539796563.617 * [exit]simplify: Simplified to (exp (fma x x -1)) 1539796563.617 * [misc]simplify: Simplified (2 1 1) to (λ (x) (expm1 (log1p (exp (fma x x -1))))) 1539796563.617 * * * * [misc]progress: [ 45 / 45 ] simplifiying candidate # 1539796563.617 * [enter]simplify: Simplifying (exp (fma x x -1)) 1539796563.617 * * [misc]simplify: iters left: 2 (4 enodes) 1539796563.618 * * [misc]simplify: iters left: 1 (6 enodes) 1539796563.619 * [exit]simplify: Simplified to (exp (fma x x -1)) 1539796563.619 * [misc]simplify: Simplified (2 1 1) to (λ (x) (expm1 (log1p (exp (fma x x -1))))) 1539796563.619 * * * [misc]progress: adding candidates to table 1539796563.986 * [misc]progress: [Phase 3 of 3] Extracting. 1539796563.986 * * [misc]regime: Finding splitpoints for: (# #) 1539796563.986 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1539796563.986 * * * * [misc]regimes: Trying to branch on x from (# #) 1539796564.015 * * * [misc]regime: Found split indices: #