1540194099.825 * [misc]progress: [Phase 1 of 3] Setting up. 1540194099.825 * * * [misc]progress: [1/2] Preparing points 1540194099.825 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540194099.827 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540194099.832 * * * * [misc]points: Setting MPFR precision to 64 1540194099.834 * * * * [misc]points: Setting MPFR precision to 320 1540194099.836 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540194099.840 * * * * [misc]points: Setting MPFR precision to 64 1540194099.842 * * * * [misc]points: Setting MPFR precision to 320 1540194099.845 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540194099.849 * * * * [misc]points: Setting MPFR precision to 64 1540194099.853 * * * * [misc]points: Setting MPFR precision to 320 1540194099.857 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540194099.862 * * * * [misc]points: Setting MPFR precision to 64 1540194099.868 * * * * [misc]points: Setting MPFR precision to 320 1540194099.877 * * * * [misc]points: Computing exacts for 256 points 1540194099.881 * * * * [misc]points: Setting MPFR precision to 64 1540194099.902 * * * * [misc]points: Setting MPFR precision to 320 1540194099.926 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194099.926 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1540194099.928 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1540194099.932 * * * * [misc]points: Setting MPFR precision to 64 1540194099.933 * * * * [misc]points: Setting MPFR precision to 320 1540194099.935 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1540194099.939 * * * * [misc]points: Setting MPFR precision to 64 1540194099.941 * * * * [misc]points: Setting MPFR precision to 320 1540194099.944 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1540194099.948 * * * * [misc]points: Setting MPFR precision to 64 1540194099.952 * * * * [misc]points: Setting MPFR precision to 320 1540194099.956 * * * * [misc]points: Computing exacts for 128 points 1540194099.960 * * * * [misc]points: Setting MPFR precision to 64 1540194099.971 * * * * [misc]points: Setting MPFR precision to 320 1540194099.984 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194099.984 * * * * [misc]points: Sampling 54 additional inputs, on iter 2 have 202 / 256 1540194099.984 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1540194099.989 * * * * [misc]points: Setting MPFR precision to 64 1540194099.990 * * * * [misc]points: Setting MPFR precision to 320 1540194099.992 * * * * [misc]points: Computing exacts for 54 points 1540194099.996 * * * * [misc]points: Setting MPFR precision to 64 1540194100.001 * * * * [misc]points: Setting MPFR precision to 320 1540194100.006 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194100.006 * * * * [misc]points: Sampling 26 additional inputs, on iter 3 have 230 / 256 1540194100.007 * * * * [misc]points: Computing exacts for 26 points 1540194100.011 * * * * [misc]points: Setting MPFR precision to 64 1540194100.013 * * * * [misc]points: Setting MPFR precision to 320 1540194100.016 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194100.016 * * * * [misc]points: Sampling 10 additional inputs, on iter 4 have 246 / 256 1540194100.016 * * * * [misc]points: Computing exacts for 10 points 1540194100.020 * * * * [misc]points: Setting MPFR precision to 64 1540194100.021 * * * * [misc]points: Setting MPFR precision to 320 1540194100.023 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194100.023 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1540194100.023 * * * * [misc]points: Computing exacts for 5 points 1540194100.027 * * * * [misc]points: Setting MPFR precision to 64 1540194100.027 * * * * [misc]points: Setting MPFR precision to 320 1540194100.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194100.028 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 254 / 256 1540194100.028 * * * * [misc]points: Computing exacts for 4 points 1540194100.032 * * * * [misc]points: Setting MPFR precision to 64 1540194100.066 * * * * [misc]points: Setting MPFR precision to 320 1540194100.066 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194100.066 * * * * [exit]points: Sampled 256 points with exact outputs 1540194100.067 * * * [misc]progress: [2/2] Setting up program. 1540194100.074 * [misc]progress: [Phase 2 of 3] Improving. 1540194100.075 * [enter]simplify: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 1540194100.075 * * [misc]simplify: iters left: 6 (16 enodes) 1540194100.084 * * [misc]simplify: iters left: 5 (30 enodes) 1540194100.090 * * [misc]simplify: iters left: 4 (48 enodes) 1540194100.096 * * [misc]simplify: iters left: 3 (80 enodes) 1540194100.107 * * [misc]simplify: iters left: 2 (114 enodes) 1540194100.126 * * [misc]simplify: iters left: 1 (178 enodes) 1540194100.197 * [exit]simplify: Simplified to (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 1540194100.203 * * [misc]progress: iteration 1 / 4 1540194100.203 * * * [misc]progress: picking best candidate 1540194100.205 * * * * [misc]pick: Picked # 1540194100.205 * * * [misc]progress: localizing error 1540194100.222 * * * [misc]progress: generating rewritten candidates 1540194100.222 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 1) 1540194100.227 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1540194100.238 * * * [misc]progress: generating series expansions 1540194100.238 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 1) 1540194100.242 * [misc]backup-simplify: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 1540194100.242 * [misc]approximate: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 1540194100.242 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in x 1540194100.242 * [misc]taylor: Taking taylor expansion of (cos y) in x 1540194100.242 * [misc]taylor: Taking taylor expansion of y in x 1540194100.243 * [misc]backup-simplify: Simplify y into y 1540194100.243 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1540194100.243 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1540194100.243 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.243 * [misc]taylor: Taking taylor expansion of x in x 1540194100.243 * [misc]backup-simplify: Simplify 0 into 0 1540194100.243 * [misc]backup-simplify: Simplify 1 into 1 1540194100.243 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.243 * [misc]backup-simplify: Simplify (* (cos y) 1) into (cos y) 1540194100.243 * [misc]backup-simplify: Simplify (* (sin y) 0) into 0 1540194100.244 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.244 * [misc]backup-simplify: Simplify (+ (cos y) 0) into (cos y) 1540194100.244 * [misc]backup-simplify: Simplify (/ (cos y) 1) into (cos y) 1540194100.244 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1540194100.244 * [misc]taylor: Taking taylor expansion of (cos y) in y 1540194100.244 * [misc]taylor: Taking taylor expansion of y in y 1540194100.244 * [misc]backup-simplify: Simplify 0 into 0 1540194100.244 * [misc]backup-simplify: Simplify 1 into 1 1540194100.244 * [misc]taylor: Taking taylor expansion of (exp x) in y 1540194100.244 * [misc]taylor: Taking taylor expansion of x in y 1540194100.244 * [misc]backup-simplify: Simplify x into x 1540194100.245 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1540194100.245 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1540194100.245 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1540194100.245 * [misc]taylor: Taking taylor expansion of (cos y) in y 1540194100.245 * [misc]taylor: Taking taylor expansion of y in y 1540194100.245 * [misc]backup-simplify: Simplify 0 into 0 1540194100.245 * [misc]backup-simplify: Simplify 1 into 1 1540194100.245 * [misc]taylor: Taking taylor expansion of (exp x) in y 1540194100.245 * [misc]taylor: Taking taylor expansion of x in y 1540194100.245 * [misc]backup-simplify: Simplify x into x 1540194100.245 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1540194100.245 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1540194100.245 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1540194100.245 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.245 * [misc]taylor: Taking taylor expansion of x in x 1540194100.245 * [misc]backup-simplify: Simplify 0 into 0 1540194100.245 * [misc]backup-simplify: Simplify 1 into 1 1540194100.245 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.245 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.246 * [misc]backup-simplify: Simplify 1 into 1 1540194100.246 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.247 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.248 * [misc]backup-simplify: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 1540194100.248 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.248 * [misc]backup-simplify: Simplify 0 into 0 1540194100.248 * [misc]backup-simplify: Simplify 0 into 0 1540194100.249 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540194100.249 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1540194100.249 * [misc]backup-simplify: Simplify -1 into -1 1540194100.250 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540194100.251 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.258 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 1540194100.258 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 1540194100.258 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 1540194100.258 * [misc]taylor: Taking taylor expansion of 1/2 in x 1540194100.258 * [misc]backup-simplify: Simplify 1/2 into 1/2 1540194100.258 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1540194100.258 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.258 * [misc]taylor: Taking taylor expansion of x in x 1540194100.258 * [misc]backup-simplify: Simplify 0 into 0 1540194100.258 * [misc]backup-simplify: Simplify 1 into 1 1540194100.258 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.258 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.259 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1540194100.259 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1540194100.259 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540194100.260 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 1540194100.260 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.260 * [misc]approximate: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 1540194100.261 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1540194100.261 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1540194100.261 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1540194100.261 * [misc]taylor: Taking taylor expansion of y in x 1540194100.261 * [misc]backup-simplify: Simplify y into y 1540194100.261 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1540194100.261 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.261 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1540194100.261 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1540194100.261 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540194100.261 * [misc]taylor: Taking taylor expansion of x in x 1540194100.261 * [misc]backup-simplify: Simplify 0 into 0 1540194100.261 * [misc]backup-simplify: Simplify 1 into 1 1540194100.261 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.261 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.262 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1540194100.262 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1540194100.262 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.262 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1540194100.262 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.262 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1540194100.262 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1540194100.262 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1540194100.262 * [misc]taylor: Taking taylor expansion of y in y 1540194100.262 * [misc]backup-simplify: Simplify 0 into 0 1540194100.262 * [misc]backup-simplify: Simplify 1 into 1 1540194100.262 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.263 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.263 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1540194100.263 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1540194100.263 * [misc]taylor: Taking taylor expansion of x in y 1540194100.263 * [misc]backup-simplify: Simplify x into x 1540194100.263 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1540194100.263 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.263 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.263 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1540194100.263 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1540194100.263 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1540194100.263 * [misc]taylor: Taking taylor expansion of y in y 1540194100.263 * [misc]backup-simplify: Simplify 0 into 0 1540194100.263 * [misc]backup-simplify: Simplify 1 into 1 1540194100.263 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.263 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.263 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1540194100.263 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1540194100.263 * [misc]taylor: Taking taylor expansion of x in y 1540194100.264 * [misc]backup-simplify: Simplify x into x 1540194100.264 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1540194100.264 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.264 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.264 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1540194100.264 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1540194100.264 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1540194100.264 * [misc]taylor: Taking taylor expansion of y in x 1540194100.264 * [misc]backup-simplify: Simplify y into y 1540194100.264 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1540194100.264 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.264 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1540194100.264 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1540194100.264 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540194100.264 * [misc]taylor: Taking taylor expansion of x in x 1540194100.264 * [misc]backup-simplify: Simplify 0 into 0 1540194100.264 * [misc]backup-simplify: Simplify 1 into 1 1540194100.265 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.265 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.265 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1540194100.265 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1540194100.265 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.265 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1540194100.265 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.265 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.265 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1540194100.267 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.267 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1540194100.267 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.267 * [misc]backup-simplify: Simplify 0 into 0 1540194100.267 * [misc]backup-simplify: Simplify 0 into 0 1540194100.267 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.268 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1540194100.268 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1540194100.269 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540194100.270 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1540194100.270 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.270 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.270 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1540194100.270 * [misc]backup-simplify: Simplify 0 into 0 1540194100.270 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.272 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.273 * [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 1540194100.273 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.273 * [misc]backup-simplify: Simplify 0 into 0 1540194100.273 * [misc]backup-simplify: Simplify 0 into 0 1540194100.273 * [misc]backup-simplify: Simplify 0 into 0 1540194100.274 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540194100.274 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1540194100.275 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1540194100.276 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540194100.276 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1540194100.276 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.276 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.277 * [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 1540194100.277 * [misc]backup-simplify: Simplify 0 into 0 1540194100.277 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.281 * [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 1540194100.282 * [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 1540194100.282 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.282 * [misc]backup-simplify: Simplify 0 into 0 1540194100.282 * [misc]backup-simplify: Simplify 0 into 0 1540194100.282 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 1540194100.282 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.282 * [misc]approximate: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 1540194100.282 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1540194100.282 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1540194100.282 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1540194100.282 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.282 * [misc]backup-simplify: Simplify -1 into -1 1540194100.282 * [misc]taylor: Taking taylor expansion of y in x 1540194100.282 * [misc]backup-simplify: Simplify y into y 1540194100.282 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1540194100.282 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.282 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1540194100.283 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1540194100.283 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1540194100.283 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.283 * [misc]backup-simplify: Simplify -1 into -1 1540194100.283 * [misc]taylor: Taking taylor expansion of x in x 1540194100.283 * [misc]backup-simplify: Simplify 0 into 0 1540194100.283 * [misc]backup-simplify: Simplify 1 into 1 1540194100.283 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.283 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.283 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1540194100.283 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1540194100.283 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.283 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1540194100.283 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.284 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1540194100.284 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1540194100.284 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1540194100.284 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.284 * [misc]backup-simplify: Simplify -1 into -1 1540194100.284 * [misc]taylor: Taking taylor expansion of y in y 1540194100.284 * [misc]backup-simplify: Simplify 0 into 0 1540194100.284 * [misc]backup-simplify: Simplify 1 into 1 1540194100.284 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.284 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.284 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1540194100.284 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1540194100.284 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.284 * [misc]backup-simplify: Simplify -1 into -1 1540194100.284 * [misc]taylor: Taking taylor expansion of x in y 1540194100.284 * [misc]backup-simplify: Simplify x into x 1540194100.284 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1540194100.284 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.284 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.284 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1540194100.284 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1540194100.284 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1540194100.285 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.285 * [misc]backup-simplify: Simplify -1 into -1 1540194100.285 * [misc]taylor: Taking taylor expansion of y in y 1540194100.285 * [misc]backup-simplify: Simplify 0 into 0 1540194100.285 * [misc]backup-simplify: Simplify 1 into 1 1540194100.285 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.285 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.285 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1540194100.285 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1540194100.285 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.285 * [misc]backup-simplify: Simplify -1 into -1 1540194100.285 * [misc]taylor: Taking taylor expansion of x in y 1540194100.285 * [misc]backup-simplify: Simplify x into x 1540194100.285 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1540194100.285 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.285 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.285 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1540194100.285 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1540194100.285 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1540194100.285 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.286 * [misc]backup-simplify: Simplify -1 into -1 1540194100.286 * [misc]taylor: Taking taylor expansion of y in x 1540194100.286 * [misc]backup-simplify: Simplify y into y 1540194100.286 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1540194100.286 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.286 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1540194100.286 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1540194100.286 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1540194100.286 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.286 * [misc]backup-simplify: Simplify -1 into -1 1540194100.286 * [misc]taylor: Taking taylor expansion of x in x 1540194100.286 * [misc]backup-simplify: Simplify 0 into 0 1540194100.286 * [misc]backup-simplify: Simplify 1 into 1 1540194100.286 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.286 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.286 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1540194100.286 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1540194100.287 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.287 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1540194100.287 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.287 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.287 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1540194100.288 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.289 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1540194100.289 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.289 * [misc]backup-simplify: Simplify 0 into 0 1540194100.289 * [misc]backup-simplify: Simplify 0 into 0 1540194100.289 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.289 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1540194100.289 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1540194100.290 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540194100.291 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1540194100.291 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.291 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.291 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1540194100.291 * [misc]backup-simplify: Simplify 0 into 0 1540194100.291 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.293 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.294 * [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 1540194100.294 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.294 * [misc]backup-simplify: Simplify 0 into 0 1540194100.294 * [misc]backup-simplify: Simplify 0 into 0 1540194100.294 * [misc]backup-simplify: Simplify 0 into 0 1540194100.295 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540194100.295 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1540194100.296 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1540194100.297 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540194100.297 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1540194100.297 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.297 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.298 * [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 1540194100.298 * [misc]backup-simplify: Simplify 0 into 0 1540194100.298 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.301 * [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 1540194100.301 * [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 1540194100.301 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.301 * [misc]backup-simplify: Simplify 0 into 0 1540194100.301 * [misc]backup-simplify: Simplify 0 into 0 1540194100.302 * [misc]backup-simplify: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 1540194100.302 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1540194100.302 * [misc]backup-simplify: Simplify (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1540194100.302 * [misc]approximate: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in (y x) around 0 1540194100.302 * [misc]taylor: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in x 1540194100.302 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in x 1540194100.302 * [misc]taylor: Taking taylor expansion of (cos y) in x 1540194100.302 * [misc]taylor: Taking taylor expansion of y in x 1540194100.302 * [misc]backup-simplify: Simplify y into y 1540194100.302 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1540194100.302 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1540194100.302 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.302 * [misc]taylor: Taking taylor expansion of x in x 1540194100.302 * [misc]backup-simplify: Simplify 0 into 0 1540194100.302 * [misc]backup-simplify: Simplify 1 into 1 1540194100.302 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.302 * [misc]backup-simplify: Simplify (* (cos y) 1) into (cos y) 1540194100.302 * [misc]backup-simplify: Simplify (* (sin y) 0) into 0 1540194100.303 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.303 * [misc]backup-simplify: Simplify (+ (cos y) 0) into (cos y) 1540194100.303 * [misc]backup-simplify: Simplify (/ (cos y) 1) into (cos y) 1540194100.303 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in x 1540194100.303 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.303 * [misc]taylor: Taking taylor expansion of x in x 1540194100.303 * [misc]backup-simplify: Simplify 0 into 0 1540194100.303 * [misc]backup-simplify: Simplify 1 into 1 1540194100.303 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.303 * [misc]taylor: Taking taylor expansion of (cos y) in x 1540194100.303 * [misc]taylor: Taking taylor expansion of y in x 1540194100.303 * [misc]backup-simplify: Simplify y into y 1540194100.303 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1540194100.303 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1540194100.303 * [misc]taylor: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y 1540194100.303 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1540194100.303 * [misc]taylor: Taking taylor expansion of (cos y) in y 1540194100.303 * [misc]taylor: Taking taylor expansion of y in y 1540194100.303 * [misc]backup-simplify: Simplify 0 into 0 1540194100.303 * [misc]backup-simplify: Simplify 1 into 1 1540194100.303 * [misc]taylor: Taking taylor expansion of (exp x) in y 1540194100.303 * [misc]taylor: Taking taylor expansion of x in y 1540194100.303 * [misc]backup-simplify: Simplify x into x 1540194100.303 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1540194100.303 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1540194100.304 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of (exp x) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of x in y 1540194100.304 * [misc]backup-simplify: Simplify x into x 1540194100.304 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1540194100.304 * [misc]taylor: Taking taylor expansion of (cos y) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of y in y 1540194100.304 * [misc]backup-simplify: Simplify 0 into 0 1540194100.304 * [misc]backup-simplify: Simplify 1 into 1 1540194100.304 * [misc]taylor: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of (cos y) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of y in y 1540194100.304 * [misc]backup-simplify: Simplify 0 into 0 1540194100.304 * [misc]backup-simplify: Simplify 1 into 1 1540194100.304 * [misc]taylor: Taking taylor expansion of (exp x) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of x in y 1540194100.304 * [misc]backup-simplify: Simplify x into x 1540194100.304 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1540194100.304 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1540194100.304 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of (exp x) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of x in y 1540194100.304 * [misc]backup-simplify: Simplify x into x 1540194100.304 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1540194100.304 * [misc]taylor: Taking taylor expansion of (cos y) in y 1540194100.304 * [misc]taylor: Taking taylor expansion of y in y 1540194100.304 * [misc]backup-simplify: Simplify 0 into 0 1540194100.304 * [misc]backup-simplify: Simplify 1 into 1 1540194100.305 * [misc]backup-simplify: Simplify (* (exp x) 1) into (exp x) 1540194100.305 * [misc]backup-simplify: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x))) 1540194100.305 * [misc]taylor: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 1540194100.305 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.305 * [misc]taylor: Taking taylor expansion of x in x 1540194100.305 * [misc]backup-simplify: Simplify 0 into 0 1540194100.305 * [misc]backup-simplify: Simplify 1 into 1 1540194100.305 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.305 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1540194100.305 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.305 * [misc]taylor: Taking taylor expansion of x in x 1540194100.305 * [misc]backup-simplify: Simplify 0 into 0 1540194100.305 * [misc]backup-simplify: Simplify 1 into 1 1540194100.305 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.305 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.305 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1540194100.305 * [misc]backup-simplify: Simplify 2 into 2 1540194100.306 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.307 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.307 * [misc]backup-simplify: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 1540194100.307 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.308 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.308 * [misc]backup-simplify: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 1540194100.308 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.309 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.309 * [misc]backup-simplify: Simplify 0 into 0 1540194100.309 * [misc]backup-simplify: Simplify 0 into 0 1540194100.310 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540194100.311 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540194100.312 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1540194100.312 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1540194100.312 * [misc]backup-simplify: Simplify 0 into 0 1540194100.313 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540194100.315 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.315 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 1540194100.316 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540194100.318 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.318 * [misc]backup-simplify: Simplify (+ (* (exp x) (- 1/2)) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 1540194100.319 * [misc]backup-simplify: Simplify (+ (- (* 1/2 (/ 1 (exp x)))) (- (* 1/2 (exp x)))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) 1540194100.319 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x 1540194100.319 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x 1540194100.319 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp x)) in x 1540194100.319 * [misc]taylor: Taking taylor expansion of 1/2 in x 1540194100.319 * [misc]backup-simplify: Simplify 1/2 into 1/2 1540194100.319 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.319 * [misc]taylor: Taking taylor expansion of x in x 1540194100.319 * [misc]backup-simplify: Simplify 0 into 0 1540194100.319 * [misc]backup-simplify: Simplify 1 into 1 1540194100.319 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.319 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 1540194100.319 * [misc]taylor: Taking taylor expansion of 1/2 in x 1540194100.319 * [misc]backup-simplify: Simplify 1/2 into 1/2 1540194100.319 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1540194100.319 * [misc]taylor: Taking taylor expansion of (exp x) in x 1540194100.319 * [misc]taylor: Taking taylor expansion of x in x 1540194100.319 * [misc]backup-simplify: Simplify 0 into 0 1540194100.319 * [misc]backup-simplify: Simplify 1 into 1 1540194100.319 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194100.319 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.319 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1540194100.320 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1540194100.320 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1540194100.320 * [misc]backup-simplify: Simplify (- 1) into -1 1540194100.320 * [misc]backup-simplify: Simplify -1 into -1 1540194100.320 * [misc]backup-simplify: Simplify 0 into 0 1540194100.322 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1540194100.324 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1540194100.324 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 1540194100.324 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1540194100.324 * [misc]backup-simplify: Simplify 1 into 1 1540194100.325 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2)) 1540194100.325 * [misc]backup-simplify: Simplify (+ (/ (cos (/ 1 y)) (exp (/ 1 x))) (* (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1540194100.325 * [misc]approximate: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0 1540194100.325 * [misc]taylor: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of x in x 1540194100.325 * [misc]backup-simplify: Simplify 0 into 0 1540194100.325 * [misc]backup-simplify: Simplify 1 into 1 1540194100.325 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.325 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.325 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of y in x 1540194100.325 * [misc]backup-simplify: Simplify y into y 1540194100.325 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1540194100.325 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.325 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1540194100.325 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of y in x 1540194100.325 * [misc]backup-simplify: Simplify y into y 1540194100.325 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1540194100.325 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.325 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1540194100.325 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540194100.325 * [misc]taylor: Taking taylor expansion of x in x 1540194100.325 * [misc]backup-simplify: Simplify 0 into 0 1540194100.325 * [misc]backup-simplify: Simplify 1 into 1 1540194100.326 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.326 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.326 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1540194100.326 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1540194100.326 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.326 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1540194100.326 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.326 * [misc]taylor: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of x in y 1540194100.326 * [misc]backup-simplify: Simplify x into x 1540194100.326 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1540194100.326 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.326 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of y in y 1540194100.326 * [misc]backup-simplify: Simplify 0 into 0 1540194100.326 * [misc]backup-simplify: Simplify 1 into 1 1540194100.326 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.326 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.326 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1540194100.326 * [misc]taylor: Taking taylor expansion of y in y 1540194100.326 * [misc]backup-simplify: Simplify 0 into 0 1540194100.326 * [misc]backup-simplify: Simplify 1 into 1 1540194100.327 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.327 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.327 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of x in y 1540194100.327 * [misc]backup-simplify: Simplify x into x 1540194100.327 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1540194100.327 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.327 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.327 * [misc]taylor: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of x in y 1540194100.327 * [misc]backup-simplify: Simplify x into x 1540194100.327 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1540194100.327 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.327 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of y in y 1540194100.327 * [misc]backup-simplify: Simplify 0 into 0 1540194100.327 * [misc]backup-simplify: Simplify 1 into 1 1540194100.327 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.327 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.327 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of y in y 1540194100.327 * [misc]backup-simplify: Simplify 0 into 0 1540194100.327 * [misc]backup-simplify: Simplify 1 into 1 1540194100.327 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.327 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.327 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1540194100.327 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1540194100.328 * [misc]taylor: Taking taylor expansion of x in y 1540194100.328 * [misc]backup-simplify: Simplify x into x 1540194100.328 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1540194100.328 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.328 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.328 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1540194100.328 * [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)))) 1540194100.328 * [misc]taylor: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of x in x 1540194100.328 * [misc]backup-simplify: Simplify 0 into 0 1540194100.328 * [misc]backup-simplify: Simplify 1 into 1 1540194100.328 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.328 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.328 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of y in x 1540194100.328 * [misc]backup-simplify: Simplify y into y 1540194100.328 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1540194100.328 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.328 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1540194100.328 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1540194100.328 * [misc]taylor: Taking taylor expansion of y in x 1540194100.328 * [misc]backup-simplify: Simplify y into y 1540194100.328 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1540194100.329 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1540194100.329 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1540194100.329 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1540194100.329 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540194100.329 * [misc]taylor: Taking taylor expansion of x in x 1540194100.329 * [misc]backup-simplify: Simplify 0 into 0 1540194100.329 * [misc]backup-simplify: Simplify 1 into 1 1540194100.329 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194100.329 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1540194100.329 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1540194100.329 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1540194100.329 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.329 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1540194100.329 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1540194100.329 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1540194100.329 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1540194100.329 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.329 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1540194100.329 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1540194100.330 * [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)))) 1540194100.330 * [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)))) 1540194100.330 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1540194100.331 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.331 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1540194100.331 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1540194100.332 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.332 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1540194100.332 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.332 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.332 * [misc]backup-simplify: Simplify 0 into 0 1540194100.332 * [misc]backup-simplify: Simplify 0 into 0 1540194100.332 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.332 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1540194100.332 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1540194100.333 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540194100.333 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1540194100.333 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.333 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.333 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1540194100.334 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.334 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1540194100.334 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1540194100.334 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540194100.335 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1540194100.335 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.335 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.335 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1540194100.335 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.335 * [misc]backup-simplify: Simplify 0 into 0 1540194100.335 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.336 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.336 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1540194100.337 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.338 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.338 * [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 1540194100.338 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.338 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.338 * [misc]backup-simplify: Simplify 0 into 0 1540194100.338 * [misc]backup-simplify: Simplify 0 into 0 1540194100.338 * [misc]backup-simplify: Simplify 0 into 0 1540194100.339 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540194100.339 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1540194100.339 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1540194100.340 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540194100.340 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1540194100.340 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.340 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.340 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1540194100.341 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540194100.341 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1540194100.341 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1540194100.342 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540194100.342 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1540194100.342 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.342 * [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 1540194100.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.342 * [misc]backup-simplify: Simplify 0 into 0 1540194100.343 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.345 * [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 1540194100.345 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 1540194100.345 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.347 * [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 1540194100.347 * [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 1540194100.348 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.348 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.348 * [misc]backup-simplify: Simplify 0 into 0 1540194100.348 * [misc]backup-simplify: Simplify 0 into 0 1540194100.348 * [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))) 1540194100.348 * [misc]backup-simplify: Simplify (+ (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) (* (cos (/ 1 (- y))) (exp (/ 1 (- x))))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 1540194100.348 * [misc]approximate: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in (y x) around 0 1540194100.348 * [misc]taylor: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 1540194100.348 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1540194100.348 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1540194100.348 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1540194100.348 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.348 * [misc]backup-simplify: Simplify -1 into -1 1540194100.348 * [misc]taylor: Taking taylor expansion of y in x 1540194100.348 * [misc]backup-simplify: Simplify y into y 1540194100.348 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1540194100.348 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.348 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1540194100.348 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1540194100.348 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1540194100.348 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.348 * [misc]backup-simplify: Simplify -1 into -1 1540194100.348 * [misc]taylor: Taking taylor expansion of x in x 1540194100.348 * [misc]backup-simplify: Simplify 0 into 0 1540194100.348 * [misc]backup-simplify: Simplify 1 into 1 1540194100.348 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.349 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.349 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1540194100.349 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1540194100.349 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.349 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1540194100.349 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.349 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1540194100.349 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1540194100.349 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1540194100.349 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.349 * [misc]backup-simplify: Simplify -1 into -1 1540194100.349 * [misc]taylor: Taking taylor expansion of x in x 1540194100.349 * [misc]backup-simplify: Simplify 0 into 0 1540194100.349 * [misc]backup-simplify: Simplify 1 into 1 1540194100.349 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.349 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.349 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1540194100.349 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1540194100.349 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.349 * [misc]backup-simplify: Simplify -1 into -1 1540194100.349 * [misc]taylor: Taking taylor expansion of y in x 1540194100.349 * [misc]backup-simplify: Simplify y into y 1540194100.349 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1540194100.349 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.349 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1540194100.349 * [misc]taylor: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y 1540194100.349 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1540194100.349 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1540194100.349 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1540194100.349 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.349 * [misc]backup-simplify: Simplify -1 into -1 1540194100.349 * [misc]taylor: Taking taylor expansion of y in y 1540194100.350 * [misc]backup-simplify: Simplify 0 into 0 1540194100.350 * [misc]backup-simplify: Simplify 1 into 1 1540194100.350 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.350 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.350 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.350 * [misc]backup-simplify: Simplify -1 into -1 1540194100.350 * [misc]taylor: Taking taylor expansion of x in y 1540194100.350 * [misc]backup-simplify: Simplify x into x 1540194100.350 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1540194100.350 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.350 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.350 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.350 * [misc]backup-simplify: Simplify -1 into -1 1540194100.350 * [misc]taylor: Taking taylor expansion of x in y 1540194100.350 * [misc]backup-simplify: Simplify x into x 1540194100.350 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1540194100.350 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.350 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.350 * [misc]backup-simplify: Simplify -1 into -1 1540194100.350 * [misc]taylor: Taking taylor expansion of y in y 1540194100.350 * [misc]backup-simplify: Simplify 0 into 0 1540194100.350 * [misc]backup-simplify: Simplify 1 into 1 1540194100.350 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.350 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.350 * [misc]taylor: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1540194100.350 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.350 * [misc]backup-simplify: Simplify -1 into -1 1540194100.350 * [misc]taylor: Taking taylor expansion of y in y 1540194100.351 * [misc]backup-simplify: Simplify 0 into 0 1540194100.351 * [misc]backup-simplify: Simplify 1 into 1 1540194100.351 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.351 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.351 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1540194100.351 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1540194100.351 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.351 * [misc]backup-simplify: Simplify -1 into -1 1540194100.351 * [misc]taylor: Taking taylor expansion of x in y 1540194100.351 * [misc]backup-simplify: Simplify x into x 1540194100.351 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1540194100.351 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.351 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.351 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1540194100.351 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1540194100.351 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1540194100.351 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.351 * [misc]backup-simplify: Simplify -1 into -1 1540194100.351 * [misc]taylor: Taking taylor expansion of x in y 1540194100.351 * [misc]backup-simplify: Simplify x into x 1540194100.351 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1540194100.351 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.351 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1540194100.351 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1540194100.351 * [misc]taylor: Taking taylor expansion of -1 in y 1540194100.351 * [misc]backup-simplify: Simplify -1 into -1 1540194100.351 * [misc]taylor: Taking taylor expansion of y in y 1540194100.351 * [misc]backup-simplify: Simplify 0 into 0 1540194100.351 * [misc]backup-simplify: Simplify 1 into 1 1540194100.351 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.351 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.351 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1540194100.352 * [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)))) 1540194100.352 * [misc]taylor: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 1540194100.352 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1540194100.352 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1540194100.352 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1540194100.352 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.352 * [misc]backup-simplify: Simplify -1 into -1 1540194100.352 * [misc]taylor: Taking taylor expansion of y in x 1540194100.352 * [misc]backup-simplify: Simplify y into y 1540194100.352 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1540194100.352 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.352 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1540194100.352 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1540194100.352 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1540194100.352 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.352 * [misc]backup-simplify: Simplify -1 into -1 1540194100.352 * [misc]taylor: Taking taylor expansion of x in x 1540194100.352 * [misc]backup-simplify: Simplify 0 into 0 1540194100.352 * [misc]backup-simplify: Simplify 1 into 1 1540194100.352 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.352 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.352 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1540194100.352 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1540194100.352 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.352 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1540194100.353 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1540194100.353 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1540194100.353 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1540194100.353 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1540194100.353 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.353 * [misc]backup-simplify: Simplify -1 into -1 1540194100.353 * [misc]taylor: Taking taylor expansion of x in x 1540194100.353 * [misc]backup-simplify: Simplify 0 into 0 1540194100.353 * [misc]backup-simplify: Simplify 1 into 1 1540194100.353 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194100.353 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1540194100.353 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1540194100.353 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1540194100.353 * [misc]taylor: Taking taylor expansion of -1 in x 1540194100.353 * [misc]backup-simplify: Simplify -1 into -1 1540194100.353 * [misc]taylor: Taking taylor expansion of y in x 1540194100.353 * [misc]backup-simplify: Simplify y into y 1540194100.353 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1540194100.353 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1540194100.353 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1540194100.353 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1540194100.353 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1540194100.353 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.353 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1540194100.353 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1540194100.354 * [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)))) 1540194100.354 * [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)))) 1540194100.354 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1540194100.355 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.355 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1540194100.355 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1540194100.356 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1540194100.356 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1540194100.356 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.356 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.356 * [misc]backup-simplify: Simplify 0 into 0 1540194100.356 * [misc]backup-simplify: Simplify 0 into 0 1540194100.356 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.356 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1540194100.356 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1540194100.357 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540194100.357 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1540194100.357 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.357 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.358 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1540194100.358 * [misc]backup-simplify: Simplify (+ 0) into 0 1540194100.358 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1540194100.358 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1540194100.358 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540194100.359 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1540194100.359 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.359 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.359 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1540194100.359 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.359 * [misc]backup-simplify: Simplify 0 into 0 1540194100.359 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.360 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.361 * [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 1540194100.361 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.362 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540194100.362 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1540194100.362 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.362 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.362 * [misc]backup-simplify: Simplify 0 into 0 1540194100.362 * [misc]backup-simplify: Simplify 0 into 0 1540194100.362 * [misc]backup-simplify: Simplify 0 into 0 1540194100.363 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540194100.363 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1540194100.363 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1540194100.364 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540194100.364 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1540194100.364 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.364 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.365 * [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 1540194100.365 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540194100.365 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1540194100.365 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1540194100.366 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540194100.366 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1540194100.366 * [misc]backup-simplify: Simplify (- 0) into 0 1540194100.367 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.367 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1540194100.367 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.367 * [misc]backup-simplify: Simplify 0 into 0 1540194100.367 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.369 * [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 1540194100.369 * [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 1540194100.369 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1540194100.371 * [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 1540194100.372 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 1540194100.372 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194100.372 * [misc]taylor: Taking taylor expansion of 0 in x 1540194100.372 * [misc]backup-simplify: Simplify 0 into 0 1540194100.372 * [misc]backup-simplify: Simplify 0 into 0 1540194100.372 * [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))) 1540194100.372 * * * [misc]progress: simplifying candidates 1540194100.372 * * * * [misc]progress: [ 1 / 45 ] simplifiying candidate # 1540194100.372 * * * * [misc]progress: [ 2 / 45 ] simplifiying candidate # 1540194100.372 * [enter]simplify: Simplifying (- (log (cos y)) x) 1540194100.372 * * [misc]simplify: iters left: 4 (5 enodes) 1540194100.373 * * [misc]simplify: iters left: 3 (7 enodes) 1540194100.374 * * [misc]simplify: iters left: 2 (8 enodes) 1540194100.375 * [exit]simplify: Simplified to (- (log (cos y)) x) 1540194100.375 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2)) 1540194100.375 * * * * [misc]progress: [ 3 / 45 ] simplifiying candidate # 1540194100.375 * * * * [misc]progress: [ 4 / 45 ] simplifiying candidate # 1540194100.375 * * * * [misc]progress: [ 5 / 45 ] simplifiying candidate # 1540194100.375 * [enter]simplify: Simplifying (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 1540194100.376 * * [misc]simplify: iters left: 6 (9 enodes) 1540194100.377 * * [misc]simplify: iters left: 5 (20 enodes) 1540194100.381 * * [misc]simplify: iters left: 4 (52 enodes) 1540194100.392 * * [misc]simplify: iters left: 3 (102 enodes) 1540194100.423 * * [misc]simplify: iters left: 2 (157 enodes) 1540194100.467 * * [misc]simplify: iters left: 1 (174 enodes) 1540194100.486 * [exit]simplify: Simplified to (pow (/ (cos y) (exp x)) 3) 1540194100.486 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (cbrt (pow (/ (cos y) (exp x)) 3)) (* (cos y) (exp x))) 2)) 1540194100.486 * * * * [misc]progress: [ 6 / 45 ] simplifiying candidate # 1540194100.486 * * * * [misc]progress: [ 7 / 45 ] simplifiying candidate # 1540194100.486 * * * * [misc]progress: [ 8 / 45 ] simplifiying candidate # 1540194100.486 * * * * [misc]progress: [ 9 / 45 ] simplifiying candidate # 1540194100.486 * * * * [misc]progress: [ 10 / 45 ] simplifiying candidate # 1540194100.486 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 1540194100.486 * * [misc]simplify: iters left: 6 (9 enodes) 1540194100.488 * * [misc]simplify: iters left: 5 (15 enodes) 1540194100.490 * * [misc]simplify: iters left: 4 (24 enodes) 1540194100.493 * * [misc]simplify: iters left: 3 (27 enodes) 1540194100.497 * * [misc]simplify: iters left: 2 (30 enodes) 1540194100.500 * [exit]simplify: Simplified to (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) 1540194100.500 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.500 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (cbrt (exp x))) 1540194100.500 * * [misc]simplify: iters left: 4 (7 enodes) 1540194100.501 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (cbrt (exp x))) 1540194100.501 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.501 * * * * [misc]progress: [ 11 / 45 ] simplifiying candidate # 1540194100.501 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1540194100.502 * * [misc]simplify: iters left: 6 (8 enodes) 1540194100.503 * * [misc]simplify: iters left: 5 (10 enodes) 1540194100.504 * * [misc]simplify: iters left: 4 (12 enodes) 1540194100.505 * * [misc]simplify: iters left: 3 (13 enodes) 1540194100.507 * [exit]simplify: Simplified to (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1540194100.507 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.507 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (sqrt (exp x))) 1540194100.507 * * [misc]simplify: iters left: 4 (7 enodes) 1540194100.508 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (sqrt (exp x))) 1540194100.508 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.508 * * * * [misc]progress: [ 12 / 45 ] simplifiying candidate # 1540194100.508 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1540194100.508 * * [misc]simplify: iters left: 6 (6 enodes) 1540194100.509 * * [misc]simplify: iters left: 5 (10 enodes) 1540194100.511 * * [misc]simplify: iters left: 4 (16 enodes) 1540194100.513 * * [misc]simplify: iters left: 3 (18 enodes) 1540194100.514 * * [misc]simplify: iters left: 2 (23 enodes) 1540194100.517 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1540194100.517 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1540194100.517 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (exp x)) 1540194100.517 * * [misc]simplify: iters left: 4 (6 enodes) 1540194100.518 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (exp x)) 1540194100.518 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1540194100.518 * * * * [misc]progress: [ 13 / 45 ] simplifiying candidate # 1540194100.518 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) 1540194100.518 * * [misc]simplify: iters left: 6 (8 enodes) 1540194100.519 * * [misc]simplify: iters left: 5 (10 enodes) 1540194100.520 * [exit]simplify: Simplified to (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) 1540194100.520 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.521 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (cbrt (exp x))) 1540194100.521 * * [misc]simplify: iters left: 4 (7 enodes) 1540194100.521 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (cbrt (exp x))) 1540194100.522 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.522 * * * * [misc]progress: [ 14 / 45 ] simplifiying candidate # 1540194100.522 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1540194100.522 * * [misc]simplify: iters left: 4 (7 enodes) 1540194100.523 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1540194100.523 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.523 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1540194100.523 * * [misc]simplify: iters left: 4 (7 enodes) 1540194100.524 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1540194100.524 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.524 * * * * [misc]progress: [ 15 / 45 ] simplifiying candidate # 1540194100.524 * [enter]simplify: Simplifying (/ (sqrt (cos y)) 1) 1540194100.524 * * [misc]simplify: iters left: 4 (5 enodes) 1540194100.525 * * [misc]simplify: iters left: 3 (7 enodes) 1540194100.526 * * [misc]simplify: iters left: 2 (9 enodes) 1540194100.527 * [exit]simplify: Simplified to (sqrt (cos y)) 1540194100.527 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1540194100.527 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (exp x)) 1540194100.527 * * [misc]simplify: iters left: 4 (6 enodes) 1540194100.528 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (exp x)) 1540194100.528 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1540194100.528 * * * * [misc]progress: [ 16 / 45 ] simplifiying candidate # 1540194100.528 * [enter]simplify: Simplifying (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1540194100.528 * * [misc]simplify: iters left: 6 (6 enodes) 1540194100.529 * * [misc]simplify: iters left: 5 (10 enodes) 1540194100.530 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (exp x))) (cbrt (exp x))) 1540194100.530 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ (/ 1 (cbrt (exp x))) (cbrt (exp x))) (/ (cos y) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.530 * [enter]simplify: Simplifying (/ (cos y) (cbrt (exp x))) 1540194100.530 * * [misc]simplify: iters left: 4 (6 enodes) 1540194100.531 * [exit]simplify: Simplified to (/ (cos y) (cbrt (exp x))) 1540194100.531 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.531 * * * * [misc]progress: [ 17 / 45 ] simplifiying candidate # 1540194100.531 * [enter]simplify: Simplifying (/ 1 (sqrt (exp x))) 1540194100.532 * * [misc]simplify: iters left: 4 (5 enodes) 1540194100.533 * * [misc]simplify: iters left: 3 (7 enodes) 1540194100.535 * [exit]simplify: Simplified to (/ 1 (sqrt (exp x))) 1540194100.535 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.535 * [enter]simplify: Simplifying (/ (cos y) (sqrt (exp x))) 1540194100.535 * * [misc]simplify: iters left: 4 (6 enodes) 1540194100.536 * [exit]simplify: Simplified to (/ (cos y) (sqrt (exp x))) 1540194100.536 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1540194100.536 * * * * [misc]progress: [ 18 / 45 ] simplifiying candidate # 1540194100.536 * [enter]simplify: Simplifying (/ 1 1) 1540194100.536 * * [misc]simplify: iters left: 2 (2 enodes) 1540194100.536 * * [misc]simplify: iters left: 1 (4 enodes) 1540194100.537 * [exit]simplify: Simplified to 1 1540194100.537 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2)) 1540194100.537 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1540194100.537 * * [misc]simplify: iters left: 3 (5 enodes) 1540194100.538 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1540194100.538 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2)) 1540194100.538 * * * * [misc]progress: [ 19 / 45 ] simplifiying candidate # 1540194100.538 * * * * [misc]progress: [ 20 / 45 ] simplifiying candidate # 1540194100.538 * * * * [misc]progress: [ 21 / 45 ] simplifiying candidate # 1540194100.538 * * * * [misc]progress: [ 22 / 45 ] simplifiying candidate # 1540194100.538 * [enter]simplify: Simplifying (cbrt (exp x)) 1540194100.538 * * [misc]simplify: iters left: 2 (3 enodes) 1540194100.538 * [exit]simplify: Simplified to (cbrt (exp x)) 1540194100.538 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (* (cos y) (exp x))) 2)) 1540194100.538 * * * * [misc]progress: [ 23 / 45 ] simplifiying candidate # 1540194100.539 * [enter]simplify: Simplifying (sqrt (exp x)) 1540194100.539 * * [misc]simplify: iters left: 2 (3 enodes) 1540194100.539 * [exit]simplify: Simplified to (sqrt (exp x)) 1540194100.539 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (* (cos y) (exp x))) 2)) 1540194100.539 * * * * [misc]progress: [ 24 / 45 ] simplifiying candidate # 1540194100.539 * [enter]simplify: Simplifying (exp x) 1540194100.539 * * [misc]simplify: iters left: 1 (2 enodes) 1540194100.539 * [exit]simplify: Simplified to (exp x) 1540194100.539 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) 1) (exp x)) (* (cos y) (exp x))) 2)) 1540194100.539 * * * * [misc]progress: [ 25 / 45 ] simplifiying candidate # 1540194100.540 * [enter]simplify: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1540194100.540 * * [misc]simplify: iters left: 4 (4 enodes) 1540194100.540 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1540194100.540 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (* (cbrt (cos y)) (cbrt (cos y))) (/ (exp x) (cbrt (cos y)))) (* (cos y) (exp x))) 2)) 1540194100.540 * * * * [misc]progress: [ 26 / 45 ] simplifiying candidate # 1540194100.540 * [enter]simplify: Simplifying (sqrt (cos y)) 1540194100.540 * * [misc]simplify: iters left: 2 (3 enodes) 1540194100.541 * [exit]simplify: Simplified to (sqrt (cos y)) 1540194100.541 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y)))) (* (cos y) (exp x))) 2)) 1540194100.541 * * * * [misc]progress: [ 27 / 45 ] simplifiying candidate # 1540194100.541 * * * * [misc]progress: [ 28 / 45 ] simplifiying candidate # 1540194100.541 * [enter]simplify: Simplifying (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x)))) 1540194100.541 * * [misc]simplify: iters left: 6 (9 enodes) 1540194100.542 * * [misc]simplify: iters left: 5 (15 enodes) 1540194100.544 * * [misc]simplify: iters left: 4 (17 enodes) 1540194100.546 * [exit]simplify: Simplified to (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 1540194100.546 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (log (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 1540194100.546 * * * * [misc]progress: [ 29 / 45 ] simplifiying candidate # 1540194100.546 * * * * [misc]progress: [ 30 / 45 ] simplifiying candidate # 1540194100.546 * * * * [misc]progress: [ 31 / 45 ] simplifiying candidate # 1540194100.546 * * * * [misc]progress: [ 32 / 45 ] simplifiying candidate # 1540194100.546 * * * * [misc]progress: [ 33 / 45 ] simplifiying candidate # 1540194100.546 * * * * [misc]progress: [ 34 / 45 ] simplifiying candidate # 1540194100.546 * * * * [misc]progress: [ 35 / 45 ] simplifiying candidate # 1540194100.547 * * * * [misc]progress: [ 36 / 45 ] simplifiying candidate # 1540194100.547 * * * * [misc]progress: [ 37 / 45 ] simplifiying candidate # 1540194100.547 * * * * [misc]progress: [ 38 / 45 ] simplifiying candidate # 1540194100.547 * [enter]simplify: Simplifying (cos y) 1540194100.547 * * [misc]simplify: iters left: 1 (2 enodes) 1540194100.547 * [exit]simplify: Simplified to (cos y) 1540194100.547 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2)) 1540194100.547 * [enter]simplify: Simplifying (+ (/ 1 (exp x)) (exp x)) 1540194100.547 * * [misc]simplify: iters left: 5 (5 enodes) 1540194100.548 * * [misc]simplify: iters left: 4 (10 enodes) 1540194100.550 * [exit]simplify: Simplified to (+ (exp (- x)) (exp x)) 1540194100.550 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (/ (* (cos y) (+ (exp (- x)) (exp x))) 2)) 1540194100.550 * * * * [misc]progress: [ 39 / 45 ] simplifiying candidate # 1540194100.550 * * * * [misc]progress: [ 40 / 45 ] simplifiying candidate # 1540194100.551 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x)) 1540194100.551 * * [misc]simplify: iters left: 6 (9 enodes) 1540194100.552 * * [misc]simplify: iters left: 5 (18 enodes) 1540194100.554 * * [misc]simplify: iters left: 4 (30 enodes) 1540194100.559 * * [misc]simplify: iters left: 3 (55 enodes) 1540194100.566 * * [misc]simplify: iters left: 2 (76 enodes) 1540194100.580 * * [misc]simplify: iters left: 1 (92 enodes) 1540194100.609 * [exit]simplify: Simplified to (- (* (* -1/2 y) y) (+ -1 x)) 1540194100.609 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (- (* (* -1/2 y) y) (+ -1 x)) (* (cos y) (exp x))) 2)) 1540194100.610 * * * * [misc]progress: [ 41 / 45 ] simplifiying candidate # 1540194100.610 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1540194100.610 * * [misc]simplify: iters left: 3 (5 enodes) 1540194100.611 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1540194100.611 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1540194100.611 * * * * [misc]progress: [ 42 / 45 ] simplifiying candidate # 1540194100.612 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1540194100.612 * * [misc]simplify: iters left: 3 (5 enodes) 1540194100.613 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1540194100.613 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1540194100.613 * * * * [misc]progress: [ 43 / 45 ] simplifiying candidate # 1540194100.613 * [enter]simplify: Simplifying (- (+ (pow x 2) 2) (pow y 2)) 1540194100.613 * * [misc]simplify: iters left: 5 (7 enodes) 1540194100.616 * * [misc]simplify: iters left: 4 (14 enodes) 1540194100.620 * * [misc]simplify: iters left: 3 (25 enodes) 1540194100.627 * * [misc]simplify: iters left: 2 (35 enodes) 1540194100.635 * * [misc]simplify: iters left: 1 (42 enodes) 1540194100.645 * [exit]simplify: Simplified to (+ (* (+ x y) (- x y)) 2) 1540194100.645 * [misc]simplify: Simplified (2 1) to (λ (x y) (/ (+ (* (+ x y) (- x y)) 2) 2)) 1540194100.645 * * * * [misc]progress: [ 44 / 45 ] simplifiying candidate # 1540194100.645 * [enter]simplify: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1540194100.645 * * [misc]simplify: iters left: 5 (7 enodes) 1540194100.647 * * [misc]simplify: iters left: 4 (9 enodes) 1540194100.650 * [exit]simplify: Simplified to (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 1540194100.650 * [misc]simplify: Simplified (2 1) to (λ (x y) (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2)) 1540194100.650 * * * * [misc]progress: [ 45 / 45 ] simplifiying candidate # 1540194100.650 * [enter]simplify: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1540194100.650 * * [misc]simplify: iters left: 5 (7 enodes) 1540194100.653 * * [misc]simplify: iters left: 4 (9 enodes) 1540194100.655 * [exit]simplify: Simplified to (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 1540194100.655 * [misc]simplify: Simplified (2 1) to (λ (x y) (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2)) 1540194100.655 * * * [misc]progress: adding candidates to table 1540194101.124 * [misc]progress: [Phase 3 of 3] Extracting. 1540194101.127 * [enter]simplify: Simplifying (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 1540194101.127 * * [misc]simplify: iters left: 6 (9 enodes) 1540194101.128 * * [misc]simplify: iters left: 5 (11 enodes) 1540194101.128 * [exit]simplify: Simplified to (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2) 1540194101.128 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540194101.167 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540194101.169 * * * * [misc]points: Setting MPFR precision to 64 1540194101.170 * * * * [misc]points: Setting MPFR precision to 320 1540194101.171 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540194101.173 * * * * [misc]points: Setting MPFR precision to 64 1540194101.175 * * * * [misc]points: Setting MPFR precision to 320 1540194101.177 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540194101.179 * * * * [misc]points: Setting MPFR precision to 64 1540194101.182 * * * * [misc]points: Setting MPFR precision to 320 1540194101.185 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540194101.187 * * * * [misc]points: Setting MPFR precision to 64 1540194101.192 * * * * [misc]points: Setting MPFR precision to 320 1540194101.202 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540194101.206 * * * * [misc]points: Setting MPFR precision to 64 1540194101.227 * * * * [misc]points: Setting MPFR precision to 320 1540194101.243 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540194101.245 * * * * [misc]points: Setting MPFR precision to 64 1540194101.273 * * * * [misc]points: Setting MPFR precision to 320 1540194101.321 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540194101.325 * * * * [misc]points: Setting MPFR precision to 64 1540194101.456 * * * * [misc]points: Setting MPFR precision to 320 1540194101.550 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540194101.555 * * * * [misc]points: Setting MPFR precision to 64 1540194101.748 * * * * [misc]points: Setting MPFR precision to 320 1540194101.902 * * * * [misc]points: Computing exacts for 8000 points 1540194101.907 * * * * [misc]points: Setting MPFR precision to 64 1540194102.896 * * * * [misc]points: Setting MPFR precision to 320 1540194103.575 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194103.576 * * * * [misc]points: Sampling 3910 additional inputs, on iter 1 have 4090 / 8000 1540194103.606 * * * * [misc]points: Computing exacts on every 244 of 3910 points to ramp up precision 1540194103.610 * * * * [misc]points: Setting MPFR precision to 64 1540194103.630 * * * * [misc]points: Setting MPFR precision to 320 1540194103.631 * * * * [misc]points: Computing exacts on every 122 of 3910 points to ramp up precision 1540194103.633 * * * * [misc]points: Setting MPFR precision to 64 1540194103.635 * * * * [misc]points: Setting MPFR precision to 320 1540194103.636 * * * * [misc]points: Computing exacts on every 61 of 3910 points to ramp up precision 1540194103.638 * * * * [misc]points: Setting MPFR precision to 64 1540194103.642 * * * * [misc]points: Setting MPFR precision to 320 1540194103.645 * * * * [misc]points: Computing exacts on every 30 of 3910 points to ramp up precision 1540194103.648 * * * * [misc]points: Setting MPFR precision to 64 1540194103.653 * * * * [misc]points: Setting MPFR precision to 320 1540194103.659 * * * * [misc]points: Computing exacts on every 15 of 3910 points to ramp up precision 1540194103.661 * * * * [misc]points: Setting MPFR precision to 64 1540194103.672 * * * * [misc]points: Setting MPFR precision to 320 1540194103.684 * * * * [misc]points: Computing exacts on every 7 of 3910 points to ramp up precision 1540194103.686 * * * * [misc]points: Setting MPFR precision to 64 1540194103.707 * * * * [misc]points: Setting MPFR precision to 320 1540194103.731 * * * * [misc]points: Computing exacts on every 3 of 3910 points to ramp up precision 1540194103.733 * * * * [misc]points: Setting MPFR precision to 64 1540194103.823 * * * * [misc]points: Setting MPFR precision to 320 1540194103.916 * * * * [misc]points: Computing exacts for 3910 points 1540194103.920 * * * * [misc]points: Setting MPFR precision to 64 1540194104.188 * * * * [misc]points: Setting MPFR precision to 320 1540194104.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194104.519 * * * * [misc]points: Sampling 1925 additional inputs, on iter 2 have 6075 / 8000 1540194104.527 * * * * [misc]points: Computing exacts on every 120 of 1925 points to ramp up precision 1540194104.530 * * * * [misc]points: Setting MPFR precision to 64 1540194104.531 * * * * [misc]points: Setting MPFR precision to 320 1540194104.532 * * * * [misc]points: Computing exacts on every 60 of 1925 points to ramp up precision 1540194104.535 * * * * [misc]points: Setting MPFR precision to 64 1540194104.539 * * * * [misc]points: Setting MPFR precision to 320 1540194104.542 * * * * [misc]points: Computing exacts on every 30 of 1925 points to ramp up precision 1540194104.546 * * * * [misc]points: Setting MPFR precision to 64 1540194104.551 * * * * [misc]points: Setting MPFR precision to 320 1540194104.868 * * * * [misc]points: Computing exacts on every 15 of 1925 points to ramp up precision 1540194104.870 * * * * [misc]points: Setting MPFR precision to 64 1540194104.876 * * * * [misc]points: Setting MPFR precision to 320 1540194104.883 * * * * [misc]points: Computing exacts on every 7 of 1925 points to ramp up precision 1540194104.886 * * * * [misc]points: Setting MPFR precision to 64 1540194104.896 * * * * [misc]points: Setting MPFR precision to 320 1540194104.908 * * * * [misc]points: Computing exacts on every 3 of 1925 points to ramp up precision 1540194104.910 * * * * [misc]points: Setting MPFR precision to 64 1540194104.933 * * * * [misc]points: Setting MPFR precision to 320 1540194104.977 * * * * [misc]points: Computing exacts for 1925 points 1540194104.982 * * * * [misc]points: Setting MPFR precision to 64 1540194105.139 * * * * [misc]points: Setting MPFR precision to 320 1540194105.343 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.343 * * * * [misc]points: Sampling 943 additional inputs, on iter 3 have 7057 / 8000 1540194105.347 * * * * [misc]points: Computing exacts on every 58 of 943 points to ramp up precision 1540194105.350 * * * * [misc]points: Setting MPFR precision to 64 1540194105.351 * * * * [misc]points: Setting MPFR precision to 320 1540194105.355 * * * * [misc]points: Computing exacts on every 29 of 943 points to ramp up precision 1540194105.358 * * * * [misc]points: Setting MPFR precision to 64 1540194105.361 * * * * [misc]points: Setting MPFR precision to 320 1540194105.364 * * * * [misc]points: Computing exacts on every 14 of 943 points to ramp up precision 1540194105.368 * * * * [misc]points: Setting MPFR precision to 64 1540194105.373 * * * * [misc]points: Setting MPFR precision to 320 1540194105.379 * * * * [misc]points: Computing exacts on every 7 of 943 points to ramp up precision 1540194105.384 * * * * [misc]points: Setting MPFR precision to 64 1540194105.393 * * * * [misc]points: Setting MPFR precision to 320 1540194105.404 * * * * [misc]points: Computing exacts on every 3 of 943 points to ramp up precision 1540194105.409 * * * * [misc]points: Setting MPFR precision to 64 1540194105.422 * * * * [misc]points: Setting MPFR precision to 320 1540194105.433 * * * * [misc]points: Computing exacts for 943 points 1540194105.436 * * * * [misc]points: Setting MPFR precision to 64 1540194105.524 * * * * [misc]points: Setting MPFR precision to 320 1540194105.612 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.612 * * * * [misc]points: Sampling 473 additional inputs, on iter 4 have 7527 / 8000 1540194105.616 * * * * [misc]points: Computing exacts on every 29 of 473 points to ramp up precision 1540194105.621 * * * * [misc]points: Setting MPFR precision to 64 1540194105.622 * * * * [misc]points: Setting MPFR precision to 320 1540194105.624 * * * * [misc]points: Computing exacts on every 14 of 473 points to ramp up precision 1540194105.628 * * * * [misc]points: Setting MPFR precision to 64 1540194105.631 * * * * [misc]points: Setting MPFR precision to 320 1540194105.635 * * * * [misc]points: Computing exacts on every 7 of 473 points to ramp up precision 1540194105.639 * * * * [misc]points: Setting MPFR precision to 64 1540194105.644 * * * * [misc]points: Setting MPFR precision to 320 1540194105.650 * * * * [misc]points: Computing exacts on every 3 of 473 points to ramp up precision 1540194105.654 * * * * [misc]points: Setting MPFR precision to 64 1540194105.663 * * * * [misc]points: Setting MPFR precision to 320 1540194105.673 * * * * [misc]points: Computing exacts for 473 points 1540194105.675 * * * * [misc]points: Setting MPFR precision to 64 1540194105.730 * * * * [misc]points: Setting MPFR precision to 320 1540194105.757 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.757 * * * * [misc]points: Sampling 221 additional inputs, on iter 5 have 7779 / 8000 1540194105.758 * * * * [misc]points: Computing exacts on every 13 of 221 points to ramp up precision 1540194105.762 * * * * [misc]points: Setting MPFR precision to 64 1540194105.763 * * * * [misc]points: Setting MPFR precision to 320 1540194105.764 * * * * [misc]points: Computing exacts on every 6 of 221 points to ramp up precision 1540194105.769 * * * * [misc]points: Setting MPFR precision to 64 1540194105.771 * * * * [misc]points: Setting MPFR precision to 320 1540194105.774 * * * * [misc]points: Computing exacts on every 3 of 221 points to ramp up precision 1540194105.778 * * * * [misc]points: Setting MPFR precision to 64 1540194105.783 * * * * [misc]points: Setting MPFR precision to 320 1540194105.787 * * * * [misc]points: Computing exacts for 221 points 1540194105.792 * * * * [misc]points: Setting MPFR precision to 64 1540194105.808 * * * * [misc]points: Setting MPFR precision to 320 1540194105.828 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.828 * * * * [misc]points: Sampling 119 additional inputs, on iter 6 have 7881 / 8000 1540194105.829 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1540194105.833 * * * * [misc]points: Setting MPFR precision to 64 1540194105.835 * * * * [misc]points: Setting MPFR precision to 320 1540194105.836 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1540194105.840 * * * * [misc]points: Setting MPFR precision to 64 1540194105.843 * * * * [misc]points: Setting MPFR precision to 320 1540194105.846 * * * * [misc]points: Computing exacts for 119 points 1540194105.850 * * * * [misc]points: Setting MPFR precision to 64 1540194105.860 * * * * [misc]points: Setting MPFR precision to 320 1540194105.871 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.871 * * * * [misc]points: Sampling 65 additional inputs, on iter 7 have 7935 / 8000 1540194105.872 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1540194105.876 * * * * [misc]points: Setting MPFR precision to 64 1540194105.877 * * * * [misc]points: Setting MPFR precision to 320 1540194105.879 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1540194105.883 * * * * [misc]points: Setting MPFR precision to 64 1540194105.884 * * * * [misc]points: Setting MPFR precision to 320 1540194105.886 * * * * [misc]points: Computing exacts for 65 points 1540194105.890 * * * * [misc]points: Setting MPFR precision to 64 1540194105.896 * * * * [misc]points: Setting MPFR precision to 320 1540194105.900 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.901 * * * * [misc]points: Sampling 35 additional inputs, on iter 8 have 7965 / 8000 1540194105.901 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540194105.928 * * * * [misc]points: Setting MPFR precision to 64 1540194105.929 * * * * [misc]points: Setting MPFR precision to 320 1540194105.930 * * * * [misc]points: Computing exacts for 35 points 1540194105.934 * * * * [misc]points: Setting MPFR precision to 64 1540194105.938 * * * * [misc]points: Setting MPFR precision to 320 1540194105.940 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.940 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 7980 / 8000 1540194105.940 * * * * [misc]points: Computing exacts for 20 points 1540194105.943 * * * * [misc]points: Setting MPFR precision to 64 1540194105.944 * * * * [misc]points: Setting MPFR precision to 320 1540194105.945 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.945 * * * * [misc]points: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 1540194105.945 * * * * [misc]points: Computing exacts for 11 points 1540194105.947 * * * * [misc]points: Setting MPFR precision to 64 1540194105.948 * * * * [misc]points: Setting MPFR precision to 320 1540194105.949 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.949 * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 7992 / 8000 1540194105.949 * * * * [misc]points: Computing exacts for 8 points 1540194105.951 * * * * [misc]points: Setting MPFR precision to 64 1540194105.951 * * * * [misc]points: Setting MPFR precision to 320 1540194105.952 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.952 * * * * [misc]points: Sampling 6 additional inputs, on iter 12 have 7994 / 8000 1540194105.952 * * * * [misc]points: Computing exacts for 6 points 1540194105.954 * * * * [misc]points: Setting MPFR precision to 64 1540194105.954 * * * * [misc]points: Setting MPFR precision to 320 1540194105.955 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.955 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7998 / 8000 1540194105.955 * * * * [misc]points: Computing exacts for 4 points 1540194105.957 * * * * [misc]points: Setting MPFR precision to 64 1540194105.957 * * * * [misc]points: Setting MPFR precision to 320 1540194105.957 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194105.957 * * * * [exit]points: Sampled 8001 points with exact outputs 1540194106.239 * [misc]regime-testing: Baseline error score: 0.010448120312590145 1540194106.239 * [misc]regime-testing: End program error score: 0.010448120312590145 1540194106.240 * [misc]regime-testing: Oracle error score: 0.010448120312590145