1554301916.761 * [misc]progress: [Phase 1 of 3] Setting up. 1554301916.761 * * * [misc]progress: [1/2] Preparing points 1554301916.761 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554301916.764 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1554301916.767 * * * * [misc]points: Setting MPFR precision to 64 1554301916.768 * * * * [misc]points: Setting MPFR precision to 320 1554301916.770 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1554301916.774 * * * * [misc]points: Setting MPFR precision to 64 1554301916.776 * * * * [misc]points: Setting MPFR precision to 320 1554301916.778 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1554301916.782 * * * * [misc]points: Setting MPFR precision to 64 1554301916.785 * * * * [misc]points: Setting MPFR precision to 320 1554301916.789 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1554301916.793 * * * * [misc]points: Setting MPFR precision to 64 1554301916.800 * * * * [misc]points: Setting MPFR precision to 320 1554301916.807 * * * * [misc]points: Computing exacts for 256 points 1554301916.812 * * * * [misc]points: Setting MPFR precision to 64 1554301916.833 * * * * [misc]points: Setting MPFR precision to 320 1554301916.852 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301916.853 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1554301916.853 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1554301916.856 * * * * [misc]points: Setting MPFR precision to 64 1554301916.856 * * * * [misc]points: Setting MPFR precision to 320 1554301916.857 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1554301916.859 * * * * [misc]points: Setting MPFR precision to 64 1554301916.860 * * * * [misc]points: Setting MPFR precision to 320 1554301916.861 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1554301916.863 * * * * [misc]points: Setting MPFR precision to 64 1554301916.865 * * * * [misc]points: Setting MPFR precision to 320 1554301916.867 * * * * [misc]points: Computing exacts for 128 points 1554301916.869 * * * * [misc]points: Setting MPFR precision to 64 1554301916.894 * * * * [misc]points: Setting MPFR precision to 320 1554301916.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301916.899 * * * * [misc]points: Sampling 58 additional inputs, on iter 2 have 198 / 256 1554301916.901 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1554301916.903 * * * * [misc]points: Setting MPFR precision to 64 1554301916.904 * * * * [misc]points: Setting MPFR precision to 320 1554301916.905 * * * * [misc]points: Computing exacts for 58 points 1554301916.907 * * * * [misc]points: Setting MPFR precision to 64 1554301916.909 * * * * [misc]points: Setting MPFR precision to 320 1554301916.912 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301916.912 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1554301916.912 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1554301916.914 * * * * [misc]points: Setting MPFR precision to 64 1554301916.915 * * * * [misc]points: Setting MPFR precision to 320 1554301916.915 * * * * [misc]points: Computing exacts for 32 points 1554301916.917 * * * * [misc]points: Setting MPFR precision to 64 1554301916.919 * * * * [misc]points: Setting MPFR precision to 320 1554301916.920 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301916.920 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1554301916.920 * * * * [misc]points: Computing exacts for 15 points 1554301916.922 * * * * [misc]points: Setting MPFR precision to 64 1554301916.923 * * * * [misc]points: Setting MPFR precision to 320 1554301916.924 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301916.924 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1554301916.924 * * * * [misc]points: Computing exacts for 5 points 1554301916.927 * * * * [misc]points: Setting MPFR precision to 64 1554301916.927 * * * * [misc]points: Setting MPFR precision to 320 1554301916.928 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301916.928 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 254 / 256 1554301916.928 * * * * [misc]points: Computing exacts for 4 points 1554301916.932 * * * * [misc]points: Setting MPFR precision to 64 1554301916.933 * * * * [misc]points: Setting MPFR precision to 320 1554301916.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301916.933 * * * * [exit]points: Sampled 257 points with exact outputs 1554301916.933 * * * [misc]progress: [2/2] Setting up program. 1554301916.941 * [misc]progress: [Phase 2 of 3] Improving. 1554301916.941 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554301916.942 * [enter]simplify: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 1554301916.942 * * [misc]simplify: iters left: 6 (16 enodes) 1554301916.950 * * [misc]simplify: iters left: 5 (58 enodes) 1554301916.968 * * [misc]simplify: iters left: 4 (88 enodes) 1554301916.995 * * [misc]simplify: iters left: 3 (132 enodes) 1554301917.059 * * [misc]simplify: iters left: 2 (204 enodes) 1554301917.112 * * [misc]simplify: iters left: 1 (275 enodes) 1554301917.169 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.169 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1554301917.169 * * [misc]simplify: Extracting #2: cost 23 inf + 2 1554301917.170 * * [misc]simplify: Extracting #3: cost 52 inf + 64 1554301917.170 * * [misc]simplify: Extracting #4: cost 85 inf + 838 1554301917.172 * * [misc]simplify: Extracting #5: cost 39 inf + 9858 1554301917.175 * * [misc]simplify: Extracting #6: cost 3 inf + 16112 1554301917.178 * * [misc]simplify: Extracting #7: cost 0 inf + 16865 1554301917.181 * * [misc]simplify: Extracting #8: cost 0 inf + 16825 1554301917.185 * [exit]simplify: Simplified to (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 1554301917.185 * [misc]simplify: Simplified (2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1554301917.194 * * [misc]progress: iteration 1 / 4 1554301917.194 * * * [misc]progress: picking best candidate 1554301917.199 * * * * [misc]pick: Picked # 1554301917.199 * * * [misc]progress: localizing error 1554301917.217 * * * [misc]progress: generating rewritten candidates 1554301917.217 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 3) 1554301917.221 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1554301917.222 * * * [misc]progress: generating series expansions 1554301917.222 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 3) 1554301917.222 * [misc]backup-simplify: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 1554301917.222 * [misc]approximate: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 1554301917.222 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in x 1554301917.222 * [misc]taylor: Taking taylor expansion of (cos y) in x 1554301917.222 * [misc]taylor: Taking taylor expansion of y in x 1554301917.222 * [misc]backup-simplify: Simplify y into y 1554301917.222 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1554301917.222 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1554301917.223 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.223 * [misc]taylor: Taking taylor expansion of x in x 1554301917.223 * [misc]backup-simplify: Simplify 0 into 0 1554301917.223 * [misc]backup-simplify: Simplify 1 into 1 1554301917.223 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.223 * [misc]backup-simplify: Simplify (* (cos y) 1) into (cos y) 1554301917.223 * [misc]backup-simplify: Simplify (* (sin y) 0) into 0 1554301917.223 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.223 * [misc]backup-simplify: Simplify (+ (cos y) 0) into (cos y) 1554301917.223 * [misc]backup-simplify: Simplify (/ (cos y) 1) into (cos y) 1554301917.223 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1554301917.223 * [misc]taylor: Taking taylor expansion of (cos y) in y 1554301917.223 * [misc]taylor: Taking taylor expansion of y in y 1554301917.223 * [misc]backup-simplify: Simplify 0 into 0 1554301917.223 * [misc]backup-simplify: Simplify 1 into 1 1554301917.223 * [misc]taylor: Taking taylor expansion of (exp x) in y 1554301917.223 * [misc]taylor: Taking taylor expansion of x in y 1554301917.223 * [misc]backup-simplify: Simplify x into x 1554301917.223 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1554301917.223 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1554301917.224 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1554301917.224 * [misc]taylor: Taking taylor expansion of (cos y) in y 1554301917.224 * [misc]taylor: Taking taylor expansion of y in y 1554301917.224 * [misc]backup-simplify: Simplify 0 into 0 1554301917.224 * [misc]backup-simplify: Simplify 1 into 1 1554301917.224 * [misc]taylor: Taking taylor expansion of (exp x) in y 1554301917.224 * [misc]taylor: Taking taylor expansion of x in y 1554301917.224 * [misc]backup-simplify: Simplify x into x 1554301917.224 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1554301917.224 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1554301917.224 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1554301917.224 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.224 * [misc]taylor: Taking taylor expansion of x in x 1554301917.224 * [misc]backup-simplify: Simplify 0 into 0 1554301917.224 * [misc]backup-simplify: Simplify 1 into 1 1554301917.224 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.224 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.224 * [misc]backup-simplify: Simplify 1 into 1 1554301917.225 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.225 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.226 * [misc]backup-simplify: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 1554301917.226 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.226 * [misc]backup-simplify: Simplify 0 into 0 1554301917.226 * [misc]backup-simplify: Simplify 0 into 0 1554301917.227 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554301917.227 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554301917.227 * [misc]backup-simplify: Simplify -1 into -1 1554301917.227 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1554301917.228 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.229 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 1554301917.229 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 1554301917.229 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 1554301917.229 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554301917.229 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554301917.229 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1554301917.229 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.229 * [misc]taylor: Taking taylor expansion of x in x 1554301917.229 * [misc]backup-simplify: Simplify 0 into 0 1554301917.229 * [misc]backup-simplify: Simplify 1 into 1 1554301917.229 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.229 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.229 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1554301917.229 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1554301917.229 * [misc]backup-simplify: Simplify -1/2 into -1/2 1554301917.229 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 1554301917.229 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.229 * [misc]approximate: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 1554301917.230 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1554301917.230 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1554301917.230 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1554301917.230 * [misc]taylor: Taking taylor expansion of y in x 1554301917.230 * [misc]backup-simplify: Simplify y into y 1554301917.230 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1554301917.230 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.230 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1554301917.230 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554301917.230 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554301917.230 * [misc]taylor: Taking taylor expansion of x in x 1554301917.230 * [misc]backup-simplify: Simplify 0 into 0 1554301917.230 * [misc]backup-simplify: Simplify 1 into 1 1554301917.230 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.230 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.230 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1554301917.230 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1554301917.230 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.230 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1554301917.230 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.230 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1554301917.230 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1554301917.230 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1554301917.230 * [misc]taylor: Taking taylor expansion of y in y 1554301917.230 * [misc]backup-simplify: Simplify 0 into 0 1554301917.230 * [misc]backup-simplify: Simplify 1 into 1 1554301917.230 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.231 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.231 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1554301917.231 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1554301917.231 * [misc]taylor: Taking taylor expansion of x in y 1554301917.231 * [misc]backup-simplify: Simplify x into x 1554301917.231 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1554301917.231 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.231 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.231 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1554301917.231 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1554301917.231 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1554301917.231 * [misc]taylor: Taking taylor expansion of y in y 1554301917.231 * [misc]backup-simplify: Simplify 0 into 0 1554301917.231 * [misc]backup-simplify: Simplify 1 into 1 1554301917.231 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.231 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.231 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1554301917.231 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1554301917.231 * [misc]taylor: Taking taylor expansion of x in y 1554301917.231 * [misc]backup-simplify: Simplify x into x 1554301917.231 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1554301917.231 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.231 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.231 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1554301917.231 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1554301917.231 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1554301917.231 * [misc]taylor: Taking taylor expansion of y in x 1554301917.231 * [misc]backup-simplify: Simplify y into y 1554301917.231 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1554301917.231 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.232 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1554301917.232 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554301917.232 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554301917.232 * [misc]taylor: Taking taylor expansion of x in x 1554301917.232 * [misc]backup-simplify: Simplify 0 into 0 1554301917.232 * [misc]backup-simplify: Simplify 1 into 1 1554301917.232 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.232 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.232 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1554301917.232 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1554301917.232 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.232 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1554301917.232 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.232 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.232 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1554301917.233 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.234 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1554301917.234 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.234 * [misc]backup-simplify: Simplify 0 into 0 1554301917.234 * [misc]backup-simplify: Simplify 0 into 0 1554301917.234 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.234 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1554301917.235 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1554301917.236 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554301917.236 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1554301917.236 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.236 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.237 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1554301917.237 * [misc]backup-simplify: Simplify 0 into 0 1554301917.237 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.239 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.239 * [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 1554301917.239 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.239 * [misc]backup-simplify: Simplify 0 into 0 1554301917.239 * [misc]backup-simplify: Simplify 0 into 0 1554301917.239 * [misc]backup-simplify: Simplify 0 into 0 1554301917.240 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554301917.240 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1554301917.241 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554301917.242 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554301917.242 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1554301917.242 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.242 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.243 * [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 1554301917.243 * [misc]backup-simplify: Simplify 0 into 0 1554301917.243 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.246 * [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 1554301917.247 * [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 1554301917.247 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.247 * [misc]backup-simplify: Simplify 0 into 0 1554301917.247 * [misc]backup-simplify: Simplify 0 into 0 1554301917.247 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 1554301917.247 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.247 * [misc]approximate: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 1554301917.247 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1554301917.247 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1554301917.247 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1554301917.247 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.247 * [misc]backup-simplify: Simplify -1 into -1 1554301917.247 * [misc]taylor: Taking taylor expansion of y in x 1554301917.247 * [misc]backup-simplify: Simplify y into y 1554301917.247 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1554301917.247 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.254 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1554301917.254 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554301917.254 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554301917.254 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.254 * [misc]backup-simplify: Simplify -1 into -1 1554301917.254 * [misc]taylor: Taking taylor expansion of x in x 1554301917.254 * [misc]backup-simplify: Simplify 0 into 0 1554301917.254 * [misc]backup-simplify: Simplify 1 into 1 1554301917.254 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.254 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.254 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1554301917.255 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1554301917.255 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.255 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1554301917.255 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.255 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1554301917.255 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1554301917.255 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1554301917.255 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.255 * [misc]backup-simplify: Simplify -1 into -1 1554301917.255 * [misc]taylor: Taking taylor expansion of y in y 1554301917.255 * [misc]backup-simplify: Simplify 0 into 0 1554301917.255 * [misc]backup-simplify: Simplify 1 into 1 1554301917.255 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.255 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.255 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1554301917.256 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1554301917.256 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.256 * [misc]backup-simplify: Simplify -1 into -1 1554301917.256 * [misc]taylor: Taking taylor expansion of x in y 1554301917.256 * [misc]backup-simplify: Simplify x into x 1554301917.256 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1554301917.256 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.256 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.256 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1554301917.256 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1554301917.256 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1554301917.256 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.256 * [misc]backup-simplify: Simplify -1 into -1 1554301917.256 * [misc]taylor: Taking taylor expansion of y in y 1554301917.256 * [misc]backup-simplify: Simplify 0 into 0 1554301917.256 * [misc]backup-simplify: Simplify 1 into 1 1554301917.256 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.256 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.256 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1554301917.256 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1554301917.256 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.256 * [misc]backup-simplify: Simplify -1 into -1 1554301917.256 * [misc]taylor: Taking taylor expansion of x in y 1554301917.256 * [misc]backup-simplify: Simplify x into x 1554301917.257 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1554301917.257 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.257 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.257 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1554301917.257 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1554301917.257 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1554301917.257 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.257 * [misc]backup-simplify: Simplify -1 into -1 1554301917.257 * [misc]taylor: Taking taylor expansion of y in x 1554301917.257 * [misc]backup-simplify: Simplify y into y 1554301917.257 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1554301917.257 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.257 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1554301917.257 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554301917.257 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554301917.257 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.257 * [misc]backup-simplify: Simplify -1 into -1 1554301917.257 * [misc]taylor: Taking taylor expansion of x in x 1554301917.257 * [misc]backup-simplify: Simplify 0 into 0 1554301917.257 * [misc]backup-simplify: Simplify 1 into 1 1554301917.258 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.258 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.258 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1554301917.258 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1554301917.258 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.258 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1554301917.258 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.258 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.259 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1554301917.260 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.260 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1554301917.260 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.260 * [misc]backup-simplify: Simplify 0 into 0 1554301917.260 * [misc]backup-simplify: Simplify 0 into 0 1554301917.261 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.261 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1554301917.261 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1554301917.262 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554301917.262 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1554301917.263 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.263 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.263 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1554301917.263 * [misc]backup-simplify: Simplify 0 into 0 1554301917.263 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.265 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.265 * [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 1554301917.265 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.266 * [misc]backup-simplify: Simplify 0 into 0 1554301917.266 * [misc]backup-simplify: Simplify 0 into 0 1554301917.266 * [misc]backup-simplify: Simplify 0 into 0 1554301917.267 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554301917.267 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1554301917.267 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554301917.268 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554301917.268 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1554301917.269 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.269 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.269 * [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 1554301917.269 * [misc]backup-simplify: Simplify 0 into 0 1554301917.269 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.273 * [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 1554301917.273 * [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 1554301917.273 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.273 * [misc]backup-simplify: Simplify 0 into 0 1554301917.273 * [misc]backup-simplify: Simplify 0 into 0 1554301917.274 * [misc]backup-simplify: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 1554301917.274 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1554301917.274 * [misc]backup-simplify: Simplify (fma (cos y) (exp x) (/ (cos y) (exp x))) into (fma (cos y) (exp x) (/ (cos y) (exp x))) 1554301917.274 * [misc]approximate: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in (y x) around 0 1554301917.274 * [misc]taylor: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in x 1554301917.274 * [misc]taylor: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 1554301917.274 * [misc]taylor: Taking taylor expansion of (* (cos y) (exp x)) in x 1554301917.274 * [misc]taylor: Taking taylor expansion of (cos y) in x 1554301917.274 * [misc]taylor: Taking taylor expansion of y in x 1554301917.274 * [misc]backup-simplify: Simplify y into y 1554301917.274 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1554301917.274 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1554301917.274 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.274 * [misc]taylor: Taking taylor expansion of x in x 1554301917.274 * [misc]backup-simplify: Simplify 0 into 0 1554301917.274 * [misc]backup-simplify: Simplify 1 into 1 1554301917.274 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.274 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in x 1554301917.275 * [misc]taylor: Taking taylor expansion of (cos y) in x 1554301917.275 * [misc]taylor: Taking taylor expansion of y in x 1554301917.275 * [misc]backup-simplify: Simplify y into y 1554301917.275 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1554301917.275 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1554301917.275 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.275 * [misc]taylor: Taking taylor expansion of x in x 1554301917.275 * [misc]backup-simplify: Simplify 0 into 0 1554301917.275 * [misc]backup-simplify: Simplify 1 into 1 1554301917.275 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.275 * [misc]backup-simplify: Simplify (* (cos y) 1) into (cos y) 1554301917.275 * [misc]backup-simplify: Simplify (* (sin y) 0) into 0 1554301917.275 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.275 * [misc]backup-simplify: Simplify (+ (cos y) 0) into (cos y) 1554301917.275 * [misc]backup-simplify: Simplify (/ (cos y) 1) into (cos y) 1554301917.275 * [misc]taylor: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in y 1554301917.275 * [misc]taylor: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 1554301917.276 * [misc]taylor: Taking taylor expansion of (* (cos y) (exp x)) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of (cos y) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of y in y 1554301917.276 * [misc]backup-simplify: Simplify 0 into 0 1554301917.276 * [misc]backup-simplify: Simplify 1 into 1 1554301917.276 * [misc]taylor: Taking taylor expansion of (exp x) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of x in y 1554301917.276 * [misc]backup-simplify: Simplify x into x 1554301917.276 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1554301917.276 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of (cos y) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of y in y 1554301917.276 * [misc]backup-simplify: Simplify 0 into 0 1554301917.276 * [misc]backup-simplify: Simplify 1 into 1 1554301917.276 * [misc]taylor: Taking taylor expansion of (exp x) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of x in y 1554301917.276 * [misc]backup-simplify: Simplify x into x 1554301917.276 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1554301917.276 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1554301917.276 * [misc]taylor: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in y 1554301917.276 * [misc]taylor: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 1554301917.276 * [misc]taylor: Taking taylor expansion of (* (cos y) (exp x)) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of (cos y) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of y in y 1554301917.276 * [misc]backup-simplify: Simplify 0 into 0 1554301917.276 * [misc]backup-simplify: Simplify 1 into 1 1554301917.276 * [misc]taylor: Taking taylor expansion of (exp x) in y 1554301917.276 * [misc]taylor: Taking taylor expansion of x in y 1554301917.276 * [misc]backup-simplify: Simplify x into x 1554301917.277 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1554301917.277 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1554301917.277 * [misc]taylor: Taking taylor expansion of (cos y) in y 1554301917.277 * [misc]taylor: Taking taylor expansion of y in y 1554301917.277 * [misc]backup-simplify: Simplify 0 into 0 1554301917.277 * [misc]backup-simplify: Simplify 1 into 1 1554301917.277 * [misc]taylor: Taking taylor expansion of (exp x) in y 1554301917.277 * [misc]taylor: Taking taylor expansion of x in y 1554301917.277 * [misc]backup-simplify: Simplify x into x 1554301917.277 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1554301917.277 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1554301917.277 * [misc]backup-simplify: Simplify (* 1 (exp x)) into (exp x) 1554301917.277 * [misc]backup-simplify: Simplify (+ (exp x) (/ 1 (exp x))) into (+ (exp x) (/ 1 (exp x))) 1554301917.277 * [misc]taylor: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 1554301917.277 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.277 * [misc]taylor: Taking taylor expansion of x in x 1554301917.277 * [misc]backup-simplify: Simplify 0 into 0 1554301917.277 * [misc]backup-simplify: Simplify 1 into 1 1554301917.277 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.277 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1554301917.277 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.277 * [misc]taylor: Taking taylor expansion of x in x 1554301917.277 * [misc]backup-simplify: Simplify 0 into 0 1554301917.277 * [misc]backup-simplify: Simplify 1 into 1 1554301917.277 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.278 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.278 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554301917.278 * [misc]backup-simplify: Simplify 2 into 2 1554301917.279 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.279 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.279 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (exp x))) into 0 1554301917.280 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.281 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.281 * [misc]backup-simplify: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 1554301917.281 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.281 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.281 * [misc]backup-simplify: Simplify 0 into 0 1554301917.281 * [misc]backup-simplify: Simplify 0 into 0 1554301917.283 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554301917.285 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554301917.285 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554301917.285 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554301917.285 * [misc]backup-simplify: Simplify 0 into 0 1554301917.287 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.288 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1554301917.289 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* (- 1/2) (exp x)))) into (- (* 1/2 (exp x))) 1554301917.290 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1554301917.292 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.292 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 1554301917.293 * [misc]backup-simplify: Simplify (+ (- (* 1/2 (exp x))) (- (* 1/2 (/ 1 (exp x))))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) 1554301917.293 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x 1554301917.293 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x 1554301917.293 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp x)) in x 1554301917.293 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554301917.293 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554301917.293 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.293 * [misc]taylor: Taking taylor expansion of x in x 1554301917.293 * [misc]backup-simplify: Simplify 0 into 0 1554301917.293 * [misc]backup-simplify: Simplify 1 into 1 1554301917.293 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.293 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 1554301917.293 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554301917.293 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554301917.293 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1554301917.293 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554301917.293 * [misc]taylor: Taking taylor expansion of x in x 1554301917.293 * [misc]backup-simplify: Simplify 0 into 0 1554301917.293 * [misc]backup-simplify: Simplify 1 into 1 1554301917.293 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301917.294 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.294 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1554301917.294 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1554301917.294 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1554301917.294 * [misc]backup-simplify: Simplify (- 1) into -1 1554301917.294 * [misc]backup-simplify: Simplify -1 into -1 1554301917.294 * [misc]backup-simplify: Simplify 0 into 0 1554301917.298 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554301917.300 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554301917.301 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 1554301917.301 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1554301917.301 * [misc]backup-simplify: Simplify 1 into 1 1554301917.301 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2)) 1554301917.301 * [misc]backup-simplify: Simplify (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1554301917.301 * [misc]approximate: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0 1554301917.301 * [misc]taylor: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 1554301917.302 * [misc]taylor: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1554301917.302 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in x 1554301917.302 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1554301917.302 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1554301917.302 * [misc]taylor: Taking taylor expansion of y in x 1554301917.302 * [misc]backup-simplify: Simplify y into y 1554301917.302 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1554301917.302 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.302 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1554301917.302 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554301917.302 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554301917.302 * [misc]taylor: Taking taylor expansion of x in x 1554301917.302 * [misc]backup-simplify: Simplify 0 into 0 1554301917.302 * [misc]backup-simplify: Simplify 1 into 1 1554301917.302 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.303 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.303 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1554301917.303 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1554301917.303 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1554301917.303 * [misc]taylor: Taking taylor expansion of y in x 1554301917.303 * [misc]backup-simplify: Simplify y into y 1554301917.303 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1554301917.303 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.303 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1554301917.303 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554301917.303 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554301917.303 * [misc]taylor: Taking taylor expansion of x in x 1554301917.303 * [misc]backup-simplify: Simplify 0 into 0 1554301917.303 * [misc]backup-simplify: Simplify 1 into 1 1554301917.303 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.303 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.304 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1554301917.304 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1554301917.304 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.304 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1554301917.304 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.304 * [misc]taylor: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 1554301917.304 * [misc]taylor: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1554301917.304 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in y 1554301917.304 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1554301917.304 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1554301917.304 * [misc]taylor: Taking taylor expansion of y in y 1554301917.304 * [misc]backup-simplify: Simplify 0 into 0 1554301917.304 * [misc]backup-simplify: Simplify 1 into 1 1554301917.305 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.305 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.305 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1554301917.305 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1554301917.305 * [misc]taylor: Taking taylor expansion of x in y 1554301917.305 * [misc]backup-simplify: Simplify x into x 1554301917.305 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1554301917.305 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.305 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1554301917.305 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1554301917.305 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1554301917.305 * [misc]taylor: Taking taylor expansion of y in y 1554301917.305 * [misc]backup-simplify: Simplify 0 into 0 1554301917.305 * [misc]backup-simplify: Simplify 1 into 1 1554301917.305 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.305 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.305 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1554301917.305 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1554301917.305 * [misc]taylor: Taking taylor expansion of x in y 1554301917.306 * [misc]backup-simplify: Simplify x into x 1554301917.306 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1554301917.306 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.306 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.306 * [misc]taylor: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 1554301917.306 * [misc]taylor: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1554301917.306 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in y 1554301917.306 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1554301917.306 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1554301917.306 * [misc]taylor: Taking taylor expansion of y in y 1554301917.306 * [misc]backup-simplify: Simplify 0 into 0 1554301917.306 * [misc]backup-simplify: Simplify 1 into 1 1554301917.306 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.306 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.306 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1554301917.306 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1554301917.306 * [misc]taylor: Taking taylor expansion of x in y 1554301917.307 * [misc]backup-simplify: Simplify x into x 1554301917.307 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1554301917.307 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.307 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1554301917.307 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1554301917.307 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1554301917.307 * [misc]taylor: Taking taylor expansion of y in y 1554301917.307 * [misc]backup-simplify: Simplify 0 into 0 1554301917.307 * [misc]backup-simplify: Simplify 1 into 1 1554301917.307 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.307 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.307 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1554301917.307 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1554301917.307 * [misc]taylor: Taking taylor expansion of x in y 1554301917.307 * [misc]backup-simplify: Simplify x into x 1554301917.307 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1554301917.307 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.307 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.308 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1554301917.308 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1554301917.308 * [misc]taylor: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 1554301917.308 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1554301917.308 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554301917.308 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554301917.308 * [misc]taylor: Taking taylor expansion of x in x 1554301917.308 * [misc]backup-simplify: Simplify 0 into 0 1554301917.308 * [misc]backup-simplify: Simplify 1 into 1 1554301917.308 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.309 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.309 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1554301917.309 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1554301917.309 * [misc]taylor: Taking taylor expansion of y in x 1554301917.309 * [misc]backup-simplify: Simplify y into y 1554301917.309 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1554301917.309 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.309 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1554301917.309 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1554301917.309 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1554301917.309 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1554301917.309 * [misc]taylor: Taking taylor expansion of y in x 1554301917.309 * [misc]backup-simplify: Simplify y into y 1554301917.309 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1554301917.309 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1554301917.309 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1554301917.309 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554301917.309 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554301917.309 * [misc]taylor: Taking taylor expansion of x in x 1554301917.309 * [misc]backup-simplify: Simplify 0 into 0 1554301917.309 * [misc]backup-simplify: Simplify 1 into 1 1554301917.310 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301917.310 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554301917.310 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1554301917.310 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1554301917.310 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.310 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1554301917.310 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1554301917.310 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1554301917.310 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1554301917.311 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.311 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1554301917.311 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1554301917.311 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1554301917.311 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1554301917.312 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1554301917.313 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.313 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (exp (/ 1 x)))) into 0 1554301917.313 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1554301917.314 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.314 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1554301917.314 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.314 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.314 * [misc]backup-simplify: Simplify 0 into 0 1554301917.314 * [misc]backup-simplify: Simplify 0 into 0 1554301917.314 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.314 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1554301917.314 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1554301917.315 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554301917.315 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1554301917.315 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.316 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.316 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1554301917.316 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.316 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1554301917.316 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1554301917.317 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554301917.317 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1554301917.317 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.317 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.317 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1554301917.317 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.317 * [misc]backup-simplify: Simplify 0 into 0 1554301917.317 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.319 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.319 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 1554301917.319 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.320 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.321 * [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 1554301917.321 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.321 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.321 * [misc]backup-simplify: Simplify 0 into 0 1554301917.321 * [misc]backup-simplify: Simplify 0 into 0 1554301917.321 * [misc]backup-simplify: Simplify 0 into 0 1554301917.322 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554301917.322 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1554301917.322 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554301917.323 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554301917.323 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1554301917.323 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.323 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.323 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1554301917.324 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554301917.324 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1554301917.324 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554301917.325 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554301917.325 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1554301917.325 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.325 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.326 * [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 1554301917.326 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.326 * [misc]backup-simplify: Simplify 0 into 0 1554301917.326 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.328 * [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 1554301917.328 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 1554301917.328 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.330 * [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 1554301917.330 * [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 1554301917.330 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.330 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.330 * [misc]backup-simplify: Simplify 0 into 0 1554301917.330 * [misc]backup-simplify: Simplify 0 into 0 1554301917.331 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1554301917.331 * [misc]backup-simplify: Simplify (fma (cos (/ 1 (- y))) (exp (/ 1 (- x))) (/ (cos (/ 1 (- y))) (exp (/ 1 (- x))))) into (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 1554301917.331 * [misc]approximate: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in (y x) around 0 1554301917.331 * [misc]taylor: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in x 1554301917.331 * [misc]taylor: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 1554301917.331 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in x 1554301917.331 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1554301917.331 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1554301917.331 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.331 * [misc]backup-simplify: Simplify -1 into -1 1554301917.331 * [misc]taylor: Taking taylor expansion of y in x 1554301917.331 * [misc]backup-simplify: Simplify y into y 1554301917.331 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1554301917.331 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.331 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1554301917.331 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554301917.331 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554301917.331 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.331 * [misc]backup-simplify: Simplify -1 into -1 1554301917.331 * [misc]taylor: Taking taylor expansion of x in x 1554301917.331 * [misc]backup-simplify: Simplify 0 into 0 1554301917.331 * [misc]backup-simplify: Simplify 1 into 1 1554301917.331 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.331 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.331 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1554301917.331 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1554301917.331 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1554301917.331 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.331 * [misc]backup-simplify: Simplify -1 into -1 1554301917.331 * [misc]taylor: Taking taylor expansion of y in x 1554301917.332 * [misc]backup-simplify: Simplify y into y 1554301917.332 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1554301917.332 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.332 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1554301917.332 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554301917.332 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554301917.332 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.332 * [misc]backup-simplify: Simplify -1 into -1 1554301917.332 * [misc]taylor: Taking taylor expansion of x in x 1554301917.332 * [misc]backup-simplify: Simplify 0 into 0 1554301917.332 * [misc]backup-simplify: Simplify 1 into 1 1554301917.332 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.332 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.332 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1554301917.332 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1554301917.332 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.332 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1554301917.332 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.332 * [misc]taylor: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in y 1554301917.332 * [misc]taylor: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 1554301917.332 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in y 1554301917.332 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1554301917.332 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1554301917.333 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.333 * [misc]backup-simplify: Simplify -1 into -1 1554301917.333 * [misc]taylor: Taking taylor expansion of y in y 1554301917.333 * [misc]backup-simplify: Simplify 0 into 0 1554301917.333 * [misc]backup-simplify: Simplify 1 into 1 1554301917.333 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.333 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.333 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1554301917.333 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1554301917.333 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.333 * [misc]backup-simplify: Simplify -1 into -1 1554301917.333 * [misc]taylor: Taking taylor expansion of x in y 1554301917.333 * [misc]backup-simplify: Simplify x into x 1554301917.333 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1554301917.333 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.333 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1554301917.333 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1554301917.333 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1554301917.333 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.333 * [misc]backup-simplify: Simplify -1 into -1 1554301917.333 * [misc]taylor: Taking taylor expansion of y in y 1554301917.333 * [misc]backup-simplify: Simplify 0 into 0 1554301917.333 * [misc]backup-simplify: Simplify 1 into 1 1554301917.333 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.333 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.333 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1554301917.333 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1554301917.333 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.333 * [misc]backup-simplify: Simplify -1 into -1 1554301917.333 * [misc]taylor: Taking taylor expansion of x in y 1554301917.333 * [misc]backup-simplify: Simplify x into x 1554301917.333 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1554301917.333 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.333 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.333 * [misc]taylor: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in y 1554301917.333 * [misc]taylor: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 1554301917.334 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.334 * [misc]backup-simplify: Simplify -1 into -1 1554301917.334 * [misc]taylor: Taking taylor expansion of y in y 1554301917.334 * [misc]backup-simplify: Simplify 0 into 0 1554301917.334 * [misc]backup-simplify: Simplify 1 into 1 1554301917.334 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.334 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.334 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.334 * [misc]backup-simplify: Simplify -1 into -1 1554301917.334 * [misc]taylor: Taking taylor expansion of x in y 1554301917.334 * [misc]backup-simplify: Simplify x into x 1554301917.334 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1554301917.334 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.334 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.334 * [misc]backup-simplify: Simplify -1 into -1 1554301917.334 * [misc]taylor: Taking taylor expansion of y in y 1554301917.334 * [misc]backup-simplify: Simplify 0 into 0 1554301917.334 * [misc]backup-simplify: Simplify 1 into 1 1554301917.334 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.334 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.334 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1554301917.334 * [misc]taylor: Taking taylor expansion of -1 in y 1554301917.334 * [misc]backup-simplify: Simplify -1 into -1 1554301917.334 * [misc]taylor: Taking taylor expansion of x in y 1554301917.334 * [misc]backup-simplify: Simplify x into x 1554301917.334 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1554301917.334 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.334 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.335 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) (exp (/ -1 x))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1554301917.335 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 1554301917.335 * [misc]taylor: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 1554301917.335 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1554301917.335 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1554301917.335 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1554301917.335 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.335 * [misc]backup-simplify: Simplify -1 into -1 1554301917.335 * [misc]taylor: Taking taylor expansion of y in x 1554301917.335 * [misc]backup-simplify: Simplify y into y 1554301917.335 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1554301917.335 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.335 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1554301917.335 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554301917.335 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554301917.335 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.335 * [misc]backup-simplify: Simplify -1 into -1 1554301917.335 * [misc]taylor: Taking taylor expansion of x in x 1554301917.335 * [misc]backup-simplify: Simplify 0 into 0 1554301917.335 * [misc]backup-simplify: Simplify 1 into 1 1554301917.335 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.335 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.335 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1554301917.335 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1554301917.335 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.336 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1554301917.336 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1554301917.336 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1554301917.336 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554301917.336 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554301917.336 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.336 * [misc]backup-simplify: Simplify -1 into -1 1554301917.336 * [misc]taylor: Taking taylor expansion of x in x 1554301917.336 * [misc]backup-simplify: Simplify 0 into 0 1554301917.336 * [misc]backup-simplify: Simplify 1 into 1 1554301917.336 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301917.336 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554301917.336 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1554301917.336 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1554301917.336 * [misc]taylor: Taking taylor expansion of -1 in x 1554301917.336 * [misc]backup-simplify: Simplify -1 into -1 1554301917.336 * [misc]taylor: Taking taylor expansion of y in x 1554301917.336 * [misc]backup-simplify: Simplify y into y 1554301917.336 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1554301917.336 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1554301917.336 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1554301917.336 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1554301917.336 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1554301917.336 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.336 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1554301917.336 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1554301917.337 * [misc]backup-simplify: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 1554301917.337 * [misc]backup-simplify: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 1554301917.337 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1554301917.338 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.338 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (exp (/ -1 x)))) into 0 1554301917.338 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1554301917.338 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1554301917.339 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1554301917.339 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.339 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.339 * [misc]backup-simplify: Simplify 0 into 0 1554301917.339 * [misc]backup-simplify: Simplify 0 into 0 1554301917.339 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.339 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1554301917.339 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1554301917.340 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554301917.340 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1554301917.340 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.340 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.340 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1554301917.340 * [misc]backup-simplify: Simplify (+ 0) into 0 1554301917.341 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1554301917.341 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1554301917.341 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554301917.341 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1554301917.342 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.342 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1554301917.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.342 * [misc]backup-simplify: Simplify 0 into 0 1554301917.342 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.343 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.343 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 1554301917.343 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.344 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554301917.345 * [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 1554301917.345 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.345 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.345 * [misc]backup-simplify: Simplify 0 into 0 1554301917.345 * [misc]backup-simplify: Simplify 0 into 0 1554301917.345 * [misc]backup-simplify: Simplify 0 into 0 1554301917.346 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554301917.346 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1554301917.346 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554301917.346 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554301917.347 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1554301917.347 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.347 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.347 * [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 1554301917.348 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554301917.348 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1554301917.348 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554301917.349 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554301917.349 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1554301917.349 * [misc]backup-simplify: Simplify (- 0) into 0 1554301917.349 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.349 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1554301917.349 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.349 * [misc]backup-simplify: Simplify 0 into 0 1554301917.349 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.351 * [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 1554301917.352 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 1554301917.352 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1554301917.353 * [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 1554301917.354 * [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 1554301917.354 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301917.354 * [misc]taylor: Taking taylor expansion of 0 in x 1554301917.354 * [misc]backup-simplify: Simplify 0 into 0 1554301917.354 * [misc]backup-simplify: Simplify 0 into 0 1554301917.354 * [misc]backup-simplify: Simplify (+ (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y)))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1554301917.354 * * * [misc]progress: simplifying candidates 1554301917.354 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1554301917.354 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1554301917.354 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1554301917.354 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1554301917.355 * [enter]simplify: Simplifying (- (log (cos y)) x) 1554301917.355 * * [misc]simplify: iters left: 4 (5 enodes) 1554301917.356 * * [misc]simplify: iters left: 3 (17 enodes) 1554301917.358 * * [misc]simplify: iters left: 2 (20 enodes) 1554301917.360 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.360 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554301917.360 * * [misc]simplify: Extracting #2: cost 6 inf + 42 1554301917.360 * * [misc]simplify: Extracting #3: cost 7 inf + 83 1554301917.360 * * [misc]simplify: Extracting #4: cost 6 inf + 84 1554301917.360 * * [misc]simplify: Extracting #5: cost 0 inf + 812 1554301917.360 * [exit]simplify: Simplified to (- (log (cos y)) x) 1554301917.360 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (exp (- (log (cos y)) x))) 2)) 1554301917.361 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1554301917.361 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1554301917.361 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1554301917.361 * [enter]simplify: Simplifying (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 1554301917.361 * * [misc]simplify: iters left: 6 (9 enodes) 1554301917.363 * * [misc]simplify: iters left: 5 (38 enodes) 1554301917.369 * * [misc]simplify: iters left: 4 (84 enodes) 1554301917.398 * * [misc]simplify: iters left: 3 (155 enodes) 1554301917.443 * * [misc]simplify: iters left: 2 (210 enodes) 1554301917.488 * * [misc]simplify: iters left: 1 (225 enodes) 1554301917.514 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.514 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554301917.514 * * [misc]simplify: Extracting #2: cost 46 inf + 1 1554301917.515 * * [misc]simplify: Extracting #3: cost 38 inf + 771 1554301917.517 * * [misc]simplify: Extracting #4: cost 6 inf + 7367 1554301917.521 * * [misc]simplify: Extracting #5: cost 0 inf + 8399 1554301917.525 * * [misc]simplify: Extracting #6: cost 0 inf + 8279 1554301917.528 * [exit]simplify: Simplified to (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))) 1554301917.528 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (cbrt (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))))) 2)) 1554301917.529 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1554301917.529 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1554301917.529 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1554301917.529 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1554301917.529 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1554301917.529 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 1554301917.529 * * [misc]simplify: iters left: 6 (9 enodes) 1554301917.531 * * [misc]simplify: iters left: 5 (33 enodes) 1554301917.535 * * [misc]simplify: iters left: 4 (48 enodes) 1554301917.542 * * [misc]simplify: iters left: 3 (55 enodes) 1554301917.549 * * [misc]simplify: iters left: 2 (58 enodes) 1554301917.557 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.557 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1554301917.557 * * [misc]simplify: Extracting #2: cost 22 inf + 0 1554301917.557 * * [misc]simplify: Extracting #3: cost 26 inf + 0 1554301917.557 * * [misc]simplify: Extracting #4: cost 22 inf + 134 1554301917.558 * * [misc]simplify: Extracting #5: cost 7 inf + 3826 1554301917.559 * * [misc]simplify: Extracting #6: cost 0 inf + 5898 1554301917.561 * [exit]simplify: Simplified to (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) 1554301917.561 * [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)) 1554301917.561 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (cbrt (exp x))) 1554301917.561 * * [misc]simplify: iters left: 4 (7 enodes) 1554301917.564 * * [misc]simplify: iters left: 3 (21 enodes) 1554301917.567 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.567 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.567 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.567 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554301917.567 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554301917.567 * * [misc]simplify: Extracting #5: cost 4 inf + 568 1554301917.567 * * [misc]simplify: Extracting #6: cost 1 inf + 1182 1554301917.567 * * [misc]simplify: Extracting #7: cost 0 inf + 1514 1554301917.568 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (cbrt (exp x))) 1554301917.568 * [misc]simplify: Simplified (2 1 3 2) 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)) 1554301917.568 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1554301917.568 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1554301917.568 * * [misc]simplify: iters left: 6 (8 enodes) 1554301917.570 * * [misc]simplify: iters left: 5 (26 enodes) 1554301917.573 * * [misc]simplify: iters left: 4 (30 enodes) 1554301917.577 * * [misc]simplify: iters left: 3 (33 enodes) 1554301917.581 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.581 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1554301917.581 * * [misc]simplify: Extracting #2: cost 14 inf + 0 1554301917.581 * * [misc]simplify: Extracting #3: cost 18 inf + 0 1554301917.581 * * [misc]simplify: Extracting #4: cost 15 inf + 73 1554301917.581 * * [misc]simplify: Extracting #5: cost 11 inf + 427 1554301917.581 * * [misc]simplify: Extracting #6: cost 2 inf + 2451 1554301917.582 * * [misc]simplify: Extracting #7: cost 0 inf + 2964 1554301917.582 * [exit]simplify: Simplified to (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1554301917.582 * [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)) 1554301917.582 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (sqrt (exp x))) 1554301917.582 * * [misc]simplify: iters left: 4 (7 enodes) 1554301917.584 * * [misc]simplify: iters left: 3 (21 enodes) 1554301917.587 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.587 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.587 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.587 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554301917.587 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554301917.587 * * [misc]simplify: Extracting #5: cost 4 inf + 488 1554301917.587 * * [misc]simplify: Extracting #6: cost 1 inf + 1062 1554301917.587 * * [misc]simplify: Extracting #7: cost 0 inf + 1354 1554301917.588 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (sqrt (exp x))) 1554301917.588 * [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)) 1554301917.588 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1554301917.588 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1554301917.588 * * [misc]simplify: iters left: 6 (6 enodes) 1554301917.590 * * [misc]simplify: iters left: 5 (20 enodes) 1554301917.594 * * [misc]simplify: iters left: 4 (30 enodes) 1554301917.598 * * [misc]simplify: iters left: 3 (31 enodes) 1554301917.603 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.603 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554301917.603 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554301917.603 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554301917.603 * * [misc]simplify: Extracting #4: cost 8 inf + 2 1554301917.604 * * [misc]simplify: Extracting #5: cost 0 inf + 1132 1554301917.604 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1554301917.604 * [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)) 1554301917.604 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (exp x)) 1554301917.604 * * [misc]simplify: iters left: 4 (6 enodes) 1554301917.606 * * [misc]simplify: iters left: 3 (18 enodes) 1554301917.610 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.610 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.610 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.610 * * [misc]simplify: Extracting #3: cost 7 inf + 143 1554301917.610 * * [misc]simplify: Extracting #4: cost 6 inf + 144 1554301917.610 * * [misc]simplify: Extracting #5: cost 0 inf + 1052 1554301917.610 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (exp x)) 1554301917.610 * [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)) 1554301917.610 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1554301917.610 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) 1554301917.610 * * [misc]simplify: iters left: 6 (8 enodes) 1554301917.612 * * [misc]simplify: iters left: 5 (26 enodes) 1554301917.616 * * [misc]simplify: iters left: 4 (28 enodes) 1554301917.619 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.619 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554301917.619 * * [misc]simplify: Extracting #2: cost 12 inf + 0 1554301917.619 * * [misc]simplify: Extracting #3: cost 16 inf + 0 1554301917.619 * * [misc]simplify: Extracting #4: cost 14 inf + 2 1554301917.619 * * [misc]simplify: Extracting #5: cost 10 inf + 356 1554301917.620 * * [misc]simplify: Extracting #6: cost 1 inf + 2068 1554301917.620 * * [misc]simplify: Extracting #7: cost 0 inf + 2400 1554301917.620 * [exit]simplify: Simplified to (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) 1554301917.620 * [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)) 1554301917.620 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (cbrt (exp x))) 1554301917.620 * * [misc]simplify: iters left: 4 (7 enodes) 1554301917.622 * * [misc]simplify: iters left: 3 (21 enodes) 1554301917.624 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.624 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.624 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.624 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554301917.624 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554301917.625 * * [misc]simplify: Extracting #5: cost 4 inf + 568 1554301917.625 * * [misc]simplify: Extracting #6: cost 1 inf + 1062 1554301917.625 * * [misc]simplify: Extracting #7: cost 0 inf + 1354 1554301917.625 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (cbrt (exp x))) 1554301917.625 * [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)) 1554301917.625 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1554301917.625 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1554301917.625 * * [misc]simplify: iters left: 4 (7 enodes) 1554301917.627 * * [misc]simplify: iters left: 3 (21 enodes) 1554301917.630 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.630 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.630 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.630 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554301917.630 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554301917.630 * * [misc]simplify: Extracting #5: cost 4 inf + 488 1554301917.630 * * [misc]simplify: Extracting #6: cost 1 inf + 942 1554301917.630 * * [misc]simplify: Extracting #7: cost 0 inf + 1194 1554301917.630 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1554301917.631 * [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)) 1554301917.631 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1554301917.631 * * [misc]simplify: iters left: 4 (7 enodes) 1554301917.633 * * [misc]simplify: iters left: 3 (21 enodes) 1554301917.637 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.637 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.637 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.637 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554301917.637 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554301917.637 * * [misc]simplify: Extracting #5: cost 4 inf + 488 1554301917.638 * * [misc]simplify: Extracting #6: cost 1 inf + 942 1554301917.638 * * [misc]simplify: Extracting #7: cost 0 inf + 1194 1554301917.638 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1554301917.638 * [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)) 1554301917.639 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1554301917.639 * [enter]simplify: Simplifying (/ (sqrt (cos y)) 1) 1554301917.639 * * [misc]simplify: iters left: 4 (5 enodes) 1554301917.642 * * [misc]simplify: iters left: 3 (15 enodes) 1554301917.646 * * [misc]simplify: iters left: 2 (17 enodes) 1554301917.651 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.651 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.651 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554301917.651 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1554301917.651 * * [misc]simplify: Extracting #4: cost 1 inf + 225 1554301917.652 * * [misc]simplify: Extracting #5: cost 0 inf + 326 1554301917.652 * [exit]simplify: Simplified to (sqrt (cos y)) 1554301917.652 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x)))) 2)) 1554301917.652 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (exp x)) 1554301917.652 * * [misc]simplify: iters left: 4 (6 enodes) 1554301917.655 * * [misc]simplify: iters left: 3 (18 enodes) 1554301917.659 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.659 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.659 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.659 * * [misc]simplify: Extracting #3: cost 7 inf + 143 1554301917.659 * * [misc]simplify: Extracting #4: cost 6 inf + 144 1554301917.660 * * [misc]simplify: Extracting #5: cost 0 inf + 892 1554301917.660 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (exp x)) 1554301917.660 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x)))) 2)) 1554301917.660 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1554301917.660 * [enter]simplify: Simplifying (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1554301917.660 * * [misc]simplify: iters left: 6 (6 enodes) 1554301917.664 * * [misc]simplify: iters left: 5 (22 enodes) 1554301917.668 * * [misc]simplify: iters left: 4 (26 enodes) 1554301917.671 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.671 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554301917.671 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1554301917.671 * * [misc]simplify: Extracting #3: cost 11 inf + 1 1554301917.671 * * [misc]simplify: Extracting #4: cost 8 inf + 144 1554301917.672 * * [misc]simplify: Extracting #5: cost 2 inf + 1253 1554301917.672 * * [misc]simplify: Extracting #6: cost 0 inf + 1676 1554301917.672 * [exit]simplify: Simplified to (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1554301917.672 * [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)) 1554301917.672 * [enter]simplify: Simplifying (/ (cos y) (cbrt (exp x))) 1554301917.672 * * [misc]simplify: iters left: 4 (6 enodes) 1554301917.673 * * [misc]simplify: iters left: 3 (18 enodes) 1554301917.676 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.676 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.676 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.676 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554301917.676 * * [misc]simplify: Extracting #4: cost 0 inf + 1072 1554301917.676 * [exit]simplify: Simplified to (/ (cos y) (cbrt (exp x))) 1554301917.676 * [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)) 1554301917.676 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1554301917.676 * [enter]simplify: Simplifying (/ 1 (sqrt (exp x))) 1554301917.676 * * [misc]simplify: iters left: 4 (5 enodes) 1554301917.678 * * [misc]simplify: iters left: 3 (17 enodes) 1554301917.680 * * [misc]simplify: iters left: 2 (19 enodes) 1554301917.683 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.683 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.683 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554301917.683 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1554301917.683 * * [misc]simplify: Extracting #4: cost 0 inf + 670 1554301917.683 * [exit]simplify: Simplified to (/ 1 (sqrt (exp x))) 1554301917.683 * [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)) 1554301917.684 * [enter]simplify: Simplifying (/ (cos y) (sqrt (exp x))) 1554301917.684 * * [misc]simplify: iters left: 4 (6 enodes) 1554301917.685 * * [misc]simplify: iters left: 3 (18 enodes) 1554301917.687 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.687 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.687 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.687 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554301917.687 * * [misc]simplify: Extracting #4: cost 0 inf + 912 1554301917.688 * [exit]simplify: Simplified to (/ (cos y) (sqrt (exp x))) 1554301917.688 * [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)) 1554301917.688 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1554301917.688 * [enter]simplify: Simplifying (/ 1 1) 1554301917.688 * * [misc]simplify: iters left: 2 (2 enodes) 1554301917.689 * * [misc]simplify: iters left: 1 (6 enodes) 1554301917.690 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.690 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554301917.690 * [exit]simplify: Simplified to 1 1554301917.690 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* 1 (/ (cos y) (exp x)))) 2)) 1554301917.690 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1554301917.690 * * [misc]simplify: iters left: 3 (5 enodes) 1554301917.691 * * [misc]simplify: iters left: 2 (15 enodes) 1554301917.693 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.693 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.693 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.693 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1554301917.693 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1554301917.693 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1554301917.693 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* 1 (/ (cos y) (exp x)))) 2)) 1554301917.694 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1554301917.694 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1554301917.694 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1554301917.694 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1554301917.694 * [enter]simplify: Simplifying (cbrt (exp x)) 1554301917.694 * * [misc]simplify: iters left: 2 (3 enodes) 1554301917.695 * * [misc]simplify: iters left: 1 (9 enodes) 1554301917.696 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.696 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554301917.696 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554301917.696 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1554301917.696 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1554301917.696 * [exit]simplify: Simplified to (cbrt (exp x)) 1554301917.696 * [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)) 1554301917.696 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1554301917.696 * [enter]simplify: Simplifying (sqrt (exp x)) 1554301917.696 * * [misc]simplify: iters left: 2 (3 enodes) 1554301917.697 * * [misc]simplify: iters left: 1 (9 enodes) 1554301917.698 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.698 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554301917.698 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554301917.698 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1554301917.698 * * [misc]simplify: Extracting #4: cost 0 inf + 365 1554301917.698 * [exit]simplify: Simplified to (sqrt (exp x)) 1554301917.698 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2)) 1554301917.698 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1554301917.698 * [enter]simplify: Simplifying (exp x) 1554301917.698 * * [misc]simplify: iters left: 1 (2 enodes) 1554301917.699 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.699 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554301917.699 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1554301917.699 * * [misc]simplify: Extracting #3: cost 0 inf + 143 1554301917.699 * [exit]simplify: Simplified to (exp x) 1554301917.699 * [misc]simplify: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (/ (cos y) 1) (exp x))) 2)) 1554301917.699 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1554301917.699 * [enter]simplify: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1554301917.699 * * [misc]simplify: iters left: 4 (4 enodes) 1554301917.700 * * [misc]simplify: iters left: 3 (12 enodes) 1554301917.701 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.702 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554301917.702 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554301917.702 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1554301917.702 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1554301917.702 * * [misc]simplify: Extracting #5: cost 0 inf + 767 1554301917.702 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1554301917.702 * [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)) 1554301917.702 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1554301917.702 * [enter]simplify: Simplifying (sqrt (cos y)) 1554301917.702 * * [misc]simplify: iters left: 2 (3 enodes) 1554301917.703 * * [misc]simplify: iters left: 1 (9 enodes) 1554301917.704 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.704 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554301917.704 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554301917.704 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1554301917.704 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1554301917.704 * [exit]simplify: Simplified to (sqrt (cos y)) 1554301917.704 * [misc]simplify: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y))))) 2)) 1554301917.704 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate #real (real->posit16 (/ (cos y) (exp x))))) 2))> 1554301917.704 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1554301917.704 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1554301917.705 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate #real (real->posit16 (fma (cos y) (exp x) (/ (cos y) (exp x))))) 2))> 1554301917.705 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1554301917.705 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x)) 1554301917.705 * * [misc]simplify: iters left: 6 (9 enodes) 1554301917.708 * * [misc]simplify: iters left: 5 (37 enodes) 1554301917.719 * * [misc]simplify: iters left: 4 (57 enodes) 1554301917.738 * * [misc]simplify: iters left: 3 (94 enodes) 1554301917.772 * * [misc]simplify: iters left: 2 (159 enodes) 1554301917.800 * * [misc]simplify: iters left: 1 (189 enodes) 1554301917.836 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.837 * * [misc]simplify: Extracting #1: cost 25 inf + 0 1554301917.837 * * [misc]simplify: Extracting #2: cost 29 inf + 669 1554301917.839 * * [misc]simplify: Extracting #3: cost 4 inf + 2723 1554301917.841 * * [misc]simplify: Extracting #4: cost 0 inf + 3069 1554301917.845 * * [misc]simplify: Extracting #5: cost 0 inf + 3054 1554301917.848 * [exit]simplify: Simplified to (fma (* y y) -1/2 (- 1 x)) 1554301917.848 * [misc]simplify: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (fma (* y y) -1/2 (- 1 x))) 2)) 1554301917.848 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1554301917.848 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1554301917.848 * * [misc]simplify: iters left: 3 (5 enodes) 1554301917.850 * * [misc]simplify: iters left: 2 (15 enodes) 1554301917.854 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.854 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.854 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.855 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1554301917.855 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1554301917.855 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1554301917.855 * [misc]simplify: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1554301917.855 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1554301917.856 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1554301917.856 * * [misc]simplify: iters left: 3 (5 enodes) 1554301917.857 * * [misc]simplify: iters left: 2 (15 enodes) 1554301917.859 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.859 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301917.859 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554301917.859 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1554301917.859 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1554301917.859 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1554301917.859 * [misc]simplify: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1554301917.859 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1554301917.860 * [enter]simplify: Simplifying (- (+ (pow x 2) 2) (pow y 2)) 1554301917.860 * * [misc]simplify: iters left: 5 (7 enodes) 1554301917.862 * * [misc]simplify: iters left: 4 (28 enodes) 1554301917.866 * * [misc]simplify: iters left: 3 (45 enodes) 1554301917.872 * * [misc]simplify: iters left: 2 (62 enodes) 1554301917.881 * * [misc]simplify: iters left: 1 (81 enodes) 1554301917.897 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.897 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554301917.897 * * [misc]simplify: Extracting #2: cost 32 inf + 248 1554301917.898 * * [misc]simplify: Extracting #3: cost 3 inf + 2602 1554301917.900 * * [misc]simplify: Extracting #4: cost 0 inf + 2888 1554301917.901 * [exit]simplify: Simplified to (fma x x (- 2 (* y y))) 1554301917.901 * [misc]simplify: Simplified (2 1) to (λ (x y) (/ (fma x x (- 2 (* y y))) 2)) 1554301917.901 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1554301917.902 * [enter]simplify: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1554301917.902 * * [misc]simplify: iters left: 5 (7 enodes) 1554301917.905 * * [misc]simplify: iters left: 4 (23 enodes) 1554301917.911 * * [misc]simplify: iters left: 3 (25 enodes) 1554301917.918 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.918 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554301917.918 * * [misc]simplify: Extracting #2: cost 12 inf + 0 1554301917.918 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1554301917.918 * * [misc]simplify: Extracting #4: cost 1 inf + 1181 1554301917.918 * * [misc]simplify: Extracting #5: cost 0 inf + 1408 1554301917.919 * [exit]simplify: Simplified to (fma (cos y) (exp x) (/ (cos y) (exp x))) 1554301917.919 * [misc]simplify: Simplified (2 1) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1554301917.919 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1554301917.919 * [enter]simplify: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1554301917.919 * * [misc]simplify: iters left: 5 (7 enodes) 1554301917.922 * * [misc]simplify: iters left: 4 (23 enodes) 1554301917.927 * * [misc]simplify: iters left: 3 (25 enodes) 1554301917.934 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301917.934 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554301917.934 * * [misc]simplify: Extracting #2: cost 12 inf + 0 1554301917.934 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1554301917.934 * * [misc]simplify: Extracting #4: cost 1 inf + 1181 1554301917.934 * * [misc]simplify: Extracting #5: cost 0 inf + 1408 1554301917.935 * [exit]simplify: Simplified to (fma (cos y) (exp x) (/ (cos y) (exp x))) 1554301917.935 * [misc]simplify: Simplified (2 1) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1554301917.935 * * * [misc]progress: adding candidates to table 1554301918.384 * [misc]progress: [Phase 3 of 3] Extracting. 1554301918.389 * [enter]simplify: Simplifying (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 1554301918.389 * * [misc]simplify: iters left: 6 (8 enodes) 1554301918.390 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301918.390 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554301918.390 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554301918.390 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1554301918.390 * * [misc]simplify: Extracting #4: cost 4 inf + 74 1554301918.390 * * [misc]simplify: Extracting #5: cost 0 inf + 802 1554301918.390 * [exit]simplify: Simplified to (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 1554301918.390 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1554301918.471 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1554301918.474 * * * * [misc]points: Setting MPFR precision to 64 1554301918.475 * * * * [misc]points: Setting MPFR precision to 320 1554301918.476 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1554301918.478 * * * * [misc]points: Setting MPFR precision to 64 1554301918.480 * * * * [misc]points: Setting MPFR precision to 320 1554301918.481 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1554301918.483 * * * * [misc]points: Setting MPFR precision to 64 1554301918.486 * * * * [misc]points: Setting MPFR precision to 320 1554301918.489 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1554301918.491 * * * * [misc]points: Setting MPFR precision to 64 1554301918.496 * * * * [misc]points: Setting MPFR precision to 320 1554301918.502 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1554301918.504 * * * * [misc]points: Setting MPFR precision to 64 1554301918.523 * * * * [misc]points: Setting MPFR precision to 320 1554301918.541 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1554301918.544 * * * * [misc]points: Setting MPFR precision to 64 1554301918.593 * * * * [misc]points: Setting MPFR precision to 320 1554301918.638 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1554301918.643 * * * * [misc]points: Setting MPFR precision to 64 1554301918.708 * * * * [misc]points: Setting MPFR precision to 320 1554301918.851 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1554301918.855 * * * * [misc]points: Setting MPFR precision to 64 1554301919.006 * * * * [misc]points: Setting MPFR precision to 320 1554301919.191 * * * * [misc]points: Computing exacts for 8000 points 1554301919.196 * * * * [misc]points: Setting MPFR precision to 64 1554301919.819 * * * * [misc]points: Setting MPFR precision to 320 1554301920.870 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301920.872 * * * * [misc]points: Sampling 3967 additional inputs, on iter 1 have 4033 / 8000 1554301920.890 * * * * [misc]points: Computing exacts on every 247 of 3967 points to ramp up precision 1554301920.893 * * * * [misc]points: Setting MPFR precision to 64 1554301920.894 * * * * [misc]points: Setting MPFR precision to 320 1554301920.895 * * * * [misc]points: Computing exacts on every 123 of 3967 points to ramp up precision 1554301920.897 * * * * [misc]points: Setting MPFR precision to 64 1554301920.925 * * * * [misc]points: Setting MPFR precision to 320 1554301920.927 * * * * [misc]points: Computing exacts on every 61 of 3967 points to ramp up precision 1554301920.930 * * * * [misc]points: Setting MPFR precision to 64 1554301920.932 * * * * [misc]points: Setting MPFR precision to 320 1554301920.935 * * * * [misc]points: Computing exacts on every 30 of 3967 points to ramp up precision 1554301920.939 * * * * [misc]points: Setting MPFR precision to 64 1554301920.944 * * * * [misc]points: Setting MPFR precision to 320 1554301920.950 * * * * [misc]points: Computing exacts on every 15 of 3967 points to ramp up precision 1554301920.952 * * * * [misc]points: Setting MPFR precision to 64 1554301920.962 * * * * [misc]points: Setting MPFR precision to 320 1554301920.980 * * * * [misc]points: Computing exacts on every 7 of 3967 points to ramp up precision 1554301920.983 * * * * [misc]points: Setting MPFR precision to 64 1554301921.001 * * * * [misc]points: Setting MPFR precision to 320 1554301921.025 * * * * [misc]points: Computing exacts on every 3 of 3967 points to ramp up precision 1554301921.030 * * * * [misc]points: Setting MPFR precision to 64 1554301921.135 * * * * [misc]points: Setting MPFR precision to 320 1554301921.225 * * * * [misc]points: Computing exacts for 3967 points 1554301921.230 * * * * [misc]points: Setting MPFR precision to 64 1554301921.600 * * * * [misc]points: Setting MPFR precision to 320 1554301922.022 * * * * [misc]points: Setting MPFR precision to 576 1554301922.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301922.458 * * * * [misc]points: Sampling 1992 additional inputs, on iter 2 have 6008 / 8000 1554301922.526 * * * * [misc]points: Computing exacts on every 124 of 1992 points to ramp up precision 1554301922.530 * * * * [misc]points: Setting MPFR precision to 320 1554301922.531 * * * * [misc]points: Setting MPFR precision to 576 1554301922.532 * * * * [misc]points: Computing exacts on every 62 of 1992 points to ramp up precision 1554301922.534 * * * * [misc]points: Setting MPFR precision to 320 1554301922.536 * * * * [misc]points: Setting MPFR precision to 576 1554301922.537 * * * * [misc]points: Computing exacts on every 31 of 1992 points to ramp up precision 1554301922.540 * * * * [misc]points: Setting MPFR precision to 320 1554301922.543 * * * * [misc]points: Setting MPFR precision to 576 1554301922.547 * * * * [misc]points: Computing exacts on every 15 of 1992 points to ramp up precision 1554301922.550 * * * * [misc]points: Setting MPFR precision to 320 1554301922.560 * * * * [misc]points: Setting MPFR precision to 576 1554301922.573 * * * * [misc]points: Computing exacts on every 7 of 1992 points to ramp up precision 1554301922.577 * * * * [misc]points: Setting MPFR precision to 320 1554301922.597 * * * * [misc]points: Setting MPFR precision to 576 1554301922.616 * * * * [misc]points: Computing exacts on every 3 of 1992 points to ramp up precision 1554301922.618 * * * * [misc]points: Setting MPFR precision to 320 1554301922.669 * * * * [misc]points: Setting MPFR precision to 576 1554301922.715 * * * * [misc]points: Computing exacts for 1992 points 1554301922.721 * * * * [misc]points: Setting MPFR precision to 320 1554301922.848 * * * * [misc]points: Setting MPFR precision to 576 1554301923.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301923.109 * * * * [misc]points: Sampling 976 additional inputs, on iter 3 have 7024 / 8000 1554301923.117 * * * * [misc]points: Computing exacts on every 61 of 976 points to ramp up precision 1554301923.123 * * * * [misc]points: Setting MPFR precision to 320 1554301923.125 * * * * [misc]points: Setting MPFR precision to 576 1554301923.127 * * * * [misc]points: Computing exacts on every 30 of 976 points to ramp up precision 1554301923.553 * * * * [misc]points: Setting MPFR precision to 320 1554301923.556 * * * * [misc]points: Setting MPFR precision to 576 1554301923.564 * * * * [misc]points: Computing exacts on every 15 of 976 points to ramp up precision 1554301923.569 * * * * [misc]points: Setting MPFR precision to 320 1554301923.575 * * * * [misc]points: Setting MPFR precision to 576 1554301923.582 * * * * [misc]points: Computing exacts on every 7 of 976 points to ramp up precision 1554301923.587 * * * * [misc]points: Setting MPFR precision to 320 1554301923.598 * * * * [misc]points: Setting MPFR precision to 576 1554301923.613 * * * * [misc]points: Computing exacts on every 3 of 976 points to ramp up precision 1554301923.619 * * * * [misc]points: Setting MPFR precision to 320 1554301923.640 * * * * [misc]points: Setting MPFR precision to 576 1554301923.668 * * * * [misc]points: Computing exacts for 976 points 1554301923.673 * * * * [misc]points: Setting MPFR precision to 320 1554301923.761 * * * * [misc]points: Setting MPFR precision to 576 1554301923.911 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301923.912 * * * * [misc]points: Sampling 477 additional inputs, on iter 4 have 7523 / 8000 1554301923.915 * * * * [misc]points: Computing exacts on every 29 of 477 points to ramp up precision 1554301923.918 * * * * [misc]points: Setting MPFR precision to 320 1554301923.919 * * * * [misc]points: Setting MPFR precision to 576 1554301923.920 * * * * [misc]points: Computing exacts on every 14 of 477 points to ramp up precision 1554301923.923 * * * * [misc]points: Setting MPFR precision to 320 1554301923.924 * * * * [misc]points: Setting MPFR precision to 576 1554301923.926 * * * * [misc]points: Computing exacts on every 7 of 477 points to ramp up precision 1554301923.929 * * * * [misc]points: Setting MPFR precision to 320 1554301923.932 * * * * [misc]points: Setting MPFR precision to 576 1554301923.935 * * * * [misc]points: Computing exacts on every 3 of 477 points to ramp up precision 1554301923.939 * * * * [misc]points: Setting MPFR precision to 320 1554301923.949 * * * * [misc]points: Setting MPFR precision to 576 1554301923.958 * * * * [misc]points: Computing exacts for 477 points 1554301923.961 * * * * [misc]points: Setting MPFR precision to 320 1554301923.982 * * * * [misc]points: Setting MPFR precision to 576 1554301924.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.044 * * * * [misc]points: Sampling 262 additional inputs, on iter 5 have 7738 / 8000 1554301924.045 * * * * [misc]points: Computing exacts on every 16 of 262 points to ramp up precision 1554301924.048 * * * * [misc]points: Setting MPFR precision to 320 1554301924.049 * * * * [misc]points: Setting MPFR precision to 576 1554301924.050 * * * * [misc]points: Computing exacts on every 8 of 262 points to ramp up precision 1554301924.052 * * * * [misc]points: Setting MPFR precision to 320 1554301924.054 * * * * [misc]points: Setting MPFR precision to 576 1554301924.056 * * * * [misc]points: Computing exacts on every 4 of 262 points to ramp up precision 1554301924.058 * * * * [misc]points: Setting MPFR precision to 320 1554301924.061 * * * * [misc]points: Setting MPFR precision to 576 1554301924.064 * * * * [misc]points: Computing exacts on every 2 of 262 points to ramp up precision 1554301924.066 * * * * [misc]points: Setting MPFR precision to 320 1554301924.070 * * * * [misc]points: Setting MPFR precision to 576 1554301924.078 * * * * [misc]points: Computing exacts for 262 points 1554301924.083 * * * * [misc]points: Setting MPFR precision to 320 1554301924.106 * * * * [misc]points: Setting MPFR precision to 576 1554301924.133 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.134 * * * * [misc]points: Sampling 134 additional inputs, on iter 6 have 7866 / 8000 1554301924.135 * * * * [misc]points: Computing exacts on every 8 of 134 points to ramp up precision 1554301924.140 * * * * [misc]points: Setting MPFR precision to 320 1554301924.141 * * * * [misc]points: Setting MPFR precision to 576 1554301924.142 * * * * [misc]points: Computing exacts on every 4 of 134 points to ramp up precision 1554301924.147 * * * * [misc]points: Setting MPFR precision to 320 1554301924.150 * * * * [misc]points: Setting MPFR precision to 576 1554301924.152 * * * * [misc]points: Computing exacts on every 2 of 134 points to ramp up precision 1554301924.158 * * * * [misc]points: Setting MPFR precision to 320 1554301924.162 * * * * [misc]points: Setting MPFR precision to 576 1554301924.166 * * * * [misc]points: Computing exacts for 134 points 1554301924.199 * * * * [misc]points: Setting MPFR precision to 320 1554301924.214 * * * * [misc]points: Setting MPFR precision to 576 1554301924.231 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.231 * * * * [misc]points: Sampling 55 additional inputs, on iter 7 have 7945 / 8000 1554301924.231 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1554301924.236 * * * * [misc]points: Setting MPFR precision to 320 1554301924.238 * * * * [misc]points: Setting MPFR precision to 576 1554301924.239 * * * * [misc]points: Computing exacts for 55 points 1554301924.245 * * * * [misc]points: Setting MPFR precision to 320 1554301924.249 * * * * [misc]points: Setting MPFR precision to 576 1554301924.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.255 * * * * [misc]points: Sampling 26 additional inputs, on iter 8 have 7974 / 8000 1554301924.256 * * * * [misc]points: Computing exacts for 26 points 1554301924.261 * * * * [misc]points: Setting MPFR precision to 320 1554301924.263 * * * * [misc]points: Setting MPFR precision to 576 1554301924.265 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.265 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 1554301924.266 * * * * [misc]points: Computing exacts for 17 points 1554301924.268 * * * * [misc]points: Setting MPFR precision to 320 1554301924.269 * * * * [misc]points: Setting MPFR precision to 576 1554301924.270 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.270 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1554301924.270 * * * * [misc]points: Computing exacts for 7 points 1554301924.273 * * * * [misc]points: Setting MPFR precision to 320 1554301924.273 * * * * [misc]points: Setting MPFR precision to 576 1554301924.274 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.274 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1554301924.274 * * * * [misc]points: Computing exacts for 5 points 1554301924.277 * * * * [misc]points: Setting MPFR precision to 320 1554301924.277 * * * * [misc]points: Setting MPFR precision to 576 1554301924.277 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.277 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1554301924.277 * * * * [misc]points: Computing exacts for 4 points 1554301924.280 * * * * [misc]points: Setting MPFR precision to 320 1554301924.280 * * * * [misc]points: Setting MPFR precision to 576 1554301924.281 * * * * [misc]points: Filtering points with unrepresentable outputs 1554301924.281 * * * * [exit]points: Sampled 8000 points with exact outputs 1554301924.589 * [misc]regime-testing: Baseline error score: 0.009 1554301924.591 * [misc]regime-testing: Oracle error score: 0.009 1554301924.591 * [misc]regime-testing: End program error score: 0.009