1544093087.491 * [misc]progress: [Phase 1 of 3] Setting up. 1544093087.491 * * * [misc]progress: [1/2] Preparing points 1544093087.491 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544093087.492 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544093087.493 * * * * [misc]points: Setting MPFR precision to 64 1544093087.493 * * * * [misc]points: Setting MPFR precision to 320 1544093087.494 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544093087.495 * * * * [misc]points: Setting MPFR precision to 64 1544093087.495 * * * * [misc]points: Setting MPFR precision to 320 1544093087.496 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544093087.497 * * * * [misc]points: Setting MPFR precision to 64 1544093087.497 * * * * [misc]points: Setting MPFR precision to 320 1544093087.498 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544093087.499 * * * * [misc]points: Setting MPFR precision to 64 1544093087.501 * * * * [misc]points: Setting MPFR precision to 320 1544093087.502 * * * * [misc]points: Computing exacts for 256 points 1544093087.503 * * * * [misc]points: Setting MPFR precision to 64 1544093087.508 * * * * [misc]points: Setting MPFR precision to 320 1544093087.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1544093087.513 * * * * [misc]points: Sampling 111 additional inputs, on iter 1 have 145 / 256 1544093087.513 * * * * [misc]points: Computing exacts on every 6 of 111 points to ramp up precision 1544093087.514 * * * * [misc]points: Setting MPFR precision to 64 1544093087.514 * * * * [misc]points: Setting MPFR precision to 320 1544093087.515 * * * * [misc]points: Computing exacts on every 3 of 111 points to ramp up precision 1544093087.516 * * * * [misc]points: Setting MPFR precision to 64 1544093087.517 * * * * [misc]points: Setting MPFR precision to 320 1544093087.527 * * * * [misc]points: Computing exacts for 111 points 1544093087.529 * * * * [misc]points: Setting MPFR precision to 64 1544093087.534 * * * * [misc]points: Setting MPFR precision to 320 1544093087.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1544093087.538 * * * * [misc]points: Sampling 54 additional inputs, on iter 2 have 202 / 256 1544093087.538 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1544093087.540 * * * * [misc]points: Setting MPFR precision to 64 1544093087.540 * * * * [misc]points: Setting MPFR precision to 320 1544093087.541 * * * * [misc]points: Computing exacts for 54 points 1544093087.542 * * * * [misc]points: Setting MPFR precision to 64 1544093087.544 * * * * [misc]points: Setting MPFR precision to 320 1544093087.546 * * * * [misc]points: Filtering points with unrepresentable outputs 1544093087.546 * * * * [misc]points: Sampling 30 additional inputs, on iter 3 have 226 / 256 1544093087.546 * * * * [misc]points: Computing exacts for 30 points 1544093087.548 * * * * [misc]points: Setting MPFR precision to 64 1544093087.549 * * * * [misc]points: Setting MPFR precision to 320 1544093087.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1544093087.550 * * * * [misc]points: Sampling 16 additional inputs, on iter 4 have 240 / 256 1544093087.550 * * * * [misc]points: Computing exacts for 16 points 1544093087.552 * * * * [misc]points: Setting MPFR precision to 64 1544093087.552 * * * * [misc]points: Setting MPFR precision to 320 1544093087.553 * * * * [misc]points: Filtering points with unrepresentable outputs 1544093087.553 * * * * [misc]points: Sampling 11 additional inputs, on iter 5 have 245 / 256 1544093087.553 * * * * [misc]points: Computing exacts for 11 points 1544093087.555 * * * * [misc]points: Setting MPFR precision to 64 1544093087.555 * * * * [misc]points: Setting MPFR precision to 320 1544093087.555 * * * * [misc]points: Filtering points with unrepresentable outputs 1544093087.555 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1544093087.556 * * * * [misc]points: Computing exacts for 5 points 1544093087.557 * * * * [misc]points: Setting MPFR precision to 64 1544093087.557 * * * * [misc]points: Setting MPFR precision to 320 1544093087.557 * * * * [misc]points: Filtering points with unrepresentable outputs 1544093087.557 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1544093087.558 * * * * [misc]points: Computing exacts for 4 points 1544093087.559 * * * * [misc]points: Setting MPFR precision to 64 1544093087.559 * * * * [misc]points: Setting MPFR precision to 320 1544093087.559 * * * * [misc]points: Filtering points with unrepresentable outputs 1544093087.559 * * * * [exit]points: Sampled 256 points with exact outputs 1544093087.559 * * * [misc]progress: [2/2] Setting up program. 1544093087.563 * [misc]progress: [Phase 2 of 3] Improving. 1544093087.564 * [enter]simplify: Simplifying (exp (- (- 1 (* x x)))) 1544093087.564 * * [misc]simplify: iters left: 6 (6 enodes) 1544093087.566 * * [misc]simplify: iters left: 5 (12 enodes) 1544093087.569 * * [misc]simplify: iters left: 4 (25 enodes) 1544093087.573 * * [misc]simplify: iters left: 3 (51 enodes) 1544093087.581 * * [misc]simplify: iters left: 2 (82 enodes) 1544093087.592 * * [misc]simplify: iters left: 1 (126 enodes) 1544093087.614 * [exit]simplify: Simplified to (exp (fma x x -1)) 1544093087.622 * * [misc]progress: iteration 1 / 4 1544093087.622 * * * [misc]progress: picking best candidate 1544093087.626 * * * * [misc]pick: Picked # 1544093087.626 * * * [misc]progress: localizing error 1544093087.653 * * * [misc]progress: generating rewritten candidates 1544093087.653 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544093087.656 * * * [misc]progress: generating series expansions 1544093087.656 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544093087.657 * [misc]backup-simplify: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 1544093087.657 * [misc]approximate: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 1544093087.657 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1544093087.657 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1544093087.659 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1544093087.659 * [misc]taylor: Taking taylor expansion of (* x x) in x 1544093087.659 * [misc]taylor: Taking taylor expansion of x in x 1544093087.659 * [misc]backup-simplify: Simplify 0 into 0 1544093087.659 * [misc]backup-simplify: Simplify 1 into 1 1544093087.659 * [misc]taylor: Taking taylor expansion of x in x 1544093087.659 * [misc]backup-simplify: Simplify 0 into 0 1544093087.659 * [misc]backup-simplify: Simplify 1 into 1 1544093087.659 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.659 * [misc]backup-simplify: Simplify -1 into -1 1544093087.659 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544093087.660 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544093087.660 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093087.660 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1544093087.660 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1544093087.660 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1544093087.660 * [misc]taylor: Taking taylor expansion of (* x x) in x 1544093087.660 * [misc]taylor: Taking taylor expansion of x in x 1544093087.660 * [misc]backup-simplify: Simplify 0 into 0 1544093087.660 * [misc]backup-simplify: Simplify 1 into 1 1544093087.660 * [misc]taylor: Taking taylor expansion of x in x 1544093087.660 * [misc]backup-simplify: Simplify 0 into 0 1544093087.660 * [misc]backup-simplify: Simplify 1 into 1 1544093087.660 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.660 * [misc]backup-simplify: Simplify -1 into -1 1544093087.660 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544093087.661 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544093087.661 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093087.661 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093087.662 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1544093087.662 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093087.664 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1544093087.664 * [misc]backup-simplify: Simplify 0 into 0 1544093087.664 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1544093087.664 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093087.667 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1544093087.667 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093087.667 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1544093087.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093087.671 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544093087.671 * [misc]backup-simplify: Simplify 0 into 0 1544093087.672 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544093087.672 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093087.676 * [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)) 1544093087.676 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1544093087.677 * [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))))) 1544093087.677 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093087.677 * [misc]approximate: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1544093087.677 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1544093087.677 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1544093087.677 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1544093087.677 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1544093087.677 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093087.677 * [misc]taylor: Taking taylor expansion of x in x 1544093087.677 * [misc]backup-simplify: Simplify 0 into 0 1544093087.677 * [misc]backup-simplify: Simplify 1 into 1 1544093087.677 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093087.677 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093087.677 * [misc]taylor: Taking taylor expansion of x in x 1544093087.677 * [misc]backup-simplify: Simplify 0 into 0 1544093087.677 * [misc]backup-simplify: Simplify 1 into 1 1544093087.677 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093087.677 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.677 * [misc]backup-simplify: Simplify -1 into -1 1544093087.677 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093087.677 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093087.678 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093087.678 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1544093087.678 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1544093087.678 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1544093087.678 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1544093087.678 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093087.678 * [misc]taylor: Taking taylor expansion of x in x 1544093087.678 * [misc]backup-simplify: Simplify 0 into 0 1544093087.678 * [misc]backup-simplify: Simplify 1 into 1 1544093087.678 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093087.678 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093087.678 * [misc]taylor: Taking taylor expansion of x in x 1544093087.678 * [misc]backup-simplify: Simplify 0 into 0 1544093087.678 * [misc]backup-simplify: Simplify 1 into 1 1544093087.678 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093087.678 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.678 * [misc]backup-simplify: Simplify -1 into -1 1544093087.678 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093087.678 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093087.678 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093087.678 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093087.678 * [misc]backup-simplify: Simplify 0 into 0 1544093087.678 * [misc]backup-simplify: Simplify 0 into 0 1544093087.679 * [misc]backup-simplify: Simplify 0 into 0 1544093087.679 * [misc]backup-simplify: Simplify 0 into 0 1544093087.679 * [misc]backup-simplify: Simplify 0 into 0 1544093087.679 * [misc]backup-simplify: Simplify 0 into 0 1544093087.679 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1544093087.679 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093087.679 * [misc]approximate: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1544093087.679 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1544093087.679 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1544093087.679 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1544093087.679 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1544093087.679 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093087.679 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.679 * [misc]backup-simplify: Simplify -1 into -1 1544093087.679 * [misc]taylor: Taking taylor expansion of x in x 1544093087.679 * [misc]backup-simplify: Simplify 0 into 0 1544093087.679 * [misc]backup-simplify: Simplify 1 into 1 1544093087.679 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093087.679 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093087.679 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.679 * [misc]backup-simplify: Simplify -1 into -1 1544093087.679 * [misc]taylor: Taking taylor expansion of x in x 1544093087.679 * [misc]backup-simplify: Simplify 0 into 0 1544093087.679 * [misc]backup-simplify: Simplify 1 into 1 1544093087.679 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093087.679 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.679 * [misc]backup-simplify: Simplify -1 into -1 1544093087.679 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1544093087.680 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093087.680 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093087.680 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1544093087.680 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1544093087.680 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1544093087.680 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1544093087.680 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093087.680 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.680 * [misc]backup-simplify: Simplify -1 into -1 1544093087.680 * [misc]taylor: Taking taylor expansion of x in x 1544093087.680 * [misc]backup-simplify: Simplify 0 into 0 1544093087.680 * [misc]backup-simplify: Simplify 1 into 1 1544093087.680 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093087.680 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093087.680 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.680 * [misc]backup-simplify: Simplify -1 into -1 1544093087.680 * [misc]taylor: Taking taylor expansion of x in x 1544093087.680 * [misc]backup-simplify: Simplify 0 into 0 1544093087.680 * [misc]backup-simplify: Simplify 1 into 1 1544093087.680 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093087.680 * [misc]taylor: Taking taylor expansion of -1 in x 1544093087.680 * [misc]backup-simplify: Simplify -1 into -1 1544093087.680 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1544093087.680 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093087.680 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093087.680 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093087.681 * [misc]backup-simplify: Simplify 0 into 0 1544093087.681 * [misc]backup-simplify: Simplify 0 into 0 1544093087.681 * [misc]backup-simplify: Simplify 0 into 0 1544093087.681 * [misc]backup-simplify: Simplify 0 into 0 1544093087.681 * [misc]backup-simplify: Simplify 0 into 0 1544093087.681 * [misc]backup-simplify: Simplify 0 into 0 1544093087.681 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1544093087.681 * * * [misc]progress: simplifying candidates 1544093087.681 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1544093087.681 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1544093087.681 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1544093087.681 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1544093087.681 * [enter]simplify: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1544093087.681 * * [misc]simplify: iters left: 5 (6 enodes) 1544093087.682 * * [misc]simplify: iters left: 4 (10 enodes) 1544093087.683 * * [misc]simplify: iters left: 3 (15 enodes) 1544093087.686 * * [misc]simplify: iters left: 2 (21 enodes) 1544093087.688 * * [misc]simplify: iters left: 1 (36 enodes) 1544093087.700 * [exit]simplify: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1544093087.700 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 1544093087.700 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1544093087.700 * [enter]simplify: Simplifying (exp (sqrt (fma x x -1))) 1544093087.700 * * [misc]simplify: iters left: 3 (5 enodes) 1544093087.701 * * [misc]simplify: iters left: 2 (7 enodes) 1544093087.702 * * [misc]simplify: iters left: 1 (12 enodes) 1544093087.704 * [exit]simplify: Simplified to (exp (sqrt (fma x x -1))) 1544093087.704 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 1544093087.704 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1544093087.704 * [enter]simplify: Simplifying (exp 1) 1544093087.704 * * [misc]simplify: iters left: 1 (2 enodes) 1544093087.705 * [exit]simplify: Simplified to E 1544093087.705 * [misc]simplify: Simplified (2 1) to (λ (x) (pow E (fma x x -1))) 1544093087.705 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1544093087.705 * [enter]simplify: Simplifying (exp (* x x)) 1544093087.705 * * [misc]simplify: iters left: 3 (3 enodes) 1544093087.705 * * [misc]simplify: iters left: 2 (5 enodes) 1544093087.706 * [exit]simplify: Simplified to (exp (* x x)) 1544093087.706 * [misc]simplify: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1544093087.706 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1544093087.706 * [enter]simplify: Simplifying (fma x x -1) 1544093087.706 * * [misc]simplify: iters left: 1 (3 enodes) 1544093087.707 * [exit]simplify: Simplified to (fma x x -1) 1544093087.707 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1544093087.707 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1544093087.707 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1544093087.707 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1544093087.707 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1544093087.707 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1544093087.707 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1544093087.707 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1544093087.707 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1544093087.707 * * [misc]simplify: iters left: 6 (13 enodes) 1544093087.713 * * [misc]simplify: iters left: 5 (24 enodes) 1544093087.721 * * [misc]simplify: iters left: 4 (51 enodes) 1544093087.741 * * [misc]simplify: iters left: 3 (101 enodes) 1544093087.774 * * [misc]simplify: iters left: 2 (121 enodes) 1544093087.796 * * [misc]simplify: iters left: 1 (196 enodes) 1544093087.874 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1544093087.874 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1544093087.874 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1544093087.874 * [enter]simplify: Simplifying (exp (fma x x -1)) 1544093087.875 * * [misc]simplify: iters left: 2 (4 enodes) 1544093087.875 * * [misc]simplify: iters left: 1 (6 enodes) 1544093087.876 * [exit]simplify: Simplified to (exp (fma x x -1)) 1544093087.876 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1544093087.876 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1544093087.877 * [enter]simplify: Simplifying (exp (fma x x -1)) 1544093087.877 * * [misc]simplify: iters left: 2 (4 enodes) 1544093087.877 * * [misc]simplify: iters left: 1 (6 enodes) 1544093087.878 * [exit]simplify: Simplified to (exp (fma x x -1)) 1544093087.878 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1544093087.878 * * * [misc]progress: adding candidates to table 1544093088.029 * * [misc]progress: iteration 2 / 4 1544093088.029 * * * [misc]progress: picking best candidate 1544093088.037 * * * * [misc]pick: Picked # 1544093088.037 * * * [misc]progress: localizing error 1544093088.037 * * * [misc]progress: generating rewritten candidates 1544093088.037 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544093088.039 * * * [misc]progress: generating series expansions 1544093088.039 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544093088.039 * [misc]backup-simplify: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 1544093088.039 * [misc]approximate: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 1544093088.039 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1544093088.039 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1544093088.039 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1544093088.039 * [misc]taylor: Taking taylor expansion of (* x x) in x 1544093088.039 * [misc]taylor: Taking taylor expansion of x in x 1544093088.039 * [misc]backup-simplify: Simplify 0 into 0 1544093088.039 * [misc]backup-simplify: Simplify 1 into 1 1544093088.039 * [misc]taylor: Taking taylor expansion of x in x 1544093088.039 * [misc]backup-simplify: Simplify 0 into 0 1544093088.039 * [misc]backup-simplify: Simplify 1 into 1 1544093088.039 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.039 * [misc]backup-simplify: Simplify -1 into -1 1544093088.039 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544093088.040 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544093088.040 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093088.040 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1544093088.040 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1544093088.040 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1544093088.040 * [misc]taylor: Taking taylor expansion of (* x x) in x 1544093088.040 * [misc]taylor: Taking taylor expansion of x in x 1544093088.040 * [misc]backup-simplify: Simplify 0 into 0 1544093088.040 * [misc]backup-simplify: Simplify 1 into 1 1544093088.040 * [misc]taylor: Taking taylor expansion of x in x 1544093088.040 * [misc]backup-simplify: Simplify 0 into 0 1544093088.040 * [misc]backup-simplify: Simplify 1 into 1 1544093088.040 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.040 * [misc]backup-simplify: Simplify -1 into -1 1544093088.040 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544093088.040 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544093088.040 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093088.040 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093088.040 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1544093088.041 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093088.042 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1544093088.042 * [misc]backup-simplify: Simplify 0 into 0 1544093088.042 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1544093088.042 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.043 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1544093088.044 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093088.044 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1544093088.044 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093088.046 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544093088.046 * [misc]backup-simplify: Simplify 0 into 0 1544093088.046 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544093088.047 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093088.050 * [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)) 1544093088.050 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1544093088.051 * [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))))) 1544093088.051 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093088.051 * [misc]approximate: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1544093088.051 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1544093088.051 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1544093088.051 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1544093088.051 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1544093088.051 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093088.051 * [misc]taylor: Taking taylor expansion of x in x 1544093088.051 * [misc]backup-simplify: Simplify 0 into 0 1544093088.051 * [misc]backup-simplify: Simplify 1 into 1 1544093088.051 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.051 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093088.051 * [misc]taylor: Taking taylor expansion of x in x 1544093088.051 * [misc]backup-simplify: Simplify 0 into 0 1544093088.051 * [misc]backup-simplify: Simplify 1 into 1 1544093088.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.052 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.052 * [misc]backup-simplify: Simplify -1 into -1 1544093088.052 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.052 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.052 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093088.052 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1544093088.052 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1544093088.052 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1544093088.052 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1544093088.052 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093088.052 * [misc]taylor: Taking taylor expansion of x in x 1544093088.052 * [misc]backup-simplify: Simplify 0 into 0 1544093088.052 * [misc]backup-simplify: Simplify 1 into 1 1544093088.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.052 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093088.052 * [misc]taylor: Taking taylor expansion of x in x 1544093088.052 * [misc]backup-simplify: Simplify 0 into 0 1544093088.052 * [misc]backup-simplify: Simplify 1 into 1 1544093088.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.052 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.052 * [misc]backup-simplify: Simplify -1 into -1 1544093088.052 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.053 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.053 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093088.053 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093088.053 * [misc]backup-simplify: Simplify 0 into 0 1544093088.053 * [misc]backup-simplify: Simplify 0 into 0 1544093088.053 * [misc]backup-simplify: Simplify 0 into 0 1544093088.053 * [misc]backup-simplify: Simplify 0 into 0 1544093088.053 * [misc]backup-simplify: Simplify 0 into 0 1544093088.053 * [misc]backup-simplify: Simplify 0 into 0 1544093088.053 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1544093088.053 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093088.053 * [misc]approximate: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1544093088.053 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1544093088.053 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1544093088.053 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1544093088.053 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1544093088.053 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093088.053 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.053 * [misc]backup-simplify: Simplify -1 into -1 1544093088.053 * [misc]taylor: Taking taylor expansion of x in x 1544093088.053 * [misc]backup-simplify: Simplify 0 into 0 1544093088.053 * [misc]backup-simplify: Simplify 1 into 1 1544093088.053 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093088.053 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093088.053 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.053 * [misc]backup-simplify: Simplify -1 into -1 1544093088.053 * [misc]taylor: Taking taylor expansion of x in x 1544093088.053 * [misc]backup-simplify: Simplify 0 into 0 1544093088.053 * [misc]backup-simplify: Simplify 1 into 1 1544093088.054 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093088.054 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.054 * [misc]backup-simplify: Simplify -1 into -1 1544093088.054 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1544093088.054 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.054 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093088.054 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1544093088.054 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1544093088.054 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1544093088.054 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1544093088.054 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093088.054 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.054 * [misc]backup-simplify: Simplify -1 into -1 1544093088.054 * [misc]taylor: Taking taylor expansion of x in x 1544093088.054 * [misc]backup-simplify: Simplify 0 into 0 1544093088.054 * [misc]backup-simplify: Simplify 1 into 1 1544093088.054 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093088.054 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093088.054 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.054 * [misc]backup-simplify: Simplify -1 into -1 1544093088.054 * [misc]taylor: Taking taylor expansion of x in x 1544093088.054 * [misc]backup-simplify: Simplify 0 into 0 1544093088.054 * [misc]backup-simplify: Simplify 1 into 1 1544093088.054 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093088.054 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.054 * [misc]backup-simplify: Simplify -1 into -1 1544093088.054 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1544093088.055 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.055 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093088.055 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093088.055 * [misc]backup-simplify: Simplify 0 into 0 1544093088.055 * [misc]backup-simplify: Simplify 0 into 0 1544093088.055 * [misc]backup-simplify: Simplify 0 into 0 1544093088.055 * [misc]backup-simplify: Simplify 0 into 0 1544093088.055 * [misc]backup-simplify: Simplify 0 into 0 1544093088.055 * [misc]backup-simplify: Simplify 0 into 0 1544093088.055 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1544093088.055 * * * [misc]progress: simplifying candidates 1544093088.055 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1544093088.055 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1544093088.055 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1544093088.055 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1544093088.055 * [enter]simplify: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1544093088.055 * * [misc]simplify: iters left: 5 (6 enodes) 1544093088.057 * * [misc]simplify: iters left: 4 (10 enodes) 1544093088.060 * * [misc]simplify: iters left: 3 (15 enodes) 1544093088.066 * * [misc]simplify: iters left: 2 (21 enodes) 1544093088.069 * * [misc]simplify: iters left: 1 (36 enodes) 1544093088.081 * [exit]simplify: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1544093088.081 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 1544093088.081 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1544093088.081 * [enter]simplify: Simplifying (exp (sqrt (fma x x -1))) 1544093088.081 * * [misc]simplify: iters left: 3 (5 enodes) 1544093088.082 * * [misc]simplify: iters left: 2 (7 enodes) 1544093088.083 * * [misc]simplify: iters left: 1 (12 enodes) 1544093088.085 * [exit]simplify: Simplified to (exp (sqrt (fma x x -1))) 1544093088.085 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 1544093088.085 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1544093088.085 * [enter]simplify: Simplifying (exp 1) 1544093088.086 * * [misc]simplify: iters left: 1 (2 enodes) 1544093088.086 * [exit]simplify: Simplified to E 1544093088.086 * [misc]simplify: Simplified (2 1) to (λ (x) (pow E (fma x x -1))) 1544093088.086 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1544093088.086 * [enter]simplify: Simplifying (exp (* x x)) 1544093088.086 * * [misc]simplify: iters left: 3 (3 enodes) 1544093088.087 * * [misc]simplify: iters left: 2 (5 enodes) 1544093088.087 * [exit]simplify: Simplified to (exp (* x x)) 1544093088.087 * [misc]simplify: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1544093088.087 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1544093088.087 * [enter]simplify: Simplifying (fma x x -1) 1544093088.087 * * [misc]simplify: iters left: 1 (3 enodes) 1544093088.088 * [exit]simplify: Simplified to (fma x x -1) 1544093088.088 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1544093088.088 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1544093088.088 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1544093088.088 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1544093088.088 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1544093088.088 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1544093088.088 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1544093088.088 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1544093088.088 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1544093088.088 * * [misc]simplify: iters left: 6 (13 enodes) 1544093088.091 * * [misc]simplify: iters left: 5 (24 enodes) 1544093088.095 * * [misc]simplify: iters left: 4 (51 enodes) 1544093088.107 * * [misc]simplify: iters left: 3 (101 enodes) 1544093088.138 * * [misc]simplify: iters left: 2 (121 enodes) 1544093088.173 * * [misc]simplify: iters left: 1 (196 enodes) 1544093088.245 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1544093088.247 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1544093088.247 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1544093088.247 * [enter]simplify: Simplifying (exp (fma x x -1)) 1544093088.247 * * [misc]simplify: iters left: 2 (4 enodes) 1544093088.248 * * [misc]simplify: iters left: 1 (6 enodes) 1544093088.251 * [exit]simplify: Simplified to (exp (fma x x -1)) 1544093088.251 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1544093088.251 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1544093088.252 * [enter]simplify: Simplifying (exp (fma x x -1)) 1544093088.252 * * [misc]simplify: iters left: 2 (4 enodes) 1544093088.253 * * [misc]simplify: iters left: 1 (6 enodes) 1544093088.255 * [exit]simplify: Simplified to (exp (fma x x -1)) 1544093088.256 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1544093088.256 * * * [misc]progress: adding candidates to table 1544093088.383 * * [misc]progress: iteration 3 / 4 1544093088.383 * * * [misc]progress: picking best candidate 1544093088.392 * * * * [misc]pick: Picked # 1544093088.393 * * * [misc]progress: localizing error 1544093088.397 * * * [misc]progress: generating rewritten candidates 1544093088.398 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544093088.398 * * * [misc]progress: generating series expansions 1544093088.398 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544093088.399 * [misc]backup-simplify: Simplify (pow E (fma x x -1)) into (pow E (fma x x -1)) 1544093088.399 * [misc]approximate: Taking taylor expansion of (pow E (fma x x -1)) in (x) around 0 1544093088.399 * [misc]taylor: Taking taylor expansion of (pow E (fma x x -1)) in x 1544093088.399 * [misc]taylor: Taking taylor expansion of (exp (* (fma x x -1) (log E))) in x 1544093088.399 * [misc]taylor: Taking taylor expansion of (* (fma x x -1) (log E)) in x 1544093088.399 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1544093088.399 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1544093088.399 * [misc]taylor: Taking taylor expansion of (* x x) in x 1544093088.399 * [misc]taylor: Taking taylor expansion of x in x 1544093088.399 * [misc]backup-simplify: Simplify 0 into 0 1544093088.399 * [misc]backup-simplify: Simplify 1 into 1 1544093088.399 * [misc]taylor: Taking taylor expansion of x in x 1544093088.399 * [misc]backup-simplify: Simplify 0 into 0 1544093088.399 * [misc]backup-simplify: Simplify 1 into 1 1544093088.399 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.399 * [misc]backup-simplify: Simplify -1 into -1 1544093088.399 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.399 * [misc]taylor: Taking taylor expansion of E in x 1544093088.399 * [misc]backup-simplify: Simplify E into E 1544093088.399 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.399 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544093088.399 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544093088.399 * [misc]backup-simplify: Simplify (* -1 1) into -1 1544093088.400 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093088.400 * [misc]taylor: Taking taylor expansion of (pow E (fma x x -1)) in x 1544093088.400 * [misc]taylor: Taking taylor expansion of (exp (* (fma x x -1) (log E))) in x 1544093088.400 * [misc]taylor: Taking taylor expansion of (* (fma x x -1) (log E)) in x 1544093088.400 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1544093088.400 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1544093088.400 * [misc]taylor: Taking taylor expansion of (* x x) in x 1544093088.400 * [misc]taylor: Taking taylor expansion of x in x 1544093088.400 * [misc]backup-simplify: Simplify 0 into 0 1544093088.400 * [misc]backup-simplify: Simplify 1 into 1 1544093088.400 * [misc]taylor: Taking taylor expansion of x in x 1544093088.400 * [misc]backup-simplify: Simplify 0 into 0 1544093088.400 * [misc]backup-simplify: Simplify 1 into 1 1544093088.400 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.400 * [misc]backup-simplify: Simplify -1 into -1 1544093088.400 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.400 * [misc]taylor: Taking taylor expansion of E in x 1544093088.400 * [misc]backup-simplify: Simplify E into E 1544093088.400 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.400 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544093088.400 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544093088.400 * [misc]backup-simplify: Simplify (* -1 1) into -1 1544093088.400 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093088.400 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093088.402 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1544093088.402 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1544093088.402 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093088.403 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1)) into 0 1544093088.403 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1544093088.403 * [misc]backup-simplify: Simplify 0 into 0 1544093088.407 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1544093088.407 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1544093088.407 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.407 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 1))) into 1 1544093088.408 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1544093088.409 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1544093088.413 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1544093088.413 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1544093088.413 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093088.413 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 1)))) into 0 1544093088.416 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544093088.416 * [misc]backup-simplify: Simplify 0 into 0 1544093088.427 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow E 1)))) 24) into 0 1544093088.428 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544093088.428 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544093088.429 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1))))) into 0 1544093088.435 * [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)) 1544093088.435 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1544093088.436 * [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))))) 1544093088.436 * [misc]backup-simplify: Simplify (pow E (fma (/ 1 x) (/ 1 x) -1)) into (pow E (fma (/ 1 x) (/ 1 x) -1)) 1544093088.436 * [misc]approximate: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1544093088.436 * [misc]taylor: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) -1)) in x 1544093088.436 * [misc]taylor: Taking taylor expansion of (exp (* (fma (/ 1 x) (/ 1 x) -1) (log E))) in x 1544093088.436 * [misc]taylor: Taking taylor expansion of (* (fma (/ 1 x) (/ 1 x) -1) (log E)) in x 1544093088.436 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1544093088.436 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1544093088.436 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1544093088.436 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093088.436 * [misc]taylor: Taking taylor expansion of x in x 1544093088.436 * [misc]backup-simplify: Simplify 0 into 0 1544093088.436 * [misc]backup-simplify: Simplify 1 into 1 1544093088.437 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.437 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093088.437 * [misc]taylor: Taking taylor expansion of x in x 1544093088.437 * [misc]backup-simplify: Simplify 0 into 0 1544093088.437 * [misc]backup-simplify: Simplify 1 into 1 1544093088.437 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.437 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.437 * [misc]backup-simplify: Simplify -1 into -1 1544093088.437 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.437 * [misc]taylor: Taking taylor expansion of E in x 1544093088.437 * [misc]backup-simplify: Simplify E into E 1544093088.437 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.437 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.437 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.437 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.438 * [misc]backup-simplify: Simplify (exp (* (fma (/ 1 x) (/ 1 x) -1) (log E))) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093088.438 * [misc]taylor: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) -1)) in x 1544093088.438 * [misc]taylor: Taking taylor expansion of (exp (* (fma (/ 1 x) (/ 1 x) -1) (log E))) in x 1544093088.438 * [misc]taylor: Taking taylor expansion of (* (fma (/ 1 x) (/ 1 x) -1) (log E)) in x 1544093088.438 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1544093088.438 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1544093088.438 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1544093088.438 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093088.438 * [misc]taylor: Taking taylor expansion of x in x 1544093088.438 * [misc]backup-simplify: Simplify 0 into 0 1544093088.438 * [misc]backup-simplify: Simplify 1 into 1 1544093088.438 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.438 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544093088.438 * [misc]taylor: Taking taylor expansion of x in x 1544093088.438 * [misc]backup-simplify: Simplify 0 into 0 1544093088.438 * [misc]backup-simplify: Simplify 1 into 1 1544093088.438 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.438 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.438 * [misc]backup-simplify: Simplify -1 into -1 1544093088.439 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.439 * [misc]taylor: Taking taylor expansion of E in x 1544093088.439 * [misc]backup-simplify: Simplify E into E 1544093088.439 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.439 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.439 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.439 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.439 * [misc]backup-simplify: Simplify (exp (* (fma (/ 1 x) (/ 1 x) -1) (log E))) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093088.439 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1544093088.439 * [misc]backup-simplify: Simplify 0 into 0 1544093088.439 * [misc]backup-simplify: Simplify 0 into 0 1544093088.440 * [misc]backup-simplify: Simplify 0 into 0 1544093088.440 * [misc]backup-simplify: Simplify 0 into 0 1544093088.440 * [misc]backup-simplify: Simplify 0 into 0 1544093088.440 * [misc]backup-simplify: Simplify 0 into 0 1544093088.440 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1544093088.440 * [misc]backup-simplify: Simplify (pow E (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (pow E (fma (/ -1 x) (/ -1 x) -1)) 1544093088.440 * [misc]approximate: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1544093088.440 * [misc]taylor: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) -1)) in x 1544093088.440 * [misc]taylor: Taking taylor expansion of (exp (* (fma (/ -1 x) (/ -1 x) -1) (log E))) in x 1544093088.440 * [misc]taylor: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) -1) (log E)) in x 1544093088.440 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1544093088.440 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1544093088.440 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1544093088.440 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093088.440 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.440 * [misc]backup-simplify: Simplify -1 into -1 1544093088.440 * [misc]taylor: Taking taylor expansion of x in x 1544093088.440 * [misc]backup-simplify: Simplify 0 into 0 1544093088.440 * [misc]backup-simplify: Simplify 1 into 1 1544093088.441 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093088.441 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093088.441 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.441 * [misc]backup-simplify: Simplify -1 into -1 1544093088.441 * [misc]taylor: Taking taylor expansion of x in x 1544093088.441 * [misc]backup-simplify: Simplify 0 into 0 1544093088.441 * [misc]backup-simplify: Simplify 1 into 1 1544093088.441 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093088.441 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.441 * [misc]backup-simplify: Simplify -1 into -1 1544093088.441 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.441 * [misc]taylor: Taking taylor expansion of E in x 1544093088.441 * [misc]backup-simplify: Simplify E into E 1544093088.441 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.441 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1544093088.441 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.442 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.442 * [misc]backup-simplify: Simplify (exp (* (fma (/ -1 x) (/ -1 x) -1) (log E))) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093088.442 * [misc]taylor: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) -1)) in x 1544093088.442 * [misc]taylor: Taking taylor expansion of (exp (* (fma (/ -1 x) (/ -1 x) -1) (log E))) in x 1544093088.442 * [misc]taylor: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) -1) (log E)) in x 1544093088.442 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1544093088.442 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1544093088.442 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1544093088.442 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093088.442 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.442 * [misc]backup-simplify: Simplify -1 into -1 1544093088.442 * [misc]taylor: Taking taylor expansion of x in x 1544093088.442 * [misc]backup-simplify: Simplify 0 into 0 1544093088.442 * [misc]backup-simplify: Simplify 1 into 1 1544093088.442 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093088.442 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1544093088.442 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.442 * [misc]backup-simplify: Simplify -1 into -1 1544093088.442 * [misc]taylor: Taking taylor expansion of x in x 1544093088.443 * [misc]backup-simplify: Simplify 0 into 0 1544093088.443 * [misc]backup-simplify: Simplify 1 into 1 1544093088.443 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544093088.443 * [misc]taylor: Taking taylor expansion of -1 in x 1544093088.443 * [misc]backup-simplify: Simplify -1 into -1 1544093088.443 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.443 * [misc]taylor: Taking taylor expansion of E in x 1544093088.443 * [misc]backup-simplify: Simplify E into E 1544093088.443 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.443 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1544093088.443 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544093088.443 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.444 * [misc]backup-simplify: Simplify (exp (* (fma (/ -1 x) (/ -1 x) -1) (log E))) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093088.444 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1544093088.444 * [misc]backup-simplify: Simplify 0 into 0 1544093088.444 * [misc]backup-simplify: Simplify 0 into 0 1544093088.444 * [misc]backup-simplify: Simplify 0 into 0 1544093088.444 * [misc]backup-simplify: Simplify 0 into 0 1544093088.444 * [misc]backup-simplify: Simplify 0 into 0 1544093088.444 * [misc]backup-simplify: Simplify 0 into 0 1544093088.444 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1544093088.444 * * * [misc]progress: simplifying candidates 1544093088.444 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1544093088.444 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1544093088.444 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1544093088.444 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1544093088.445 * [enter]simplify: Simplifying (cbrt (fma x x -1)) 1544093088.445 * * [misc]simplify: iters left: 2 (4 enodes) 1544093088.446 * * [misc]simplify: iters left: 1 (6 enodes) 1544093088.448 * [exit]simplify: Simplified to (cbrt (fma x x -1)) 1544093088.448 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 1544093088.448 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1544093088.449 * [enter]simplify: Simplifying (sqrt (fma x x -1)) 1544093088.449 * * [misc]simplify: iters left: 2 (4 enodes) 1544093088.450 * * [misc]simplify: iters left: 1 (6 enodes) 1544093088.452 * [exit]simplify: Simplified to (sqrt (fma x x -1)) 1544093088.452 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 1544093088.452 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1544093088.452 * [enter]simplify: Simplifying (fma x x -1) 1544093088.452 * * [misc]simplify: iters left: 1 (3 enodes) 1544093088.453 * [exit]simplify: Simplified to (fma x x -1) 1544093088.453 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E 1) (fma x x -1))) 1544093088.453 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1544093088.453 * [enter]simplify: Simplifying (pow E -1) 1544093088.453 * * [misc]simplify: iters left: 1 (3 enodes) 1544093088.455 * [exit]simplify: Simplified to (/ 1 E) 1544093088.455 * [misc]simplify: Simplified (2 2) to (λ (x) (* (pow E (* x x)) (/ 1 E))) 1544093088.455 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1544093088.455 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1544093088.455 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1544093088.455 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1544093088.455 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1544093088.455 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1544093088.455 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1544093088.455 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1544093088.455 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1544093088.455 * * [misc]simplify: iters left: 6 (13 enodes) 1544093088.460 * * [misc]simplify: iters left: 5 (24 enodes) 1544093088.469 * * [misc]simplify: iters left: 4 (51 enodes) 1544093088.490 * * [misc]simplify: iters left: 3 (101 enodes) 1544093088.518 * * [misc]simplify: iters left: 2 (121 enodes) 1544093088.559 * * [misc]simplify: iters left: 1 (196 enodes) 1544093088.655 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1544093088.655 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1544093088.655 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1544093088.655 * [enter]simplify: Simplifying (exp (fma x x -1)) 1544093088.655 * * [misc]simplify: iters left: 2 (4 enodes) 1544093088.656 * * [misc]simplify: iters left: 1 (6 enodes) 1544093088.657 * [exit]simplify: Simplified to (exp (fma x x -1)) 1544093088.657 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1544093088.657 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1544093088.657 * [enter]simplify: Simplifying (exp (fma x x -1)) 1544093088.657 * * [misc]simplify: iters left: 2 (4 enodes) 1544093088.658 * * [misc]simplify: iters left: 1 (6 enodes) 1544093088.659 * [exit]simplify: Simplified to (exp (fma x x -1)) 1544093088.659 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1544093088.659 * * * [misc]progress: adding candidates to table 1544093088.764 * * [misc]progress: iteration 4 / 4 1544093088.764 * * * [misc]progress: picking best candidate 1544093088.768 * * * * [misc]pick: Picked # 1544093088.768 * * * [misc]progress: localizing error 1544093088.790 * * * [misc]progress: generating rewritten candidates 1544093088.791 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544093088.801 * * * [misc]progress: generating series expansions 1544093088.801 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544093088.802 * [misc]backup-simplify: Simplify (* (pow E (* x x)) (pow E -1)) into (/ (pow E (pow x 2)) E) 1544093088.802 * [misc]approximate: Taking taylor expansion of (/ (pow E (pow x 2)) E) in (x) around 0 1544093088.802 * [misc]taylor: Taking taylor expansion of (/ (pow E (pow x 2)) E) in x 1544093088.802 * [misc]taylor: Taking taylor expansion of (pow E (pow x 2)) in x 1544093088.802 * [misc]taylor: Taking taylor expansion of (exp (* (pow x 2) (log E))) in x 1544093088.802 * [misc]taylor: Taking taylor expansion of (* (pow x 2) (log E)) in x 1544093088.802 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544093088.802 * [misc]taylor: Taking taylor expansion of x in x 1544093088.802 * [misc]backup-simplify: Simplify 0 into 0 1544093088.802 * [misc]backup-simplify: Simplify 1 into 1 1544093088.803 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.803 * [misc]taylor: Taking taylor expansion of E in x 1544093088.803 * [misc]backup-simplify: Simplify E into E 1544093088.803 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.803 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.803 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.803 * [misc]backup-simplify: Simplify (exp 0) into 1 1544093088.803 * [misc]taylor: Taking taylor expansion of E in x 1544093088.803 * [misc]backup-simplify: Simplify E into E 1544093088.803 * [misc]backup-simplify: Simplify (/ 1 E) into (/ 1 E) 1544093088.803 * [misc]taylor: Taking taylor expansion of (/ (pow E (pow x 2)) E) in x 1544093088.803 * [misc]taylor: Taking taylor expansion of (pow E (pow x 2)) in x 1544093088.803 * [misc]taylor: Taking taylor expansion of (exp (* (pow x 2) (log E))) in x 1544093088.804 * [misc]taylor: Taking taylor expansion of (* (pow x 2) (log E)) in x 1544093088.804 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544093088.804 * [misc]taylor: Taking taylor expansion of x in x 1544093088.804 * [misc]backup-simplify: Simplify 0 into 0 1544093088.804 * [misc]backup-simplify: Simplify 1 into 1 1544093088.804 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.804 * [misc]taylor: Taking taylor expansion of E in x 1544093088.804 * [misc]backup-simplify: Simplify E into E 1544093088.804 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.804 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.804 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.804 * [misc]backup-simplify: Simplify (exp 0) into 1 1544093088.804 * [misc]taylor: Taking taylor expansion of E in x 1544093088.804 * [misc]backup-simplify: Simplify E into E 1544093088.804 * [misc]backup-simplify: Simplify (/ 1 E) into (/ 1 E) 1544093088.804 * [misc]backup-simplify: Simplify (/ 1 E) into (/ 1 E) 1544093088.805 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1544093088.806 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ 1 E) (/ 0 E)))) into 0 1544093088.806 * [misc]backup-simplify: Simplify 0 into 0 1544093088.807 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 1544093088.809 * [misc]backup-simplify: Simplify (- (/ 1 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into (/ 1 E) 1544093088.809 * [misc]backup-simplify: Simplify (/ 1 E) into (/ 1 E) 1544093088.810 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1544093088.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544093088.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544093088.813 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544093088.814 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* (/ 1 E) (/ 0 E)))) into 0 1544093088.814 * [misc]backup-simplify: Simplify 0 into 0 1544093088.817 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1544093088.817 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544093088.817 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544093088.821 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (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 1544093088.823 * [misc]backup-simplify: Simplify (- (/ 1/2 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into (* 1/2 (/ 1 E)) 1544093088.823 * [misc]backup-simplify: Simplify (* 1/2 (/ 1 E)) into (/ 1/2 E) 1544093088.824 * [misc]backup-simplify: Simplify (+ (* (/ 1/2 E) (pow x 4)) (+ (* (/ 1 E) (pow x 2)) (/ 1 E))) into (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E))) 1544093088.824 * [misc]backup-simplify: Simplify (* (pow E (* (/ 1 x) (/ 1 x))) (pow E -1)) into (/ (pow E (/ 1 (pow x 2))) E) 1544093088.824 * [misc]approximate: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in (x) around 0 1544093088.824 * [misc]taylor: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in x 1544093088.824 * [misc]taylor: Taking taylor expansion of (pow E (/ 1 (pow x 2))) in x 1544093088.824 * [misc]taylor: Taking taylor expansion of (exp (* (/ 1 (pow x 2)) (log E))) in x 1544093088.824 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow x 2)) (log E)) in x 1544093088.824 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544093088.824 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544093088.824 * [misc]taylor: Taking taylor expansion of x in x 1544093088.824 * [misc]backup-simplify: Simplify 0 into 0 1544093088.824 * [misc]backup-simplify: Simplify 1 into 1 1544093088.824 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.824 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.824 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.824 * [misc]taylor: Taking taylor expansion of E in x 1544093088.824 * [misc]backup-simplify: Simplify E into E 1544093088.824 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.825 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.825 * [misc]backup-simplify: Simplify (exp (* (/ 1 (pow x 2)) (log E))) into (exp (/ 1 (pow x 2))) 1544093088.825 * [misc]taylor: Taking taylor expansion of E in x 1544093088.825 * [misc]backup-simplify: Simplify E into E 1544093088.825 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E) 1544093088.825 * [misc]taylor: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in x 1544093088.825 * [misc]taylor: Taking taylor expansion of (pow E (/ 1 (pow x 2))) in x 1544093088.825 * [misc]taylor: Taking taylor expansion of (exp (* (/ 1 (pow x 2)) (log E))) in x 1544093088.825 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow x 2)) (log E)) in x 1544093088.825 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544093088.825 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544093088.825 * [misc]taylor: Taking taylor expansion of x in x 1544093088.825 * [misc]backup-simplify: Simplify 0 into 0 1544093088.825 * [misc]backup-simplify: Simplify 1 into 1 1544093088.825 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.825 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.825 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.825 * [misc]taylor: Taking taylor expansion of E in x 1544093088.825 * [misc]backup-simplify: Simplify E into E 1544093088.825 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.825 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.825 * [misc]backup-simplify: Simplify (exp (* (/ 1 (pow x 2)) (log E))) into (exp (/ 1 (pow x 2))) 1544093088.825 * [misc]taylor: Taking taylor expansion of E in x 1544093088.825 * [misc]backup-simplify: Simplify E into E 1544093088.825 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E) 1544093088.826 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E) 1544093088.826 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)))) into 0 1544093088.826 * [misc]backup-simplify: Simplify 0 into 0 1544093088.827 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.827 * [misc]backup-simplify: Simplify 0 into 0 1544093088.828 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.828 * [misc]backup-simplify: Simplify 0 into 0 1544093088.829 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.829 * [misc]backup-simplify: Simplify 0 into 0 1544093088.831 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.831 * [misc]backup-simplify: Simplify 0 into 0 1544093088.832 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.832 * [misc]backup-simplify: Simplify 0 into 0 1544093088.832 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (pow (/ 1 x) 2))) E) into (/ (exp (pow x 2)) E) 1544093088.833 * [misc]backup-simplify: Simplify (* (pow E (* (/ 1 (- x)) (/ 1 (- x)))) (pow E -1)) into (/ (pow E (/ 1 (pow x 2))) E) 1544093088.833 * [misc]approximate: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in (x) around 0 1544093088.833 * [misc]taylor: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in x 1544093088.833 * [misc]taylor: Taking taylor expansion of (pow E (/ 1 (pow x 2))) in x 1544093088.833 * [misc]taylor: Taking taylor expansion of (exp (* (/ 1 (pow x 2)) (log E))) in x 1544093088.833 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow x 2)) (log E)) in x 1544093088.833 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544093088.833 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544093088.833 * [misc]taylor: Taking taylor expansion of x in x 1544093088.833 * [misc]backup-simplify: Simplify 0 into 0 1544093088.833 * [misc]backup-simplify: Simplify 1 into 1 1544093088.833 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.833 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.833 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.833 * [misc]taylor: Taking taylor expansion of E in x 1544093088.833 * [misc]backup-simplify: Simplify E into E 1544093088.833 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.833 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.833 * [misc]backup-simplify: Simplify (exp (* (/ 1 (pow x 2)) (log E))) into (exp (/ 1 (pow x 2))) 1544093088.833 * [misc]taylor: Taking taylor expansion of E in x 1544093088.833 * [misc]backup-simplify: Simplify E into E 1544093088.834 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E) 1544093088.834 * [misc]taylor: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in x 1544093088.834 * [misc]taylor: Taking taylor expansion of (pow E (/ 1 (pow x 2))) in x 1544093088.834 * [misc]taylor: Taking taylor expansion of (exp (* (/ 1 (pow x 2)) (log E))) in x 1544093088.834 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow x 2)) (log E)) in x 1544093088.834 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544093088.834 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544093088.834 * [misc]taylor: Taking taylor expansion of x in x 1544093088.834 * [misc]backup-simplify: Simplify 0 into 0 1544093088.834 * [misc]backup-simplify: Simplify 1 into 1 1544093088.834 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.834 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544093088.834 * [misc]taylor: Taking taylor expansion of (log E) in x 1544093088.834 * [misc]taylor: Taking taylor expansion of E in x 1544093088.834 * [misc]backup-simplify: Simplify E into E 1544093088.834 * [misc]backup-simplify: Simplify (log E) into 1 1544093088.834 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544093088.834 * [misc]backup-simplify: Simplify (exp (* (/ 1 (pow x 2)) (log E))) into (exp (/ 1 (pow x 2))) 1544093088.834 * [misc]taylor: Taking taylor expansion of E in x 1544093088.834 * [misc]backup-simplify: Simplify E into E 1544093088.834 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E) 1544093088.834 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E) 1544093088.835 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)))) into 0 1544093088.835 * [misc]backup-simplify: Simplify 0 into 0 1544093088.836 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.836 * [misc]backup-simplify: Simplify 0 into 0 1544093088.837 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.837 * [misc]backup-simplify: Simplify 0 into 0 1544093088.839 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.839 * [misc]backup-simplify: Simplify 0 into 0 1544093088.842 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.842 * [misc]backup-simplify: Simplify 0 into 0 1544093088.844 * [misc]backup-simplify: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1544093088.844 * [misc]backup-simplify: Simplify 0 into 0 1544093088.845 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (pow (/ 1 (- x)) 2))) E) into (/ (exp (pow x 2)) E) 1544093088.845 * * * [misc]progress: simplifying candidates 1544093088.845 * * * * [misc]progress: [ 1 / 27 ] simplifiying candidate # 1544093088.845 * * * * [misc]progress: [ 2 / 27 ] simplifiying candidate # 1544093088.845 * * * * [misc]progress: [ 3 / 27 ] simplifiying candidate # 1544093088.845 * [enter]simplify: Simplifying (+ (* x x) -1) 1544093088.845 * * [misc]simplify: iters left: 4 (4 enodes) 1544093088.847 * * [misc]simplify: iters left: 3 (10 enodes) 1544093088.850 * * [misc]simplify: iters left: 2 (16 enodes) 1544093088.853 * * [misc]simplify: iters left: 1 (31 enodes) 1544093088.863 * [exit]simplify: Simplified to (fma x x -1) 1544093088.863 * [misc]simplify: Simplified (2 2) to (λ (x) (pow E (fma x x -1))) 1544093088.863 * * * * [misc]progress: [ 4 / 27 ] simplifiying candidate # 1544093088.863 * * * * [misc]progress: [ 5 / 27 ] simplifiying candidate # 1544093088.863 * [enter]simplify: Simplifying (+ (* (log E) (* x x)) (* (log E) -1)) 1544093088.863 * * [misc]simplify: iters left: 6 (8 enodes) 1544093088.865 * * [misc]simplify: iters left: 5 (18 enodes) 1544093088.868 * * [misc]simplify: iters left: 4 (31 enodes) 1544093088.872 * * [misc]simplify: iters left: 3 (42 enodes) 1544093088.878 * * [misc]simplify: iters left: 2 (52 enodes) 1544093088.892 * * [misc]simplify: iters left: 1 (93 enodes) 1544093088.927 * [exit]simplify: Simplified to (fma x x -1) 1544093088.927 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1544093088.927 * * * * [misc]progress: [ 6 / 27 ] simplifiying candidate # 1544093088.928 * [enter]simplify: Simplifying (+ (* (log E) (* x x)) (log (pow E -1))) 1544093088.928 * * [misc]simplify: iters left: 6 (9 enodes) 1544093088.932 * * [misc]simplify: iters left: 5 (18 enodes) 1544093088.937 * * [misc]simplify: iters left: 4 (27 enodes) 1544093088.944 * * [misc]simplify: iters left: 3 (38 enodes) 1544093088.951 * * [misc]simplify: iters left: 2 (42 enodes) 1544093088.957 * * [misc]simplify: iters left: 1 (57 enodes) 1544093088.981 * [exit]simplify: Simplified to (fma x x -1) 1544093088.981 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1544093088.981 * * * * [misc]progress: [ 7 / 27 ] simplifiying candidate # 1544093088.981 * [enter]simplify: Simplifying (+ (log (pow E (* x x))) (* (log E) -1)) 1544093088.981 * * [misc]simplify: iters left: 6 (9 enodes) 1544093088.985 * * [misc]simplify: iters left: 5 (14 enodes) 1544093088.989 * * [misc]simplify: iters left: 4 (20 enodes) 1544093088.994 * * [misc]simplify: iters left: 3 (32 enodes) 1544093089.004 * * [misc]simplify: iters left: 2 (42 enodes) 1544093089.010 * * [misc]simplify: iters left: 1 (58 enodes) 1544093089.029 * [exit]simplify: Simplified to (fma x x -1) 1544093089.029 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1544093089.029 * * * * [misc]progress: [ 8 / 27 ] simplifiying candidate # 1544093089.029 * [enter]simplify: Simplifying (+ (log (pow E (* x x))) (log (pow E -1))) 1544093089.030 * * [misc]simplify: iters left: 6 (9 enodes) 1544093089.033 * * [misc]simplify: iters left: 5 (16 enodes) 1544093089.038 * * [misc]simplify: iters left: 4 (32 enodes) 1544093089.043 * * [misc]simplify: iters left: 3 (45 enodes) 1544093089.048 * * [misc]simplify: iters left: 2 (62 enodes) 1544093089.052 * * [misc]simplify: iters left: 1 (72 enodes) 1544093089.060 * [exit]simplify: Simplified to (fma x x -1) 1544093089.060 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1544093089.060 * * * * [misc]progress: [ 9 / 27 ] simplifiying candidate # 1544093089.060 * * * * [misc]progress: [ 10 / 27 ] simplifiying candidate # 1544093089.060 * * * * [misc]progress: [ 11 / 27 ] simplifiying candidate # 1544093089.060 * [enter]simplify: Simplifying (* (* (* (pow E (* x x)) (pow E (* x x))) (pow E (* x x))) (* (* (pow E -1) (pow E -1)) (pow E -1))) 1544093089.061 * * [misc]simplify: iters left: 6 (11 enodes) 1544093089.062 * * [misc]simplify: iters left: 5 (21 enodes) 1544093089.069 * * [misc]simplify: iters left: 4 (58 enodes) 1544093089.096 * * [misc]simplify: iters left: 3 (124 enodes) 1544093089.144 * * [misc]simplify: iters left: 2 (312 enodes) 1544093089.447 * [exit]simplify: Simplified to (* (* (pow E (* x x)) (pow E (* x x))) (* (/ (/ 1 E) (* E E)) (pow E (* x x)))) 1544093089.447 * [misc]simplify: Simplified (2 1) to (λ (x) (cbrt (* (* (pow E (* x x)) (pow E (* x x))) (* (/ (/ 1 E) (* E E)) (pow E (* x x)))))) 1544093089.447 * * * * [misc]progress: [ 12 / 27 ] simplifiying candidate # 1544093089.448 * * * * [misc]progress: [ 13 / 27 ] simplifiying candidate # 1544093089.448 * * * * [misc]progress: [ 14 / 27 ] simplifiying candidate # 1544093089.448 * * * * [misc]progress: [ 15 / 27 ] simplifiying candidate # 1544093089.448 * * * * [misc]progress: [ 16 / 27 ] simplifiying candidate # 1544093089.448 * * * * [misc]progress: [ 17 / 27 ] simplifiying candidate # 1544093089.448 * [enter]simplify: Simplifying (cbrt (pow E -1)) 1544093089.448 * * [misc]simplify: iters left: 2 (4 enodes) 1544093089.449 * * [misc]simplify: iters left: 1 (7 enodes) 1544093089.449 * [exit]simplify: Simplified to (cbrt (/ 1 E)) 1544093089.449 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (pow E (* x x)) (* (cbrt (pow E -1)) (cbrt (pow E -1)))) (cbrt (/ 1 E)))) 1544093089.449 * * * * [misc]progress: [ 18 / 27 ] simplifiying candidate # 1544093089.450 * [enter]simplify: Simplifying (sqrt (pow E -1)) 1544093089.450 * * [misc]simplify: iters left: 2 (4 enodes) 1544093089.450 * * [misc]simplify: iters left: 1 (7 enodes) 1544093089.451 * [exit]simplify: Simplified to (sqrt (/ 1 E)) 1544093089.451 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (pow E (* x x)) (sqrt (pow E -1))) (sqrt (/ 1 E)))) 1544093089.451 * * * * [misc]progress: [ 19 / 27 ] simplifiying candidate # 1544093089.451 * [enter]simplify: Simplifying (pow E -1) 1544093089.451 * * [misc]simplify: iters left: 1 (3 enodes) 1544093089.452 * [exit]simplify: Simplified to (/ 1 E) 1544093089.452 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (pow E (* x x)) 1) (/ 1 E))) 1544093089.452 * * * * [misc]progress: [ 20 / 27 ] simplifiying candidate # 1544093089.452 * [enter]simplify: Simplifying (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x)))) 1544093089.452 * * [misc]simplify: iters left: 6 (6 enodes) 1544093089.453 * * [misc]simplify: iters left: 5 (8 enodes) 1544093089.454 * * [misc]simplify: iters left: 4 (10 enodes) 1544093089.455 * [exit]simplify: Simplified to (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x)))) 1544093089.455 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x)))) (* (cbrt (pow E (* x x))) (pow E -1)))) 1544093089.455 * * * * [misc]progress: [ 21 / 27 ] simplifiying candidate # 1544093089.455 * [enter]simplify: Simplifying (sqrt (pow E (* x x))) 1544093089.455 * * [misc]simplify: iters left: 4 (5 enodes) 1544093089.456 * * [misc]simplify: iters left: 3 (7 enodes) 1544093089.457 * * [misc]simplify: iters left: 2 (9 enodes) 1544093089.458 * [exit]simplify: Simplified to (sqrt (pow E (* x x))) 1544093089.458 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (pow E (* x x))) (* (sqrt (pow E (* x x))) (pow E -1)))) 1544093089.458 * * * * [misc]progress: [ 22 / 27 ] simplifiying candidate # 1544093089.458 * * * * [misc]progress: [ 23 / 27 ] simplifiying candidate # 1544093089.458 * * * * [misc]progress: [ 24 / 27 ] simplifiying candidate # 1544093089.458 * * * * [misc]progress: [ 25 / 27 ] simplifiying candidate # 1544093089.458 * [enter]simplify: Simplifying (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E))) 1544093089.458 * * [misc]simplify: iters left: 6 (14 enodes) 1544093089.460 * * [misc]simplify: iters left: 5 (26 enodes) 1544093089.465 * * [misc]simplify: iters left: 4 (41 enodes) 1544093089.475 * * [misc]simplify: iters left: 3 (48 enodes) 1544093089.486 * * [misc]simplify: iters left: 2 (55 enodes) 1544093089.499 * * [misc]simplify: iters left: 1 (56 enodes) 1544093089.511 * [exit]simplify: Simplified to (fma (/ 1/2 E) (pow x 4) (fma (/ x E) x (/ 1 E))) 1544093089.511 * [misc]simplify: Simplified (2) to (λ (x) (fma (/ 1/2 E) (pow x 4) (fma (/ x E) x (/ 1 E)))) 1544093089.511 * * * * [misc]progress: [ 26 / 27 ] simplifiying candidate # 1544093089.511 * [enter]simplify: Simplifying (/ (exp (pow x 2)) E) 1544093089.511 * * [misc]simplify: iters left: 4 (6 enodes) 1544093089.513 * * [misc]simplify: iters left: 3 (9 enodes) 1544093089.515 * * [misc]simplify: iters left: 2 (13 enodes) 1544093089.518 * [exit]simplify: Simplified to (/ (exp (* x x)) E) 1544093089.518 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1544093089.518 * * * * [misc]progress: [ 27 / 27 ] simplifiying candidate # 1544093089.519 * [enter]simplify: Simplifying (/ (exp (pow x 2)) E) 1544093089.519 * * [misc]simplify: iters left: 4 (6 enodes) 1544093089.521 * * [misc]simplify: iters left: 3 (9 enodes) 1544093089.523 * * [misc]simplify: iters left: 2 (13 enodes) 1544093089.526 * [exit]simplify: Simplified to (/ (exp (* x x)) E) 1544093089.526 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1544093089.526 * * * [misc]progress: adding candidates to table 1544093089.772 * [misc]progress: [Phase 3 of 3] Extracting. 1544093089.772 * * [misc]regime: Finding splitpoints for: (# # #) 1544093089.772 * * * [misc]regime-changes: Trying 2 branch expressions: (x (* x x)) 1544093089.772 * * * * [misc]regimes: Trying to branch on x from (# # #) 1544093089.813 * * * * [misc]regimes: Trying to branch on (* x x) from (# # #) 1544093089.850 * * * [misc]regime: Found split indices: #