30.472 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.012 * * * * [points]: Setting MPFR precision to 64 0.013 * * * * [points]: Setting MPFR precision to 320 0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.018 * * * * [points]: Setting MPFR precision to 64 0.027 * * * * [points]: Setting MPFR precision to 320 0.031 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.034 * * * * [points]: Setting MPFR precision to 64 0.040 * * * * [points]: Setting MPFR precision to 320 0.046 * * * * [points]: Computing exacts for 256 points 0.049 * * * * [points]: Setting MPFR precision to 64 0.065 * * * * [points]: Setting MPFR precision to 320 0.085 * * * * [points]: Filtering points with unrepresentable outputs 0.086 * * * * [points]: Sampling 142 additional inputs, on iter 1 have 114 / 256 0.088 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision 0.091 * * * * [points]: Setting MPFR precision to 64 0.092 * * * * [points]: Setting MPFR precision to 320 0.094 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision 0.097 * * * * [points]: Setting MPFR precision to 64 0.099 * * * * [points]: Setting MPFR precision to 320 0.101 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision 0.104 * * * * [points]: Setting MPFR precision to 64 0.107 * * * * [points]: Setting MPFR precision to 320 0.109 * * * * [points]: Computing exacts for 142 points 0.111 * * * * [points]: Setting MPFR precision to 64 0.119 * * * * [points]: Setting MPFR precision to 320 0.131 * * * * [points]: Filtering points with unrepresentable outputs 0.132 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256 0.132 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision 0.136 * * * * [points]: Setting MPFR precision to 64 0.137 * * * * [points]: Setting MPFR precision to 320 0.138 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision 0.142 * * * * [points]: Setting MPFR precision to 64 0.143 * * * * [points]: Setting MPFR precision to 320 0.145 * * * * [points]: Computing exacts for 67 points 0.149 * * * * [points]: Setting MPFR precision to 64 0.154 * * * * [points]: Setting MPFR precision to 320 0.157 * * * * [points]: Filtering points with unrepresentable outputs 0.158 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256 0.158 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 0.160 * * * * [points]: Setting MPFR precision to 64 0.161 * * * * [points]: Setting MPFR precision to 320 0.161 * * * * [points]: Computing exacts for 35 points 0.164 * * * * [points]: Setting MPFR precision to 64 0.187 * * * * [points]: Setting MPFR precision to 320 0.189 * * * * [points]: Filtering points with unrepresentable outputs 0.189 * * * * [points]: Sampling 21 additional inputs, on iter 4 have 235 / 256 0.189 * * * * [points]: Computing exacts for 21 points 0.192 * * * * [points]: Setting MPFR precision to 64 0.193 * * * * [points]: Setting MPFR precision to 320 0.194 * * * * [points]: Filtering points with unrepresentable outputs 0.194 * * * * [points]: Sampling 13 additional inputs, on iter 5 have 243 / 256 0.194 * * * * [points]: Computing exacts for 13 points 0.199 * * * * [points]: Setting MPFR precision to 64 0.200 * * * * [points]: Setting MPFR precision to 320 0.200 * * * * [points]: Filtering points with unrepresentable outputs 0.200 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256 0.201 * * * * [points]: Computing exacts for 7 points 0.203 * * * * [points]: Setting MPFR precision to 64 0.203 * * * * [points]: Setting MPFR precision to 320 0.203 * * * * [points]: Filtering points with unrepresentable outputs 0.203 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256 0.204 * * * * [points]: Computing exacts for 4 points 0.206 * * * * [points]: Setting MPFR precision to 64 0.206 * * * * [points]: Setting MPFR precision to 320 0.206 * * * * [points]: Filtering points with unrepresentable outputs 0.206 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256 0.206 * * * * [points]: Computing exacts for 4 points 0.208 * * * * [points]: Setting MPFR precision to 64 0.209 * * * * [points]: Setting MPFR precision to 320 0.209 * * * * [points]: Filtering points with unrepresentable outputs 0.209 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256 0.209 * * * * [points]: Computing exacts for 4 points 0.211 * * * * [points]: Setting MPFR precision to 64 0.211 * * * * [points]: Setting MPFR precision to 320 0.212 * * * * [points]: Filtering points with unrepresentable outputs 0.212 * * * * [points]: Sampled 257 points with exact outputs 0.212 * * * [progress]: [2/2] Setting up program. 0.216 * [progress]: [Phase 2 of 3] Improving. 0.216 * [simplify]: Simplifying: (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.216 * * [simplify]: iteration 0: 16 enodes 0.219 * * [simplify]: iteration 1: 30 enodes 0.223 * * [simplify]: iteration 2: 48 enodes 0.229 * * [simplify]: iteration 3: 79 enodes 0.240 * * [simplify]: iteration 4: 112 enodes 0.256 * * [simplify]: iteration 5: 182 enodes 0.301 * * [simplify]: iteration 6: 450 enodes 0.522 * * [simplify]: iteration 7: 1236 enodes 1.550 * * [simplify]: iteration 8: 2689 enodes 4.155 * * [simplify]: iteration 9: 4960 enodes 4.647 * * [simplify]: iteration complete: 5024 enodes 4.647 * * [simplify]: Extracting #0: cost 1 inf + 0 4.647 * * [simplify]: Extracting #1: cost 17 inf + 0 4.647 * * [simplify]: Extracting #2: cost 27 inf + 86 4.647 * * [simplify]: Extracting #3: cost 42 inf + 461 4.648 * * [simplify]: Extracting #4: cost 283 inf + 788 4.663 * * [simplify]: Extracting #5: cost 383 inf + 15002 4.675 * * [simplify]: Extracting #6: cost 49 inf + 57673 4.696 * * [simplify]: Extracting #7: cost 2 inf + 64968 4.715 * * [simplify]: Extracting #8: cost 0 inf + 65143 4.737 * [simplify]: Simplified to: (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2.0) 4.742 * * [progress]: iteration 1 / 4 4.742 * * * [progress]: picking best candidate 4.745 * * * * [pick]: Picked # 4.745 * * * [progress]: localizing error 4.762 * * * [progress]: generating rewritten candidates 4.762 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.780 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 4.793 * * * [progress]: generating series expansions 4.793 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.793 * [backup-simplify]: Simplify (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 4.793 * [approximate]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in (y x) around 0 4.793 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in x 4.793 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 4.793 * [taylor]: Taking taylor expansion of (cos y) in x 4.793 * [taylor]: Taking taylor expansion of y in x 4.794 * [backup-simplify]: Simplify y into y 4.794 * [backup-simplify]: Simplify (cos y) into (cos y) 4.794 * [backup-simplify]: Simplify (sin y) into (sin y) 4.794 * [taylor]: Taking taylor expansion of (exp x) in x 4.794 * [taylor]: Taking taylor expansion of x in x 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 1 into 1 4.794 * [backup-simplify]: Simplify (exp 0) into 1 4.794 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 4.794 * [backup-simplify]: Simplify (* (sin y) 0) into 0 4.795 * [backup-simplify]: Simplify (- 0) into 0 4.795 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 4.795 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 4.795 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x 4.795 * [taylor]: Taking taylor expansion of (exp x) in x 4.795 * [taylor]: Taking taylor expansion of x in x 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 1 into 1 4.795 * [backup-simplify]: Simplify (exp 0) into 1 4.795 * [taylor]: Taking taylor expansion of (cos y) in x 4.795 * [taylor]: Taking taylor expansion of y in x 4.795 * [backup-simplify]: Simplify y into y 4.795 * [backup-simplify]: Simplify (cos y) into (cos y) 4.795 * [backup-simplify]: Simplify (sin y) into (sin y) 4.795 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y 4.795 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.795 * [taylor]: Taking taylor expansion of (cos y) in y 4.795 * [taylor]: Taking taylor expansion of y in y 4.795 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 1 into 1 4.796 * [taylor]: Taking taylor expansion of (exp x) in y 4.796 * [taylor]: Taking taylor expansion of x in y 4.796 * [backup-simplify]: Simplify x into x 4.796 * [backup-simplify]: Simplify (exp x) into (exp x) 4.796 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.796 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 4.796 * [taylor]: Taking taylor expansion of (exp x) in y 4.796 * [taylor]: Taking taylor expansion of x in y 4.796 * [backup-simplify]: Simplify x into x 4.796 * [backup-simplify]: Simplify (exp x) into (exp x) 4.796 * [taylor]: Taking taylor expansion of (cos y) in y 4.796 * [taylor]: Taking taylor expansion of y in y 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 1 into 1 4.796 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y 4.796 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.796 * [taylor]: Taking taylor expansion of (cos y) in y 4.796 * [taylor]: Taking taylor expansion of y in y 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 1 into 1 4.796 * [taylor]: Taking taylor expansion of (exp x) in y 4.796 * [taylor]: Taking taylor expansion of x in y 4.796 * [backup-simplify]: Simplify x into x 4.796 * [backup-simplify]: Simplify (exp x) into (exp x) 4.796 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.796 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 4.796 * [taylor]: Taking taylor expansion of (exp x) in y 4.796 * [taylor]: Taking taylor expansion of x in y 4.796 * [backup-simplify]: Simplify x into x 4.797 * [backup-simplify]: Simplify (exp x) into (exp x) 4.797 * [taylor]: Taking taylor expansion of (cos y) in y 4.797 * [taylor]: Taking taylor expansion of y in y 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 1 into 1 4.797 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x) 4.797 * [backup-simplify]: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x))) 4.797 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 4.797 * [taylor]: Taking taylor expansion of (exp x) in x 4.797 * [taylor]: Taking taylor expansion of x in x 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 1 into 1 4.797 * [backup-simplify]: Simplify (exp 0) into 1 4.797 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.797 * [taylor]: Taking taylor expansion of (exp x) in x 4.797 * [taylor]: Taking taylor expansion of x in x 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 1 into 1 4.797 * [backup-simplify]: Simplify (exp 0) into 1 4.798 * [backup-simplify]: Simplify (/ 1 1) into 1 4.798 * [backup-simplify]: Simplify (+ 1 1) into 2 4.798 * [backup-simplify]: Simplify 2 into 2 4.799 * [backup-simplify]: Simplify (+ 0) into 0 4.800 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 4.800 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 4.800 * [backup-simplify]: Simplify (+ 0) into 0 4.801 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 4.802 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 4.802 * [backup-simplify]: Simplify (+ 0 0) into 0 4.802 * [taylor]: Taking taylor expansion of 0 in x 4.802 * [backup-simplify]: Simplify 0 into 0 4.802 * [backup-simplify]: Simplify 0 into 0 4.803 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.805 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 4.806 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.806 * [backup-simplify]: Simplify 0 into 0 4.807 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.808 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.808 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 4.809 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.810 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.811 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 4.811 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (exp x)))) (- (* 1/2 (exp x)))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) 4.811 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x 4.811 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x 4.811 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 4.811 * [taylor]: Taking taylor expansion of 1/2 in x 4.811 * [backup-simplify]: Simplify 1/2 into 1/2 4.811 * [taylor]: Taking taylor expansion of (exp x) in x 4.812 * [taylor]: Taking taylor expansion of x in x 4.812 * [backup-simplify]: Simplify 0 into 0 4.812 * [backup-simplify]: Simplify 1 into 1 4.812 * [backup-simplify]: Simplify (exp 0) into 1 4.812 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 4.812 * [taylor]: Taking taylor expansion of 1/2 in x 4.812 * [backup-simplify]: Simplify 1/2 into 1/2 4.812 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.812 * [taylor]: Taking taylor expansion of (exp x) in x 4.812 * [taylor]: Taking taylor expansion of x in x 4.812 * [backup-simplify]: Simplify 0 into 0 4.812 * [backup-simplify]: Simplify 1 into 1 4.812 * [backup-simplify]: Simplify (exp 0) into 1 4.812 * [backup-simplify]: Simplify (/ 1 1) into 1 4.813 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.813 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.814 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.814 * [backup-simplify]: Simplify (- 1) into -1 4.814 * [backup-simplify]: Simplify -1 into -1 4.814 * [backup-simplify]: Simplify 0 into 0 4.816 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.817 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 4.819 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.819 * [backup-simplify]: Simplify 1 into 1 4.819 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2)) 4.819 * [backup-simplify]: Simplify (+ (/ (cos (/ 1 y)) (exp (/ 1 x))) (* (exp (/ 1 x)) (cos (/ 1 y)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 4.819 * [approximate]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0 4.819 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 4.819 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 4.819 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.819 * [taylor]: Taking taylor expansion of x in x 4.820 * [backup-simplify]: Simplify 0 into 0 4.820 * [backup-simplify]: Simplify 1 into 1 4.820 * [backup-simplify]: Simplify (/ 1 1) into 1 4.820 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.820 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.820 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.820 * [taylor]: Taking taylor expansion of y in x 4.820 * [backup-simplify]: Simplify y into y 4.820 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.820 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.820 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.820 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.820 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.820 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.820 * [taylor]: Taking taylor expansion of y in x 4.820 * [backup-simplify]: Simplify y into y 4.820 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.820 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.820 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.820 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.820 * [taylor]: Taking taylor expansion of x in x 4.820 * [backup-simplify]: Simplify 0 into 0 4.820 * [backup-simplify]: Simplify 1 into 1 4.821 * [backup-simplify]: Simplify (/ 1 1) into 1 4.821 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.821 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.821 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.821 * [backup-simplify]: Simplify (- 0) into 0 4.821 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.821 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.821 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 4.821 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 4.821 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.821 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.821 * [taylor]: Taking taylor expansion of x in y 4.821 * [backup-simplify]: Simplify x into x 4.821 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.821 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.821 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.821 * [taylor]: Taking taylor expansion of y in y 4.821 * [backup-simplify]: Simplify 0 into 0 4.821 * [backup-simplify]: Simplify 1 into 1 4.822 * [backup-simplify]: Simplify (/ 1 1) into 1 4.822 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.822 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.822 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.822 * [taylor]: Taking taylor expansion of y in y 4.822 * [backup-simplify]: Simplify 0 into 0 4.822 * [backup-simplify]: Simplify 1 into 1 4.826 * [backup-simplify]: Simplify (/ 1 1) into 1 4.826 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.826 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.826 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.826 * [taylor]: Taking taylor expansion of x in y 4.826 * [backup-simplify]: Simplify x into x 4.826 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.826 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.827 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.827 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 4.827 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 4.827 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.827 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.827 * [taylor]: Taking taylor expansion of x in y 4.827 * [backup-simplify]: Simplify x into x 4.827 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.827 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.827 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.827 * [taylor]: Taking taylor expansion of y in y 4.827 * [backup-simplify]: Simplify 0 into 0 4.827 * [backup-simplify]: Simplify 1 into 1 4.827 * [backup-simplify]: Simplify (/ 1 1) into 1 4.827 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.827 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.827 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.827 * [taylor]: Taking taylor expansion of y in y 4.827 * [backup-simplify]: Simplify 0 into 0 4.827 * [backup-simplify]: Simplify 1 into 1 4.828 * [backup-simplify]: Simplify (/ 1 1) into 1 4.828 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.828 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.828 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.828 * [taylor]: Taking taylor expansion of x in y 4.828 * [backup-simplify]: Simplify x into x 4.828 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.828 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.828 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.828 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 4.828 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 4.828 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 4.828 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 4.828 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.828 * [taylor]: Taking taylor expansion of x in x 4.828 * [backup-simplify]: Simplify 0 into 0 4.828 * [backup-simplify]: Simplify 1 into 1 4.829 * [backup-simplify]: Simplify (/ 1 1) into 1 4.829 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.829 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.829 * [taylor]: Taking taylor expansion of y in x 4.829 * [backup-simplify]: Simplify y into y 4.829 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.829 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.829 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.829 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.829 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.829 * [taylor]: Taking taylor expansion of y in x 4.829 * [backup-simplify]: Simplify y into y 4.829 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.829 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.829 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.829 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.829 * [taylor]: Taking taylor expansion of x in x 4.829 * [backup-simplify]: Simplify 0 into 0 4.829 * [backup-simplify]: Simplify 1 into 1 4.829 * [backup-simplify]: Simplify (/ 1 1) into 1 4.829 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.830 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.830 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.830 * [backup-simplify]: Simplify (- 0) into 0 4.830 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.830 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.830 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.830 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.830 * [backup-simplify]: Simplify (- 0) into 0 4.830 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.831 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 4.831 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 4.831 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 4.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.831 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.832 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 4.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.832 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.832 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.833 * [backup-simplify]: Simplify (+ 0 0) into 0 4.833 * [taylor]: Taking taylor expansion of 0 in x 4.833 * [backup-simplify]: Simplify 0 into 0 4.833 * [backup-simplify]: Simplify 0 into 0 4.833 * [backup-simplify]: Simplify (+ 0) into 0 4.833 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 4.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.834 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.834 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 4.835 * [backup-simplify]: Simplify (- 0) into 0 4.835 * [backup-simplify]: Simplify (+ 0 0) into 0 4.835 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 4.835 * [backup-simplify]: Simplify (+ 0) into 0 4.835 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 4.836 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.836 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.836 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 4.836 * [backup-simplify]: Simplify (- 0) into 0 4.837 * [backup-simplify]: Simplify (+ 0 0) into 0 4.837 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.837 * [backup-simplify]: Simplify (+ 0 0) into 0 4.837 * [backup-simplify]: Simplify 0 into 0 4.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.838 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.838 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 4.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.839 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.840 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 4.840 * [backup-simplify]: Simplify (+ 0 0) into 0 4.840 * [taylor]: Taking taylor expansion of 0 in x 4.840 * [backup-simplify]: Simplify 0 into 0 4.840 * [backup-simplify]: Simplify 0 into 0 4.840 * [backup-simplify]: Simplify 0 into 0 4.840 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.841 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.841 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.842 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.842 * [backup-simplify]: Simplify (- 0) into 0 4.842 * [backup-simplify]: Simplify (+ 0 0) into 0 4.843 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 4.843 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.844 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.844 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.844 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.844 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.845 * [backup-simplify]: Simplify (- 0) into 0 4.845 * [backup-simplify]: Simplify (+ 0 0) into 0 4.845 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 4.845 * [backup-simplify]: Simplify (+ 0 0) into 0 4.845 * [backup-simplify]: Simplify 0 into 0 4.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.847 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.847 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 4.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.848 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.849 * [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 4.849 * [backup-simplify]: Simplify (+ 0 0) into 0 4.849 * [taylor]: Taking taylor expansion of 0 in x 4.849 * [backup-simplify]: Simplify 0 into 0 4.849 * [backup-simplify]: Simplify 0 into 0 4.849 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 4.849 * [backup-simplify]: Simplify (+ (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) (* (exp (/ 1 (- x))) (cos (/ 1 (- y))))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 4.849 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in (y x) around 0 4.849 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 4.849 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.849 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.849 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.849 * [taylor]: Taking taylor expansion of -1 in x 4.849 * [backup-simplify]: Simplify -1 into -1 4.849 * [taylor]: Taking taylor expansion of y in x 4.849 * [backup-simplify]: Simplify y into y 4.850 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.850 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.850 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.850 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.850 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.850 * [taylor]: Taking taylor expansion of -1 in x 4.850 * [backup-simplify]: Simplify -1 into -1 4.850 * [taylor]: Taking taylor expansion of x in x 4.850 * [backup-simplify]: Simplify 0 into 0 4.850 * [backup-simplify]: Simplify 1 into 1 4.850 * [backup-simplify]: Simplify (/ -1 1) into -1 4.850 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.850 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.850 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.850 * [backup-simplify]: Simplify (- 0) into 0 4.850 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.851 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.851 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 4.851 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.851 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.851 * [taylor]: Taking taylor expansion of -1 in x 4.851 * [backup-simplify]: Simplify -1 into -1 4.851 * [taylor]: Taking taylor expansion of x in x 4.851 * [backup-simplify]: Simplify 0 into 0 4.851 * [backup-simplify]: Simplify 1 into 1 4.851 * [backup-simplify]: Simplify (/ -1 1) into -1 4.851 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.851 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.851 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.851 * [taylor]: Taking taylor expansion of -1 in x 4.851 * [backup-simplify]: Simplify -1 into -1 4.851 * [taylor]: Taking taylor expansion of y in x 4.851 * [backup-simplify]: Simplify y into y 4.851 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.851 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.851 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.851 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y 4.851 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.851 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.851 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.851 * [taylor]: Taking taylor expansion of -1 in y 4.851 * [backup-simplify]: Simplify -1 into -1 4.851 * [taylor]: Taking taylor expansion of y in y 4.851 * [backup-simplify]: Simplify 0 into 0 4.851 * [backup-simplify]: Simplify 1 into 1 4.852 * [backup-simplify]: Simplify (/ -1 1) into -1 4.852 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.852 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.852 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.852 * [taylor]: Taking taylor expansion of -1 in y 4.852 * [backup-simplify]: Simplify -1 into -1 4.852 * [taylor]: Taking taylor expansion of x in y 4.852 * [backup-simplify]: Simplify x into x 4.852 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.852 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.852 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.852 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 4.852 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.852 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.852 * [taylor]: Taking taylor expansion of -1 in y 4.852 * [backup-simplify]: Simplify -1 into -1 4.852 * [taylor]: Taking taylor expansion of x in y 4.852 * [backup-simplify]: Simplify x into x 4.852 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.852 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.852 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.852 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.852 * [taylor]: Taking taylor expansion of -1 in y 4.852 * [backup-simplify]: Simplify -1 into -1 4.852 * [taylor]: Taking taylor expansion of y in y 4.852 * [backup-simplify]: Simplify 0 into 0 4.852 * [backup-simplify]: Simplify 1 into 1 4.853 * [backup-simplify]: Simplify (/ -1 1) into -1 4.853 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.853 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y 4.853 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.853 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.853 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.853 * [taylor]: Taking taylor expansion of -1 in y 4.853 * [backup-simplify]: Simplify -1 into -1 4.853 * [taylor]: Taking taylor expansion of y in y 4.853 * [backup-simplify]: Simplify 0 into 0 4.853 * [backup-simplify]: Simplify 1 into 1 4.853 * [backup-simplify]: Simplify (/ -1 1) into -1 4.853 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.853 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.853 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.853 * [taylor]: Taking taylor expansion of -1 in y 4.853 * [backup-simplify]: Simplify -1 into -1 4.853 * [taylor]: Taking taylor expansion of x in y 4.853 * [backup-simplify]: Simplify x into x 4.853 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.853 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.853 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.853 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 4.853 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.853 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.853 * [taylor]: Taking taylor expansion of -1 in y 4.853 * [backup-simplify]: Simplify -1 into -1 4.853 * [taylor]: Taking taylor expansion of x in y 4.853 * [backup-simplify]: Simplify x into x 4.853 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.853 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.853 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.854 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.854 * [taylor]: Taking taylor expansion of -1 in y 4.854 * [backup-simplify]: Simplify -1 into -1 4.854 * [taylor]: Taking taylor expansion of y in y 4.854 * [backup-simplify]: Simplify 0 into 0 4.854 * [backup-simplify]: Simplify 1 into 1 4.854 * [backup-simplify]: Simplify (/ -1 1) into -1 4.854 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.854 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 4.854 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 4.854 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 4.854 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.854 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.854 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.854 * [taylor]: Taking taylor expansion of -1 in x 4.854 * [backup-simplify]: Simplify -1 into -1 4.854 * [taylor]: Taking taylor expansion of y in x 4.854 * [backup-simplify]: Simplify y into y 4.854 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.854 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.854 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.854 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.855 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.855 * [taylor]: Taking taylor expansion of -1 in x 4.855 * [backup-simplify]: Simplify -1 into -1 4.855 * [taylor]: Taking taylor expansion of x in x 4.855 * [backup-simplify]: Simplify 0 into 0 4.855 * [backup-simplify]: Simplify 1 into 1 4.855 * [backup-simplify]: Simplify (/ -1 1) into -1 4.855 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.855 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.855 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.855 * [backup-simplify]: Simplify (- 0) into 0 4.855 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.855 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.855 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 4.855 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.855 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.855 * [taylor]: Taking taylor expansion of -1 in x 4.856 * [backup-simplify]: Simplify -1 into -1 4.856 * [taylor]: Taking taylor expansion of x in x 4.856 * [backup-simplify]: Simplify 0 into 0 4.856 * [backup-simplify]: Simplify 1 into 1 4.856 * [backup-simplify]: Simplify (/ -1 1) into -1 4.856 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.856 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.856 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.856 * [taylor]: Taking taylor expansion of -1 in x 4.856 * [backup-simplify]: Simplify -1 into -1 4.856 * [taylor]: Taking taylor expansion of y in x 4.856 * [backup-simplify]: Simplify y into y 4.856 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.856 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.856 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.856 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.856 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.856 * [backup-simplify]: Simplify (- 0) into 0 4.857 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.857 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 4.857 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 4.857 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 4.857 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.858 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.858 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.858 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.858 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.858 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 4.859 * [backup-simplify]: Simplify (+ 0 0) into 0 4.859 * [taylor]: Taking taylor expansion of 0 in x 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify (+ 0) into 0 4.859 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 4.859 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.860 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.860 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 4.860 * [backup-simplify]: Simplify (- 0) into 0 4.861 * [backup-simplify]: Simplify (+ 0 0) into 0 4.861 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.861 * [backup-simplify]: Simplify (+ 0) into 0 4.861 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 4.861 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.862 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.862 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 4.863 * [backup-simplify]: Simplify (- 0) into 0 4.863 * [backup-simplify]: Simplify (+ 0 0) into 0 4.863 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 4.863 * [backup-simplify]: Simplify (+ 0 0) into 0 4.863 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.864 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.864 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 4.865 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.865 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.866 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 4.866 * [backup-simplify]: Simplify (+ 0 0) into 0 4.866 * [taylor]: Taking taylor expansion of 0 in x 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.867 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.867 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.868 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.868 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.868 * [backup-simplify]: Simplify (- 0) into 0 4.869 * [backup-simplify]: Simplify (+ 0 0) into 0 4.869 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 4.869 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.870 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.870 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.870 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.871 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.871 * [backup-simplify]: Simplify (- 0) into 0 4.871 * [backup-simplify]: Simplify (+ 0 0) into 0 4.872 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 4.872 * [backup-simplify]: Simplify (+ 0 0) into 0 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.874 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.874 * [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 4.874 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.875 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.876 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 4.876 * [backup-simplify]: Simplify (+ 0 0) into 0 4.876 * [taylor]: Taking taylor expansion of 0 in x 4.876 * [backup-simplify]: Simplify 0 into 0 4.876 * [backup-simplify]: Simplify 0 into 0 4.876 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y)))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 4.876 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 4.877 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 4.877 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 4.877 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 4.877 * [taylor]: Taking taylor expansion of (cos y) in x 4.877 * [taylor]: Taking taylor expansion of y in x 4.877 * [backup-simplify]: Simplify y into y 4.877 * [backup-simplify]: Simplify (cos y) into (cos y) 4.877 * [backup-simplify]: Simplify (sin y) into (sin y) 4.877 * [taylor]: Taking taylor expansion of (exp x) in x 4.877 * [taylor]: Taking taylor expansion of x in x 4.877 * [backup-simplify]: Simplify 0 into 0 4.877 * [backup-simplify]: Simplify 1 into 1 4.877 * [backup-simplify]: Simplify (exp 0) into 1 4.877 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 4.877 * [backup-simplify]: Simplify (* (sin y) 0) into 0 4.877 * [backup-simplify]: Simplify (- 0) into 0 4.877 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 4.877 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 4.877 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.877 * [taylor]: Taking taylor expansion of (cos y) in y 4.877 * [taylor]: Taking taylor expansion of y in y 4.877 * [backup-simplify]: Simplify 0 into 0 4.877 * [backup-simplify]: Simplify 1 into 1 4.877 * [taylor]: Taking taylor expansion of (exp x) in y 4.877 * [taylor]: Taking taylor expansion of x in y 4.877 * [backup-simplify]: Simplify x into x 4.877 * [backup-simplify]: Simplify (exp x) into (exp x) 4.877 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.877 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.877 * [taylor]: Taking taylor expansion of (cos y) in y 4.878 * [taylor]: Taking taylor expansion of y in y 4.878 * [backup-simplify]: Simplify 0 into 0 4.878 * [backup-simplify]: Simplify 1 into 1 4.878 * [taylor]: Taking taylor expansion of (exp x) in y 4.878 * [taylor]: Taking taylor expansion of x in y 4.878 * [backup-simplify]: Simplify x into x 4.878 * [backup-simplify]: Simplify (exp x) into (exp x) 4.878 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.878 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.878 * [taylor]: Taking taylor expansion of (exp x) in x 4.878 * [taylor]: Taking taylor expansion of x in x 4.878 * [backup-simplify]: Simplify 0 into 0 4.878 * [backup-simplify]: Simplify 1 into 1 4.878 * [backup-simplify]: Simplify (exp 0) into 1 4.878 * [backup-simplify]: Simplify (/ 1 1) into 1 4.878 * [backup-simplify]: Simplify 1 into 1 4.878 * [backup-simplify]: Simplify (+ 0) into 0 4.879 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 4.879 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 4.879 * [taylor]: Taking taylor expansion of 0 in x 4.879 * [backup-simplify]: Simplify 0 into 0 4.879 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 4.880 * [backup-simplify]: Simplify -1 into -1 4.881 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.881 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.881 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 4.882 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 4.882 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 4.882 * [taylor]: Taking taylor expansion of 1/2 in x 4.882 * [backup-simplify]: Simplify 1/2 into 1/2 4.882 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.882 * [taylor]: Taking taylor expansion of (exp x) in x 4.882 * [taylor]: Taking taylor expansion of x in x 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 1 into 1 4.882 * [backup-simplify]: Simplify (exp 0) into 1 4.882 * [backup-simplify]: Simplify (/ 1 1) into 1 4.882 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.882 * [backup-simplify]: Simplify (- 1/2) into -1/2 4.882 * [backup-simplify]: Simplify -1/2 into -1/2 4.883 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 4.883 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.883 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 4.883 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.883 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.883 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.883 * [taylor]: Taking taylor expansion of y in x 4.883 * [backup-simplify]: Simplify y into y 4.883 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.883 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.883 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.883 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.883 * [taylor]: Taking taylor expansion of x in x 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 1 into 1 4.883 * [backup-simplify]: Simplify (/ 1 1) into 1 4.883 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.883 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.883 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.884 * [backup-simplify]: Simplify (- 0) into 0 4.884 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.884 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.884 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.884 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.884 * [taylor]: Taking taylor expansion of y in y 4.884 * [backup-simplify]: Simplify 0 into 0 4.884 * [backup-simplify]: Simplify 1 into 1 4.884 * [backup-simplify]: Simplify (/ 1 1) into 1 4.884 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.884 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.884 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.884 * [taylor]: Taking taylor expansion of x in y 4.884 * [backup-simplify]: Simplify x into x 4.884 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.884 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.884 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.885 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.885 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.885 * [taylor]: Taking taylor expansion of y in y 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 1 into 1 4.885 * [backup-simplify]: Simplify (/ 1 1) into 1 4.885 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.885 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.885 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.885 * [taylor]: Taking taylor expansion of x in y 4.885 * [backup-simplify]: Simplify x into x 4.885 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.885 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.885 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.885 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.885 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.885 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.885 * [taylor]: Taking taylor expansion of y in x 4.885 * [backup-simplify]: Simplify y into y 4.885 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.885 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.885 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.885 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.885 * [taylor]: Taking taylor expansion of x in x 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 1 into 1 4.886 * [backup-simplify]: Simplify (/ 1 1) into 1 4.886 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.886 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.886 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.886 * [backup-simplify]: Simplify (- 0) into 0 4.886 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.886 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.886 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.887 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.887 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.887 * [taylor]: Taking taylor expansion of 0 in x 4.887 * [backup-simplify]: Simplify 0 into 0 4.887 * [backup-simplify]: Simplify 0 into 0 4.887 * [backup-simplify]: Simplify (+ 0) into 0 4.888 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 4.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.888 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.889 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 4.889 * [backup-simplify]: Simplify (- 0) into 0 4.889 * [backup-simplify]: Simplify (+ 0 0) into 0 4.889 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.890 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.890 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 4.890 * [taylor]: Taking taylor expansion of 0 in x 4.890 * [backup-simplify]: Simplify 0 into 0 4.890 * [backup-simplify]: Simplify 0 into 0 4.890 * [backup-simplify]: Simplify 0 into 0 4.891 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.891 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.892 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.892 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.892 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.893 * [backup-simplify]: Simplify (- 0) into 0 4.893 * [backup-simplify]: Simplify (+ 0 0) into 0 4.893 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 4.893 * [backup-simplify]: Simplify 0 into 0 4.893 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.894 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.894 * [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 4.894 * [taylor]: Taking taylor expansion of 0 in x 4.894 * [backup-simplify]: Simplify 0 into 0 4.894 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 4.895 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.895 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 4.895 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.895 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.895 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.895 * [taylor]: Taking taylor expansion of -1 in x 4.895 * [backup-simplify]: Simplify -1 into -1 4.895 * [taylor]: Taking taylor expansion of y in x 4.895 * [backup-simplify]: Simplify y into y 4.895 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.895 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.895 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.895 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.895 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.895 * [taylor]: Taking taylor expansion of -1 in x 4.895 * [backup-simplify]: Simplify -1 into -1 4.895 * [taylor]: Taking taylor expansion of x in x 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify 1 into 1 4.895 * [backup-simplify]: Simplify (/ -1 1) into -1 4.895 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.895 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.895 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.896 * [backup-simplify]: Simplify (- 0) into 0 4.896 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.896 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.896 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.896 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.896 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.896 * [taylor]: Taking taylor expansion of -1 in y 4.896 * [backup-simplify]: Simplify -1 into -1 4.896 * [taylor]: Taking taylor expansion of y in y 4.896 * [backup-simplify]: Simplify 0 into 0 4.896 * [backup-simplify]: Simplify 1 into 1 4.896 * [backup-simplify]: Simplify (/ -1 1) into -1 4.896 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.896 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.896 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.896 * [taylor]: Taking taylor expansion of -1 in y 4.896 * [backup-simplify]: Simplify -1 into -1 4.896 * [taylor]: Taking taylor expansion of x in y 4.896 * [backup-simplify]: Simplify x into x 4.896 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.896 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.897 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.897 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.897 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.897 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.897 * [taylor]: Taking taylor expansion of -1 in y 4.897 * [backup-simplify]: Simplify -1 into -1 4.897 * [taylor]: Taking taylor expansion of y in y 4.897 * [backup-simplify]: Simplify 0 into 0 4.897 * [backup-simplify]: Simplify 1 into 1 4.897 * [backup-simplify]: Simplify (/ -1 1) into -1 4.897 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.897 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.897 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.897 * [taylor]: Taking taylor expansion of -1 in y 4.897 * [backup-simplify]: Simplify -1 into -1 4.897 * [taylor]: Taking taylor expansion of x in y 4.897 * [backup-simplify]: Simplify x into x 4.897 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.897 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.897 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.897 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.897 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.897 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.897 * [taylor]: Taking taylor expansion of -1 in x 4.897 * [backup-simplify]: Simplify -1 into -1 4.897 * [taylor]: Taking taylor expansion of y in x 4.897 * [backup-simplify]: Simplify y into y 4.897 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.898 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.898 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.898 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.898 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.898 * [taylor]: Taking taylor expansion of -1 in x 4.898 * [backup-simplify]: Simplify -1 into -1 4.898 * [taylor]: Taking taylor expansion of x in x 4.898 * [backup-simplify]: Simplify 0 into 0 4.898 * [backup-simplify]: Simplify 1 into 1 4.898 * [backup-simplify]: Simplify (/ -1 1) into -1 4.898 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.898 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.898 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.898 * [backup-simplify]: Simplify (- 0) into 0 4.898 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.898 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.899 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.899 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.899 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.899 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.899 * [taylor]: Taking taylor expansion of 0 in x 4.899 * [backup-simplify]: Simplify 0 into 0 4.899 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify (+ 0) into 0 4.900 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 4.900 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.901 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.901 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 4.901 * [backup-simplify]: Simplify (- 0) into 0 4.901 * [backup-simplify]: Simplify (+ 0 0) into 0 4.901 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.902 * [backup-simplify]: Simplify 0 into 0 4.902 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.902 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.903 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 4.903 * [taylor]: Taking taylor expansion of 0 in x 4.903 * [backup-simplify]: Simplify 0 into 0 4.903 * [backup-simplify]: Simplify 0 into 0 4.903 * [backup-simplify]: Simplify 0 into 0 4.903 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.904 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.904 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.905 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.905 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.906 * [backup-simplify]: Simplify (- 0) into 0 4.906 * [backup-simplify]: Simplify (+ 0 0) into 0 4.906 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 4.906 * [backup-simplify]: Simplify 0 into 0 4.907 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.908 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.909 * [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 4.909 * [taylor]: Taking taylor expansion of 0 in x 4.909 * [backup-simplify]: Simplify 0 into 0 4.909 * [backup-simplify]: Simplify 0 into 0 4.909 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 4.909 * * * [progress]: simplifying candidates 4.910 * [simplify]: Simplifying: (* (exp (/ (cos y) (exp x))) (exp (* (exp x) (cos y)))) (log (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (exp (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (* (cbrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (cbrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))) (cbrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (* (* (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (sqrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (sqrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (+ (pow (/ (cos y) (exp x)) 3) (pow (* (exp x) (cos y)) 3)) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (/ (cos y) (exp x)) (* (exp x) (cos y))))) (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (exp x) (cos y)) (* (exp x) (cos y)))) (- (/ (cos y) (exp x)) (* (exp x) (cos y))) (- (log (cos y)) x) (log (/ (cos y) (exp x))) (exp (/ (cos y) (exp x))) (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) (cbrt (/ (cos y) (exp x))) (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))) (sqrt (/ (cos y) (exp x))) (sqrt (/ (cos y) (exp x))) (- (cos y)) (- (exp x)) (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x))) (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x))) (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (/ (cbrt (cos y)) (exp x)) (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (cos y)) (cbrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) 1) (/ (sqrt (cos y)) (exp x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x))) (/ 1 1) (/ (cos y) (exp x)) (/ 1 (exp x)) (/ (exp x) (cos y)) (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (sqrt (exp x))) (/ (cos y) 1) (/ (exp x) (cbrt (cos y))) (/ (exp x) (sqrt (cos y))) (/ (exp x) (cos y)) (- (+ (pow x 2) 2) (pow y 2)) (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) (- 1 (+ (* 1/2 (pow y 2)) x)) (/ (cos y) (exp x)) (/ (cos y) (exp x)) 4.911 * * [simplify]: iteration 0: 80 enodes 4.943 * * [simplify]: iteration 1: 194 enodes 4.992 * * [simplify]: iteration 2: 609 enodes 5.302 * * [simplify]: iteration 3: 1975 enodes 6.307 * * [simplify]: iteration complete: 5006 enodes 6.307 * * [simplify]: Extracting #0: cost 44 inf + 0 6.308 * * [simplify]: Extracting #1: cost 611 inf + 1 6.313 * * [simplify]: Extracting #2: cost 1527 inf + 10027 6.334 * * [simplify]: Extracting #3: cost 951 inf + 172835 6.424 * * [simplify]: Extracting #4: cost 189 inf + 376491 6.535 * * [simplify]: Extracting #5: cost 23 inf + 430670 6.650 * * [simplify]: Extracting #6: cost 2 inf + 436354 6.719 * * [simplify]: Extracting #7: cost 0 inf + 437202 6.816 * [simplify]: Simplified to: (exp (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (log (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (exp (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (* (cbrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (cbrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))) (cbrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (* (* (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (sqrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (sqrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (+ (* (* (cos y) (exp x)) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (* (/ (cos y) (exp x)) (* (/ (cos y) (exp x)) (/ (cos y) (exp x))))) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (- (* (cos y) (exp x)) (/ (cos y) (exp x))) (* (cos y) (exp x)))) (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (- (/ (cos y) (exp x)) (* (cos y) (exp x))) (- (log (cos y)) x) (- (log (cos y)) x) (exp (/ (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (/ (cos y) (exp x)) (/ (cos y) (exp x)))) (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) (cbrt (/ (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (/ (cos y) (exp x)) (/ (cos y) (exp x)))) (sqrt (/ (cos y) (exp x))) (sqrt (/ (cos y) (exp x))) (- (cos y)) (- (exp x)) (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x))) (* (cbrt (cos y)) (/ (cbrt (cos y)) (sqrt (exp x)))) (/ (cbrt (cos y)) (sqrt (exp x))) (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x)) (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (cos y)) (cbrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cos y)) (/ (sqrt (cos y)) (exp x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x))) 1 (/ (cos y) (exp x)) (exp (- x)) (/ (exp x) (cos y)) (/ (/ (cos y) (cbrt (exp x))) (cbrt (exp x))) (/ (cos y) (sqrt (exp x))) (cos y) (/ (exp x) (cbrt (cos y))) (/ (exp x) (sqrt (cos y))) (/ (exp x) (cos y)) (+ (- (* x x) (* y y)) 2) (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) (- 1 (+ x (* (* y y) 1/2))) (/ (cos y) (exp x)) (/ (cos y) (exp x)) 6.818 * * * [progress]: adding candidates to table 7.134 * [progress]: [Phase 3 of 3] Extracting. 7.142 * [simplify]: Simplifying: (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2.0) 7.142 * * [simplify]: iteration 0: 9 enodes 7.143 * * [simplify]: iteration 1: 11 enodes 7.143 * * [simplify]: iteration complete: 11 enodes 7.144 * * [simplify]: Extracting #0: cost 1 inf + 0 7.144 * * [simplify]: Extracting #1: cost 3 inf + 0 7.144 * * [simplify]: Extracting #2: cost 4 inf + 1 7.144 * * [simplify]: Extracting #3: cost 6 inf + 1 7.144 * * [simplify]: Extracting #4: cost 8 inf + 1 7.144 * * [simplify]: Extracting #5: cost 5 inf + 74 7.144 * * [simplify]: Extracting #6: cost 0 inf + 1024 7.144 * [simplify]: Simplified to: (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2.0) 7.144 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 7.243 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 7.246 * * * * [points]: Setting MPFR precision to 64 7.247 * * * * [points]: Setting MPFR precision to 320 7.248 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 7.250 * * * * [points]: Setting MPFR precision to 64 7.252 * * * * [points]: Setting MPFR precision to 320 7.255 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 7.260 * * * * [points]: Setting MPFR precision to 64 7.266 * * * * [points]: Setting MPFR precision to 320 7.272 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 7.274 * * * * [points]: Setting MPFR precision to 64 7.280 * * * * [points]: Setting MPFR precision to 320 7.287 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 7.289 * * * * [points]: Setting MPFR precision to 64 7.302 * * * * [points]: Setting MPFR precision to 320 7.337 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 7.340 * * * * [points]: Setting MPFR precision to 64 7.373 * * * * [points]: Setting MPFR precision to 320 7.417 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 7.421 * * * * [points]: Setting MPFR precision to 64 7.496 * * * * [points]: Setting MPFR precision to 320 7.597 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 7.599 * * * * [points]: Setting MPFR precision to 64 8.103 * * * * [points]: Setting MPFR precision to 320 8.261 * * * * [points]: Computing exacts for 8000 points 8.264 * * * * [points]: Setting MPFR precision to 64 8.932 * * * * [points]: Setting MPFR precision to 320 9.701 * * * * [points]: Filtering points with unrepresentable outputs 9.756 * * * * [points]: Sampling 3988 additional inputs, on iter 1 have 4012 / 8000 9.792 * * * * [points]: Computing exacts on every 249 of 3988 points to ramp up precision 9.795 * * * * [points]: Setting MPFR precision to 64 9.796 * * * * [points]: Setting MPFR precision to 320 9.797 * * * * [points]: Computing exacts on every 124 of 3988 points to ramp up precision 9.799 * * * * [points]: Setting MPFR precision to 64 9.800 * * * * [points]: Setting MPFR precision to 320 9.802 * * * * [points]: Computing exacts on every 62 of 3988 points to ramp up precision 9.805 * * * * [points]: Setting MPFR precision to 64 9.811 * * * * [points]: Setting MPFR precision to 320 9.817 * * * * [points]: Computing exacts on every 31 of 3988 points to ramp up precision 9.822 * * * * [points]: Setting MPFR precision to 64 9.833 * * * * [points]: Setting MPFR precision to 320 9.851 * * * * [points]: Computing exacts on every 15 of 3988 points to ramp up precision 9.854 * * * * [points]: Setting MPFR precision to 64 9.867 * * * * [points]: Setting MPFR precision to 320 9.886 * * * * [points]: Computing exacts on every 7 of 3988 points to ramp up precision 9.888 * * * * [points]: Setting MPFR precision to 64 9.912 * * * * [points]: Setting MPFR precision to 320 9.942 * * * * [points]: Computing exacts on every 3 of 3988 points to ramp up precision 9.945 * * * * [points]: Setting MPFR precision to 64 10.035 * * * * [points]: Setting MPFR precision to 320 10.111 * * * * [points]: Computing exacts for 3988 points 10.116 * * * * [points]: Setting MPFR precision to 64 10.759 * * * * [points]: Setting MPFR precision to 320 11.136 * * * * [points]: Filtering points with unrepresentable outputs 11.152 * * * * [points]: Sampling 1996 additional inputs, on iter 2 have 6004 / 8000 11.205 * * * * [points]: Computing exacts on every 124 of 1996 points to ramp up precision 11.208 * * * * [points]: Setting MPFR precision to 64 11.209 * * * * [points]: Setting MPFR precision to 320 11.211 * * * * [points]: Computing exacts on every 62 of 1996 points to ramp up precision 11.215 * * * * [points]: Setting MPFR precision to 64 11.218 * * * * [points]: Setting MPFR precision to 320 11.221 * * * * [points]: Computing exacts on every 31 of 1996 points to ramp up precision 11.225 * * * * [points]: Setting MPFR precision to 64 11.231 * * * * [points]: Setting MPFR precision to 320 11.237 * * * * [points]: Computing exacts on every 15 of 1996 points to ramp up precision 11.241 * * * * [points]: Setting MPFR precision to 64 11.252 * * * * [points]: Setting MPFR precision to 320 11.265 * * * * [points]: Computing exacts on every 7 of 1996 points to ramp up precision 11.269 * * * * [points]: Setting MPFR precision to 64 11.290 * * * * [points]: Setting MPFR precision to 320 11.316 * * * * [points]: Computing exacts on every 3 of 1996 points to ramp up precision 11.321 * * * * [points]: Setting MPFR precision to 64 11.374 * * * * [points]: Setting MPFR precision to 320 11.414 * * * * [points]: Computing exacts for 1996 points 11.418 * * * * [points]: Setting MPFR precision to 64 11.577 * * * * [points]: Setting MPFR precision to 320 11.746 * * * * [points]: Filtering points with unrepresentable outputs 11.753 * * * * [points]: Sampling 972 additional inputs, on iter 3 have 7028 / 8000 11.797 * * * * [points]: Computing exacts on every 60 of 972 points to ramp up precision 11.799 * * * * [points]: Setting MPFR precision to 64 11.800 * * * * [points]: Setting MPFR precision to 320 11.803 * * * * [points]: Computing exacts on every 30 of 972 points to ramp up precision 11.806 * * * * [points]: Setting MPFR precision to 64 11.807 * * * * [points]: Setting MPFR precision to 320 11.809 * * * * [points]: Computing exacts on every 15 of 972 points to ramp up precision 11.811 * * * * [points]: Setting MPFR precision to 64 11.814 * * * * [points]: Setting MPFR precision to 320 11.818 * * * * [points]: Computing exacts on every 7 of 972 points to ramp up precision 11.820 * * * * [points]: Setting MPFR precision to 64 11.825 * * * * [points]: Setting MPFR precision to 320 11.832 * * * * [points]: Computing exacts on every 3 of 972 points to ramp up precision 11.834 * * * * [points]: Setting MPFR precision to 64 11.854 * * * * [points]: Setting MPFR precision to 320 11.879 * * * * [points]: Computing exacts for 972 points 11.885 * * * * [points]: Setting MPFR precision to 64 12.010 * * * * [points]: Setting MPFR precision to 320 12.086 * * * * [points]: Filtering points with unrepresentable outputs 12.088 * * * * [points]: Sampling 499 additional inputs, on iter 4 have 7501 / 8000 12.091 * * * * [points]: Computing exacts on every 31 of 499 points to ramp up precision 12.096 * * * * [points]: Setting MPFR precision to 64 12.097 * * * * [points]: Setting MPFR precision to 320 12.099 * * * * [points]: Computing exacts on every 15 of 499 points to ramp up precision 12.103 * * * * [points]: Setting MPFR precision to 64 12.106 * * * * [points]: Setting MPFR precision to 320 12.110 * * * * [points]: Computing exacts on every 7 of 499 points to ramp up precision 12.115 * * * * [points]: Setting MPFR precision to 64 12.120 * * * * [points]: Setting MPFR precision to 320 12.126 * * * * [points]: Computing exacts on every 3 of 499 points to ramp up precision 12.130 * * * * [points]: Setting MPFR precision to 64 12.141 * * * * [points]: Setting MPFR precision to 320 12.153 * * * * [points]: Computing exacts for 499 points 12.158 * * * * [points]: Setting MPFR precision to 64 12.244 * * * * [points]: Setting MPFR precision to 320 12.290 * * * * [points]: Filtering points with unrepresentable outputs 12.292 * * * * [points]: Sampling 249 additional inputs, on iter 5 have 7751 / 8000 12.295 * * * * [points]: Computing exacts on every 15 of 249 points to ramp up precision 12.300 * * * * [points]: Setting MPFR precision to 64 12.301 * * * * [points]: Setting MPFR precision to 320 12.303 * * * * [points]: Computing exacts on every 7 of 249 points to ramp up precision 12.307 * * * * [points]: Setting MPFR precision to 64 12.310 * * * * [points]: Setting MPFR precision to 320 12.313 * * * * [points]: Computing exacts on every 3 of 249 points to ramp up precision 12.315 * * * * [points]: Setting MPFR precision to 64 12.318 * * * * [points]: Setting MPFR precision to 320 12.322 * * * * [points]: Computing exacts for 249 points 12.324 * * * * [points]: Setting MPFR precision to 64 12.336 * * * * [points]: Setting MPFR precision to 320 12.348 * * * * [points]: Filtering points with unrepresentable outputs 12.349 * * * * [points]: Sampling 137 additional inputs, on iter 6 have 7863 / 8000 12.350 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision 12.352 * * * * [points]: Setting MPFR precision to 64 12.353 * * * * [points]: Setting MPFR precision to 320 12.354 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision 12.356 * * * * [points]: Setting MPFR precision to 64 12.357 * * * * [points]: Setting MPFR precision to 320 12.359 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision 12.361 * * * * [points]: Setting MPFR precision to 64 12.364 * * * * [points]: Setting MPFR precision to 320 12.366 * * * * [points]: Computing exacts for 137 points 12.396 * * * * [points]: Setting MPFR precision to 64 12.403 * * * * [points]: Setting MPFR precision to 320 12.413 * * * * [points]: Filtering points with unrepresentable outputs 12.414 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000 12.414 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision 12.416 * * * * [points]: Setting MPFR precision to 64 12.417 * * * * [points]: Setting MPFR precision to 320 12.418 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision 12.420 * * * * [points]: Setting MPFR precision to 64 12.421 * * * * [points]: Setting MPFR precision to 320 12.422 * * * * [points]: Computing exacts for 66 points 12.425 * * * * [points]: Setting MPFR precision to 64 12.431 * * * * [points]: Setting MPFR precision to 320 12.438 * * * * [points]: Filtering points with unrepresentable outputs 12.438 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 12.438 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision 12.443 * * * * [points]: Setting MPFR precision to 64 12.444 * * * * [points]: Setting MPFR precision to 320 12.446 * * * * [points]: Computing exacts for 34 points 12.449 * * * * [points]: Setting MPFR precision to 64 12.450 * * * * [points]: Setting MPFR precision to 320 12.452 * * * * [points]: Filtering points with unrepresentable outputs 12.452 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 12.452 * * * * [points]: Computing exacts for 17 points 12.455 * * * * [points]: Setting MPFR precision to 64 12.455 * * * * [points]: Setting MPFR precision to 320 12.456 * * * * [points]: Filtering points with unrepresentable outputs 12.456 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 12.457 * * * * [points]: Computing exacts for 8 points 12.459 * * * * [points]: Setting MPFR precision to 64 12.459 * * * * [points]: Setting MPFR precision to 320 12.460 * * * * [points]: Filtering points with unrepresentable outputs 12.460 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 12.460 * * * * [points]: Computing exacts for 4 points 12.462 * * * * [points]: Setting MPFR precision to 64 12.462 * * * * [points]: Setting MPFR precision to 320 12.463 * * * * [points]: Filtering points with unrepresentable outputs 12.463 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 12.463 * * * * [points]: Computing exacts for 4 points 12.465 * * * * [points]: Setting MPFR precision to 64 12.465 * * * * [points]: Setting MPFR precision to 320 12.466 * * * * [points]: Filtering points with unrepresentable outputs 12.466 * * * * [points]: Sampled 8000 points with exact outputs 12.840 * [regime-testing]: Baseline error score: 0.0095 12.855 * [regime-testing]: Oracle error score: 0.0095 12.855 * [regime-testing]: End program error score: 0.0095