1540199500.691 * [misc]progress: [Phase 1 of 3] Setting up. 1540199500.691 * * * [misc]progress: [1/2] Preparing points 1540199500.691 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540199500.693 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540199500.697 * * * * [misc]points: Setting MPFR precision to 64 1540199500.699 * * * * [misc]points: Setting MPFR precision to 320 1540199500.701 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540199500.705 * * * * [misc]points: Setting MPFR precision to 64 1540199500.707 * * * * [misc]points: Setting MPFR precision to 320 1540199500.710 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540199500.714 * * * * [misc]points: Setting MPFR precision to 64 1540199500.718 * * * * [misc]points: Setting MPFR precision to 320 1540199500.722 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540199500.727 * * * * [misc]points: Setting MPFR precision to 64 1540199500.734 * * * * [misc]points: Setting MPFR precision to 320 1540199500.739 * * * * [misc]points: Computing exacts for 256 points 1540199500.742 * * * * [misc]points: Setting MPFR precision to 64 1540199500.762 * * * * [misc]points: Setting MPFR precision to 320 1540199500.776 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199500.776 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1540199500.777 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1540199500.779 * * * * [misc]points: Setting MPFR precision to 64 1540199500.780 * * * * [misc]points: Setting MPFR precision to 320 1540199500.781 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1540199500.783 * * * * [misc]points: Setting MPFR precision to 64 1540199500.784 * * * * [misc]points: Setting MPFR precision to 320 1540199500.786 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1540199500.788 * * * * [misc]points: Setting MPFR precision to 64 1540199500.790 * * * * [misc]points: Setting MPFR precision to 320 1540199500.792 * * * * [misc]points: Computing exacts for 128 points 1540199500.795 * * * * [misc]points: Setting MPFR precision to 64 1540199500.800 * * * * [misc]points: Setting MPFR precision to 320 1540199500.807 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199500.807 * * * * [misc]points: Sampling 54 additional inputs, on iter 2 have 202 / 256 1540199500.807 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1540199500.810 * * * * [misc]points: Setting MPFR precision to 64 1540199500.810 * * * * [misc]points: Setting MPFR precision to 320 1540199500.811 * * * * [misc]points: Computing exacts for 54 points 1540199500.815 * * * * [misc]points: Setting MPFR precision to 64 1540199500.820 * * * * [misc]points: Setting MPFR precision to 320 1540199500.825 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199500.825 * * * * [misc]points: Sampling 26 additional inputs, on iter 3 have 230 / 256 1540199500.826 * * * * [misc]points: Computing exacts for 26 points 1540199500.830 * * * * [misc]points: Setting MPFR precision to 64 1540199500.833 * * * * [misc]points: Setting MPFR precision to 320 1540199500.835 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199500.835 * * * * [misc]points: Sampling 10 additional inputs, on iter 4 have 246 / 256 1540199500.836 * * * * [misc]points: Computing exacts for 10 points 1540199500.840 * * * * [misc]points: Setting MPFR precision to 64 1540199500.841 * * * * [misc]points: Setting MPFR precision to 320 1540199500.842 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199500.842 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1540199500.843 * * * * [misc]points: Computing exacts for 5 points 1540199500.847 * * * * [misc]points: Setting MPFR precision to 64 1540199500.848 * * * * [misc]points: Setting MPFR precision to 320 1540199500.848 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199500.848 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 254 / 256 1540199500.848 * * * * [misc]points: Computing exacts for 4 points 1540199500.853 * * * * [misc]points: Setting MPFR precision to 64 1540199500.853 * * * * [misc]points: Setting MPFR precision to 320 1540199500.854 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199500.854 * * * * [exit]points: Sampled 256 points with exact outputs 1540199500.854 * * * [misc]progress: [2/2] Setting up program. 1540199500.862 * [misc]progress: [Phase 2 of 3] Improving. 1540199500.863 * [enter]simplify: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 1540199500.863 * * [misc]simplify: iters left: 6 (16 enodes) 1540199500.869 * * [misc]simplify: iters left: 5 (30 enodes) 1540199500.879 * * [misc]simplify: iters left: 4 (48 enodes) 1540199500.892 * * [misc]simplify: iters left: 3 (80 enodes) 1540199500.960 * * [misc]simplify: iters left: 2 (124 enodes) 1540199500.993 * * [misc]simplify: iters left: 1 (196 enodes) 1540199501.076 * [exit]simplify: Simplified to (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 1540199501.082 * * [misc]progress: iteration 1 / 4 1540199501.082 * * * [misc]progress: picking best candidate 1540199501.085 * * * * [misc]pick: Picked # 1540199501.085 * * * [misc]progress: localizing error 1540199501.101 * * * [misc]progress: generating rewritten candidates 1540199501.101 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 3) 1540199501.107 * * * [misc]progress: generating series expansions 1540199501.107 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 3) 1540199501.111 * [misc]backup-simplify: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 1540199501.111 * [misc]approximate: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 1540199501.111 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in x 1540199501.111 * [misc]taylor: Taking taylor expansion of (cos y) in x 1540199501.111 * [misc]taylor: Taking taylor expansion of y in x 1540199501.111 * [misc]backup-simplify: Simplify y into y 1540199501.112 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1540199501.112 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1540199501.112 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540199501.112 * [misc]taylor: Taking taylor expansion of x in x 1540199501.112 * [misc]backup-simplify: Simplify 0 into 0 1540199501.112 * [misc]backup-simplify: Simplify 1 into 1 1540199501.112 * [misc]backup-simplify: Simplify (exp 0) into 1 1540199501.112 * [misc]backup-simplify: Simplify (* (cos y) 1) into (cos y) 1540199501.112 * [misc]backup-simplify: Simplify (* (sin y) 0) into 0 1540199501.113 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.113 * [misc]backup-simplify: Simplify (+ (cos y) 0) into (cos y) 1540199501.113 * [misc]backup-simplify: Simplify (/ (cos y) 1) into (cos y) 1540199501.113 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1540199501.113 * [misc]taylor: Taking taylor expansion of (cos y) in y 1540199501.113 * [misc]taylor: Taking taylor expansion of y in y 1540199501.113 * [misc]backup-simplify: Simplify 0 into 0 1540199501.113 * [misc]backup-simplify: Simplify 1 into 1 1540199501.113 * [misc]taylor: Taking taylor expansion of (exp x) in y 1540199501.113 * [misc]taylor: Taking taylor expansion of x in y 1540199501.114 * [misc]backup-simplify: Simplify x into x 1540199501.114 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1540199501.114 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1540199501.114 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1540199501.114 * [misc]taylor: Taking taylor expansion of (cos y) in y 1540199501.114 * [misc]taylor: Taking taylor expansion of y in y 1540199501.114 * [misc]backup-simplify: Simplify 0 into 0 1540199501.114 * [misc]backup-simplify: Simplify 1 into 1 1540199501.114 * [misc]taylor: Taking taylor expansion of (exp x) in y 1540199501.114 * [misc]taylor: Taking taylor expansion of x in y 1540199501.114 * [misc]backup-simplify: Simplify x into x 1540199501.114 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1540199501.114 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1540199501.114 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1540199501.114 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540199501.114 * [misc]taylor: Taking taylor expansion of x in x 1540199501.114 * [misc]backup-simplify: Simplify 0 into 0 1540199501.114 * [misc]backup-simplify: Simplify 1 into 1 1540199501.114 * [misc]backup-simplify: Simplify (exp 0) into 1 1540199501.115 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199501.115 * [misc]backup-simplify: Simplify 1 into 1 1540199501.115 * [misc]backup-simplify: Simplify (+ 0) into 0 1540199501.117 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1540199501.117 * [misc]backup-simplify: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 1540199501.117 * [misc]taylor: Taking taylor expansion of 0 in x 1540199501.117 * [misc]backup-simplify: Simplify 0 into 0 1540199501.117 * [misc]backup-simplify: Simplify 0 into 0 1540199501.118 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540199501.118 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1540199501.118 * [misc]backup-simplify: Simplify -1 into -1 1540199501.119 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540199501.120 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540199501.120 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 1540199501.120 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 1540199501.120 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 1540199501.120 * [misc]taylor: Taking taylor expansion of 1/2 in x 1540199501.120 * [misc]backup-simplify: Simplify 1/2 into 1/2 1540199501.120 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1540199501.120 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540199501.120 * [misc]taylor: Taking taylor expansion of x in x 1540199501.120 * [misc]backup-simplify: Simplify 0 into 0 1540199501.120 * [misc]backup-simplify: Simplify 1 into 1 1540199501.120 * [misc]backup-simplify: Simplify (exp 0) into 1 1540199501.121 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199501.121 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1540199501.121 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1540199501.121 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540199501.122 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 1540199501.122 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540199501.122 * [misc]approximate: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 1540199501.122 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1540199501.122 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1540199501.122 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1540199501.122 * [misc]taylor: Taking taylor expansion of y in x 1540199501.122 * [misc]backup-simplify: Simplify y into y 1540199501.122 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1540199501.122 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540199501.122 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1540199501.122 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1540199501.122 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540199501.122 * [misc]taylor: Taking taylor expansion of x in x 1540199501.122 * [misc]backup-simplify: Simplify 0 into 0 1540199501.122 * [misc]backup-simplify: Simplify 1 into 1 1540199501.122 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199501.122 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540199501.122 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1540199501.122 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1540199501.123 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.123 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1540199501.123 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540199501.123 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1540199501.123 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1540199501.123 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1540199501.123 * [misc]taylor: Taking taylor expansion of y in y 1540199501.123 * [misc]backup-simplify: Simplify 0 into 0 1540199501.123 * [misc]backup-simplify: Simplify 1 into 1 1540199501.123 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199501.123 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540199501.123 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1540199501.123 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1540199501.123 * [misc]taylor: Taking taylor expansion of x in y 1540199501.123 * [misc]backup-simplify: Simplify x into x 1540199501.123 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1540199501.123 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540199501.123 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540199501.123 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1540199501.123 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1540199501.123 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1540199501.123 * [misc]taylor: Taking taylor expansion of y in y 1540199501.123 * [misc]backup-simplify: Simplify 0 into 0 1540199501.123 * [misc]backup-simplify: Simplify 1 into 1 1540199501.123 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199501.124 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540199501.124 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1540199501.124 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1540199501.124 * [misc]taylor: Taking taylor expansion of x in y 1540199501.124 * [misc]backup-simplify: Simplify x into x 1540199501.124 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1540199501.124 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540199501.124 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540199501.124 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1540199501.124 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1540199501.124 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1540199501.124 * [misc]taylor: Taking taylor expansion of y in x 1540199501.124 * [misc]backup-simplify: Simplify y into y 1540199501.124 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1540199501.124 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540199501.124 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1540199501.124 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1540199501.124 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540199501.124 * [misc]taylor: Taking taylor expansion of x in x 1540199501.124 * [misc]backup-simplify: Simplify 0 into 0 1540199501.124 * [misc]backup-simplify: Simplify 1 into 1 1540199501.124 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199501.124 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540199501.124 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1540199501.124 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1540199501.124 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.124 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1540199501.125 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540199501.125 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540199501.125 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1540199501.125 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1540199501.126 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1540199501.126 * [misc]taylor: Taking taylor expansion of 0 in x 1540199501.126 * [misc]backup-simplify: Simplify 0 into 0 1540199501.126 * [misc]backup-simplify: Simplify 0 into 0 1540199501.126 * [misc]backup-simplify: Simplify (+ 0) into 0 1540199501.126 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1540199501.126 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1540199501.127 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540199501.127 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1540199501.127 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.127 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540199501.128 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1540199501.128 * [misc]backup-simplify: Simplify 0 into 0 1540199501.128 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540199501.129 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540199501.129 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1540199501.129 * [misc]taylor: Taking taylor expansion of 0 in x 1540199501.129 * [misc]backup-simplify: Simplify 0 into 0 1540199501.129 * [misc]backup-simplify: Simplify 0 into 0 1540199501.129 * [misc]backup-simplify: Simplify 0 into 0 1540199501.130 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540199501.130 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1540199501.130 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1540199501.131 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540199501.131 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1540199501.131 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.131 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540199501.131 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1540199501.132 * [misc]backup-simplify: Simplify 0 into 0 1540199501.132 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540199501.135 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1540199501.136 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1540199501.136 * [misc]taylor: Taking taylor expansion of 0 in x 1540199501.136 * [misc]backup-simplify: Simplify 0 into 0 1540199501.136 * [misc]backup-simplify: Simplify 0 into 0 1540199501.136 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 1540199501.136 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540199501.137 * [misc]approximate: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 1540199501.137 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1540199501.137 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1540199501.137 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1540199501.137 * [misc]taylor: Taking taylor expansion of -1 in x 1540199501.137 * [misc]backup-simplify: Simplify -1 into -1 1540199501.137 * [misc]taylor: Taking taylor expansion of y in x 1540199501.137 * [misc]backup-simplify: Simplify y into y 1540199501.137 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1540199501.137 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540199501.137 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1540199501.137 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1540199501.137 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1540199501.137 * [misc]taylor: Taking taylor expansion of -1 in x 1540199501.137 * [misc]backup-simplify: Simplify -1 into -1 1540199501.137 * [misc]taylor: Taking taylor expansion of x in x 1540199501.137 * [misc]backup-simplify: Simplify 0 into 0 1540199501.137 * [misc]backup-simplify: Simplify 1 into 1 1540199501.137 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540199501.137 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540199501.137 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1540199501.138 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1540199501.138 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.138 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1540199501.138 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540199501.138 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1540199501.138 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1540199501.138 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1540199501.138 * [misc]taylor: Taking taylor expansion of -1 in y 1540199501.138 * [misc]backup-simplify: Simplify -1 into -1 1540199501.138 * [misc]taylor: Taking taylor expansion of y in y 1540199501.138 * [misc]backup-simplify: Simplify 0 into 0 1540199501.138 * [misc]backup-simplify: Simplify 1 into 1 1540199501.138 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540199501.138 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540199501.138 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1540199501.138 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1540199501.138 * [misc]taylor: Taking taylor expansion of -1 in y 1540199501.139 * [misc]backup-simplify: Simplify -1 into -1 1540199501.139 * [misc]taylor: Taking taylor expansion of x in y 1540199501.139 * [misc]backup-simplify: Simplify x into x 1540199501.139 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1540199501.139 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540199501.139 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540199501.139 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1540199501.139 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1540199501.139 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1540199501.139 * [misc]taylor: Taking taylor expansion of -1 in y 1540199501.139 * [misc]backup-simplify: Simplify -1 into -1 1540199501.139 * [misc]taylor: Taking taylor expansion of y in y 1540199501.139 * [misc]backup-simplify: Simplify 0 into 0 1540199501.139 * [misc]backup-simplify: Simplify 1 into 1 1540199501.139 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540199501.139 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540199501.139 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1540199501.139 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1540199501.139 * [misc]taylor: Taking taylor expansion of -1 in y 1540199501.139 * [misc]backup-simplify: Simplify -1 into -1 1540199501.139 * [misc]taylor: Taking taylor expansion of x in y 1540199501.139 * [misc]backup-simplify: Simplify x into x 1540199501.140 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1540199501.140 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540199501.140 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540199501.140 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1540199501.140 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1540199501.140 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1540199501.140 * [misc]taylor: Taking taylor expansion of -1 in x 1540199501.140 * [misc]backup-simplify: Simplify -1 into -1 1540199501.140 * [misc]taylor: Taking taylor expansion of y in x 1540199501.140 * [misc]backup-simplify: Simplify y into y 1540199501.140 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1540199501.140 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540199501.140 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1540199501.140 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1540199501.140 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1540199501.140 * [misc]taylor: Taking taylor expansion of -1 in x 1540199501.140 * [misc]backup-simplify: Simplify -1 into -1 1540199501.140 * [misc]taylor: Taking taylor expansion of x in x 1540199501.140 * [misc]backup-simplify: Simplify 0 into 0 1540199501.140 * [misc]backup-simplify: Simplify 1 into 1 1540199501.140 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540199501.141 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540199501.141 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1540199501.141 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1540199501.141 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.141 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1540199501.141 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540199501.141 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540199501.141 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1540199501.143 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1540199501.143 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1540199501.143 * [misc]taylor: Taking taylor expansion of 0 in x 1540199501.143 * [misc]backup-simplify: Simplify 0 into 0 1540199501.143 * [misc]backup-simplify: Simplify 0 into 0 1540199501.143 * [misc]backup-simplify: Simplify (+ 0) into 0 1540199501.144 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1540199501.144 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1540199501.145 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540199501.145 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1540199501.145 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.145 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540199501.146 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1540199501.146 * [misc]backup-simplify: Simplify 0 into 0 1540199501.146 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540199501.148 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540199501.148 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1540199501.148 * [misc]taylor: Taking taylor expansion of 0 in x 1540199501.148 * [misc]backup-simplify: Simplify 0 into 0 1540199501.148 * [misc]backup-simplify: Simplify 0 into 0 1540199501.148 * [misc]backup-simplify: Simplify 0 into 0 1540199501.149 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540199501.150 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1540199501.150 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1540199501.151 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540199501.151 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1540199501.151 * [misc]backup-simplify: Simplify (- 0) into 0 1540199501.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540199501.152 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1540199501.152 * [misc]backup-simplify: Simplify 0 into 0 1540199501.152 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540199501.156 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1540199501.156 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1540199501.156 * [misc]taylor: Taking taylor expansion of 0 in x 1540199501.156 * [misc]backup-simplify: Simplify 0 into 0 1540199501.156 * [misc]backup-simplify: Simplify 0 into 0 1540199501.156 * [misc]backup-simplify: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 1540199501.156 * * * [misc]progress: simplifying candidates 1540199501.156 * * * * [misc]progress: [ 1 / 32 ] simplifiying candidate # 1540199501.156 * * * * [misc]progress: [ 2 / 32 ] simplifiying candidate # 1540199501.157 * * * * [misc]progress: [ 3 / 32 ] simplifiying candidate # 1540199501.157 * * * * [misc]progress: [ 4 / 32 ] simplifiying candidate # 1540199501.157 * [enter]simplify: Simplifying (- (log (cos y)) x) 1540199501.157 * * [misc]simplify: iters left: 4 (5 enodes) 1540199501.158 * * [misc]simplify: iters left: 3 (7 enodes) 1540199501.160 * * [misc]simplify: iters left: 2 (8 enodes) 1540199501.162 * [exit]simplify: Simplified to (- (log (cos y)) x) 1540199501.163 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (exp (- (log (cos y)) x))) 2)) 1540199501.163 * * * * [misc]progress: [ 5 / 32 ] simplifiying candidate # 1540199501.163 * * * * [misc]progress: [ 6 / 32 ] simplifiying candidate # 1540199501.163 * * * * [misc]progress: [ 7 / 32 ] simplifiying candidate # 1540199501.163 * [enter]simplify: Simplifying (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 1540199501.163 * * [misc]simplify: iters left: 6 (9 enodes) 1540199501.166 * * [misc]simplify: iters left: 5 (20 enodes) 1540199501.173 * * [misc]simplify: iters left: 4 (52 enodes) 1540199501.201 * * [misc]simplify: iters left: 3 (102 enodes) 1540199501.225 * * [misc]simplify: iters left: 2 (157 enodes) 1540199501.271 * * [misc]simplify: iters left: 1 (174 enodes) 1540199501.311 * [exit]simplify: Simplified to (pow (/ (cos y) (exp x)) 3) 1540199501.311 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (cbrt (pow (/ (cos y) (exp x)) 3))) 2)) 1540199501.311 * * * * [misc]progress: [ 8 / 32 ] simplifiying candidate # 1540199501.311 * * * * [misc]progress: [ 9 / 32 ] simplifiying candidate # 1540199501.311 * * * * [misc]progress: [ 10 / 32 ] simplifiying candidate # 1540199501.311 * * * * [misc]progress: [ 11 / 32 ] simplifiying candidate # 1540199501.311 * * * * [misc]progress: [ 12 / 32 ] simplifiying candidate # 1540199501.311 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 1540199501.312 * * [misc]simplify: iters left: 6 (9 enodes) 1540199501.314 * * [misc]simplify: iters left: 5 (15 enodes) 1540199501.319 * * [misc]simplify: iters left: 4 (24 enodes) 1540199501.326 * * [misc]simplify: iters left: 3 (27 enodes) 1540199501.333 * * [misc]simplify: iters left: 2 (30 enodes) 1540199501.341 * [exit]simplify: Simplified to (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) 1540199501.341 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x))))) 2)) 1540199501.341 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (cbrt (exp x))) 1540199501.341 * * [misc]simplify: iters left: 4 (7 enodes) 1540199501.343 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (cbrt (exp x))) 1540199501.343 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x))))) 2)) 1540199501.343 * * * * [misc]progress: [ 13 / 32 ] simplifiying candidate # 1540199501.343 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1540199501.344 * * [misc]simplify: iters left: 6 (8 enodes) 1540199501.346 * * [misc]simplify: iters left: 5 (10 enodes) 1540199501.349 * * [misc]simplify: iters left: 4 (12 enodes) 1540199501.352 * * [misc]simplify: iters left: 3 (13 enodes) 1540199501.356 * [exit]simplify: Simplified to (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1540199501.356 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x))))) 2)) 1540199501.356 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (sqrt (exp x))) 1540199501.356 * * [misc]simplify: iters left: 4 (7 enodes) 1540199501.358 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (sqrt (exp x))) 1540199501.358 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x))))) 2)) 1540199501.359 * * * * [misc]progress: [ 14 / 32 ] simplifiying candidate # 1540199501.359 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1540199501.359 * * [misc]simplify: iters left: 6 (6 enodes) 1540199501.361 * * [misc]simplify: iters left: 5 (10 enodes) 1540199501.364 * * [misc]simplify: iters left: 4 (16 enodes) 1540199501.369 * * [misc]simplify: iters left: 3 (18 enodes) 1540199501.372 * * [misc]simplify: iters left: 2 (23 enodes) 1540199501.378 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1540199501.378 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x)))) 2)) 1540199501.378 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (exp x)) 1540199501.378 * * [misc]simplify: iters left: 4 (6 enodes) 1540199501.380 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (exp x)) 1540199501.380 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x)))) 2)) 1540199501.380 * * * * [misc]progress: [ 15 / 32 ] simplifiying candidate # 1540199501.380 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) 1540199501.380 * * [misc]simplify: iters left: 6 (8 enodes) 1540199501.382 * * [misc]simplify: iters left: 5 (10 enodes) 1540199501.385 * [exit]simplify: Simplified to (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) 1540199501.385 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt (cos y)) (cbrt (exp x))))) 2)) 1540199501.385 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (cbrt (exp x))) 1540199501.385 * * [misc]simplify: iters left: 4 (7 enodes) 1540199501.387 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (cbrt (exp x))) 1540199501.387 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (cos y)) (cbrt (exp x))))) 2)) 1540199501.387 * * * * [misc]progress: [ 16 / 32 ] simplifiying candidate # 1540199501.388 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1540199501.388 * * [misc]simplify: iters left: 4 (7 enodes) 1540199501.390 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1540199501.390 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))))) 2)) 1540199501.390 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1540199501.390 * * [misc]simplify: iters left: 4 (7 enodes) 1540199501.392 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1540199501.392 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))))) 2)) 1540199501.392 * * * * [misc]progress: [ 17 / 32 ] simplifiying candidate # 1540199501.392 * [enter]simplify: Simplifying (/ (sqrt (cos y)) 1) 1540199501.392 * * [misc]simplify: iters left: 4 (5 enodes) 1540199501.394 * * [misc]simplify: iters left: 3 (7 enodes) 1540199501.396 * * [misc]simplify: iters left: 2 (9 enodes) 1540199501.397 * [exit]simplify: Simplified to (sqrt (cos y)) 1540199501.397 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x)))) 2)) 1540199501.398 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (exp x)) 1540199501.398 * * [misc]simplify: iters left: 4 (6 enodes) 1540199501.399 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (exp x)) 1540199501.399 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x)))) 2)) 1540199501.400 * * * * [misc]progress: [ 18 / 32 ] simplifiying candidate # 1540199501.400 * [enter]simplify: Simplifying (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1540199501.400 * * [misc]simplify: iters left: 6 (6 enodes) 1540199501.402 * * [misc]simplify: iters left: 5 (10 enodes) 1540199501.404 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (exp x))) (cbrt (exp x))) 1540199501.404 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (/ 1 (cbrt (exp x))) (cbrt (exp x))) (/ (cos y) (cbrt (exp x))))) 2)) 1540199501.404 * [enter]simplify: Simplifying (/ (cos y) (cbrt (exp x))) 1540199501.405 * * [misc]simplify: iters left: 4 (6 enodes) 1540199501.406 * [exit]simplify: Simplified to (/ (cos y) (cbrt (exp x))) 1540199501.406 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x))))) 2)) 1540199501.406 * * * * [misc]progress: [ 19 / 32 ] simplifiying candidate # 1540199501.406 * [enter]simplify: Simplifying (/ 1 (sqrt (exp x))) 1540199501.407 * * [misc]simplify: iters left: 4 (5 enodes) 1540199501.408 * * [misc]simplify: iters left: 3 (7 enodes) 1540199501.410 * [exit]simplify: Simplified to (/ 1 (sqrt (exp x))) 1540199501.410 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x))))) 2)) 1540199501.410 * [enter]simplify: Simplifying (/ (cos y) (sqrt (exp x))) 1540199501.410 * * [misc]simplify: iters left: 4 (6 enodes) 1540199501.412 * [exit]simplify: Simplified to (/ (cos y) (sqrt (exp x))) 1540199501.412 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x))))) 2)) 1540199501.412 * * * * [misc]progress: [ 20 / 32 ] simplifiying candidate # 1540199501.412 * [enter]simplify: Simplifying (/ 1 1) 1540199501.412 * * [misc]simplify: iters left: 2 (2 enodes) 1540199501.413 * * [misc]simplify: iters left: 1 (4 enodes) 1540199501.413 * [exit]simplify: Simplified to 1 1540199501.413 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* 1 (/ (cos y) (exp x)))) 2)) 1540199501.414 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1540199501.414 * * [misc]simplify: iters left: 3 (5 enodes) 1540199501.415 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1540199501.415 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* 1 (/ (cos y) (exp x)))) 2)) 1540199501.415 * * * * [misc]progress: [ 21 / 32 ] simplifiying candidate # 1540199501.415 * * * * [misc]progress: [ 22 / 32 ] simplifiying candidate # 1540199501.415 * * * * [misc]progress: [ 23 / 32 ] simplifiying candidate # 1540199501.415 * * * * [misc]progress: [ 24 / 32 ] simplifiying candidate # 1540199501.416 * [enter]simplify: Simplifying (cbrt (exp x)) 1540199501.416 * * [misc]simplify: iters left: 2 (3 enodes) 1540199501.417 * [exit]simplify: Simplified to (cbrt (exp x)) 1540199501.417 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) 2)) 1540199501.417 * * * * [misc]progress: [ 25 / 32 ] simplifiying candidate # 1540199501.417 * [enter]simplify: Simplifying (sqrt (exp x)) 1540199501.417 * * [misc]simplify: iters left: 2 (3 enodes) 1540199501.418 * [exit]simplify: Simplified to (sqrt (exp x)) 1540199501.418 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2)) 1540199501.418 * * * * [misc]progress: [ 26 / 32 ] simplifiying candidate # 1540199501.419 * [enter]simplify: Simplifying (exp x) 1540199501.419 * * [misc]simplify: iters left: 1 (2 enodes) 1540199501.419 * [exit]simplify: Simplified to (exp x) 1540199501.419 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (/ (cos y) 1) (exp x))) 2)) 1540199501.419 * * * * [misc]progress: [ 27 / 32 ] simplifiying candidate # 1540199501.419 * [enter]simplify: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1540199501.420 * * [misc]simplify: iters left: 4 (4 enodes) 1540199501.421 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1540199501.421 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (/ (* (cbrt (cos y)) (cbrt (cos y))) (/ (exp x) (cbrt (cos y))))) 2)) 1540199501.421 * * * * [misc]progress: [ 28 / 32 ] simplifiying candidate # 1540199501.421 * [enter]simplify: Simplifying (sqrt (cos y)) 1540199501.421 * * [misc]simplify: iters left: 2 (3 enodes) 1540199501.422 * [exit]simplify: Simplified to (sqrt (cos y)) 1540199501.422 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y))))) 2)) 1540199501.422 * * * * [misc]progress: [ 29 / 32 ] simplifiying candidate # 1540199501.422 * * * * [misc]progress: [ 30 / 32 ] simplifiying candidate # 1540199501.422 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x)) 1540199501.422 * * [misc]simplify: iters left: 6 (9 enodes) 1540199501.425 * * [misc]simplify: iters left: 5 (19 enodes) 1540199501.431 * * [misc]simplify: iters left: 4 (32 enodes) 1540199501.442 * * [misc]simplify: iters left: 3 (58 enodes) 1540199501.463 * * [misc]simplify: iters left: 2 (107 enodes) 1540199501.493 * * [misc]simplify: iters left: 1 (139 enodes) 1540199501.542 * [exit]simplify: Simplified to (fma y (* y -1/2) (- 1 x)) 1540199501.542 * [misc]simplify: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (fma y (* y -1/2) (- 1 x))) 2)) 1540199501.542 * * * * [misc]progress: [ 31 / 32 ] simplifiying candidate # 1540199501.542 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1540199501.543 * * [misc]simplify: iters left: 3 (5 enodes) 1540199501.544 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1540199501.544 * [misc]simplify: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1540199501.544 * * * * [misc]progress: [ 32 / 32 ] simplifiying candidate # 1540199501.544 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1540199501.544 * * [misc]simplify: iters left: 3 (5 enodes) 1540199501.546 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1540199501.546 * [misc]simplify: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1540199501.546 * * * [misc]progress: adding candidates to table 1540199501.956 * [misc]progress: [Phase 3 of 3] Extracting. 1540199501.958 * [enter]simplify: Simplifying (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 1540199501.959 * * [misc]simplify: iters left: 6 (8 enodes) 1540199501.959 * [exit]simplify: Simplified to (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 1540199501.959 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540199502.011 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540199502.015 * * * * [misc]points: Setting MPFR precision to 64 1540199502.017 * * * * [misc]points: Setting MPFR precision to 320 1540199502.018 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540199502.023 * * * * [misc]points: Setting MPFR precision to 64 1540199502.026 * * * * [misc]points: Setting MPFR precision to 320 1540199502.029 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540199502.032 * * * * [misc]points: Setting MPFR precision to 64 1540199502.035 * * * * [misc]points: Setting MPFR precision to 320 1540199502.038 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540199502.040 * * * * [misc]points: Setting MPFR precision to 64 1540199502.046 * * * * [misc]points: Setting MPFR precision to 320 1540199502.052 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540199502.055 * * * * [misc]points: Setting MPFR precision to 64 1540199502.087 * * * * [misc]points: Setting MPFR precision to 320 1540199502.112 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540199502.117 * * * * [misc]points: Setting MPFR precision to 64 1540199502.141 * * * * [misc]points: Setting MPFR precision to 320 1540199502.184 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540199502.188 * * * * [misc]points: Setting MPFR precision to 64 1540199502.239 * * * * [misc]points: Setting MPFR precision to 320 1540199502.336 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540199502.339 * * * * [misc]points: Setting MPFR precision to 64 1540199502.448 * * * * [misc]points: Setting MPFR precision to 320 1540199502.588 * * * * [misc]points: Computing exacts for 8000 points 1540199502.591 * * * * [misc]points: Setting MPFR precision to 64 1540199503.588 * * * * [misc]points: Setting MPFR precision to 320 1540199504.340 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199504.342 * * * * [misc]points: Sampling 3910 additional inputs, on iter 1 have 4090 / 8000 1540199504.362 * * * * [misc]points: Computing exacts on every 244 of 3910 points to ramp up precision 1540199504.364 * * * * [misc]points: Setting MPFR precision to 64 1540199504.365 * * * * [misc]points: Setting MPFR precision to 320 1540199504.366 * * * * [misc]points: Computing exacts on every 122 of 3910 points to ramp up precision 1540199504.368 * * * * [misc]points: Setting MPFR precision to 64 1540199504.371 * * * * [misc]points: Setting MPFR precision to 320 1540199504.374 * * * * [misc]points: Computing exacts on every 61 of 3910 points to ramp up precision 1540199504.378 * * * * [misc]points: Setting MPFR precision to 64 1540199504.383 * * * * [misc]points: Setting MPFR precision to 320 1540199504.388 * * * * [misc]points: Computing exacts on every 30 of 3910 points to ramp up precision 1540199504.393 * * * * [misc]points: Setting MPFR precision to 64 1540199504.403 * * * * [misc]points: Setting MPFR precision to 320 1540199504.415 * * * * [misc]points: Computing exacts on every 15 of 3910 points to ramp up precision 1540199504.419 * * * * [misc]points: Setting MPFR precision to 64 1540199504.452 * * * * [misc]points: Setting MPFR precision to 320 1540199504.465 * * * * [misc]points: Computing exacts on every 7 of 3910 points to ramp up precision 1540199504.468 * * * * [misc]points: Setting MPFR precision to 64 1540199504.502 * * * * [misc]points: Setting MPFR precision to 320 1540199504.527 * * * * [misc]points: Computing exacts on every 3 of 3910 points to ramp up precision 1540199504.531 * * * * [misc]points: Setting MPFR precision to 64 1540199504.613 * * * * [misc]points: Setting MPFR precision to 320 1540199504.721 * * * * [misc]points: Computing exacts for 3910 points 1540199504.724 * * * * [misc]points: Setting MPFR precision to 64 1540199504.967 * * * * [misc]points: Setting MPFR precision to 320 1540199505.394 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199505.395 * * * * [misc]points: Sampling 1925 additional inputs, on iter 2 have 6075 / 8000 1540199505.408 * * * * [misc]points: Computing exacts on every 120 of 1925 points to ramp up precision 1540199505.410 * * * * [misc]points: Setting MPFR precision to 64 1540199505.411 * * * * [misc]points: Setting MPFR precision to 320 1540199505.412 * * * * [misc]points: Computing exacts on every 60 of 1925 points to ramp up precision 1540199505.414 * * * * [misc]points: Setting MPFR precision to 64 1540199505.415 * * * * [misc]points: Setting MPFR precision to 320 1540199505.417 * * * * [misc]points: Computing exacts on every 30 of 1925 points to ramp up precision 1540199505.419 * * * * [misc]points: Setting MPFR precision to 64 1540199505.422 * * * * [misc]points: Setting MPFR precision to 320 1540199505.425 * * * * [misc]points: Computing exacts on every 15 of 1925 points to ramp up precision 1540199505.428 * * * * [misc]points: Setting MPFR precision to 64 1540199505.433 * * * * [misc]points: Setting MPFR precision to 320 1540199505.439 * * * * [misc]points: Computing exacts on every 7 of 1925 points to ramp up precision 1540199505.441 * * * * [misc]points: Setting MPFR precision to 64 1540199505.459 * * * * [misc]points: Setting MPFR precision to 320 1540199505.481 * * * * [misc]points: Computing exacts on every 3 of 1925 points to ramp up precision 1540199505.483 * * * * [misc]points: Setting MPFR precision to 64 1540199505.840 * * * * [misc]points: Setting MPFR precision to 320 1540199505.886 * * * * [misc]points: Computing exacts for 1925 points 1540199505.891 * * * * [misc]points: Setting MPFR precision to 64 1540199506.023 * * * * [misc]points: Setting MPFR precision to 320 1540199506.222 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.222 * * * * [misc]points: Sampling 943 additional inputs, on iter 3 have 7057 / 8000 1540199506.226 * * * * [misc]points: Computing exacts on every 58 of 943 points to ramp up precision 1540199506.229 * * * * [misc]points: Setting MPFR precision to 64 1540199506.230 * * * * [misc]points: Setting MPFR precision to 320 1540199506.231 * * * * [misc]points: Computing exacts on every 29 of 943 points to ramp up precision 1540199506.233 * * * * [misc]points: Setting MPFR precision to 64 1540199506.235 * * * * [misc]points: Setting MPFR precision to 320 1540199506.236 * * * * [misc]points: Computing exacts on every 14 of 943 points to ramp up precision 1540199506.238 * * * * [misc]points: Setting MPFR precision to 64 1540199506.241 * * * * [misc]points: Setting MPFR precision to 320 1540199506.246 * * * * [misc]points: Computing exacts on every 7 of 943 points to ramp up precision 1540199506.293 * * * * [misc]points: Setting MPFR precision to 64 1540199506.307 * * * * [misc]points: Setting MPFR precision to 320 1540199506.315 * * * * [misc]points: Computing exacts on every 3 of 943 points to ramp up precision 1540199506.318 * * * * [misc]points: Setting MPFR precision to 64 1540199506.327 * * * * [misc]points: Setting MPFR precision to 320 1540199506.339 * * * * [misc]points: Computing exacts for 943 points 1540199506.342 * * * * [misc]points: Setting MPFR precision to 64 1540199506.392 * * * * [misc]points: Setting MPFR precision to 320 1540199506.511 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.512 * * * * [misc]points: Sampling 473 additional inputs, on iter 4 have 7527 / 8000 1540199506.515 * * * * [misc]points: Computing exacts on every 29 of 473 points to ramp up precision 1540199506.520 * * * * [misc]points: Setting MPFR precision to 64 1540199506.521 * * * * [misc]points: Setting MPFR precision to 320 1540199506.528 * * * * [misc]points: Computing exacts on every 14 of 473 points to ramp up precision 1540199506.532 * * * * [misc]points: Setting MPFR precision to 64 1540199506.535 * * * * [misc]points: Setting MPFR precision to 320 1540199506.537 * * * * [misc]points: Computing exacts on every 7 of 473 points to ramp up precision 1540199506.541 * * * * [misc]points: Setting MPFR precision to 64 1540199506.545 * * * * [misc]points: Setting MPFR precision to 320 1540199506.548 * * * * [misc]points: Computing exacts on every 3 of 473 points to ramp up precision 1540199506.550 * * * * [misc]points: Setting MPFR precision to 64 1540199506.555 * * * * [misc]points: Setting MPFR precision to 320 1540199506.561 * * * * [misc]points: Computing exacts for 473 points 1540199506.563 * * * * [misc]points: Setting MPFR precision to 64 1540199506.594 * * * * [misc]points: Setting MPFR precision to 320 1540199506.629 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.629 * * * * [misc]points: Sampling 221 additional inputs, on iter 5 have 7779 / 8000 1540199506.631 * * * * [misc]points: Computing exacts on every 13 of 221 points to ramp up precision 1540199506.633 * * * * [misc]points: Setting MPFR precision to 64 1540199506.634 * * * * [misc]points: Setting MPFR precision to 320 1540199506.634 * * * * [misc]points: Computing exacts on every 6 of 221 points to ramp up precision 1540199506.636 * * * * [misc]points: Setting MPFR precision to 64 1540199506.638 * * * * [misc]points: Setting MPFR precision to 320 1540199506.639 * * * * [misc]points: Computing exacts on every 3 of 221 points to ramp up precision 1540199506.642 * * * * [misc]points: Setting MPFR precision to 64 1540199506.644 * * * * [misc]points: Setting MPFR precision to 320 1540199506.646 * * * * [misc]points: Computing exacts for 221 points 1540199506.649 * * * * [misc]points: Setting MPFR precision to 64 1540199506.682 * * * * [misc]points: Setting MPFR precision to 320 1540199506.695 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.695 * * * * [misc]points: Sampling 119 additional inputs, on iter 6 have 7881 / 8000 1540199506.695 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1540199506.700 * * * * [misc]points: Setting MPFR precision to 64 1540199506.701 * * * * [misc]points: Setting MPFR precision to 320 1540199506.703 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1540199506.707 * * * * [misc]points: Setting MPFR precision to 64 1540199506.709 * * * * [misc]points: Setting MPFR precision to 320 1540199506.712 * * * * [misc]points: Computing exacts for 119 points 1540199506.716 * * * * [misc]points: Setting MPFR precision to 64 1540199506.726 * * * * [misc]points: Setting MPFR precision to 320 1540199506.737 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.737 * * * * [misc]points: Sampling 65 additional inputs, on iter 7 have 7935 / 8000 1540199506.738 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1540199506.742 * * * * [misc]points: Setting MPFR precision to 64 1540199506.744 * * * * [misc]points: Setting MPFR precision to 320 1540199506.745 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1540199506.750 * * * * [misc]points: Setting MPFR precision to 64 1540199506.751 * * * * [misc]points: Setting MPFR precision to 320 1540199506.753 * * * * [misc]points: Computing exacts for 65 points 1540199506.755 * * * * [misc]points: Setting MPFR precision to 64 1540199506.758 * * * * [misc]points: Setting MPFR precision to 320 1540199506.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.761 * * * * [misc]points: Sampling 35 additional inputs, on iter 8 have 7965 / 8000 1540199506.761 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540199506.764 * * * * [misc]points: Setting MPFR precision to 64 1540199506.764 * * * * [misc]points: Setting MPFR precision to 320 1540199506.765 * * * * [misc]points: Computing exacts for 35 points 1540199506.767 * * * * [misc]points: Setting MPFR precision to 64 1540199506.769 * * * * [misc]points: Setting MPFR precision to 320 1540199506.771 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.771 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 7980 / 8000 1540199506.771 * * * * [misc]points: Computing exacts for 20 points 1540199506.773 * * * * [misc]points: Setting MPFR precision to 64 1540199506.774 * * * * [misc]points: Setting MPFR precision to 320 1540199506.775 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.775 * * * * [misc]points: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 1540199506.775 * * * * [misc]points: Computing exacts for 11 points 1540199506.777 * * * * [misc]points: Setting MPFR precision to 64 1540199506.778 * * * * [misc]points: Setting MPFR precision to 320 1540199506.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.779 * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 7992 / 8000 1540199506.779 * * * * [misc]points: Computing exacts for 8 points 1540199506.782 * * * * [misc]points: Setting MPFR precision to 64 1540199506.783 * * * * [misc]points: Setting MPFR precision to 320 1540199506.784 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.784 * * * * [misc]points: Sampling 6 additional inputs, on iter 12 have 7994 / 8000 1540199506.784 * * * * [misc]points: Computing exacts for 6 points 1540199506.788 * * * * [misc]points: Setting MPFR precision to 64 1540199506.789 * * * * [misc]points: Setting MPFR precision to 320 1540199506.789 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.789 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7998 / 8000 1540199506.789 * * * * [misc]points: Computing exacts for 4 points 1540199506.794 * * * * [misc]points: Setting MPFR precision to 64 1540199506.794 * * * * [misc]points: Setting MPFR precision to 320 1540199506.794 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199506.794 * * * * [exit]points: Sampled 8001 points with exact outputs 1540199507.118 * [misc]regime-testing: Baseline error score: 0.008573120312590145 1540199507.118 * [misc]regime-testing: End program error score: 0.008573120312590145 1540199507.120 * [misc]regime-testing: Oracle error score: 0.008573120312590145