1547847956.418 * [misc]progress: [Phase 1 of 3] Setting up. 1547847956.418 * * * [misc]progress: [1/2] Preparing points 1547847956.418 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547847956.423 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1547847956.427 * * * * [misc]points: Setting MPFR precision to 64 1547847956.429 * * * * [misc]points: Setting MPFR precision to 320 1547847956.431 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1547847956.435 * * * * [misc]points: Setting MPFR precision to 64 1547847956.438 * * * * [misc]points: Setting MPFR precision to 320 1547847956.441 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1547847956.446 * * * * [misc]points: Setting MPFR precision to 64 1547847956.451 * * * * [misc]points: Setting MPFR precision to 320 1547847956.457 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1547847956.461 * * * * [misc]points: Setting MPFR precision to 64 1547847956.470 * * * * [misc]points: Setting MPFR precision to 320 1547847956.481 * * * * [misc]points: Computing exacts for 256 points 1547847956.486 * * * * [misc]points: Setting MPFR precision to 64 1547847956.511 * * * * [misc]points: Setting MPFR precision to 320 1547847956.539 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.539 * * * * [misc]points: Sampling 134 additional inputs, on iter 1 have 122 / 256 1547847956.541 * * * * [misc]points: Computing exacts on every 8 of 134 points to ramp up precision 1547847956.546 * * * * [misc]points: Setting MPFR precision to 64 1547847956.547 * * * * [misc]points: Setting MPFR precision to 320 1547847956.549 * * * * [misc]points: Computing exacts on every 4 of 134 points to ramp up precision 1547847956.574 * * * * [misc]points: Setting MPFR precision to 64 1547847956.576 * * * * [misc]points: Setting MPFR precision to 320 1547847956.580 * * * * [misc]points: Computing exacts on every 2 of 134 points to ramp up precision 1547847956.585 * * * * [misc]points: Setting MPFR precision to 64 1547847956.589 * * * * [misc]points: Setting MPFR precision to 320 1547847956.594 * * * * [misc]points: Computing exacts for 134 points 1547847956.599 * * * * [misc]points: Setting MPFR precision to 64 1547847956.612 * * * * [misc]points: Setting MPFR precision to 320 1547847956.627 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.628 * * * * [misc]points: Sampling 58 additional inputs, on iter 2 have 198 / 256 1547847956.628 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1547847956.633 * * * * [misc]points: Setting MPFR precision to 64 1547847956.635 * * * * [misc]points: Setting MPFR precision to 320 1547847956.636 * * * * [misc]points: Computing exacts for 58 points 1547847956.641 * * * * [misc]points: Setting MPFR precision to 64 1547847956.647 * * * * [misc]points: Setting MPFR precision to 320 1547847956.653 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.653 * * * * [misc]points: Sampling 30 additional inputs, on iter 3 have 226 / 256 1547847956.654 * * * * [misc]points: Computing exacts for 30 points 1547847956.658 * * * * [misc]points: Setting MPFR precision to 64 1547847956.661 * * * * [misc]points: Setting MPFR precision to 320 1547847956.664 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.665 * * * * [misc]points: Sampling 17 additional inputs, on iter 4 have 239 / 256 1547847956.665 * * * * [misc]points: Computing exacts for 17 points 1547847956.669 * * * * [misc]points: Setting MPFR precision to 64 1547847956.671 * * * * [misc]points: Setting MPFR precision to 320 1547847956.673 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.673 * * * * [misc]points: Sampling 10 additional inputs, on iter 5 have 246 / 256 1547847956.673 * * * * [misc]points: Computing exacts for 10 points 1547847956.678 * * * * [misc]points: Setting MPFR precision to 64 1547847956.679 * * * * [misc]points: Setting MPFR precision to 320 1547847956.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.680 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1547847956.680 * * * * [misc]points: Computing exacts for 4 points 1547847956.685 * * * * [misc]points: Setting MPFR precision to 64 1547847956.686 * * * * [misc]points: Setting MPFR precision to 320 1547847956.686 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.686 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1547847956.686 * * * * [misc]points: Computing exacts for 4 points 1547847956.691 * * * * [misc]points: Setting MPFR precision to 64 1547847956.692 * * * * [misc]points: Setting MPFR precision to 320 1547847956.692 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.692 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 253 / 256 1547847956.692 * * * * [misc]points: Computing exacts for 4 points 1547847956.697 * * * * [misc]points: Setting MPFR precision to 64 1547847956.697 * * * * [misc]points: Setting MPFR precision to 320 1547847956.698 * * * * [misc]points: Filtering points with unrepresentable outputs 1547847956.698 * * * * [exit]points: Sampled 256 points with exact outputs 1547847956.698 * * * [misc]progress: [2/2] Setting up program. 1547847956.708 * [misc]progress: [Phase 2 of 3] Improving. 1547847956.708 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547847956.708 * [enter]simplify: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 1547847956.708 * * [misc]simplify: iters left: 6 (16 enodes) 1547847956.714 * * [misc]simplify: iters left: 5 (30 enodes) 1547847956.724 * * [misc]simplify: iters left: 4 (48 enodes) 1547847956.740 * * [misc]simplify: iters left: 3 (80 enodes) 1547847956.785 * * [misc]simplify: iters left: 2 (114 enodes) 1547847956.820 * * [misc]simplify: iters left: 1 (178 enodes) 1547847956.898 * [exit]simplify: Simplified to (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 1547847956.898 * [misc]simplify: Simplified (2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1547847956.912 * * [misc]progress: iteration 1 / 4 1547847956.912 * * * [misc]progress: picking best candidate 1547847956.931 * * * * [misc]pick: Picked # 1547847956.931 * * * [misc]progress: localizing error 1547847956.979 * * * [misc]progress: generating rewritten candidates 1547847956.979 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 2) 1547847956.988 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1) 1547847956.996 * * * [misc]progress: generating series expansions 1547847956.996 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 2) 1547847956.997 * [misc]backup-simplify: Simplify (* (cos y) (exp x)) into (* (exp x) (cos y)) 1547847956.997 * [misc]approximate: Taking taylor expansion of (* (exp x) (cos y)) in (y x) around 0 1547847956.997 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in x 1547847956.997 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847956.997 * [misc]taylor: Taking taylor expansion of x in x 1547847956.997 * [misc]backup-simplify: Simplify 0 into 0 1547847956.997 * [misc]backup-simplify: Simplify 1 into 1 1547847956.997 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847956.997 * [misc]taylor: Taking taylor expansion of (cos y) in x 1547847956.997 * [misc]taylor: Taking taylor expansion of y in x 1547847956.997 * [misc]backup-simplify: Simplify y into y 1547847956.997 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1547847956.997 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1547847956.997 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in y 1547847956.997 * [misc]taylor: Taking taylor expansion of (exp x) in y 1547847956.997 * [misc]taylor: Taking taylor expansion of x in y 1547847956.997 * [misc]backup-simplify: Simplify x into x 1547847956.997 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1547847956.997 * [misc]taylor: Taking taylor expansion of (cos y) in y 1547847956.997 * [misc]taylor: Taking taylor expansion of y in y 1547847956.997 * [misc]backup-simplify: Simplify 0 into 0 1547847956.997 * [misc]backup-simplify: Simplify 1 into 1 1547847956.997 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in y 1547847956.997 * [misc]taylor: Taking taylor expansion of (exp x) in y 1547847956.997 * [misc]taylor: Taking taylor expansion of x in y 1547847956.998 * [misc]backup-simplify: Simplify x into x 1547847956.998 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1547847956.998 * [misc]taylor: Taking taylor expansion of (cos y) in y 1547847956.998 * [misc]taylor: Taking taylor expansion of y in y 1547847956.998 * [misc]backup-simplify: Simplify 0 into 0 1547847956.998 * [misc]backup-simplify: Simplify 1 into 1 1547847956.998 * [misc]backup-simplify: Simplify (* (exp x) 1) into (exp x) 1547847956.998 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847956.998 * [misc]taylor: Taking taylor expansion of x in x 1547847956.998 * [misc]backup-simplify: Simplify 0 into 0 1547847956.998 * [misc]backup-simplify: Simplify 1 into 1 1547847956.998 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847956.998 * [misc]backup-simplify: Simplify 1 into 1 1547847956.999 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847957.000 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1547847957.001 * [misc]backup-simplify: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 1547847957.001 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.001 * [misc]backup-simplify: Simplify 0 into 0 1547847957.001 * [misc]backup-simplify: Simplify 0 into 0 1547847957.003 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547847957.003 * [misc]backup-simplify: Simplify 1 into 1 1547847957.004 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1547847957.007 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847957.007 * [misc]backup-simplify: Simplify (+ (* (exp x) (- 1/2)) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 1547847957.007 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (exp x))) in x 1547847957.007 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp x)) in x 1547847957.007 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547847957.007 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547847957.007 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847957.007 * [misc]taylor: Taking taylor expansion of x in x 1547847957.007 * [misc]backup-simplify: Simplify 0 into 0 1547847957.007 * [misc]backup-simplify: Simplify 1 into 1 1547847957.008 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847957.008 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547847957.008 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1547847957.008 * [misc]backup-simplify: Simplify -1/2 into -1/2 1547847957.008 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* 1 (* x 1)) 1)) into (- (+ x 1) (* 1/2 (pow y 2))) 1547847957.009 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1547847957.009 * [misc]approximate: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in (y x) around 0 1547847957.009 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1547847957.009 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847957.009 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847957.009 * [misc]taylor: Taking taylor expansion of x in x 1547847957.009 * [misc]backup-simplify: Simplify 0 into 0 1547847957.009 * [misc]backup-simplify: Simplify 1 into 1 1547847957.009 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.009 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847957.009 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1547847957.009 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1547847957.009 * [misc]taylor: Taking taylor expansion of y in x 1547847957.009 * [misc]backup-simplify: Simplify y into y 1547847957.009 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1547847957.009 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847957.009 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1547847957.010 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1547847957.010 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1547847957.010 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1547847957.010 * [misc]taylor: Taking taylor expansion of x in y 1547847957.010 * [misc]backup-simplify: Simplify x into x 1547847957.010 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1547847957.010 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847957.010 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1547847957.010 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1547847957.010 * [misc]taylor: Taking taylor expansion of y in y 1547847957.010 * [misc]backup-simplify: Simplify 0 into 0 1547847957.010 * [misc]backup-simplify: Simplify 1 into 1 1547847957.010 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.010 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847957.010 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1547847957.010 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1547847957.010 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1547847957.010 * [misc]taylor: Taking taylor expansion of x in y 1547847957.010 * [misc]backup-simplify: Simplify x into x 1547847957.011 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1547847957.011 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847957.011 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1547847957.011 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1547847957.011 * [misc]taylor: Taking taylor expansion of y in y 1547847957.011 * [misc]backup-simplify: Simplify 0 into 0 1547847957.011 * [misc]backup-simplify: Simplify 1 into 1 1547847957.011 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.011 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847957.011 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1547847957.011 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1547847957.011 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847957.011 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847957.012 * [misc]taylor: Taking taylor expansion of x in x 1547847957.012 * [misc]backup-simplify: Simplify 0 into 0 1547847957.012 * [misc]backup-simplify: Simplify 1 into 1 1547847957.012 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.012 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847957.012 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1547847957.012 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1547847957.012 * [misc]taylor: Taking taylor expansion of y in x 1547847957.012 * [misc]backup-simplify: Simplify y into y 1547847957.012 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1547847957.012 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847957.012 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1547847957.013 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1547847957.013 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1547847957.013 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.013 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1547847957.013 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1547847957.014 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1547847957.014 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1547847957.015 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1547847957.016 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1547847957.016 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.016 * [misc]backup-simplify: Simplify 0 into 0 1547847957.016 * [misc]backup-simplify: Simplify 0 into 0 1547847957.016 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847957.016 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1547847957.016 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1547847957.018 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1547847957.018 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1547847957.018 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.019 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847957.019 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1547847957.019 * [misc]backup-simplify: Simplify 0 into 0 1547847957.019 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847957.021 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847957.022 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1547847957.022 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.022 * [misc]backup-simplify: Simplify 0 into 0 1547847957.022 * [misc]backup-simplify: Simplify 0 into 0 1547847957.022 * [misc]backup-simplify: Simplify 0 into 0 1547847957.023 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1547847957.024 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1547847957.024 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1547847957.026 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1547847957.026 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1547847957.026 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.026 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847957.027 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1547847957.027 * [misc]backup-simplify: Simplify 0 into 0 1547847957.027 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847957.031 * [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 1547847957.032 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 1547847957.032 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.032 * [misc]backup-simplify: Simplify 0 into 0 1547847957.032 * [misc]backup-simplify: Simplify 0 into 0 1547847957.032 * [misc]backup-simplify: Simplify (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) into (* (exp x) (cos y)) 1547847957.032 * [misc]backup-simplify: Simplify (* (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1547847957.032 * [misc]approximate: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in (y x) around 0 1547847957.032 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1547847957.032 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847957.032 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847957.032 * [misc]taylor: Taking taylor expansion of -1 in x 1547847957.032 * [misc]backup-simplify: Simplify -1 into -1 1547847957.032 * [misc]taylor: Taking taylor expansion of x in x 1547847957.032 * [misc]backup-simplify: Simplify 0 into 0 1547847957.033 * [misc]backup-simplify: Simplify 1 into 1 1547847957.033 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847957.033 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847957.033 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1547847957.033 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1547847957.033 * [misc]taylor: Taking taylor expansion of -1 in x 1547847957.033 * [misc]backup-simplify: Simplify -1 into -1 1547847957.033 * [misc]taylor: Taking taylor expansion of y in x 1547847957.033 * [misc]backup-simplify: Simplify y into y 1547847957.033 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1547847957.033 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847957.033 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1547847957.033 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1547847957.033 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1547847957.033 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1547847957.033 * [misc]taylor: Taking taylor expansion of -1 in y 1547847957.033 * [misc]backup-simplify: Simplify -1 into -1 1547847957.033 * [misc]taylor: Taking taylor expansion of x in y 1547847957.034 * [misc]backup-simplify: Simplify x into x 1547847957.034 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1547847957.034 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847957.034 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1547847957.034 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1547847957.034 * [misc]taylor: Taking taylor expansion of -1 in y 1547847957.034 * [misc]backup-simplify: Simplify -1 into -1 1547847957.034 * [misc]taylor: Taking taylor expansion of y in y 1547847957.034 * [misc]backup-simplify: Simplify 0 into 0 1547847957.034 * [misc]backup-simplify: Simplify 1 into 1 1547847957.034 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847957.034 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847957.034 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1547847957.034 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1547847957.034 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1547847957.034 * [misc]taylor: Taking taylor expansion of -1 in y 1547847957.034 * [misc]backup-simplify: Simplify -1 into -1 1547847957.034 * [misc]taylor: Taking taylor expansion of x in y 1547847957.034 * [misc]backup-simplify: Simplify x into x 1547847957.035 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1547847957.035 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847957.035 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1547847957.035 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1547847957.035 * [misc]taylor: Taking taylor expansion of -1 in y 1547847957.035 * [misc]backup-simplify: Simplify -1 into -1 1547847957.035 * [misc]taylor: Taking taylor expansion of y in y 1547847957.035 * [misc]backup-simplify: Simplify 0 into 0 1547847957.035 * [misc]backup-simplify: Simplify 1 into 1 1547847957.035 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847957.035 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847957.035 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1547847957.035 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1547847957.035 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847957.035 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847957.036 * [misc]taylor: Taking taylor expansion of -1 in x 1547847957.036 * [misc]backup-simplify: Simplify -1 into -1 1547847957.036 * [misc]taylor: Taking taylor expansion of x in x 1547847957.036 * [misc]backup-simplify: Simplify 0 into 0 1547847957.036 * [misc]backup-simplify: Simplify 1 into 1 1547847957.036 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847957.036 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847957.036 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1547847957.036 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1547847957.036 * [misc]taylor: Taking taylor expansion of -1 in x 1547847957.036 * [misc]backup-simplify: Simplify -1 into -1 1547847957.036 * [misc]taylor: Taking taylor expansion of y in x 1547847957.036 * [misc]backup-simplify: Simplify y into y 1547847957.036 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1547847957.036 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847957.036 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1547847957.037 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1547847957.037 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1547847957.037 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.037 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1547847957.037 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1547847957.037 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1547847957.037 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1547847957.039 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1547847957.039 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1547847957.039 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.039 * [misc]backup-simplify: Simplify 0 into 0 1547847957.039 * [misc]backup-simplify: Simplify 0 into 0 1547847957.040 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847957.040 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1547847957.040 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1547847957.042 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1547847957.042 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1547847957.042 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.042 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847957.043 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1547847957.043 * [misc]backup-simplify: Simplify 0 into 0 1547847957.043 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847957.045 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847957.046 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1547847957.046 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.046 * [misc]backup-simplify: Simplify 0 into 0 1547847957.046 * [misc]backup-simplify: Simplify 0 into 0 1547847957.046 * [misc]backup-simplify: Simplify 0 into 0 1547847957.047 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1547847957.048 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1547847957.048 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1547847957.049 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1547847957.050 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1547847957.050 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.050 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847957.050 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1547847957.051 * [misc]backup-simplify: Simplify 0 into 0 1547847957.051 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847957.055 * [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 1547847957.055 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 1547847957.055 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.055 * [misc]backup-simplify: Simplify 0 into 0 1547847957.056 * [misc]backup-simplify: Simplify 0 into 0 1547847957.056 * [misc]backup-simplify: Simplify (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y))))) into (* (exp x) (cos y)) 1547847957.056 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1) 1547847957.056 * [misc]backup-simplify: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 1547847957.056 * [misc]approximate: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 1547847957.056 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in x 1547847957.056 * [misc]taylor: Taking taylor expansion of (cos y) in x 1547847957.056 * [misc]taylor: Taking taylor expansion of y in x 1547847957.056 * [misc]backup-simplify: Simplify y into y 1547847957.056 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1547847957.056 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1547847957.056 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847957.056 * [misc]taylor: Taking taylor expansion of x in x 1547847957.057 * [misc]backup-simplify: Simplify 0 into 0 1547847957.057 * [misc]backup-simplify: Simplify 1 into 1 1547847957.057 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847957.057 * [misc]backup-simplify: Simplify (* (cos y) 1) into (cos y) 1547847957.057 * [misc]backup-simplify: Simplify (* (sin y) 0) into 0 1547847957.057 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.057 * [misc]backup-simplify: Simplify (+ (cos y) 0) into (cos y) 1547847957.057 * [misc]backup-simplify: Simplify (/ (cos y) 1) into (cos y) 1547847957.057 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1547847957.057 * [misc]taylor: Taking taylor expansion of (cos y) in y 1547847957.057 * [misc]taylor: Taking taylor expansion of y in y 1547847957.057 * [misc]backup-simplify: Simplify 0 into 0 1547847957.057 * [misc]backup-simplify: Simplify 1 into 1 1547847957.057 * [misc]taylor: Taking taylor expansion of (exp x) in y 1547847957.057 * [misc]taylor: Taking taylor expansion of x in y 1547847957.057 * [misc]backup-simplify: Simplify x into x 1547847957.058 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1547847957.058 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1547847957.058 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1547847957.058 * [misc]taylor: Taking taylor expansion of (cos y) in y 1547847957.058 * [misc]taylor: Taking taylor expansion of y in y 1547847957.058 * [misc]backup-simplify: Simplify 0 into 0 1547847957.058 * [misc]backup-simplify: Simplify 1 into 1 1547847957.058 * [misc]taylor: Taking taylor expansion of (exp x) in y 1547847957.058 * [misc]taylor: Taking taylor expansion of x in y 1547847957.058 * [misc]backup-simplify: Simplify x into x 1547847957.058 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1547847957.058 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1547847957.058 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1547847957.058 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847957.058 * [misc]taylor: Taking taylor expansion of x in x 1547847957.058 * [misc]backup-simplify: Simplify 0 into 0 1547847957.058 * [misc]backup-simplify: Simplify 1 into 1 1547847957.058 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847957.059 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.059 * [misc]backup-simplify: Simplify 1 into 1 1547847957.059 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847957.060 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1547847957.061 * [misc]backup-simplify: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 1547847957.061 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.061 * [misc]backup-simplify: Simplify 0 into 0 1547847957.061 * [misc]backup-simplify: Simplify 0 into 0 1547847957.063 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547847957.063 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1547847957.063 * [misc]backup-simplify: Simplify -1 into -1 1547847957.064 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1547847957.067 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847957.067 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 1547847957.067 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 1547847957.067 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 1547847957.067 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547847957.067 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547847957.067 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1547847957.067 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847957.067 * [misc]taylor: Taking taylor expansion of x in x 1547847957.067 * [misc]backup-simplify: Simplify 0 into 0 1547847957.067 * [misc]backup-simplify: Simplify 1 into 1 1547847957.068 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847957.068 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.068 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547847957.068 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1547847957.068 * [misc]backup-simplify: Simplify -1/2 into -1/2 1547847957.068 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 1547847957.069 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847957.069 * [misc]approximate: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 1547847957.069 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1547847957.069 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1547847957.069 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1547847957.069 * [misc]taylor: Taking taylor expansion of y in x 1547847957.069 * [misc]backup-simplify: Simplify y into y 1547847957.069 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1547847957.069 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847957.069 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1547847957.069 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847957.069 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847957.069 * [misc]taylor: Taking taylor expansion of x in x 1547847957.069 * [misc]backup-simplify: Simplify 0 into 0 1547847957.069 * [misc]backup-simplify: Simplify 1 into 1 1547847957.070 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.070 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847957.070 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1547847957.070 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1547847957.070 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.070 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1547847957.070 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847957.070 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1547847957.070 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1547847957.070 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1547847957.070 * [misc]taylor: Taking taylor expansion of y in y 1547847957.071 * [misc]backup-simplify: Simplify 0 into 0 1547847957.071 * [misc]backup-simplify: Simplify 1 into 1 1547847957.071 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.071 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847957.071 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1547847957.071 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1547847957.071 * [misc]taylor: Taking taylor expansion of x in y 1547847957.071 * [misc]backup-simplify: Simplify x into x 1547847957.071 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1547847957.071 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847957.071 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847957.071 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1547847957.071 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1547847957.071 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1547847957.071 * [misc]taylor: Taking taylor expansion of y in y 1547847957.072 * [misc]backup-simplify: Simplify 0 into 0 1547847957.072 * [misc]backup-simplify: Simplify 1 into 1 1547847957.072 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.072 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847957.072 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1547847957.072 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1547847957.072 * [misc]taylor: Taking taylor expansion of x in y 1547847957.072 * [misc]backup-simplify: Simplify x into x 1547847957.072 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1547847957.072 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847957.072 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847957.073 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1547847957.073 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1547847957.073 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1547847957.073 * [misc]taylor: Taking taylor expansion of y in x 1547847957.073 * [misc]backup-simplify: Simplify y into y 1547847957.073 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1547847957.073 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847957.073 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1547847957.073 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847957.073 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847957.073 * [misc]taylor: Taking taylor expansion of x in x 1547847957.073 * [misc]backup-simplify: Simplify 0 into 0 1547847957.073 * [misc]backup-simplify: Simplify 1 into 1 1547847957.073 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847957.073 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847957.074 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1547847957.074 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1547847957.074 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.074 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1547847957.074 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847957.074 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847957.074 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1547847957.076 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1547847957.076 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1547847957.076 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.076 * [misc]backup-simplify: Simplify 0 into 0 1547847957.077 * [misc]backup-simplify: Simplify 0 into 0 1547847957.077 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847957.077 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1547847957.077 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1547847957.079 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1547847957.079 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1547847957.079 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.079 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847957.080 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1547847957.080 * [misc]backup-simplify: Simplify 0 into 0 1547847957.080 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847957.082 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847957.083 * [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 1547847957.083 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.083 * [misc]backup-simplify: Simplify 0 into 0 1547847957.083 * [misc]backup-simplify: Simplify 0 into 0 1547847957.083 * [misc]backup-simplify: Simplify 0 into 0 1547847957.084 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1547847957.085 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1547847957.085 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1547847957.086 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1547847957.087 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1547847957.087 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.087 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847957.088 * [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 1547847957.088 * [misc]backup-simplify: Simplify 0 into 0 1547847957.088 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847957.092 * [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 1547847957.093 * [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 1547847957.093 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.093 * [misc]backup-simplify: Simplify 0 into 0 1547847957.093 * [misc]backup-simplify: Simplify 0 into 0 1547847957.093 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 1547847957.093 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847957.093 * [misc]approximate: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 1547847957.093 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1547847957.093 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1547847957.093 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1547847957.093 * [misc]taylor: Taking taylor expansion of -1 in x 1547847957.093 * [misc]backup-simplify: Simplify -1 into -1 1547847957.093 * [misc]taylor: Taking taylor expansion of y in x 1547847957.093 * [misc]backup-simplify: Simplify y into y 1547847957.093 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1547847957.094 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847957.094 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1547847957.094 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847957.094 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847957.094 * [misc]taylor: Taking taylor expansion of -1 in x 1547847957.094 * [misc]backup-simplify: Simplify -1 into -1 1547847957.094 * [misc]taylor: Taking taylor expansion of x in x 1547847957.094 * [misc]backup-simplify: Simplify 0 into 0 1547847957.094 * [misc]backup-simplify: Simplify 1 into 1 1547847957.094 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847957.094 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847957.094 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1547847957.094 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1547847957.095 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.095 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1547847957.095 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847957.095 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1547847957.095 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1547847957.095 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1547847957.095 * [misc]taylor: Taking taylor expansion of -1 in y 1547847957.095 * [misc]backup-simplify: Simplify -1 into -1 1547847957.095 * [misc]taylor: Taking taylor expansion of y in y 1547847957.095 * [misc]backup-simplify: Simplify 0 into 0 1547847957.095 * [misc]backup-simplify: Simplify 1 into 1 1547847957.095 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847957.096 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847957.096 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1547847957.096 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1547847957.096 * [misc]taylor: Taking taylor expansion of -1 in y 1547847957.096 * [misc]backup-simplify: Simplify -1 into -1 1547847957.096 * [misc]taylor: Taking taylor expansion of x in y 1547847957.096 * [misc]backup-simplify: Simplify x into x 1547847957.096 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1547847957.096 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847957.096 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847957.096 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1547847957.096 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1547847957.096 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1547847957.096 * [misc]taylor: Taking taylor expansion of -1 in y 1547847957.096 * [misc]backup-simplify: Simplify -1 into -1 1547847957.096 * [misc]taylor: Taking taylor expansion of y in y 1547847957.096 * [misc]backup-simplify: Simplify 0 into 0 1547847957.096 * [misc]backup-simplify: Simplify 1 into 1 1547847957.097 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847957.097 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847957.097 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1547847957.097 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1547847957.097 * [misc]taylor: Taking taylor expansion of -1 in y 1547847957.097 * [misc]backup-simplify: Simplify -1 into -1 1547847957.097 * [misc]taylor: Taking taylor expansion of x in y 1547847957.097 * [misc]backup-simplify: Simplify x into x 1547847957.097 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1547847957.097 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847957.097 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847957.097 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1547847957.097 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1547847957.097 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1547847957.097 * [misc]taylor: Taking taylor expansion of -1 in x 1547847957.097 * [misc]backup-simplify: Simplify -1 into -1 1547847957.097 * [misc]taylor: Taking taylor expansion of y in x 1547847957.097 * [misc]backup-simplify: Simplify y into y 1547847957.098 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1547847957.098 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847957.098 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1547847957.098 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847957.098 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847957.098 * [misc]taylor: Taking taylor expansion of -1 in x 1547847957.098 * [misc]backup-simplify: Simplify -1 into -1 1547847957.098 * [misc]taylor: Taking taylor expansion of x in x 1547847957.098 * [misc]backup-simplify: Simplify 0 into 0 1547847957.098 * [misc]backup-simplify: Simplify 1 into 1 1547847957.098 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847957.098 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847957.098 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1547847957.098 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1547847957.099 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.099 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1547847957.099 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847957.099 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847957.099 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1547847957.101 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1547847957.101 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1547847957.101 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.101 * [misc]backup-simplify: Simplify 0 into 0 1547847957.101 * [misc]backup-simplify: Simplify 0 into 0 1547847957.102 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847957.102 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1547847957.102 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1547847957.103 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1547847957.104 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1547847957.104 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.104 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847957.104 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1547847957.105 * [misc]backup-simplify: Simplify 0 into 0 1547847957.105 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847957.107 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847957.108 * [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 1547847957.108 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.108 * [misc]backup-simplify: Simplify 0 into 0 1547847957.108 * [misc]backup-simplify: Simplify 0 into 0 1547847957.108 * [misc]backup-simplify: Simplify 0 into 0 1547847957.109 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1547847957.110 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1547847957.110 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1547847957.111 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1547847957.112 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1547847957.112 * [misc]backup-simplify: Simplify (- 0) into 0 1547847957.112 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847957.113 * [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 1547847957.113 * [misc]backup-simplify: Simplify 0 into 0 1547847957.113 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847957.117 * [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 1547847957.117 * [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 1547847957.118 * [misc]taylor: Taking taylor expansion of 0 in x 1547847957.118 * [misc]backup-simplify: Simplify 0 into 0 1547847957.118 * [misc]backup-simplify: Simplify 0 into 0 1547847957.118 * [misc]backup-simplify: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 1547847957.118 * * * [misc]progress: simplifying candidates 1547847957.118 * * * * [misc]progress: [ 1 / 50 ] simplifiying candidate # 1547847957.118 * [enter]simplify: Simplifying (* (cos y) (exp x)) 1547847957.118 * * [misc]simplify: iters left: 3 (5 enodes) 1547847957.120 * * [misc]simplify: iters left: 2 (6 enodes) 1547847957.122 * [exit]simplify: Simplified to (* (exp x) (cos y)) 1547847957.122 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (pow (* (exp x) (cos y)) 1)) 2)) 1547847957.122 * * * * [misc]progress: [ 2 / 50 ] simplifiying candidate # 1547847957.122 * * * * [misc]progress: [ 3 / 50 ] simplifiying candidate # 1547847957.122 * [enter]simplify: Simplifying (+ (log (cos y)) x) 1547847957.123 * * [misc]simplify: iters left: 4 (5 enodes) 1547847957.124 * * [misc]simplify: iters left: 3 (6 enodes) 1547847957.126 * [exit]simplify: Simplified to (+ x (log (cos y))) 1547847957.126 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (+ x (log (cos y))))) 2)) 1547847957.126 * * * * [misc]progress: [ 4 / 50 ] simplifiying candidate # 1547847957.126 * * * * [misc]progress: [ 5 / 50 ] simplifiying candidate # 1547847957.126 * * * * [misc]progress: [ 6 / 50 ] simplifiying candidate # 1547847957.126 * [enter]simplify: Simplifying (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 1547847957.127 * * [misc]simplify: iters left: 6 (9 enodes) 1547847957.130 * * [misc]simplify: iters left: 5 (18 enodes) 1547847957.141 * * [misc]simplify: iters left: 4 (47 enodes) 1547847957.159 * * [misc]simplify: iters left: 3 (80 enodes) 1547847957.184 * * [misc]simplify: iters left: 2 (100 enodes) 1547847957.209 * * [misc]simplify: iters left: 1 (101 enodes) 1547847957.228 * [exit]simplify: Simplified to (pow (* (exp x) (cos y)) 3) 1547847957.228 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (cbrt (pow (* (exp x) (cos y)) 3))) 2)) 1547847957.228 * * * * [misc]progress: [ 7 / 50 ] simplifiying candidate # 1547847957.228 * * * * [misc]progress: [ 8 / 50 ] simplifiying candidate # 1547847957.228 * * * * [misc]progress: [ 9 / 50 ] simplifiying candidate # 1547847957.228 * * * * [misc]progress: [ 10 / 50 ] simplifiying candidate # 1547847957.228 * * * * [misc]progress: [ 11 / 50 ] simplifiying candidate # 1547847957.228 * [enter]simplify: Simplifying (cbrt (exp x)) 1547847957.229 * * [misc]simplify: iters left: 2 (3 enodes) 1547847957.229 * [exit]simplify: Simplified to (cbrt (exp x)) 1547847957.229 * [misc]simplify: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) 2)) 1547847957.229 * * * * [misc]progress: [ 12 / 50 ] simplifiying candidate # 1547847957.230 * [enter]simplify: Simplifying (sqrt (exp x)) 1547847957.230 * * [misc]simplify: iters left: 2 (3 enodes) 1547847957.231 * [exit]simplify: Simplified to (sqrt (exp x)) 1547847957.231 * [misc]simplify: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2)) 1547847957.231 * * * * [misc]progress: [ 13 / 50 ] simplifiying candidate # 1547847957.231 * [enter]simplify: Simplifying (exp x) 1547847957.231 * * [misc]simplify: iters left: 1 (2 enodes) 1547847957.232 * [exit]simplify: Simplified to (exp x) 1547847957.232 * [misc]simplify: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) 1) (exp x))) 2)) 1547847957.232 * * * * [misc]progress: [ 14 / 50 ] simplifiying candidate # 1547847957.232 * [enter]simplify: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1547847957.232 * * [misc]simplify: iters left: 4 (4 enodes) 1547847957.234 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1547847957.234 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (exp x)))) 2)) 1547847957.234 * * * * [misc]progress: [ 15 / 50 ] simplifiying candidate # 1547847957.234 * [enter]simplify: Simplifying (sqrt (cos y)) 1547847957.234 * * [misc]simplify: iters left: 2 (3 enodes) 1547847957.235 * [exit]simplify: Simplified to (sqrt (cos y)) 1547847957.235 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (cos y)) (* (sqrt (cos y)) (exp x)))) 2)) 1547847957.235 * * * * [misc]progress: [ 16 / 50 ] simplifiying candidate # 1547847957.235 * * * * [misc]progress: [ 17 / 50 ] simplifiying candidate # 1547847957.235 * * * * [misc]progress: [ 18 / 50 ] simplifiying candidate # 1547847957.235 * * * * [misc]progress: [ 19 / 50 ] simplifiying candidate # 1547847957.236 * [enter]simplify: Simplifying (- (log (cos y)) x) 1547847957.236 * * [misc]simplify: iters left: 4 (5 enodes) 1547847957.237 * * [misc]simplify: iters left: 3 (7 enodes) 1547847957.239 * * [misc]simplify: iters left: 2 (8 enodes) 1547847957.242 * [exit]simplify: Simplified to (- (log (cos y)) x) 1547847957.242 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2)) 1547847957.242 * * * * [misc]progress: [ 20 / 50 ] simplifiying candidate # 1547847957.242 * * * * [misc]progress: [ 21 / 50 ] simplifiying candidate # 1547847957.242 * * * * [misc]progress: [ 22 / 50 ] simplifiying candidate # 1547847957.242 * [enter]simplify: Simplifying (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 1547847957.242 * * [misc]simplify: iters left: 6 (9 enodes) 1547847957.246 * * [misc]simplify: iters left: 5 (20 enodes) 1547847957.254 * * [misc]simplify: iters left: 4 (52 enodes) 1547847957.279 * * [misc]simplify: iters left: 3 (102 enodes) 1547847957.323 * * [misc]simplify: iters left: 2 (157 enodes) 1547847957.386 * * [misc]simplify: iters left: 1 (174 enodes) 1547847957.426 * [exit]simplify: Simplified to (pow (/ (cos y) (exp x)) 3) 1547847957.426 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (cbrt (pow (/ (cos y) (exp x)) 3)) (* (cos y) (exp x))) 2)) 1547847957.426 * * * * [misc]progress: [ 23 / 50 ] simplifiying candidate # 1547847957.427 * * * * [misc]progress: [ 24 / 50 ] simplifiying candidate # 1547847957.427 * * * * [misc]progress: [ 25 / 50 ] simplifiying candidate # 1547847957.427 * * * * [misc]progress: [ 26 / 50 ] simplifiying candidate # 1547847957.427 * * * * [misc]progress: [ 27 / 50 ] simplifiying candidate # 1547847957.427 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 1547847957.427 * * [misc]simplify: iters left: 6 (9 enodes) 1547847957.431 * * [misc]simplify: iters left: 5 (15 enodes) 1547847957.437 * * [misc]simplify: iters left: 4 (24 enodes) 1547847957.444 * * [misc]simplify: iters left: 3 (27 enodes) 1547847957.452 * * [misc]simplify: iters left: 2 (30 enodes) 1547847957.461 * [exit]simplify: Simplified to (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) 1547847957.461 * [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)) 1547847957.461 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (cbrt (exp x))) 1547847957.461 * * [misc]simplify: iters left: 4 (7 enodes) 1547847957.463 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (cbrt (exp x))) 1547847957.463 * [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)) 1547847957.463 * * * * [misc]progress: [ 28 / 50 ] simplifiying candidate # 1547847957.464 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1547847957.464 * * [misc]simplify: iters left: 6 (8 enodes) 1547847957.466 * * [misc]simplify: iters left: 5 (10 enodes) 1547847957.469 * * [misc]simplify: iters left: 4 (12 enodes) 1547847957.473 * * [misc]simplify: iters left: 3 (13 enodes) 1547847957.477 * [exit]simplify: Simplified to (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1547847957.477 * [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)) 1547847957.477 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (sqrt (exp x))) 1547847957.478 * * [misc]simplify: iters left: 4 (7 enodes) 1547847957.480 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (sqrt (exp x))) 1547847957.480 * [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)) 1547847957.480 * * * * [misc]progress: [ 29 / 50 ] simplifiying candidate # 1547847957.480 * [enter]simplify: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1547847957.480 * * [misc]simplify: iters left: 6 (6 enodes) 1547847957.482 * * [misc]simplify: iters left: 5 (10 enodes) 1547847957.486 * * [misc]simplify: iters left: 4 (16 enodes) 1547847957.490 * * [misc]simplify: iters left: 3 (18 enodes) 1547847957.494 * * [misc]simplify: iters left: 2 (23 enodes) 1547847957.500 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1547847957.500 * [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)) 1547847957.501 * [enter]simplify: Simplifying (/ (cbrt (cos y)) (exp x)) 1547847957.501 * * [misc]simplify: iters left: 4 (6 enodes) 1547847957.502 * [exit]simplify: Simplified to (/ (cbrt (cos y)) (exp x)) 1547847957.502 * [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)) 1547847957.503 * * * * [misc]progress: [ 30 / 50 ] simplifiying candidate # 1547847957.503 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) 1547847957.503 * * [misc]simplify: iters left: 6 (8 enodes) 1547847957.505 * * [misc]simplify: iters left: 5 (10 enodes) 1547847957.509 * [exit]simplify: Simplified to (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) 1547847957.509 * [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)) 1547847957.509 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (cbrt (exp x))) 1547847957.509 * * [misc]simplify: iters left: 4 (7 enodes) 1547847957.511 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (cbrt (exp x))) 1547847957.511 * [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)) 1547847957.511 * * * * [misc]progress: [ 31 / 50 ] simplifiying candidate # 1547847957.511 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1547847957.512 * * [misc]simplify: iters left: 4 (7 enodes) 1547847957.514 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1547847957.514 * [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)) 1547847957.514 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1547847957.514 * * [misc]simplify: iters left: 4 (7 enodes) 1547847957.516 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1547847957.516 * [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)) 1547847957.516 * * * * [misc]progress: [ 32 / 50 ] simplifiying candidate # 1547847957.516 * [enter]simplify: Simplifying (/ (sqrt (cos y)) 1) 1547847957.516 * * [misc]simplify: iters left: 4 (5 enodes) 1547847957.518 * * [misc]simplify: iters left: 3 (7 enodes) 1547847957.520 * * [misc]simplify: iters left: 2 (9 enodes) 1547847957.522 * [exit]simplify: Simplified to (sqrt (cos y)) 1547847957.522 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1547847957.523 * [enter]simplify: Simplifying (/ (sqrt (cos y)) (exp x)) 1547847957.523 * * [misc]simplify: iters left: 4 (6 enodes) 1547847957.524 * [exit]simplify: Simplified to (/ (sqrt (cos y)) (exp x)) 1547847957.525 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1547847957.525 * * * * [misc]progress: [ 33 / 50 ] simplifiying candidate # 1547847957.525 * [enter]simplify: Simplifying (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1547847957.525 * * [misc]simplify: iters left: 6 (6 enodes) 1547847957.527 * * [misc]simplify: iters left: 5 (10 enodes) 1547847957.530 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (exp x))) (cbrt (exp x))) 1547847957.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)) 1547847957.530 * [enter]simplify: Simplifying (/ (cos y) (cbrt (exp x))) 1547847957.530 * * [misc]simplify: iters left: 4 (6 enodes) 1547847957.532 * [exit]simplify: Simplified to (/ (cos y) (cbrt (exp x))) 1547847957.532 * [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)) 1547847957.532 * * * * [misc]progress: [ 34 / 50 ] simplifiying candidate # 1547847957.532 * [enter]simplify: Simplifying (/ 1 (sqrt (exp x))) 1547847957.533 * * [misc]simplify: iters left: 4 (5 enodes) 1547847957.534 * * [misc]simplify: iters left: 3 (7 enodes) 1547847957.536 * [exit]simplify: Simplified to (/ 1 (sqrt (exp x))) 1547847957.536 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1547847957.536 * [enter]simplify: Simplifying (/ (cos y) (sqrt (exp x))) 1547847957.536 * * [misc]simplify: iters left: 4 (6 enodes) 1547847957.538 * [exit]simplify: Simplified to (/ (cos y) (sqrt (exp x))) 1547847957.538 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1547847957.538 * * * * [misc]progress: [ 35 / 50 ] simplifiying candidate # 1547847957.539 * [enter]simplify: Simplifying (/ 1 1) 1547847957.539 * * [misc]simplify: iters left: 2 (2 enodes) 1547847957.539 * * [misc]simplify: iters left: 1 (4 enodes) 1547847957.540 * [exit]simplify: Simplified to 1 1547847957.540 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2)) 1547847957.540 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1547847957.540 * * [misc]simplify: iters left: 3 (5 enodes) 1547847957.542 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1547847957.542 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2)) 1547847957.542 * * * * [misc]progress: [ 36 / 50 ] simplifiying candidate # 1547847957.542 * * * * [misc]progress: [ 37 / 50 ] simplifiying candidate # 1547847957.542 * * * * [misc]progress: [ 38 / 50 ] simplifiying candidate # 1547847957.542 * * * * [misc]progress: [ 39 / 50 ] simplifiying candidate # 1547847957.543 * [enter]simplify: Simplifying (cbrt (exp x)) 1547847957.543 * * [misc]simplify: iters left: 2 (3 enodes) 1547847957.544 * [exit]simplify: Simplified to (cbrt (exp x)) 1547847957.544 * [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)) 1547847957.544 * * * * [misc]progress: [ 40 / 50 ] simplifiying candidate # 1547847957.544 * [enter]simplify: Simplifying (sqrt (exp x)) 1547847957.544 * * [misc]simplify: iters left: 2 (3 enodes) 1547847957.545 * [exit]simplify: Simplified to (sqrt (exp x)) 1547847957.545 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (* (cos y) (exp x))) 2)) 1547847957.545 * * * * [misc]progress: [ 41 / 50 ] simplifiying candidate # 1547847957.545 * [enter]simplify: Simplifying (exp x) 1547847957.545 * * [misc]simplify: iters left: 1 (2 enodes) 1547847957.546 * [exit]simplify: Simplified to (exp x) 1547847957.546 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) 1) (exp x)) (* (cos y) (exp x))) 2)) 1547847957.546 * * * * [misc]progress: [ 42 / 50 ] simplifiying candidate # 1547847957.546 * [enter]simplify: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1547847957.546 * * [misc]simplify: iters left: 4 (4 enodes) 1547847957.548 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1547847957.548 * [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)) 1547847957.548 * * * * [misc]progress: [ 43 / 50 ] simplifiying candidate # 1547847957.548 * [enter]simplify: Simplifying (sqrt (cos y)) 1547847957.548 * * [misc]simplify: iters left: 2 (3 enodes) 1547847957.549 * [exit]simplify: Simplified to (sqrt (cos y)) 1547847957.549 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y)))) (* (cos y) (exp x))) 2)) 1547847957.549 * * * * [misc]progress: [ 44 / 50 ] simplifiying candidate # 1547847957.549 * * * * [misc]progress: [ 45 / 50 ] simplifiying candidate # 1547847957.550 * [enter]simplify: Simplifying (- (+ x 1) (* 1/2 (pow y 2))) 1547847957.550 * * [misc]simplify: iters left: 5 (9 enodes) 1547847957.553 * * [misc]simplify: iters left: 4 (18 enodes) 1547847957.559 * * [misc]simplify: iters left: 3 (37 enodes) 1547847957.571 * * [misc]simplify: iters left: 2 (52 enodes) 1547847957.585 * * [misc]simplify: iters left: 1 (60 enodes) 1547847957.603 * [exit]simplify: Simplified to (+ (* -1/2 (* y y)) (+ 1 x)) 1547847957.603 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (+ (* -1/2 (* y y)) (+ 1 x))) 2)) 1547847957.603 * * * * [misc]progress: [ 46 / 50 ] simplifiying candidate # 1547847957.603 * [enter]simplify: Simplifying (* (exp x) (cos y)) 1547847957.604 * * [misc]simplify: iters left: 3 (5 enodes) 1547847957.606 * * [misc]simplify: iters left: 2 (6 enodes) 1547847957.610 * [exit]simplify: Simplified to (* (cos y) (exp x)) 1547847957.610 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1547847957.610 * * * * [misc]progress: [ 47 / 50 ] simplifiying candidate # 1547847957.611 * [enter]simplify: Simplifying (* (exp x) (cos y)) 1547847957.611 * * [misc]simplify: iters left: 3 (5 enodes) 1547847957.615 * * [misc]simplify: iters left: 2 (6 enodes) 1547847957.617 * [exit]simplify: Simplified to (* (cos y) (exp x)) 1547847957.617 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1547847957.617 * * * * [misc]progress: [ 48 / 50 ] simplifiying candidate # 1547847957.617 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x)) 1547847957.617 * * [misc]simplify: iters left: 6 (9 enodes) 1547847957.620 * * [misc]simplify: iters left: 5 (18 enodes) 1547847957.626 * * [misc]simplify: iters left: 4 (30 enodes) 1547847957.637 * * [misc]simplify: iters left: 3 (55 enodes) 1547847957.655 * * [misc]simplify: iters left: 2 (76 enodes) 1547847957.678 * * [misc]simplify: iters left: 1 (92 enodes) 1547847957.709 * [exit]simplify: Simplified to (- (* (* -1/2 y) y) (+ -1 x)) 1547847957.710 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (- (* (* -1/2 y) y) (+ -1 x)) (* (cos y) (exp x))) 2)) 1547847957.710 * * * * [misc]progress: [ 49 / 50 ] simplifiying candidate # 1547847957.710 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1547847957.710 * * [misc]simplify: iters left: 3 (5 enodes) 1547847957.712 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1547847957.712 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1547847957.712 * * * * [misc]progress: [ 50 / 50 ] simplifiying candidate # 1547847957.712 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1547847957.712 * * [misc]simplify: iters left: 3 (5 enodes) 1547847957.714 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1547847957.714 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1547847957.714 * * * [misc]progress: adding candidates to table 1547847958.507 * * [misc]progress: iteration 2 / 4 1547847958.507 * * * [misc]progress: picking best candidate 1547847958.514 * * * * [misc]pick: Picked # 1547847958.514 * * * [misc]progress: localizing error 1547847958.543 * * * [misc]progress: generating rewritten candidates 1547847958.543 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 2) 1547847958.552 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1547847958.554 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1) 1547847958.564 * * * [misc]progress: generating series expansions 1547847958.564 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 2) 1547847958.564 * [misc]backup-simplify: Simplify (* (cos y) (exp x)) into (* (exp x) (cos y)) 1547847958.564 * [misc]approximate: Taking taylor expansion of (* (exp x) (cos y)) in (y x) around 0 1547847958.564 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in x 1547847958.564 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847958.564 * [misc]taylor: Taking taylor expansion of x in x 1547847958.564 * [misc]backup-simplify: Simplify 0 into 0 1547847958.564 * [misc]backup-simplify: Simplify 1 into 1 1547847958.564 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847958.564 * [misc]taylor: Taking taylor expansion of (cos y) in x 1547847958.564 * [misc]taylor: Taking taylor expansion of y in x 1547847958.565 * [misc]backup-simplify: Simplify y into y 1547847958.565 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1547847958.565 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1547847958.565 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in y 1547847958.565 * [misc]taylor: Taking taylor expansion of (exp x) in y 1547847958.565 * [misc]taylor: Taking taylor expansion of x in y 1547847958.565 * [misc]backup-simplify: Simplify x into x 1547847958.565 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1547847958.565 * [misc]taylor: Taking taylor expansion of (cos y) in y 1547847958.565 * [misc]taylor: Taking taylor expansion of y in y 1547847958.565 * [misc]backup-simplify: Simplify 0 into 0 1547847958.565 * [misc]backup-simplify: Simplify 1 into 1 1547847958.565 * [misc]taylor: Taking taylor expansion of (* (exp x) (cos y)) in y 1547847958.565 * [misc]taylor: Taking taylor expansion of (exp x) in y 1547847958.565 * [misc]taylor: Taking taylor expansion of x in y 1547847958.565 * [misc]backup-simplify: Simplify x into x 1547847958.565 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1547847958.565 * [misc]taylor: Taking taylor expansion of (cos y) in y 1547847958.565 * [misc]taylor: Taking taylor expansion of y in y 1547847958.565 * [misc]backup-simplify: Simplify 0 into 0 1547847958.565 * [misc]backup-simplify: Simplify 1 into 1 1547847958.565 * [misc]backup-simplify: Simplify (* (exp x) 1) into (exp x) 1547847958.566 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847958.566 * [misc]taylor: Taking taylor expansion of x in x 1547847958.566 * [misc]backup-simplify: Simplify 0 into 0 1547847958.566 * [misc]backup-simplify: Simplify 1 into 1 1547847958.566 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847958.566 * [misc]backup-simplify: Simplify 1 into 1 1547847958.566 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847958.568 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1547847958.568 * [misc]backup-simplify: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 1547847958.568 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.568 * [misc]backup-simplify: Simplify 0 into 0 1547847958.568 * [misc]backup-simplify: Simplify 0 into 0 1547847958.570 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547847958.570 * [misc]backup-simplify: Simplify 1 into 1 1547847958.571 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1547847958.574 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847958.574 * [misc]backup-simplify: Simplify (+ (* (exp x) (- 1/2)) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 1547847958.574 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (exp x))) in x 1547847958.574 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp x)) in x 1547847958.574 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547847958.574 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547847958.574 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847958.574 * [misc]taylor: Taking taylor expansion of x in x 1547847958.574 * [misc]backup-simplify: Simplify 0 into 0 1547847958.575 * [misc]backup-simplify: Simplify 1 into 1 1547847958.575 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847958.575 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547847958.575 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1547847958.575 * [misc]backup-simplify: Simplify -1/2 into -1/2 1547847958.575 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* 1 (* x 1)) 1)) into (- (+ x 1) (* 1/2 (pow y 2))) 1547847958.575 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1547847958.576 * [misc]approximate: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in (y x) around 0 1547847958.576 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1547847958.576 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847958.576 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847958.576 * [misc]taylor: Taking taylor expansion of x in x 1547847958.576 * [misc]backup-simplify: Simplify 0 into 0 1547847958.576 * [misc]backup-simplify: Simplify 1 into 1 1547847958.576 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.576 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.576 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1547847958.576 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1547847958.576 * [misc]taylor: Taking taylor expansion of y in x 1547847958.576 * [misc]backup-simplify: Simplify y into y 1547847958.576 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1547847958.576 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847958.576 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1547847958.576 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1547847958.576 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1547847958.577 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1547847958.577 * [misc]taylor: Taking taylor expansion of x in y 1547847958.577 * [misc]backup-simplify: Simplify x into x 1547847958.577 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1547847958.577 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.577 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1547847958.577 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1547847958.577 * [misc]taylor: Taking taylor expansion of y in y 1547847958.577 * [misc]backup-simplify: Simplify 0 into 0 1547847958.577 * [misc]backup-simplify: Simplify 1 into 1 1547847958.577 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.577 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847958.577 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1547847958.577 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1547847958.577 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1547847958.577 * [misc]taylor: Taking taylor expansion of x in y 1547847958.577 * [misc]backup-simplify: Simplify x into x 1547847958.577 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1547847958.578 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.578 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1547847958.578 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1547847958.578 * [misc]taylor: Taking taylor expansion of y in y 1547847958.578 * [misc]backup-simplify: Simplify 0 into 0 1547847958.578 * [misc]backup-simplify: Simplify 1 into 1 1547847958.578 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.578 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847958.578 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1547847958.578 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1547847958.578 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847958.578 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847958.578 * [misc]taylor: Taking taylor expansion of x in x 1547847958.578 * [misc]backup-simplify: Simplify 0 into 0 1547847958.578 * [misc]backup-simplify: Simplify 1 into 1 1547847958.579 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.579 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.579 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1547847958.579 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1547847958.579 * [misc]taylor: Taking taylor expansion of y in x 1547847958.579 * [misc]backup-simplify: Simplify y into y 1547847958.579 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1547847958.579 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847958.579 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1547847958.579 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1547847958.579 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1547847958.580 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.580 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1547847958.580 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1547847958.580 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1547847958.580 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1547847958.582 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1547847958.582 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1547847958.582 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.582 * [misc]backup-simplify: Simplify 0 into 0 1547847958.582 * [misc]backup-simplify: Simplify 0 into 0 1547847958.582 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847958.583 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1547847958.583 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1547847958.584 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1547847958.584 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1547847958.585 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.585 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847958.585 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1547847958.585 * [misc]backup-simplify: Simplify 0 into 0 1547847958.585 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847958.588 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847958.591 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1547847958.591 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.591 * [misc]backup-simplify: Simplify 0 into 0 1547847958.591 * [misc]backup-simplify: Simplify 0 into 0 1547847958.591 * [misc]backup-simplify: Simplify 0 into 0 1547847958.593 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1547847958.594 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1547847958.594 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1547847958.595 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1547847958.596 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1547847958.596 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.596 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847958.597 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1547847958.597 * [misc]backup-simplify: Simplify 0 into 0 1547847958.597 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847958.601 * [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 1547847958.601 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 1547847958.601 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.601 * [misc]backup-simplify: Simplify 0 into 0 1547847958.602 * [misc]backup-simplify: Simplify 0 into 0 1547847958.602 * [misc]backup-simplify: Simplify (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) into (* (exp x) (cos y)) 1547847958.602 * [misc]backup-simplify: Simplify (* (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1547847958.602 * [misc]approximate: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in (y x) around 0 1547847958.602 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1547847958.602 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847958.602 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847958.602 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.602 * [misc]backup-simplify: Simplify -1 into -1 1547847958.602 * [misc]taylor: Taking taylor expansion of x in x 1547847958.602 * [misc]backup-simplify: Simplify 0 into 0 1547847958.602 * [misc]backup-simplify: Simplify 1 into 1 1547847958.603 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.603 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.603 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1547847958.603 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1547847958.603 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.603 * [misc]backup-simplify: Simplify -1 into -1 1547847958.603 * [misc]taylor: Taking taylor expansion of y in x 1547847958.603 * [misc]backup-simplify: Simplify y into y 1547847958.603 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1547847958.603 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847958.603 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1547847958.603 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1547847958.603 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1547847958.603 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1547847958.603 * [misc]taylor: Taking taylor expansion of -1 in y 1547847958.603 * [misc]backup-simplify: Simplify -1 into -1 1547847958.603 * [misc]taylor: Taking taylor expansion of x in y 1547847958.603 * [misc]backup-simplify: Simplify x into x 1547847958.603 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1547847958.604 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.604 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1547847958.604 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1547847958.604 * [misc]taylor: Taking taylor expansion of -1 in y 1547847958.604 * [misc]backup-simplify: Simplify -1 into -1 1547847958.604 * [misc]taylor: Taking taylor expansion of y in y 1547847958.604 * [misc]backup-simplify: Simplify 0 into 0 1547847958.604 * [misc]backup-simplify: Simplify 1 into 1 1547847958.604 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.604 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847958.604 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1547847958.604 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1547847958.604 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1547847958.604 * [misc]taylor: Taking taylor expansion of -1 in y 1547847958.604 * [misc]backup-simplify: Simplify -1 into -1 1547847958.604 * [misc]taylor: Taking taylor expansion of x in y 1547847958.604 * [misc]backup-simplify: Simplify x into x 1547847958.604 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1547847958.604 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.605 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1547847958.605 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1547847958.605 * [misc]taylor: Taking taylor expansion of -1 in y 1547847958.605 * [misc]backup-simplify: Simplify -1 into -1 1547847958.605 * [misc]taylor: Taking taylor expansion of y in y 1547847958.605 * [misc]backup-simplify: Simplify 0 into 0 1547847958.605 * [misc]backup-simplify: Simplify 1 into 1 1547847958.605 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.605 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847958.605 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1547847958.605 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1547847958.605 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847958.605 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847958.605 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.605 * [misc]backup-simplify: Simplify -1 into -1 1547847958.605 * [misc]taylor: Taking taylor expansion of x in x 1547847958.605 * [misc]backup-simplify: Simplify 0 into 0 1547847958.606 * [misc]backup-simplify: Simplify 1 into 1 1547847958.606 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.606 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.606 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1547847958.606 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1547847958.606 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.606 * [misc]backup-simplify: Simplify -1 into -1 1547847958.606 * [misc]taylor: Taking taylor expansion of y in x 1547847958.606 * [misc]backup-simplify: Simplify y into y 1547847958.606 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1547847958.606 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847958.606 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1547847958.606 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1547847958.607 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1547847958.607 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.607 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1547847958.607 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1547847958.607 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1547847958.607 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1547847958.609 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1547847958.609 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1547847958.609 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.609 * [misc]backup-simplify: Simplify 0 into 0 1547847958.609 * [misc]backup-simplify: Simplify 0 into 0 1547847958.609 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847958.610 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1547847958.610 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1547847958.611 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1547847958.612 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1547847958.612 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.612 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847958.612 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1547847958.612 * [misc]backup-simplify: Simplify 0 into 0 1547847958.613 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847958.615 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847958.615 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1547847958.615 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.615 * [misc]backup-simplify: Simplify 0 into 0 1547847958.615 * [misc]backup-simplify: Simplify 0 into 0 1547847958.616 * [misc]backup-simplify: Simplify 0 into 0 1547847958.617 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1547847958.617 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1547847958.618 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1547847958.619 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1547847958.619 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1547847958.620 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.620 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847958.620 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1547847958.620 * [misc]backup-simplify: Simplify 0 into 0 1547847958.620 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847958.624 * [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 1547847958.625 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 1547847958.625 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.625 * [misc]backup-simplify: Simplify 0 into 0 1547847958.625 * [misc]backup-simplify: Simplify 0 into 0 1547847958.625 * [misc]backup-simplify: Simplify (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y))))) into (* (exp x) (cos y)) 1547847958.625 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1547847958.626 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1547847958.626 * [misc]approximate: Taking taylor expansion of (/ 1 (exp x)) in (x) around 0 1547847958.626 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1547847958.626 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847958.626 * [misc]taylor: Taking taylor expansion of x in x 1547847958.626 * [misc]backup-simplify: Simplify 0 into 0 1547847958.626 * [misc]backup-simplify: Simplify 1 into 1 1547847958.626 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847958.626 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.626 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1547847958.626 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847958.626 * [misc]taylor: Taking taylor expansion of x in x 1547847958.626 * [misc]backup-simplify: Simplify 0 into 0 1547847958.626 * [misc]backup-simplify: Simplify 1 into 1 1547847958.626 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847958.627 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.627 * [misc]backup-simplify: Simplify 1 into 1 1547847958.628 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547847958.629 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1547847958.629 * [misc]backup-simplify: Simplify -1 into -1 1547847958.632 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547847958.632 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 1547847958.632 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547847958.632 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1547847958.632 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 1547847958.633 * [misc]approximate: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in (x) around 0 1547847958.633 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 1547847958.633 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847958.633 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847958.633 * [misc]taylor: Taking taylor expansion of x in x 1547847958.633 * [misc]backup-simplify: Simplify 0 into 0 1547847958.633 * [misc]backup-simplify: Simplify 1 into 1 1547847958.633 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.633 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.633 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 1547847958.633 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 1547847958.633 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847958.633 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847958.633 * [misc]taylor: Taking taylor expansion of x in x 1547847958.633 * [misc]backup-simplify: Simplify 0 into 0 1547847958.633 * [misc]backup-simplify: Simplify 1 into 1 1547847958.634 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.634 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.634 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 1547847958.634 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 1547847958.634 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1547847958.634 * [misc]backup-simplify: Simplify 0 into 0 1547847958.635 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1547847958.635 * [misc]backup-simplify: Simplify 0 into 0 1547847958.635 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1547847958.635 * [misc]backup-simplify: Simplify 0 into 0 1547847958.636 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1547847958.636 * [misc]backup-simplify: Simplify 0 into 0 1547847958.636 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1547847958.636 * [misc]backup-simplify: Simplify 0 into 0 1547847958.637 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1547847958.637 * [misc]backup-simplify: Simplify 0 into 0 1547847958.637 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 (/ 1 x)))) into (/ 1 (exp x)) 1547847958.637 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 (- x)))) into (/ 1 (exp (/ -1 x))) 1547847958.637 * [misc]approximate: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in (x) around 0 1547847958.637 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 1547847958.637 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847958.637 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847958.637 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.637 * [misc]backup-simplify: Simplify -1 into -1 1547847958.637 * [misc]taylor: Taking taylor expansion of x in x 1547847958.638 * [misc]backup-simplify: Simplify 0 into 0 1547847958.638 * [misc]backup-simplify: Simplify 1 into 1 1547847958.638 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.638 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.638 * [misc]backup-simplify: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 1547847958.638 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 1547847958.638 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847958.638 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847958.638 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.638 * [misc]backup-simplify: Simplify -1 into -1 1547847958.638 * [misc]taylor: Taking taylor expansion of x in x 1547847958.638 * [misc]backup-simplify: Simplify 0 into 0 1547847958.638 * [misc]backup-simplify: Simplify 1 into 1 1547847958.638 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.639 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.639 * [misc]backup-simplify: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 1547847958.639 * [misc]backup-simplify: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 1547847958.639 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1547847958.639 * [misc]backup-simplify: Simplify 0 into 0 1547847958.640 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1547847958.640 * [misc]backup-simplify: Simplify 0 into 0 1547847958.640 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1547847958.640 * [misc]backup-simplify: Simplify 0 into 0 1547847958.640 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1547847958.641 * [misc]backup-simplify: Simplify 0 into 0 1547847958.641 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1547847958.641 * [misc]backup-simplify: Simplify 0 into 0 1547847958.642 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1547847958.642 * [misc]backup-simplify: Simplify 0 into 0 1547847958.642 * [misc]backup-simplify: Simplify (/ 1 (exp (/ -1 (/ 1 (- x))))) into (/ 1 (exp x)) 1547847958.642 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1) 1547847958.642 * [misc]backup-simplify: Simplify (* (cos y) (/ 1 (exp x))) into (/ (cos y) (exp x)) 1547847958.642 * [misc]approximate: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 1547847958.642 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in x 1547847958.642 * [misc]taylor: Taking taylor expansion of (cos y) in x 1547847958.642 * [misc]taylor: Taking taylor expansion of y in x 1547847958.642 * [misc]backup-simplify: Simplify y into y 1547847958.642 * [misc]backup-simplify: Simplify (cos y) into (cos y) 1547847958.643 * [misc]backup-simplify: Simplify (sin y) into (sin y) 1547847958.643 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847958.643 * [misc]taylor: Taking taylor expansion of x in x 1547847958.643 * [misc]backup-simplify: Simplify 0 into 0 1547847958.643 * [misc]backup-simplify: Simplify 1 into 1 1547847958.643 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847958.643 * [misc]backup-simplify: Simplify (* (cos y) 1) into (cos y) 1547847958.643 * [misc]backup-simplify: Simplify (* (sin y) 0) into 0 1547847958.643 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.643 * [misc]backup-simplify: Simplify (+ (cos y) 0) into (cos y) 1547847958.643 * [misc]backup-simplify: Simplify (/ (cos y) 1) into (cos y) 1547847958.643 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1547847958.643 * [misc]taylor: Taking taylor expansion of (cos y) in y 1547847958.643 * [misc]taylor: Taking taylor expansion of y in y 1547847958.643 * [misc]backup-simplify: Simplify 0 into 0 1547847958.644 * [misc]backup-simplify: Simplify 1 into 1 1547847958.644 * [misc]taylor: Taking taylor expansion of (exp x) in y 1547847958.644 * [misc]taylor: Taking taylor expansion of x in y 1547847958.644 * [misc]backup-simplify: Simplify x into x 1547847958.644 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1547847958.644 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1547847958.644 * [misc]taylor: Taking taylor expansion of (/ (cos y) (exp x)) in y 1547847958.644 * [misc]taylor: Taking taylor expansion of (cos y) in y 1547847958.644 * [misc]taylor: Taking taylor expansion of y in y 1547847958.644 * [misc]backup-simplify: Simplify 0 into 0 1547847958.644 * [misc]backup-simplify: Simplify 1 into 1 1547847958.644 * [misc]taylor: Taking taylor expansion of (exp x) in y 1547847958.644 * [misc]taylor: Taking taylor expansion of x in y 1547847958.644 * [misc]backup-simplify: Simplify x into x 1547847958.644 * [misc]backup-simplify: Simplify (exp x) into (exp x) 1547847958.644 * [misc]backup-simplify: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 1547847958.644 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1547847958.644 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847958.644 * [misc]taylor: Taking taylor expansion of x in x 1547847958.644 * [misc]backup-simplify: Simplify 0 into 0 1547847958.644 * [misc]backup-simplify: Simplify 1 into 1 1547847958.644 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847958.645 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.645 * [misc]backup-simplify: Simplify 1 into 1 1547847958.645 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847958.646 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1547847958.647 * [misc]backup-simplify: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 1547847958.647 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.647 * [misc]backup-simplify: Simplify 0 into 0 1547847958.647 * [misc]backup-simplify: Simplify 0 into 0 1547847958.649 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547847958.649 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1547847958.649 * [misc]backup-simplify: Simplify -1 into -1 1547847958.650 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1547847958.653 * [misc]backup-simplify: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847958.653 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 1547847958.653 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 1547847958.653 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 1547847958.653 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547847958.653 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547847958.654 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1547847958.654 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547847958.654 * [misc]taylor: Taking taylor expansion of x in x 1547847958.654 * [misc]backup-simplify: Simplify 0 into 0 1547847958.654 * [misc]backup-simplify: Simplify 1 into 1 1547847958.654 * [misc]backup-simplify: Simplify (exp 0) into 1 1547847958.654 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.654 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547847958.654 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1547847958.654 * [misc]backup-simplify: Simplify -1/2 into -1/2 1547847958.655 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 1547847958.655 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) (/ 1 (exp (/ 1 x)))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847958.655 * [misc]approximate: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 1547847958.655 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1547847958.655 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1547847958.655 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1547847958.655 * [misc]taylor: Taking taylor expansion of y in x 1547847958.655 * [misc]backup-simplify: Simplify y into y 1547847958.655 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1547847958.655 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847958.655 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1547847958.655 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847958.655 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847958.655 * [misc]taylor: Taking taylor expansion of x in x 1547847958.655 * [misc]backup-simplify: Simplify 0 into 0 1547847958.656 * [misc]backup-simplify: Simplify 1 into 1 1547847958.656 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.656 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.656 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1547847958.656 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1547847958.656 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.656 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1547847958.656 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847958.657 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1547847958.657 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1547847958.657 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1547847958.657 * [misc]taylor: Taking taylor expansion of y in y 1547847958.657 * [misc]backup-simplify: Simplify 0 into 0 1547847958.657 * [misc]backup-simplify: Simplify 1 into 1 1547847958.657 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.657 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847958.657 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1547847958.657 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1547847958.657 * [misc]taylor: Taking taylor expansion of x in y 1547847958.657 * [misc]backup-simplify: Simplify x into x 1547847958.657 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1547847958.657 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.657 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847958.657 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1547847958.658 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in y 1547847958.658 * [misc]taylor: Taking taylor expansion of (/ 1 y) in y 1547847958.658 * [misc]taylor: Taking taylor expansion of y in y 1547847958.658 * [misc]backup-simplify: Simplify 0 into 0 1547847958.658 * [misc]backup-simplify: Simplify 1 into 1 1547847958.658 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.658 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847958.658 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in y 1547847958.658 * [misc]taylor: Taking taylor expansion of (/ 1 x) in y 1547847958.658 * [misc]taylor: Taking taylor expansion of x in y 1547847958.658 * [misc]backup-simplify: Simplify x into x 1547847958.658 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1547847958.658 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.658 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847958.659 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1547847958.659 * [misc]taylor: Taking taylor expansion of (cos (/ 1 y)) in x 1547847958.659 * [misc]taylor: Taking taylor expansion of (/ 1 y) in x 1547847958.659 * [misc]taylor: Taking taylor expansion of y in x 1547847958.659 * [misc]backup-simplify: Simplify y into y 1547847958.659 * [misc]backup-simplify: Simplify (/ 1 y) into (/ 1 y) 1547847958.659 * [misc]backup-simplify: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1547847958.659 * [misc]backup-simplify: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1547847958.659 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547847958.659 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547847958.659 * [misc]taylor: Taking taylor expansion of x in x 1547847958.659 * [misc]backup-simplify: Simplify 0 into 0 1547847958.659 * [misc]backup-simplify: Simplify 1 into 1 1547847958.659 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547847958.659 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547847958.659 * [misc]backup-simplify: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1547847958.660 * [misc]backup-simplify: Simplify (* (sin (/ 1 y)) 0) into 0 1547847958.660 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.660 * [misc]backup-simplify: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1547847958.660 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847958.660 * [misc]backup-simplify: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1547847958.660 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1547847958.662 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1547847958.662 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1547847958.662 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.662 * [misc]backup-simplify: Simplify 0 into 0 1547847958.662 * [misc]backup-simplify: Simplify 0 into 0 1547847958.663 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847958.663 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1547847958.663 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1547847958.665 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1547847958.665 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1547847958.665 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.665 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847958.666 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1547847958.666 * [misc]backup-simplify: Simplify 0 into 0 1547847958.666 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847958.668 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847958.669 * [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 1547847958.669 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.669 * [misc]backup-simplify: Simplify 0 into 0 1547847958.669 * [misc]backup-simplify: Simplify 0 into 0 1547847958.669 * [misc]backup-simplify: Simplify 0 into 0 1547847958.670 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1547847958.671 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1547847958.671 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1547847958.672 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1547847958.673 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1547847958.673 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847958.673 * [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 1547847958.674 * [misc]backup-simplify: Simplify 0 into 0 1547847958.674 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847958.678 * [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 1547847958.678 * [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 1547847958.678 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.678 * [misc]backup-simplify: Simplify 0 into 0 1547847958.678 * [misc]backup-simplify: Simplify 0 into 0 1547847958.679 * [misc]backup-simplify: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 1547847958.679 * [misc]backup-simplify: Simplify (* (cos (/ 1 (- y))) (/ 1 (exp (/ 1 (- x))))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847958.679 * [misc]approximate: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 1547847958.679 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1547847958.679 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1547847958.679 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1547847958.679 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.679 * [misc]backup-simplify: Simplify -1 into -1 1547847958.679 * [misc]taylor: Taking taylor expansion of y in x 1547847958.679 * [misc]backup-simplify: Simplify y into y 1547847958.679 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1547847958.679 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847958.679 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1547847958.679 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847958.680 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847958.680 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.680 * [misc]backup-simplify: Simplify -1 into -1 1547847958.680 * [misc]taylor: Taking taylor expansion of x in x 1547847958.680 * [misc]backup-simplify: Simplify 0 into 0 1547847958.680 * [misc]backup-simplify: Simplify 1 into 1 1547847958.680 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.680 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.680 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1547847958.680 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1547847958.680 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.681 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1547847958.681 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847958.681 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1547847958.681 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1547847958.681 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1547847958.681 * [misc]taylor: Taking taylor expansion of -1 in y 1547847958.681 * [misc]backup-simplify: Simplify -1 into -1 1547847958.681 * [misc]taylor: Taking taylor expansion of y in y 1547847958.681 * [misc]backup-simplify: Simplify 0 into 0 1547847958.681 * [misc]backup-simplify: Simplify 1 into 1 1547847958.681 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.681 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847958.681 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1547847958.681 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1547847958.681 * [misc]taylor: Taking taylor expansion of -1 in y 1547847958.681 * [misc]backup-simplify: Simplify -1 into -1 1547847958.681 * [misc]taylor: Taking taylor expansion of x in y 1547847958.681 * [misc]backup-simplify: Simplify x into x 1547847958.682 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1547847958.682 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.682 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847958.682 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1547847958.682 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in y 1547847958.682 * [misc]taylor: Taking taylor expansion of (/ -1 y) in y 1547847958.682 * [misc]taylor: Taking taylor expansion of -1 in y 1547847958.682 * [misc]backup-simplify: Simplify -1 into -1 1547847958.682 * [misc]taylor: Taking taylor expansion of y in y 1547847958.682 * [misc]backup-simplify: Simplify 0 into 0 1547847958.682 * [misc]backup-simplify: Simplify 1 into 1 1547847958.682 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.682 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847958.682 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in y 1547847958.682 * [misc]taylor: Taking taylor expansion of (/ -1 x) in y 1547847958.682 * [misc]taylor: Taking taylor expansion of -1 in y 1547847958.683 * [misc]backup-simplify: Simplify -1 into -1 1547847958.683 * [misc]taylor: Taking taylor expansion of x in y 1547847958.683 * [misc]backup-simplify: Simplify x into x 1547847958.683 * [misc]backup-simplify: Simplify (/ -1 x) into (/ -1 x) 1547847958.683 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.683 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847958.683 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1547847958.683 * [misc]taylor: Taking taylor expansion of (cos (/ -1 y)) in x 1547847958.683 * [misc]taylor: Taking taylor expansion of (/ -1 y) in x 1547847958.683 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.683 * [misc]backup-simplify: Simplify -1 into -1 1547847958.683 * [misc]taylor: Taking taylor expansion of y in x 1547847958.683 * [misc]backup-simplify: Simplify y into y 1547847958.683 * [misc]backup-simplify: Simplify (/ -1 y) into (/ -1 y) 1547847958.683 * [misc]backup-simplify: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1547847958.684 * [misc]backup-simplify: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1547847958.684 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547847958.684 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547847958.684 * [misc]taylor: Taking taylor expansion of -1 in x 1547847958.684 * [misc]backup-simplify: Simplify -1 into -1 1547847958.684 * [misc]taylor: Taking taylor expansion of x in x 1547847958.684 * [misc]backup-simplify: Simplify 0 into 0 1547847958.684 * [misc]backup-simplify: Simplify 1 into 1 1547847958.684 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547847958.684 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547847958.684 * [misc]backup-simplify: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1547847958.684 * [misc]backup-simplify: Simplify (* (sin (/ -1 y)) 0) into 0 1547847958.684 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.685 * [misc]backup-simplify: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1547847958.685 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847958.685 * [misc]backup-simplify: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1547847958.685 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1547847958.687 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1547847958.687 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1547847958.687 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.687 * [misc]backup-simplify: Simplify 0 into 0 1547847958.687 * [misc]backup-simplify: Simplify 0 into 0 1547847958.687 * [misc]backup-simplify: Simplify (+ 0) into 0 1547847958.688 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1547847958.688 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1547847958.689 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1547847958.689 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1547847958.690 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847958.690 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1547847958.690 * [misc]backup-simplify: Simplify 0 into 0 1547847958.691 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847958.693 * [misc]backup-simplify: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547847958.693 * [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 1547847958.693 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.693 * [misc]backup-simplify: Simplify 0 into 0 1547847958.694 * [misc]backup-simplify: Simplify 0 into 0 1547847958.694 * [misc]backup-simplify: Simplify 0 into 0 1547847958.695 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1547847958.695 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1547847958.696 * [misc]backup-simplify: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1547847958.697 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1547847958.697 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1547847958.698 * [misc]backup-simplify: Simplify (- 0) into 0 1547847958.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547847958.698 * [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 1547847958.698 * [misc]backup-simplify: Simplify 0 into 0 1547847958.699 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1547847958.703 * [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 1547847958.703 * [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 1547847958.703 * [misc]taylor: Taking taylor expansion of 0 in x 1547847958.703 * [misc]backup-simplify: Simplify 0 into 0 1547847958.703 * [misc]backup-simplify: Simplify 0 into 0 1547847958.703 * [misc]backup-simplify: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 1547847958.704 * * * [misc]progress: simplifying candidates 1547847958.704 * * * * [misc]progress: [ 1 / 63 ] simplifiying candidate # 1547847958.704 * [enter]simplify: Simplifying (* (cos y) (exp x)) 1547847958.704 * * [misc]simplify: iters left: 3 (5 enodes) 1547847958.706 * * [misc]simplify: iters left: 2 (6 enodes) 1547847958.708 * [exit]simplify: Simplified to (* (exp x) (cos y)) 1547847958.708 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (pow (* (exp x) (cos y)) 1)) 2)) 1547847958.708 * * * * [misc]progress: [ 2 / 63 ] simplifiying candidate # 1547847958.708 * * * * [misc]progress: [ 3 / 63 ] simplifiying candidate # 1547847958.708 * [enter]simplify: Simplifying (+ (log (cos y)) x) 1547847958.708 * * [misc]simplify: iters left: 4 (5 enodes) 1547847958.710 * * [misc]simplify: iters left: 3 (6 enodes) 1547847958.711 * [exit]simplify: Simplified to (+ x (log (cos y))) 1547847958.711 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (exp (+ x (log (cos y))))) 2)) 1547847958.712 * * * * [misc]progress: [ 4 / 63 ] simplifiying candidate # 1547847958.712 * * * * [misc]progress: [ 5 / 63 ] simplifiying candidate # 1547847958.712 * * * * [misc]progress: [ 6 / 63 ] simplifiying candidate # 1547847958.712 * [enter]simplify: Simplifying (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 1547847958.712 * * [misc]simplify: iters left: 6 (9 enodes) 1547847958.716 * * [misc]simplify: iters left: 5 (18 enodes) 1547847958.723 * * [misc]simplify: iters left: 4 (47 enodes) 1547847958.741 * * [misc]simplify: iters left: 3 (80 enodes) 1547847958.766 * * [misc]simplify: iters left: 2 (100 enodes) 1547847958.795 * * [misc]simplify: iters left: 1 (101 enodes) 1547847958.814 * [exit]simplify: Simplified to (pow (* (exp x) (cos y)) 3) 1547847958.814 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (cbrt (pow (* (exp x) (cos y)) 3))) 2)) 1547847958.814 * * * * [misc]progress: [ 7 / 63 ] simplifiying candidate # 1547847958.814 * * * * [misc]progress: [ 8 / 63 ] simplifiying candidate # 1547847958.814 * * * * [misc]progress: [ 9 / 63 ] simplifiying candidate # 1547847958.814 * * * * [misc]progress: [ 10 / 63 ] simplifiying candidate # 1547847958.814 * * * * [misc]progress: [ 11 / 63 ] simplifiying candidate # 1547847958.815 * [enter]simplify: Simplifying (cbrt (exp x)) 1547847958.815 * * [misc]simplify: iters left: 2 (3 enodes) 1547847958.815 * [exit]simplify: Simplified to (cbrt (exp x)) 1547847958.816 * [misc]simplify: Simplified (2 1 2 2) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) 2)) 1547847958.816 * * * * [misc]progress: [ 12 / 63 ] simplifiying candidate # 1547847958.816 * [enter]simplify: Simplifying (sqrt (exp x)) 1547847958.816 * * [misc]simplify: iters left: 2 (3 enodes) 1547847958.817 * [exit]simplify: Simplified to (sqrt (exp x)) 1547847958.817 * [misc]simplify: Simplified (2 1 2 2) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (* (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2)) 1547847958.817 * * * * [misc]progress: [ 13 / 63 ] simplifiying candidate # 1547847958.817 * [enter]simplify: Simplifying (exp x) 1547847958.817 * * [misc]simplify: iters left: 1 (2 enodes) 1547847958.818 * [exit]simplify: Simplified to (exp x) 1547847958.818 * [misc]simplify: Simplified (2 1 2 2) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (* (cos y) 1) (exp x))) 2)) 1547847958.818 * * * * [misc]progress: [ 14 / 63 ] simplifiying candidate # 1547847958.818 * [enter]simplify: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1547847958.818 * * [misc]simplify: iters left: 4 (4 enodes) 1547847958.820 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1547847958.820 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (exp x)))) 2)) 1547847958.820 * * * * [misc]progress: [ 15 / 63 ] simplifiying candidate # 1547847958.820 * [enter]simplify: Simplifying (sqrt (cos y)) 1547847958.820 * * [misc]simplify: iters left: 2 (3 enodes) 1547847958.821 * [exit]simplify: Simplified to (sqrt (cos y)) 1547847958.821 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (sqrt (cos y)) (* (sqrt (cos y)) (exp x)))) 2)) 1547847958.821 * * * * [misc]progress: [ 16 / 63 ] simplifiying candidate # 1547847958.821 * * * * [misc]progress: [ 17 / 63 ] simplifiying candidate # 1547847958.821 * * * * [misc]progress: [ 18 / 63 ] simplifiying candidate # 1547847958.821 * * * * [misc]progress: [ 19 / 63 ] simplifiying candidate # 1547847958.822 * [enter]simplify: Simplifying (- 1) 1547847958.822 * * [misc]simplify: iters left: 2 (2 enodes) 1547847958.823 * * [misc]simplify: iters left: 1 (5 enodes) 1547847958.824 * [exit]simplify: Simplified to -1 1547847958.824 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (x y) (/ (+ (* (cos y) (pow (exp x) -1)) (* (cos y) (exp x))) 2)) 1547847958.824 * * * * [misc]progress: [ 20 / 63 ] simplifiying candidate # 1547847958.824 * * * * [misc]progress: [ 21 / 63 ] simplifiying candidate # 1547847958.824 * * * * [misc]progress: [ 22 / 63 ] simplifiying candidate # 1547847958.824 * * * * [misc]progress: [ 23 / 63 ] simplifiying candidate # 1547847958.825 * * * * [misc]progress: [ 24 / 63 ] simplifiying candidate # 1547847958.825 * * * * [misc]progress: [ 25 / 63 ] simplifiying candidate # 1547847958.825 * * * * [misc]progress: [ 26 / 63 ] simplifiying candidate # 1547847958.825 * * * * [misc]progress: [ 27 / 63 ] simplifiying candidate # 1547847958.825 * * * * [misc]progress: [ 28 / 63 ] simplifiying candidate # 1547847958.825 * * * * [misc]progress: [ 29 / 63 ] simplifiying candidate # 1547847958.825 * * * * [misc]progress: [ 30 / 63 ] simplifiying candidate # 1547847958.825 * * * * [misc]progress: [ 31 / 63 ] simplifiying candidate # 1547847958.825 * [enter]simplify: Simplifying (cbrt (exp x)) 1547847958.825 * * [misc]simplify: iters left: 2 (3 enodes) 1547847958.826 * [exit]simplify: Simplified to (cbrt (exp x)) 1547847958.826 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (x y) (/ (+ (* (cos y) (/ (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1547847958.826 * * * * [misc]progress: [ 32 / 63 ] simplifiying candidate # 1547847958.827 * [enter]simplify: Simplifying (sqrt (exp x)) 1547847958.827 * * [misc]simplify: iters left: 2 (3 enodes) 1547847958.828 * [exit]simplify: Simplified to (sqrt (exp x)) 1547847958.828 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (x y) (/ (+ (* (cos y) (/ (/ 1 (sqrt (exp x))) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1547847958.828 * * * * [misc]progress: [ 33 / 63 ] simplifiying candidate # 1547847958.828 * [enter]simplify: Simplifying (exp x) 1547847958.828 * * [misc]simplify: iters left: 1 (2 enodes) 1547847958.829 * [exit]simplify: Simplified to (exp x) 1547847958.829 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (x y) (/ (+ (* (cos y) (/ (/ 1 1) (exp x))) (* (cos y) (exp x))) 2)) 1547847958.829 * * * * [misc]progress: [ 34 / 63 ] simplifiying candidate # 1547847958.829 * [enter]simplify: Simplifying (* (cos y) (/ 1 (exp x))) 1547847958.829 * * [misc]simplify: iters left: 5 (7 enodes) 1547847958.832 * * [misc]simplify: iters left: 4 (14 enodes) 1547847958.836 * * [misc]simplify: iters left: 3 (21 enodes) 1547847958.843 * * [misc]simplify: iters left: 2 (28 enodes) 1547847958.851 * * [misc]simplify: iters left: 1 (43 enodes) 1547847958.863 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1547847958.863 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (pow (/ (cos y) (exp x)) 1) (* (cos y) (exp x))) 2)) 1547847958.863 * * * * [misc]progress: [ 35 / 63 ] simplifiying candidate # 1547847958.863 * * * * [misc]progress: [ 36 / 63 ] simplifiying candidate # 1547847958.863 * [enter]simplify: Simplifying (+ (log (cos y)) (- x)) 1547847958.863 * * [misc]simplify: iters left: 4 (6 enodes) 1547847958.865 * * [misc]simplify: iters left: 3 (8 enodes) 1547847958.867 * [exit]simplify: Simplified to (- (log (cos y)) x) 1547847958.867 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2)) 1547847958.868 * * * * [misc]progress: [ 37 / 63 ] simplifiying candidate # 1547847958.868 * [enter]simplify: Simplifying (+ (log (cos y)) (log (/ 1 (exp x)))) 1547847958.868 * * [misc]simplify: iters left: 6 (9 enodes) 1547847958.871 * * [misc]simplify: iters left: 5 (18 enodes) 1547847958.876 * [exit]simplify: Simplified to (+ (- x) (log (cos y))) 1547847958.877 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (exp (+ (- x) (log (cos y)))) (* (cos y) (exp x))) 2)) 1547847958.877 * * * * [misc]progress: [ 38 / 63 ] simplifiying candidate # 1547847958.877 * * * * [misc]progress: [ 39 / 63 ] simplifiying candidate # 1547847958.877 * * * * [misc]progress: [ 40 / 63 ] simplifiying candidate # 1547847958.877 * [enter]simplify: Simplifying (* (* (* (cos y) (cos y)) (cos y)) (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))) 1547847958.877 * * [misc]simplify: iters left: 6 (11 enodes) 1547847958.882 * * [misc]simplify: iters left: 5 (28 enodes) 1547847958.894 * * [misc]simplify: iters left: 4 (66 enodes) 1547847958.930 * * [misc]simplify: iters left: 3 (177 enodes) 1547847959.021 * * [misc]simplify: iters left: 2 (439 enodes) 1547847959.477 * [exit]simplify: Simplified to (/ (pow (cos y) 3) (pow (exp x) 3)) 1547847959.477 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (cbrt (/ (pow (cos y) 3) (pow (exp x) 3))) (* (cos y) (exp x))) 2)) 1547847959.477 * * * * [misc]progress: [ 41 / 63 ] simplifiying candidate # 1547847959.477 * * * * [misc]progress: [ 42 / 63 ] simplifiying candidate # 1547847959.477 * * * * [misc]progress: [ 43 / 63 ] simplifiying candidate # 1547847959.477 * * * * [misc]progress: [ 44 / 63 ] simplifiying candidate # 1547847959.477 * * * * [misc]progress: [ 45 / 63 ] simplifiying candidate # 1547847959.477 * [enter]simplify: Simplifying (exp x) 1547847959.477 * * [misc]simplify: iters left: 1 (2 enodes) 1547847959.478 * [exit]simplify: Simplified to (exp x) 1547847959.478 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1547847959.478 * * * * [misc]progress: [ 46 / 63 ] simplifiying candidate # 1547847959.479 * [enter]simplify: Simplifying (cbrt (/ 1 (exp x))) 1547847959.479 * * [misc]simplify: iters left: 4 (5 enodes) 1547847959.480 * * [misc]simplify: iters left: 3 (9 enodes) 1547847959.483 * [exit]simplify: Simplified to (cbrt (exp (- x))) 1547847959.483 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (* (cos y) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))) (cbrt (exp (- x)))) (* (cos y) (exp x))) 2)) 1547847959.483 * * * * [misc]progress: [ 47 / 63 ] simplifiying candidate # 1547847959.483 * [enter]simplify: Simplifying (sqrt (/ 1 (exp x))) 1547847959.483 * * [misc]simplify: iters left: 4 (5 enodes) 1547847959.485 * * [misc]simplify: iters left: 3 (9 enodes) 1547847959.487 * [exit]simplify: Simplified to (sqrt (exp (- x))) 1547847959.487 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (* (cos y) (sqrt (/ 1 (exp x)))) (sqrt (exp (- x)))) (* (cos y) (exp x))) 2)) 1547847959.487 * * * * [misc]progress: [ 48 / 63 ] simplifiying candidate # 1547847959.487 * [enter]simplify: Simplifying (/ 1 (exp x)) 1547847959.488 * * [misc]simplify: iters left: 3 (4 enodes) 1547847959.489 * * [misc]simplify: iters left: 2 (8 enodes) 1547847959.491 * [exit]simplify: Simplified to (exp (- x)) 1547847959.491 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (* (cos y) 1) (exp (- x))) (* (cos y) (exp x))) 2)) 1547847959.491 * * * * [misc]progress: [ 49 / 63 ] simplifiying candidate # 1547847959.491 * [enter]simplify: Simplifying (/ 1 (exp x)) 1547847959.492 * * [misc]simplify: iters left: 3 (4 enodes) 1547847959.493 * * [misc]simplify: iters left: 2 (8 enodes) 1547847959.495 * [exit]simplify: Simplified to (exp (- x)) 1547847959.495 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (* (cos y) 1) (exp (- x))) (* (cos y) (exp x))) 2)) 1547847959.495 * * * * [misc]progress: [ 50 / 63 ] simplifiying candidate # 1547847959.495 * [enter]simplify: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1547847959.495 * * [misc]simplify: iters left: 4 (4 enodes) 1547847959.497 * [exit]simplify: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1547847959.497 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (/ 1 (exp x)))) (* (cos y) (exp x))) 2)) 1547847959.497 * * * * [misc]progress: [ 51 / 63 ] simplifiying candidate # 1547847959.497 * [enter]simplify: Simplifying (sqrt (cos y)) 1547847959.497 * * [misc]simplify: iters left: 2 (3 enodes) 1547847959.498 * [exit]simplify: Simplified to (sqrt (cos y)) 1547847959.498 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (sqrt (cos y)) (* (sqrt (cos y)) (/ 1 (exp x)))) (* (cos y) (exp x))) 2)) 1547847959.498 * * * * [misc]progress: [ 52 / 63 ] simplifiying candidate # 1547847959.498 * * * * [misc]progress: [ 53 / 63 ] simplifiying candidate # 1547847959.499 * [enter]simplify: Simplifying (exp x) 1547847959.499 * * [misc]simplify: iters left: 1 (2 enodes) 1547847959.499 * [exit]simplify: Simplified to (exp x) 1547847959.499 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (* (cos y) 1) (exp x)) (* (cos y) (exp x))) 2)) 1547847959.499 * * * * [misc]progress: [ 54 / 63 ] simplifiying candidate # 1547847959.500 * * * * [misc]progress: [ 55 / 63 ] simplifiying candidate # 1547847959.500 * [enter]simplify: Simplifying (- (+ x 1) (* 1/2 (pow y 2))) 1547847959.500 * * [misc]simplify: iters left: 5 (9 enodes) 1547847959.503 * * [misc]simplify: iters left: 4 (18 enodes) 1547847959.510 * * [misc]simplify: iters left: 3 (37 enodes) 1547847959.522 * * [misc]simplify: iters left: 2 (52 enodes) 1547847959.536 * * [misc]simplify: iters left: 1 (60 enodes) 1547847959.555 * [exit]simplify: Simplified to (+ (* -1/2 (* y y)) (+ 1 x)) 1547847959.555 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (+ (* -1/2 (* y y)) (+ 1 x))) 2)) 1547847959.555 * * * * [misc]progress: [ 56 / 63 ] simplifiying candidate # 1547847959.555 * [enter]simplify: Simplifying (* (exp x) (cos y)) 1547847959.555 * * [misc]simplify: iters left: 3 (5 enodes) 1547847959.557 * * [misc]simplify: iters left: 2 (6 enodes) 1547847959.559 * [exit]simplify: Simplified to (* (cos y) (exp x)) 1547847959.559 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (cos y) (exp x))) 2)) 1547847959.559 * * * * [misc]progress: [ 57 / 63 ] simplifiying candidate # 1547847959.559 * [enter]simplify: Simplifying (* (exp x) (cos y)) 1547847959.559 * * [misc]simplify: iters left: 3 (5 enodes) 1547847959.561 * * [misc]simplify: iters left: 2 (6 enodes) 1547847959.563 * [exit]simplify: Simplified to (* (cos y) (exp x)) 1547847959.563 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (cos y) (exp x))) 2)) 1547847959.563 * * * * [misc]progress: [ 58 / 63 ] simplifiying candidate # 1547847959.563 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1547847959.563 * * [misc]simplify: iters left: 6 (8 enodes) 1547847959.566 * * [misc]simplify: iters left: 5 (17 enodes) 1547847959.572 * * [misc]simplify: iters left: 4 (29 enodes) 1547847959.581 * * [misc]simplify: iters left: 3 (37 enodes) 1547847959.591 * * [misc]simplify: iters left: 2 (39 enodes) 1547847959.601 * * [misc]simplify: iters left: 1 (53 enodes) 1547847959.618 * [exit]simplify: Simplified to (- (* (* x x) 1/2) (- x 1)) 1547847959.618 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (cos y) (- (* (* x x) 1/2) (- x 1))) (* (cos y) (exp x))) 2)) 1547847959.618 * * * * [misc]progress: [ 59 / 63 ] simplifiying candidate # 1547847959.618 * [enter]simplify: Simplifying (/ 1 (exp x)) 1547847959.618 * * [misc]simplify: iters left: 3 (4 enodes) 1547847959.620 * * [misc]simplify: iters left: 2 (8 enodes) 1547847959.622 * [exit]simplify: Simplified to (exp (- x)) 1547847959.622 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (cos y) (exp (- x))) (* (cos y) (exp x))) 2)) 1547847959.622 * * * * [misc]progress: [ 60 / 63 ] simplifiying candidate # 1547847959.622 * [enter]simplify: Simplifying (/ 1 (exp x)) 1547847959.622 * * [misc]simplify: iters left: 3 (4 enodes) 1547847959.624 * * [misc]simplify: iters left: 2 (8 enodes) 1547847959.626 * [exit]simplify: Simplified to (exp (- x)) 1547847959.626 * [misc]simplify: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (cos y) (exp (- x))) (* (cos y) (exp x))) 2)) 1547847959.626 * * * * [misc]progress: [ 61 / 63 ] simplifiying candidate # 1547847959.626 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x)) 1547847959.626 * * [misc]simplify: iters left: 6 (9 enodes) 1547847959.629 * * [misc]simplify: iters left: 5 (18 enodes) 1547847959.635 * * [misc]simplify: iters left: 4 (30 enodes) 1547847959.646 * * [misc]simplify: iters left: 3 (55 enodes) 1547847959.663 * * [misc]simplify: iters left: 2 (76 enodes) 1547847959.685 * * [misc]simplify: iters left: 1 (92 enodes) 1547847959.721 * [exit]simplify: Simplified to (- (* (* -1/2 y) y) (+ -1 x)) 1547847959.721 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (- (* (* -1/2 y) y) (+ -1 x)) (* (cos y) (exp x))) 2)) 1547847959.721 * * * * [misc]progress: [ 62 / 63 ] simplifiying candidate # 1547847959.721 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1547847959.722 * * [misc]simplify: iters left: 3 (5 enodes) 1547847959.723 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1547847959.723 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1547847959.724 * * * * [misc]progress: [ 63 / 63 ] simplifiying candidate # 1547847959.724 * [enter]simplify: Simplifying (/ (cos y) (exp x)) 1547847959.724 * * [misc]simplify: iters left: 3 (5 enodes) 1547847959.726 * [exit]simplify: Simplified to (/ (cos y) (exp x)) 1547847959.726 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1547847959.726 * * * [misc]progress: adding candidates to table 1547847961.190 * [misc]progress: [Phase 3 of 3] Extracting. 1547847961.190 * * [misc]regime: Finding splitpoints for: (# #) 1547847961.191 * * * [misc]regime-changes: Trying 2 branch expressions: (y x) 1547847961.191 * * * * [misc]regimes: Trying to branch on y from (# #) 1547847961.245 * * * * [misc]regimes: Trying to branch on x from (# #) 1547847961.295 * * * [misc]regime: Found split indices: #