21.229 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.009 * * * * [points]: Setting MPFR precision to 64 0.011 * * * * [points]: Setting MPFR precision to 320 0.013 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.017 * * * * [points]: Setting MPFR precision to 64 0.019 * * * * [points]: Setting MPFR precision to 320 0.021 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.026 * * * * [points]: Setting MPFR precision to 64 0.031 * * * * [points]: Setting MPFR precision to 320 0.036 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.041 * * * * [points]: Setting MPFR precision to 64 0.047 * * * * [points]: Setting MPFR precision to 320 0.055 * * * * [points]: Computing exacts for 256 points 0.060 * * * * [points]: Setting MPFR precision to 64 0.090 * * * * [points]: Setting MPFR precision to 320 0.102 * * * * [points]: Filtering points with unrepresentable outputs 0.103 * * * * [points]: Sampling 143 additional inputs, on iter 1 have 113 / 256 0.104 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision 0.106 * * * * [points]: Setting MPFR precision to 64 0.107 * * * * [points]: Setting MPFR precision to 320 0.108 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision 0.110 * * * * [points]: Setting MPFR precision to 64 0.111 * * * * [points]: Setting MPFR precision to 320 0.113 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision 0.115 * * * * [points]: Setting MPFR precision to 64 0.119 * * * * [points]: Setting MPFR precision to 320 0.123 * * * * [points]: Computing exacts for 143 points 0.128 * * * * [points]: Setting MPFR precision to 64 0.139 * * * * [points]: Setting MPFR precision to 320 0.149 * * * * [points]: Filtering points with unrepresentable outputs 0.149 * * * * [points]: Sampling 74 additional inputs, on iter 2 have 182 / 256 0.150 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision 0.152 * * * * [points]: Setting MPFR precision to 64 0.153 * * * * [points]: Setting MPFR precision to 320 0.154 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision 0.156 * * * * [points]: Setting MPFR precision to 64 0.157 * * * * [points]: Setting MPFR precision to 320 0.158 * * * * [points]: Computing exacts for 74 points 0.161 * * * * [points]: Setting MPFR precision to 64 0.164 * * * * [points]: Setting MPFR precision to 320 0.167 * * * * [points]: Filtering points with unrepresentable outputs 0.168 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256 0.168 * * * * [points]: Computing exacts for 29 points 0.170 * * * * [points]: Setting MPFR precision to 64 0.172 * * * * [points]: Setting MPFR precision to 320 0.173 * * * * [points]: Filtering points with unrepresentable outputs 0.173 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256 0.173 * * * * [points]: Computing exacts for 10 points 0.176 * * * * [points]: Setting MPFR precision to 64 0.176 * * * * [points]: Setting MPFR precision to 320 0.176 * * * * [points]: Filtering points with unrepresentable outputs 0.176 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256 0.177 * * * * [points]: Computing exacts for 5 points 0.179 * * * * [points]: Setting MPFR precision to 64 0.179 * * * * [points]: Setting MPFR precision to 320 0.179 * * * * [points]: Filtering points with unrepresentable outputs 0.179 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.179 * * * * [points]: Computing exacts for 4 points 0.182 * * * * [points]: Setting MPFR precision to 64 0.182 * * * * [points]: Setting MPFR precision to 320 0.182 * * * * [points]: Filtering points with unrepresentable outputs 0.182 * * * * [points]: Sampled 258 points with exact outputs 0.182 * * * [progress]: [2/2] Setting up program. 0.189 * [progress]: [Phase 2 of 3] Improving. 0.189 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.189 * [simplify]: Simplifying: (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 0.190 * * [simplify]: iteration 1: (16 enodes) 0.196 * * [simplify]: iteration 2: (30 enodes) 0.205 * * [simplify]: iteration 3: (48 enodes) 0.233 * * [simplify]: iteration 4: (80 enodes) 0.246 * * [simplify]: iteration 5: (124 enodes) 0.266 * * [simplify]: iteration 6: (196 enodes) 0.320 * * [simplify]: iteration 7: (472 enodes) 0.632 * * [simplify]: iteration 8: (1250 enodes) 2.144 * * [simplify]: Extracting #0: cost 1 inf + 0 2.144 * * [simplify]: Extracting #1: cost 14 inf + 0 2.144 * * [simplify]: Extracting #2: cost 17 inf + 3 2.144 * * [simplify]: Extracting #3: cost 45 inf + 4 2.145 * * [simplify]: Extracting #4: cost 122 inf + 333 2.147 * * [simplify]: Extracting #5: cost 52 inf + 14342 2.156 * * [simplify]: Extracting #6: cost 1 inf + 23879 2.162 * * [simplify]: Extracting #7: cost 0 inf + 23677 2.168 * [simplify]: Simplified to: (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 2.175 * * [progress]: iteration 1 / 4 2.175 * * * [progress]: picking best candidate 2.178 * * * * [pick]: Picked # 2.178 * * * [progress]: localizing error 2.198 * * * [progress]: generating rewritten candidates 2.198 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 3) 2.207 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 2.208 * * * [progress]: generating series expansions 2.208 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 3) 2.208 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 2.208 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 2.208 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 2.208 * [taylor]: Taking taylor expansion of (cos y) in x 2.208 * [taylor]: Taking taylor expansion of y in x 2.208 * [backup-simplify]: Simplify y into y 2.208 * [backup-simplify]: Simplify (cos y) into (cos y) 2.208 * [backup-simplify]: Simplify (sin y) into (sin y) 2.208 * [taylor]: Taking taylor expansion of (exp x) in x 2.208 * [taylor]: Taking taylor expansion of x in x 2.208 * [backup-simplify]: Simplify 0 into 0 2.208 * [backup-simplify]: Simplify 1 into 1 2.208 * [backup-simplify]: Simplify (exp 0) into 1 2.209 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 2.209 * [backup-simplify]: Simplify (* (sin y) 0) into 0 2.209 * [backup-simplify]: Simplify (- 0) into 0 2.209 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 2.209 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 2.209 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 2.209 * [taylor]: Taking taylor expansion of (cos y) in y 2.209 * [taylor]: Taking taylor expansion of y in y 2.209 * [backup-simplify]: Simplify 0 into 0 2.209 * [backup-simplify]: Simplify 1 into 1 2.209 * [taylor]: Taking taylor expansion of (exp x) in y 2.209 * [taylor]: Taking taylor expansion of x in y 2.209 * [backup-simplify]: Simplify x into x 2.209 * [backup-simplify]: Simplify (exp x) into (exp x) 2.209 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 2.209 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 2.209 * [taylor]: Taking taylor expansion of (cos y) in y 2.210 * [taylor]: Taking taylor expansion of y in y 2.210 * [backup-simplify]: Simplify 0 into 0 2.210 * [backup-simplify]: Simplify 1 into 1 2.210 * [taylor]: Taking taylor expansion of (exp x) in y 2.210 * [taylor]: Taking taylor expansion of x in y 2.210 * [backup-simplify]: Simplify x into x 2.210 * [backup-simplify]: Simplify (exp x) into (exp x) 2.210 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 2.210 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 2.210 * [taylor]: Taking taylor expansion of (exp x) in x 2.210 * [taylor]: Taking taylor expansion of x in x 2.210 * [backup-simplify]: Simplify 0 into 0 2.210 * [backup-simplify]: Simplify 1 into 1 2.210 * [backup-simplify]: Simplify (exp 0) into 1 2.210 * [backup-simplify]: Simplify (/ 1 1) into 1 2.210 * [backup-simplify]: Simplify 1 into 1 2.211 * [backup-simplify]: Simplify (+ 0) into 0 2.211 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 2.211 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 2.211 * [taylor]: Taking taylor expansion of 0 in x 2.211 * [backup-simplify]: Simplify 0 into 0 2.211 * [backup-simplify]: Simplify 0 into 0 2.212 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 2.213 * [backup-simplify]: Simplify -1 into -1 2.213 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 2.214 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.214 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 2.214 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 2.214 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 2.214 * [taylor]: Taking taylor expansion of 1/2 in x 2.214 * [backup-simplify]: Simplify 1/2 into 1/2 2.214 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 2.214 * [taylor]: Taking taylor expansion of (exp x) in x 2.214 * [taylor]: Taking taylor expansion of x in x 2.214 * [backup-simplify]: Simplify 0 into 0 2.214 * [backup-simplify]: Simplify 1 into 1 2.214 * [backup-simplify]: Simplify (exp 0) into 1 2.214 * [backup-simplify]: Simplify (/ 1 1) into 1 2.215 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.215 * [backup-simplify]: Simplify (- 1/2) into -1/2 2.215 * [backup-simplify]: Simplify -1/2 into -1/2 2.215 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 2.215 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.215 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 2.215 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 2.215 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.215 * [taylor]: Taking taylor expansion of y in x 2.215 * [backup-simplify]: Simplify y into y 2.215 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.215 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.215 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.216 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.216 * [taylor]: Taking taylor expansion of x in x 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [backup-simplify]: Simplify 1 into 1 2.216 * [backup-simplify]: Simplify (/ 1 1) into 1 2.216 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.216 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 2.216 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 2.216 * [backup-simplify]: Simplify (- 0) into 0 2.216 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 2.216 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.216 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 2.216 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.216 * [taylor]: Taking taylor expansion of y in y 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [backup-simplify]: Simplify 1 into 1 2.217 * [backup-simplify]: Simplify (/ 1 1) into 1 2.217 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.217 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.217 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.217 * [taylor]: Taking taylor expansion of x in y 2.217 * [backup-simplify]: Simplify x into x 2.217 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.217 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.217 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.217 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 2.217 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.217 * [taylor]: Taking taylor expansion of y in y 2.217 * [backup-simplify]: Simplify 0 into 0 2.217 * [backup-simplify]: Simplify 1 into 1 2.217 * [backup-simplify]: Simplify (/ 1 1) into 1 2.217 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.217 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.217 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.217 * [taylor]: Taking taylor expansion of x in y 2.217 * [backup-simplify]: Simplify x into x 2.217 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.217 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.218 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.218 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 2.218 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.218 * [taylor]: Taking taylor expansion of y in x 2.218 * [backup-simplify]: Simplify y into y 2.218 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.218 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.218 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.218 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.218 * [taylor]: Taking taylor expansion of x in x 2.218 * [backup-simplify]: Simplify 0 into 0 2.218 * [backup-simplify]: Simplify 1 into 1 2.218 * [backup-simplify]: Simplify (/ 1 1) into 1 2.218 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.218 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 2.218 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 2.218 * [backup-simplify]: Simplify (- 0) into 0 2.219 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 2.219 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.219 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.219 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.219 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 2.219 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 2.219 * [taylor]: Taking taylor expansion of 0 in x 2.219 * [backup-simplify]: Simplify 0 into 0 2.219 * [backup-simplify]: Simplify 0 into 0 2.220 * [backup-simplify]: Simplify (+ 0) into 0 2.220 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 2.220 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.221 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.221 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 2.221 * [backup-simplify]: Simplify (- 0) into 0 2.222 * [backup-simplify]: Simplify (+ 0 0) into 0 2.222 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 2.222 * [backup-simplify]: Simplify 0 into 0 2.222 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.223 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.223 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 2.223 * [taylor]: Taking taylor expansion of 0 in x 2.223 * [backup-simplify]: Simplify 0 into 0 2.223 * [backup-simplify]: Simplify 0 into 0 2.223 * [backup-simplify]: Simplify 0 into 0 2.224 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.224 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 2.224 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.225 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.225 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 2.225 * [backup-simplify]: Simplify (- 0) into 0 2.225 * [backup-simplify]: Simplify (+ 0 0) into 0 2.226 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 2.226 * [backup-simplify]: Simplify 0 into 0 2.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.232 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.232 * [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 2.232 * [taylor]: Taking taylor expansion of 0 in x 2.232 * [backup-simplify]: Simplify 0 into 0 2.232 * [backup-simplify]: Simplify 0 into 0 2.232 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 2.232 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.232 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 2.232 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 2.232 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.232 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.232 * [taylor]: Taking taylor expansion of -1 in x 2.232 * [backup-simplify]: Simplify -1 into -1 2.232 * [taylor]: Taking taylor expansion of y in x 2.232 * [backup-simplify]: Simplify y into y 2.232 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.232 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.232 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.233 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.233 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.233 * [taylor]: Taking taylor expansion of -1 in x 2.233 * [backup-simplify]: Simplify -1 into -1 2.233 * [taylor]: Taking taylor expansion of x in x 2.233 * [backup-simplify]: Simplify 0 into 0 2.233 * [backup-simplify]: Simplify 1 into 1 2.233 * [backup-simplify]: Simplify (/ -1 1) into -1 2.233 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.233 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 2.233 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 2.233 * [backup-simplify]: Simplify (- 0) into 0 2.234 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 2.234 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.234 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 2.234 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.234 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.234 * [taylor]: Taking taylor expansion of -1 in y 2.234 * [backup-simplify]: Simplify -1 into -1 2.234 * [taylor]: Taking taylor expansion of y in y 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify 1 into 1 2.234 * [backup-simplify]: Simplify (/ -1 1) into -1 2.234 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.234 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.234 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.234 * [taylor]: Taking taylor expansion of -1 in y 2.234 * [backup-simplify]: Simplify -1 into -1 2.234 * [taylor]: Taking taylor expansion of x in y 2.234 * [backup-simplify]: Simplify x into x 2.234 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.234 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.234 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.234 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 2.234 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.234 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.234 * [taylor]: Taking taylor expansion of -1 in y 2.234 * [backup-simplify]: Simplify -1 into -1 2.234 * [taylor]: Taking taylor expansion of y in y 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify 1 into 1 2.235 * [backup-simplify]: Simplify (/ -1 1) into -1 2.235 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.235 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.235 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.235 * [taylor]: Taking taylor expansion of -1 in y 2.235 * [backup-simplify]: Simplify -1 into -1 2.235 * [taylor]: Taking taylor expansion of x in y 2.235 * [backup-simplify]: Simplify x into x 2.235 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.235 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.235 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.235 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 2.235 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.235 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.235 * [taylor]: Taking taylor expansion of -1 in x 2.235 * [backup-simplify]: Simplify -1 into -1 2.235 * [taylor]: Taking taylor expansion of y in x 2.235 * [backup-simplify]: Simplify y into y 2.235 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.235 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.235 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.235 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.235 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.235 * [taylor]: Taking taylor expansion of -1 in x 2.235 * [backup-simplify]: Simplify -1 into -1 2.235 * [taylor]: Taking taylor expansion of x in x 2.235 * [backup-simplify]: Simplify 0 into 0 2.235 * [backup-simplify]: Simplify 1 into 1 2.236 * [backup-simplify]: Simplify (/ -1 1) into -1 2.236 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.236 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 2.236 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 2.236 * [backup-simplify]: Simplify (- 0) into 0 2.236 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 2.236 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.236 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.236 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.237 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 2.237 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 2.237 * [taylor]: Taking taylor expansion of 0 in x 2.237 * [backup-simplify]: Simplify 0 into 0 2.237 * [backup-simplify]: Simplify 0 into 0 2.237 * [backup-simplify]: Simplify (+ 0) into 0 2.238 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 2.238 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.238 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.238 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 2.239 * [backup-simplify]: Simplify (- 0) into 0 2.239 * [backup-simplify]: Simplify (+ 0 0) into 0 2.239 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 2.239 * [backup-simplify]: Simplify 0 into 0 2.239 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.240 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.240 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 2.240 * [taylor]: Taking taylor expansion of 0 in x 2.240 * [backup-simplify]: Simplify 0 into 0 2.240 * [backup-simplify]: Simplify 0 into 0 2.240 * [backup-simplify]: Simplify 0 into 0 2.241 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.241 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 2.241 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.242 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.242 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 2.243 * [backup-simplify]: Simplify (- 0) into 0 2.243 * [backup-simplify]: Simplify (+ 0 0) into 0 2.243 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 2.243 * [backup-simplify]: Simplify 0 into 0 2.243 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.244 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.245 * [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 2.245 * [taylor]: Taking taylor expansion of 0 in x 2.245 * [backup-simplify]: Simplify 0 into 0 2.245 * [backup-simplify]: Simplify 0 into 0 2.245 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 2.245 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 2.245 * [backup-simplify]: Simplify (fma (cos y) (exp x) (/ (cos y) (exp x))) into (fma (cos y) (exp x) (/ (cos y) (exp x))) 2.245 * [approximate]: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in (y x) around 0 2.245 * [taylor]: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in x 2.246 * [taylor]: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 2.246 * [taylor]: Taking taylor expansion of (* (cos y) (exp x)) in x 2.246 * [taylor]: Taking taylor expansion of (cos y) in x 2.246 * [taylor]: Taking taylor expansion of y in x 2.246 * [backup-simplify]: Simplify y into y 2.246 * [backup-simplify]: Simplify (cos y) into (cos y) 2.246 * [backup-simplify]: Simplify (sin y) into (sin y) 2.246 * [taylor]: Taking taylor expansion of (exp x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [backup-simplify]: Simplify 0 into 0 2.246 * [backup-simplify]: Simplify 1 into 1 2.246 * [backup-simplify]: Simplify (exp 0) into 1 2.246 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 2.246 * [taylor]: Taking taylor expansion of (cos y) in x 2.246 * [taylor]: Taking taylor expansion of y in x 2.246 * [backup-simplify]: Simplify y into y 2.246 * [backup-simplify]: Simplify (cos y) into (cos y) 2.246 * [backup-simplify]: Simplify (sin y) into (sin y) 2.246 * [taylor]: Taking taylor expansion of (exp x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [backup-simplify]: Simplify 0 into 0 2.246 * [backup-simplify]: Simplify 1 into 1 2.246 * [backup-simplify]: Simplify (exp 0) into 1 2.246 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 2.246 * [backup-simplify]: Simplify (* (sin y) 0) into 0 2.247 * [backup-simplify]: Simplify (- 0) into 0 2.247 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 2.247 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 2.247 * [taylor]: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in y 2.247 * [taylor]: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 2.247 * [taylor]: Taking taylor expansion of (* (cos y) (exp x)) in y 2.247 * [taylor]: Taking taylor expansion of (cos y) in y 2.247 * [taylor]: Taking taylor expansion of y in y 2.247 * [backup-simplify]: Simplify 0 into 0 2.247 * [backup-simplify]: Simplify 1 into 1 2.247 * [taylor]: Taking taylor expansion of (exp x) in y 2.247 * [taylor]: Taking taylor expansion of x in y 2.247 * [backup-simplify]: Simplify x into x 2.247 * [backup-simplify]: Simplify (exp x) into (exp x) 2.247 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 2.247 * [taylor]: Taking taylor expansion of (cos y) in y 2.247 * [taylor]: Taking taylor expansion of y in y 2.247 * [backup-simplify]: Simplify 0 into 0 2.247 * [backup-simplify]: Simplify 1 into 1 2.247 * [taylor]: Taking taylor expansion of (exp x) in y 2.247 * [taylor]: Taking taylor expansion of x in y 2.247 * [backup-simplify]: Simplify x into x 2.247 * [backup-simplify]: Simplify (exp x) into (exp x) 2.248 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 2.248 * [taylor]: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in y 2.248 * [taylor]: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 2.248 * [taylor]: Taking taylor expansion of (* (cos y) (exp x)) in y 2.248 * [taylor]: Taking taylor expansion of (cos y) in y 2.248 * [taylor]: Taking taylor expansion of y in y 2.248 * [backup-simplify]: Simplify 0 into 0 2.248 * [backup-simplify]: Simplify 1 into 1 2.248 * [taylor]: Taking taylor expansion of (exp x) in y 2.248 * [taylor]: Taking taylor expansion of x in y 2.248 * [backup-simplify]: Simplify x into x 2.248 * [backup-simplify]: Simplify (exp x) into (exp x) 2.248 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 2.248 * [taylor]: Taking taylor expansion of (cos y) in y 2.248 * [taylor]: Taking taylor expansion of y in y 2.248 * [backup-simplify]: Simplify 0 into 0 2.248 * [backup-simplify]: Simplify 1 into 1 2.248 * [taylor]: Taking taylor expansion of (exp x) in y 2.248 * [taylor]: Taking taylor expansion of x in y 2.248 * [backup-simplify]: Simplify x into x 2.248 * [backup-simplify]: Simplify (exp x) into (exp x) 2.248 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 2.248 * [backup-simplify]: Simplify (* 1 (exp x)) into (exp x) 2.248 * [backup-simplify]: Simplify (+ (exp x) (/ 1 (exp x))) into (+ (exp x) (/ 1 (exp x))) 2.248 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 2.249 * [taylor]: Taking taylor expansion of (exp x) in x 2.249 * [taylor]: Taking taylor expansion of x in x 2.249 * [backup-simplify]: Simplify 0 into 0 2.249 * [backup-simplify]: Simplify 1 into 1 2.249 * [backup-simplify]: Simplify (exp 0) into 1 2.249 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 2.249 * [taylor]: Taking taylor expansion of (exp x) in x 2.249 * [taylor]: Taking taylor expansion of x in x 2.249 * [backup-simplify]: Simplify 0 into 0 2.249 * [backup-simplify]: Simplify 1 into 1 2.249 * [backup-simplify]: Simplify (exp 0) into 1 2.249 * [backup-simplify]: Simplify (/ 1 1) into 1 2.250 * [backup-simplify]: Simplify (+ 1 1) into 2 2.250 * [backup-simplify]: Simplify 2 into 2 2.251 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 2.251 * [backup-simplify]: Simplify (+ 0) into 0 2.252 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (exp x))) into 0 2.252 * [backup-simplify]: Simplify (+ 0) into 0 2.253 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 2.253 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 2.253 * [backup-simplify]: Simplify (+ 0 0) into 0 2.253 * [taylor]: Taking taylor expansion of 0 in x 2.253 * [backup-simplify]: Simplify 0 into 0 2.253 * [backup-simplify]: Simplify 0 into 0 2.254 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.255 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 2.257 * [backup-simplify]: Simplify (+ 1 -1) into 0 2.257 * [backup-simplify]: Simplify 0 into 0 2.258 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.259 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 2.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (exp x)))) into (- (* 1/2 (exp x))) 2.261 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 2.262 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.263 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 2.263 * [backup-simplify]: Simplify (+ (- (* 1/2 (exp x))) (- (* 1/2 (/ 1 (exp x))))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) 2.263 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x 2.263 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x 2.263 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 2.263 * [taylor]: Taking taylor expansion of 1/2 in x 2.263 * [backup-simplify]: Simplify 1/2 into 1/2 2.263 * [taylor]: Taking taylor expansion of (exp x) in x 2.263 * [taylor]: Taking taylor expansion of x in x 2.263 * [backup-simplify]: Simplify 0 into 0 2.263 * [backup-simplify]: Simplify 1 into 1 2.263 * [backup-simplify]: Simplify (exp 0) into 1 2.263 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 2.263 * [taylor]: Taking taylor expansion of 1/2 in x 2.263 * [backup-simplify]: Simplify 1/2 into 1/2 2.263 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 2.263 * [taylor]: Taking taylor expansion of (exp x) in x 2.263 * [taylor]: Taking taylor expansion of x in x 2.263 * [backup-simplify]: Simplify 0 into 0 2.263 * [backup-simplify]: Simplify 1 into 1 2.263 * [backup-simplify]: Simplify (exp 0) into 1 2.264 * [backup-simplify]: Simplify (/ 1 1) into 1 2.264 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.264 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.264 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 2.265 * [backup-simplify]: Simplify (- 1) into -1 2.265 * [backup-simplify]: Simplify -1 into -1 2.265 * [backup-simplify]: Simplify 0 into 0 2.266 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.267 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 2.267 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 2.267 * [backup-simplify]: Simplify 1 into 1 2.268 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2)) 2.268 * [backup-simplify]: Simplify (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 2.268 * [approximate]: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0 2.268 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 2.268 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 2.268 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in x 2.268 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.268 * [taylor]: Taking taylor expansion of y in x 2.268 * [backup-simplify]: Simplify y into y 2.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.268 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.268 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.268 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.268 * [taylor]: Taking taylor expansion of x in x 2.268 * [backup-simplify]: Simplify 0 into 0 2.268 * [backup-simplify]: Simplify 1 into 1 2.268 * [backup-simplify]: Simplify (/ 1 1) into 1 2.268 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.268 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 2.268 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.269 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.269 * [taylor]: Taking taylor expansion of y in x 2.269 * [backup-simplify]: Simplify y into y 2.269 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.269 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.269 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.269 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [backup-simplify]: Simplify 0 into 0 2.269 * [backup-simplify]: Simplify 1 into 1 2.269 * [backup-simplify]: Simplify (/ 1 1) into 1 2.269 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.269 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 2.269 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 2.269 * [backup-simplify]: Simplify (- 0) into 0 2.269 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 2.269 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.270 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 2.270 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 2.270 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in y 2.270 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.270 * [taylor]: Taking taylor expansion of y in y 2.270 * [backup-simplify]: Simplify 0 into 0 2.270 * [backup-simplify]: Simplify 1 into 1 2.270 * [backup-simplify]: Simplify (/ 1 1) into 1 2.270 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.270 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.270 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.270 * [taylor]: Taking taylor expansion of x in y 2.270 * [backup-simplify]: Simplify x into x 2.270 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.270 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.270 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 2.270 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.270 * [taylor]: Taking taylor expansion of y in y 2.270 * [backup-simplify]: Simplify 0 into 0 2.270 * [backup-simplify]: Simplify 1 into 1 2.270 * [backup-simplify]: Simplify (/ 1 1) into 1 2.270 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.270 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.270 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.270 * [taylor]: Taking taylor expansion of x in y 2.271 * [backup-simplify]: Simplify x into x 2.271 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.271 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.271 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.271 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 2.271 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 2.271 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in y 2.271 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.271 * [taylor]: Taking taylor expansion of y in y 2.271 * [backup-simplify]: Simplify 0 into 0 2.271 * [backup-simplify]: Simplify 1 into 1 2.271 * [backup-simplify]: Simplify (/ 1 1) into 1 2.271 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.271 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.271 * [taylor]: Taking taylor expansion of x in y 2.271 * [backup-simplify]: Simplify x into x 2.271 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.271 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.271 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 2.271 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.271 * [taylor]: Taking taylor expansion of y in y 2.271 * [backup-simplify]: Simplify 0 into 0 2.271 * [backup-simplify]: Simplify 1 into 1 2.272 * [backup-simplify]: Simplify (/ 1 1) into 1 2.272 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.272 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.272 * [taylor]: Taking taylor expansion of x in y 2.272 * [backup-simplify]: Simplify x into x 2.272 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.272 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.272 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.272 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 2.272 * [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)))) 2.272 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 2.272 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 2.272 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.272 * [taylor]: Taking taylor expansion of x in x 2.272 * [backup-simplify]: Simplify 0 into 0 2.272 * [backup-simplify]: Simplify 1 into 1 2.272 * [backup-simplify]: Simplify (/ 1 1) into 1 2.273 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.273 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.273 * [taylor]: Taking taylor expansion of y in x 2.273 * [backup-simplify]: Simplify y into y 2.273 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.273 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.273 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.273 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 2.273 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.273 * [taylor]: Taking taylor expansion of y in x 2.273 * [backup-simplify]: Simplify y into y 2.273 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.273 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.273 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.273 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.273 * [taylor]: Taking taylor expansion of x in x 2.273 * [backup-simplify]: Simplify 0 into 0 2.273 * [backup-simplify]: Simplify 1 into 1 2.273 * [backup-simplify]: Simplify (/ 1 1) into 1 2.273 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.273 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 2.273 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 2.274 * [backup-simplify]: Simplify (- 0) into 0 2.274 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 2.274 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.274 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 2.274 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 2.274 * [backup-simplify]: Simplify (- 0) into 0 2.274 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 2.274 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 2.274 * [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)))) 2.274 * [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)))) 2.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.275 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 2.275 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (exp (/ 1 x)))) into 0 2.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.276 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 2.276 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 2.276 * [backup-simplify]: Simplify (+ 0 0) into 0 2.276 * [taylor]: Taking taylor expansion of 0 in x 2.276 * [backup-simplify]: Simplify 0 into 0 2.276 * [backup-simplify]: Simplify 0 into 0 2.277 * [backup-simplify]: Simplify (+ 0) into 0 2.277 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 2.277 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.278 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.278 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 2.278 * [backup-simplify]: Simplify (- 0) into 0 2.278 * [backup-simplify]: Simplify (+ 0 0) into 0 2.279 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 2.279 * [backup-simplify]: Simplify (+ 0) into 0 2.279 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 2.279 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.280 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.280 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 2.280 * [backup-simplify]: Simplify (- 0) into 0 2.280 * [backup-simplify]: Simplify (+ 0 0) into 0 2.281 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 2.281 * [backup-simplify]: Simplify (+ 0 0) into 0 2.281 * [backup-simplify]: Simplify 0 into 0 2.281 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.282 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.282 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 2.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.283 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.283 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 2.283 * [backup-simplify]: Simplify (+ 0 0) into 0 2.283 * [taylor]: Taking taylor expansion of 0 in x 2.283 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify 0 into 0 2.284 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.284 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 2.285 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.285 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.285 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 2.286 * [backup-simplify]: Simplify (- 0) into 0 2.286 * [backup-simplify]: Simplify (+ 0 0) into 0 2.286 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 2.287 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.287 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 2.287 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.288 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.288 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 2.288 * [backup-simplify]: Simplify (- 0) into 0 2.289 * [backup-simplify]: Simplify (+ 0 0) into 0 2.289 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 2.289 * [backup-simplify]: Simplify (+ 0 0) into 0 2.289 * [backup-simplify]: Simplify 0 into 0 2.289 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.290 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.291 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 2.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.292 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.292 * [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 2.292 * [backup-simplify]: Simplify (+ 0 0) into 0 2.293 * [taylor]: Taking taylor expansion of 0 in x 2.293 * [backup-simplify]: Simplify 0 into 0 2.293 * [backup-simplify]: Simplify 0 into 0 2.293 * [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))) 2.293 * [backup-simplify]: Simplify (fma (cos (/ 1 (- y))) (exp (/ 1 (- x))) (/ (cos (/ 1 (- y))) (exp (/ 1 (- x))))) into (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 2.293 * [approximate]: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in (y x) around 0 2.293 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in x 2.293 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 2.293 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in x 2.293 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.293 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.293 * [taylor]: Taking taylor expansion of -1 in x 2.293 * [backup-simplify]: Simplify -1 into -1 2.293 * [taylor]: Taking taylor expansion of y in x 2.293 * [backup-simplify]: Simplify y into y 2.293 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.293 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.293 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.293 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.293 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.293 * [taylor]: Taking taylor expansion of -1 in x 2.293 * [backup-simplify]: Simplify -1 into -1 2.293 * [taylor]: Taking taylor expansion of x in x 2.293 * [backup-simplify]: Simplify 0 into 0 2.293 * [backup-simplify]: Simplify 1 into 1 2.294 * [backup-simplify]: Simplify (/ -1 1) into -1 2.294 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.294 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 2.294 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.294 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.294 * [taylor]: Taking taylor expansion of -1 in x 2.294 * [backup-simplify]: Simplify -1 into -1 2.294 * [taylor]: Taking taylor expansion of y in x 2.294 * [backup-simplify]: Simplify y into y 2.294 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.294 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.294 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.294 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.294 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.294 * [taylor]: Taking taylor expansion of -1 in x 2.294 * [backup-simplify]: Simplify -1 into -1 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 1 into 1 2.294 * [backup-simplify]: Simplify (/ -1 1) into -1 2.294 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.294 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 2.294 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 2.295 * [backup-simplify]: Simplify (- 0) into 0 2.295 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 2.295 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.295 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in y 2.295 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 2.295 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in y 2.295 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.295 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.295 * [taylor]: Taking taylor expansion of -1 in y 2.295 * [backup-simplify]: Simplify -1 into -1 2.295 * [taylor]: Taking taylor expansion of y in y 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify 1 into 1 2.295 * [backup-simplify]: Simplify (/ -1 1) into -1 2.295 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.295 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.295 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.295 * [taylor]: Taking taylor expansion of -1 in y 2.295 * [backup-simplify]: Simplify -1 into -1 2.295 * [taylor]: Taking taylor expansion of x in y 2.295 * [backup-simplify]: Simplify x into x 2.295 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.295 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.296 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 2.296 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.296 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.296 * [taylor]: Taking taylor expansion of -1 in y 2.296 * [backup-simplify]: Simplify -1 into -1 2.296 * [taylor]: Taking taylor expansion of y in y 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 1 into 1 2.296 * [backup-simplify]: Simplify (/ -1 1) into -1 2.296 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.296 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.296 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.296 * [taylor]: Taking taylor expansion of -1 in y 2.296 * [backup-simplify]: Simplify -1 into -1 2.296 * [taylor]: Taking taylor expansion of x in y 2.296 * [backup-simplify]: Simplify x into x 2.296 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.296 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.296 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.296 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in y 2.296 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 2.296 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in y 2.296 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.296 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.296 * [taylor]: Taking taylor expansion of -1 in y 2.296 * [backup-simplify]: Simplify -1 into -1 2.296 * [taylor]: Taking taylor expansion of y in y 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 1 into 1 2.297 * [backup-simplify]: Simplify (/ -1 1) into -1 2.297 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.297 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.297 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.297 * [taylor]: Taking taylor expansion of -1 in y 2.297 * [backup-simplify]: Simplify -1 into -1 2.297 * [taylor]: Taking taylor expansion of x in y 2.297 * [backup-simplify]: Simplify x into x 2.297 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.297 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.297 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 2.297 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.297 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.297 * [taylor]: Taking taylor expansion of -1 in y 2.297 * [backup-simplify]: Simplify -1 into -1 2.297 * [taylor]: Taking taylor expansion of y in y 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 1 into 1 2.297 * [backup-simplify]: Simplify (/ -1 1) into -1 2.297 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.297 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.297 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.297 * [taylor]: Taking taylor expansion of -1 in y 2.297 * [backup-simplify]: Simplify -1 into -1 2.297 * [taylor]: Taking taylor expansion of x in y 2.297 * [backup-simplify]: Simplify x into x 2.297 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.297 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.298 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.298 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (exp (/ -1 x))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 2.298 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 2.298 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 2.298 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 2.298 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.298 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.298 * [taylor]: Taking taylor expansion of -1 in x 2.298 * [backup-simplify]: Simplify -1 into -1 2.298 * [taylor]: Taking taylor expansion of y in x 2.298 * [backup-simplify]: Simplify y into y 2.298 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.298 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.298 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.298 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.298 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.298 * [taylor]: Taking taylor expansion of -1 in x 2.298 * [backup-simplify]: Simplify -1 into -1 2.298 * [taylor]: Taking taylor expansion of x in x 2.298 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify 1 into 1 2.298 * [backup-simplify]: Simplify (/ -1 1) into -1 2.298 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.299 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 2.299 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 2.299 * [backup-simplify]: Simplify (- 0) into 0 2.299 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 2.299 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.299 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 2.299 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.299 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.299 * [taylor]: Taking taylor expansion of -1 in x 2.299 * [backup-simplify]: Simplify -1 into -1 2.299 * [taylor]: Taking taylor expansion of x in x 2.299 * [backup-simplify]: Simplify 0 into 0 2.299 * [backup-simplify]: Simplify 1 into 1 2.299 * [backup-simplify]: Simplify (/ -1 1) into -1 2.299 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.299 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.299 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.299 * [taylor]: Taking taylor expansion of -1 in x 2.299 * [backup-simplify]: Simplify -1 into -1 2.299 * [taylor]: Taking taylor expansion of y in x 2.300 * [backup-simplify]: Simplify y into y 2.300 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.300 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.300 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.300 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 2.300 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 2.300 * [backup-simplify]: Simplify (- 0) into 0 2.300 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 2.300 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 2.300 * [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)))) 2.300 * [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)))) 2.301 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.301 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 2.301 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (exp (/ -1 x)))) into 0 2.302 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.302 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 2.303 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 2.303 * [backup-simplify]: Simplify (+ 0 0) into 0 2.303 * [taylor]: Taking taylor expansion of 0 in x 2.303 * [backup-simplify]: Simplify 0 into 0 2.303 * [backup-simplify]: Simplify 0 into 0 2.303 * [backup-simplify]: Simplify (+ 0) into 0 2.304 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 2.304 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.304 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.305 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 2.305 * [backup-simplify]: Simplify (- 0) into 0 2.305 * [backup-simplify]: Simplify (+ 0 0) into 0 2.305 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 2.306 * [backup-simplify]: Simplify (+ 0) into 0 2.306 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 2.306 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.307 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.307 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 2.307 * [backup-simplify]: Simplify (- 0) into 0 2.307 * [backup-simplify]: Simplify (+ 0 0) into 0 2.308 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 2.308 * [backup-simplify]: Simplify (+ 0 0) into 0 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.309 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.309 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 2.309 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.310 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.310 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 2.311 * [backup-simplify]: Simplify (+ 0 0) into 0 2.311 * [taylor]: Taking taylor expansion of 0 in x 2.311 * [backup-simplify]: Simplify 0 into 0 2.311 * [backup-simplify]: Simplify 0 into 0 2.311 * [backup-simplify]: Simplify 0 into 0 2.311 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.312 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 2.312 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.312 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.313 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 2.313 * [backup-simplify]: Simplify (- 0) into 0 2.313 * [backup-simplify]: Simplify (+ 0 0) into 0 2.313 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 2.314 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.314 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 2.315 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.315 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.315 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 2.316 * [backup-simplify]: Simplify (- 0) into 0 2.316 * [backup-simplify]: Simplify (+ 0 0) into 0 2.316 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 2.316 * [backup-simplify]: Simplify (+ 0 0) into 0 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.318 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.318 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 2.318 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.319 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.319 * [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 2.320 * [backup-simplify]: Simplify (+ 0 0) into 0 2.320 * [taylor]: Taking taylor expansion of 0 in x 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [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))) 2.320 * * * [progress]: simplifying candidates 2.320 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 2.320 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 2.320 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 2.320 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 2.320 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 2.320 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 2.320 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 2.320 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 2.320 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 21 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #real (real->posit16 (/ (cos y) (exp x))))) 2))> 2.321 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 2.321 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 40 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #real (real->posit16 (fma (cos y) (exp x) (/ (cos y) (exp x))))) 2))> 2.322 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 2.322 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 2.322 * [simplify]: Simplifying: (expm1 (/ (cos y) (exp x))) (log1p (/ (cos y) (exp x))) (- (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)) (real->posit16 (/ (cos y) (exp x))) (expm1 (fma (cos y) (exp x) (/ (cos y) (exp x)))) (log1p (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (cos y) (exp x)) (log (fma (cos y) (exp x) (/ (cos y) (exp x)))) (exp (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x))))) (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (* (fma (cos y) (exp x) (/ (cos y) (exp x))) (fma (cos y) (exp x) (/ (cos y) (exp x)))) (fma (cos y) (exp x) (/ (cos y) (exp x)))) (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (real->posit16 (fma (cos y) (exp x) (/ (cos y) (exp x)))) (- 1 (+ (* 1/2 (pow y 2)) x)) (/ (cos y) (exp x)) (/ (cos y) (exp x)) (- (+ (pow x 2) 2) (pow y 2)) (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2.323 * * [simplify]: iteration 1: (76 enodes) 2.339 * * [simplify]: iteration 2: (142 enodes) 2.365 * * [simplify]: iteration 3: (347 enodes) 2.492 * * [simplify]: iteration 4: (903 enodes) 3.330 * * [simplify]: Extracting #0: cost 47 inf + 0 3.331 * * [simplify]: Extracting #1: cost 309 inf + 1 3.336 * * [simplify]: Extracting #2: cost 469 inf + 5250 3.346 * * [simplify]: Extracting #3: cost 224 inf + 64102 3.365 * * [simplify]: Extracting #4: cost 32 inf + 120464 3.401 * * [simplify]: Extracting #5: cost 0 inf + 132163 3.428 * [simplify]: Simplified to: (expm1 (/ (cos y) (exp x))) (log1p (/ (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)) (real->posit16 (/ (cos y) (exp x))) (expm1 (fma (cos y) (exp x) (/ (cos y) (exp x)))) (log1p (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (exp x) (cos y)) (log (fma (cos y) (exp x) (/ (cos y) (exp x)))) (exp (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x))))) (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (fma (cos y) (exp x) (/ (cos y) (exp x))) (* (fma (cos y) (exp x) (/ (cos y) (exp x))) (fma (cos y) (exp x) (/ (cos y) (exp x))))) (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (real->posit16 (fma (cos y) (exp x) (/ (cos y) (exp x)))) (fma (* -1/2 y) y (- 1 x)) (/ (cos y) (exp x)) (/ (cos y) (exp x)) (- (fma x x 2) (* y y)) (fma (cos y) (exp x) (/ (cos y) (exp x))) (fma (cos y) (exp x) (/ (cos y) (exp x))) 3.430 * * * [progress]: adding candidates to table 3.946 * * [progress]: iteration 2 / 4 3.946 * * * [progress]: picking best candidate 3.954 * * * * [pick]: Picked # 3.954 * * * [progress]: localizing error 3.993 * * * [progress]: generating rewritten candidates 3.993 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 3 2) 4.006 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 4.006 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 3) 4.029 * * * [progress]: generating series expansions 4.029 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 3 2) 4.029 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.029 * [approximate]: Taking taylor expansion of (/ 1 (exp x)) in (x) around 0 4.029 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.029 * [taylor]: Taking taylor expansion of (exp x) in x 4.029 * [taylor]: Taking taylor expansion of x in x 4.029 * [backup-simplify]: Simplify 0 into 0 4.029 * [backup-simplify]: Simplify 1 into 1 4.029 * [backup-simplify]: Simplify (exp 0) into 1 4.030 * [backup-simplify]: Simplify (/ 1 1) into 1 4.030 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.030 * [taylor]: Taking taylor expansion of (exp x) in x 4.030 * [taylor]: Taking taylor expansion of x in x 4.030 * [backup-simplify]: Simplify 0 into 0 4.030 * [backup-simplify]: Simplify 1 into 1 4.030 * [backup-simplify]: Simplify (exp 0) into 1 4.030 * [backup-simplify]: Simplify (/ 1 1) into 1 4.030 * [backup-simplify]: Simplify 1 into 1 4.031 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 4.031 * [backup-simplify]: Simplify -1 into -1 4.032 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 4.033 * [backup-simplify]: Simplify 1/2 into 1/2 4.033 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 4.033 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 4.033 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in (x) around 0 4.033 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 4.033 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.033 * [taylor]: Taking taylor expansion of x in x 4.033 * [backup-simplify]: Simplify 0 into 0 4.033 * [backup-simplify]: Simplify 1 into 1 4.033 * [backup-simplify]: Simplify (/ 1 1) into 1 4.033 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.033 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 4.033 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 4.033 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.033 * [taylor]: Taking taylor expansion of x in x 4.033 * [backup-simplify]: Simplify 0 into 0 4.034 * [backup-simplify]: Simplify 1 into 1 4.034 * [backup-simplify]: Simplify (/ 1 1) into 1 4.034 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.034 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 4.034 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 4.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.034 * [backup-simplify]: Simplify 0 into 0 4.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 4.034 * [backup-simplify]: Simplify 0 into 0 4.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 4.034 * [backup-simplify]: Simplify 0 into 0 4.035 * [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 4.035 * [backup-simplify]: Simplify 0 into 0 4.035 * [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 4.035 * [backup-simplify]: Simplify 0 into 0 4.035 * [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 4.035 * [backup-simplify]: Simplify 0 into 0 4.035 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (/ 1 x)))) into (/ 1 (exp x)) 4.035 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (- x)))) into (/ 1 (exp (/ -1 x))) 4.035 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in (x) around 0 4.035 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 4.036 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.036 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.036 * [taylor]: Taking taylor expansion of -1 in x 4.036 * [backup-simplify]: Simplify -1 into -1 4.036 * [taylor]: Taking taylor expansion of x in x 4.036 * [backup-simplify]: Simplify 0 into 0 4.036 * [backup-simplify]: Simplify 1 into 1 4.036 * [backup-simplify]: Simplify (/ -1 1) into -1 4.036 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.036 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 4.036 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 4.036 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.036 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.036 * [taylor]: Taking taylor expansion of -1 in x 4.036 * [backup-simplify]: Simplify -1 into -1 4.036 * [taylor]: Taking taylor expansion of x in x 4.036 * [backup-simplify]: Simplify 0 into 0 4.036 * [backup-simplify]: Simplify 1 into 1 4.037 * [backup-simplify]: Simplify (/ -1 1) into -1 4.037 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.037 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 4.037 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 4.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.037 * [backup-simplify]: Simplify 0 into 0 4.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 4.037 * [backup-simplify]: Simplify 0 into 0 4.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 4.037 * [backup-simplify]: Simplify 0 into 0 4.038 * [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 4.038 * [backup-simplify]: Simplify 0 into 0 4.038 * [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 4.038 * [backup-simplify]: Simplify 0 into 0 4.038 * [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 4.038 * [backup-simplify]: Simplify 0 into 0 4.038 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 (/ 1 (- x))))) into (/ 1 (exp x)) 4.038 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 4.038 * [backup-simplify]: Simplify (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x)))) into (fma (cos y) (exp x) (/ (cos y) (exp x))) 4.038 * [approximate]: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in (y x) around 0 4.038 * [taylor]: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in x 4.039 * [taylor]: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 4.039 * [taylor]: Taking taylor expansion of (* (cos y) (exp x)) in x 4.039 * [taylor]: Taking taylor expansion of (cos y) in x 4.039 * [taylor]: Taking taylor expansion of y in x 4.039 * [backup-simplify]: Simplify y into y 4.039 * [backup-simplify]: Simplify (cos y) into (cos y) 4.039 * [backup-simplify]: Simplify (sin y) into (sin y) 4.039 * [taylor]: Taking taylor expansion of (exp x) in x 4.039 * [taylor]: Taking taylor expansion of x in x 4.039 * [backup-simplify]: Simplify 0 into 0 4.039 * [backup-simplify]: Simplify 1 into 1 4.039 * [backup-simplify]: Simplify (exp 0) into 1 4.039 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 4.039 * [taylor]: Taking taylor expansion of (cos y) in x 4.039 * [taylor]: Taking taylor expansion of y in x 4.039 * [backup-simplify]: Simplify y into y 4.039 * [backup-simplify]: Simplify (cos y) into (cos y) 4.039 * [backup-simplify]: Simplify (sin y) into (sin y) 4.039 * [taylor]: Taking taylor expansion of (exp x) in x 4.039 * [taylor]: Taking taylor expansion of x in x 4.039 * [backup-simplify]: Simplify 0 into 0 4.039 * [backup-simplify]: Simplify 1 into 1 4.039 * [backup-simplify]: Simplify (exp 0) into 1 4.039 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 4.039 * [backup-simplify]: Simplify (* (sin y) 0) into 0 4.039 * [backup-simplify]: Simplify (- 0) into 0 4.039 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 4.039 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 4.039 * [taylor]: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in y 4.039 * [taylor]: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 4.039 * [taylor]: Taking taylor expansion of (* (cos y) (exp x)) in y 4.040 * [taylor]: Taking taylor expansion of (cos y) in y 4.040 * [taylor]: Taking taylor expansion of y in y 4.040 * [backup-simplify]: Simplify 0 into 0 4.040 * [backup-simplify]: Simplify 1 into 1 4.040 * [taylor]: Taking taylor expansion of (exp x) in y 4.040 * [taylor]: Taking taylor expansion of x in y 4.040 * [backup-simplify]: Simplify x into x 4.040 * [backup-simplify]: Simplify (exp x) into (exp x) 4.040 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.040 * [taylor]: Taking taylor expansion of (cos y) in y 4.040 * [taylor]: Taking taylor expansion of y in y 4.040 * [backup-simplify]: Simplify 0 into 0 4.040 * [backup-simplify]: Simplify 1 into 1 4.040 * [taylor]: Taking taylor expansion of (exp x) in y 4.040 * [taylor]: Taking taylor expansion of x in y 4.040 * [backup-simplify]: Simplify x into x 4.040 * [backup-simplify]: Simplify (exp x) into (exp x) 4.040 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.040 * [taylor]: Taking taylor expansion of (fma (cos y) (exp x) (/ (cos y) (exp x))) in y 4.040 * [taylor]: Rewrote expression to (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 4.040 * [taylor]: Taking taylor expansion of (* (cos y) (exp x)) in y 4.040 * [taylor]: Taking taylor expansion of (cos y) in y 4.040 * [taylor]: Taking taylor expansion of y in y 4.040 * [backup-simplify]: Simplify 0 into 0 4.040 * [backup-simplify]: Simplify 1 into 1 4.040 * [taylor]: Taking taylor expansion of (exp x) in y 4.040 * [taylor]: Taking taylor expansion of x in y 4.040 * [backup-simplify]: Simplify x into x 4.040 * [backup-simplify]: Simplify (exp x) into (exp x) 4.040 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.040 * [taylor]: Taking taylor expansion of (cos y) in y 4.040 * [taylor]: Taking taylor expansion of y in y 4.040 * [backup-simplify]: Simplify 0 into 0 4.040 * [backup-simplify]: Simplify 1 into 1 4.040 * [taylor]: Taking taylor expansion of (exp x) in y 4.040 * [taylor]: Taking taylor expansion of x in y 4.040 * [backup-simplify]: Simplify x into x 4.040 * [backup-simplify]: Simplify (exp x) into (exp x) 4.040 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.040 * [backup-simplify]: Simplify (* 1 (exp x)) into (exp x) 4.040 * [backup-simplify]: Simplify (+ (exp x) (/ 1 (exp x))) into (+ (exp x) (/ 1 (exp x))) 4.040 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 4.040 * [taylor]: Taking taylor expansion of (exp x) in x 4.040 * [taylor]: Taking taylor expansion of x in x 4.040 * [backup-simplify]: Simplify 0 into 0 4.040 * [backup-simplify]: Simplify 1 into 1 4.040 * [backup-simplify]: Simplify (exp 0) into 1 4.040 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.040 * [taylor]: Taking taylor expansion of (exp x) in x 4.040 * [taylor]: Taking taylor expansion of x in x 4.040 * [backup-simplify]: Simplify 0 into 0 4.040 * [backup-simplify]: Simplify 1 into 1 4.041 * [backup-simplify]: Simplify (exp 0) into 1 4.041 * [backup-simplify]: Simplify (/ 1 1) into 1 4.041 * [backup-simplify]: Simplify (+ 1 1) into 2 4.041 * [backup-simplify]: Simplify 2 into 2 4.042 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 4.042 * [backup-simplify]: Simplify (+ 0) into 0 4.042 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (exp x))) into 0 4.042 * [backup-simplify]: Simplify (+ 0) into 0 4.043 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 4.043 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 4.043 * [backup-simplify]: Simplify (+ 0 0) into 0 4.043 * [taylor]: Taking taylor expansion of 0 in x 4.043 * [backup-simplify]: Simplify 0 into 0 4.043 * [backup-simplify]: Simplify 0 into 0 4.044 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.045 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 4.046 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.046 * [backup-simplify]: Simplify 0 into 0 4.048 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.049 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (exp x)))) into (- (* 1/2 (exp x))) 4.051 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.052 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.052 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 4.053 * [backup-simplify]: Simplify (+ (- (* 1/2 (exp x))) (- (* 1/2 (/ 1 (exp x))))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) 4.053 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x 4.053 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x 4.053 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 4.053 * [taylor]: Taking taylor expansion of 1/2 in x 4.053 * [backup-simplify]: Simplify 1/2 into 1/2 4.053 * [taylor]: Taking taylor expansion of (exp x) in x 4.053 * [taylor]: Taking taylor expansion of x in x 4.053 * [backup-simplify]: Simplify 0 into 0 4.053 * [backup-simplify]: Simplify 1 into 1 4.053 * [backup-simplify]: Simplify (exp 0) into 1 4.053 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 4.053 * [taylor]: Taking taylor expansion of 1/2 in x 4.053 * [backup-simplify]: Simplify 1/2 into 1/2 4.053 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.053 * [taylor]: Taking taylor expansion of (exp x) in x 4.053 * [taylor]: Taking taylor expansion of x in x 4.053 * [backup-simplify]: Simplify 0 into 0 4.053 * [backup-simplify]: Simplify 1 into 1 4.053 * [backup-simplify]: Simplify (exp 0) into 1 4.054 * [backup-simplify]: Simplify (/ 1 1) into 1 4.054 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.054 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.055 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.055 * [backup-simplify]: Simplify (- 1) into -1 4.055 * [backup-simplify]: Simplify -1 into -1 4.055 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.059 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 4.060 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.060 * [backup-simplify]: Simplify 1 into 1 4.061 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2)) 4.061 * [backup-simplify]: Simplify (fma (cos (/ 1 y)) (exp (/ 1 x)) (* (cos (/ 1 y)) (/ 1 (exp (/ 1 x))))) into (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 4.061 * [approximate]: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0 4.061 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 4.061 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 4.061 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in x 4.061 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.061 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.061 * [taylor]: Taking taylor expansion of y in x 4.061 * [backup-simplify]: Simplify y into y 4.061 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.061 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.061 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.062 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.062 * [taylor]: Taking taylor expansion of x in x 4.062 * [backup-simplify]: Simplify 0 into 0 4.062 * [backup-simplify]: Simplify 1 into 1 4.062 * [backup-simplify]: Simplify (/ 1 1) into 1 4.062 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.062 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.062 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.062 * [taylor]: Taking taylor expansion of y in x 4.062 * [backup-simplify]: Simplify y into y 4.062 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.062 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.062 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.062 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.062 * [taylor]: Taking taylor expansion of x in x 4.063 * [backup-simplify]: Simplify 0 into 0 4.063 * [backup-simplify]: Simplify 1 into 1 4.063 * [backup-simplify]: Simplify (/ 1 1) into 1 4.063 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.063 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.063 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.063 * [backup-simplify]: Simplify (- 0) into 0 4.064 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.064 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.064 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 4.064 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 4.064 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in y 4.064 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.064 * [taylor]: Taking taylor expansion of y in y 4.064 * [backup-simplify]: Simplify 0 into 0 4.064 * [backup-simplify]: Simplify 1 into 1 4.065 * [backup-simplify]: Simplify (/ 1 1) into 1 4.065 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.065 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.065 * [taylor]: Taking taylor expansion of x in y 4.065 * [backup-simplify]: Simplify x into x 4.065 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.065 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.065 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.065 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.065 * [taylor]: Taking taylor expansion of y in y 4.065 * [backup-simplify]: Simplify 0 into 0 4.065 * [backup-simplify]: Simplify 1 into 1 4.065 * [backup-simplify]: Simplify (/ 1 1) into 1 4.065 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.066 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.066 * [taylor]: Taking taylor expansion of x in y 4.066 * [backup-simplify]: Simplify x into x 4.066 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.066 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.066 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.066 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (exp (/ 1 x)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 4.066 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (exp (/ 1 x))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 4.066 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (exp (/ 1 x))) in y 4.066 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.066 * [taylor]: Taking taylor expansion of y in y 4.066 * [backup-simplify]: Simplify 0 into 0 4.066 * [backup-simplify]: Simplify 1 into 1 4.066 * [backup-simplify]: Simplify (/ 1 1) into 1 4.067 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.067 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.067 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.067 * [taylor]: Taking taylor expansion of x in y 4.067 * [backup-simplify]: Simplify x into x 4.067 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.067 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.067 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.067 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.067 * [taylor]: Taking taylor expansion of y in y 4.067 * [backup-simplify]: Simplify 0 into 0 4.067 * [backup-simplify]: Simplify 1 into 1 4.067 * [backup-simplify]: Simplify (/ 1 1) into 1 4.067 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.067 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.067 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.067 * [taylor]: Taking taylor expansion of x in y 4.067 * [backup-simplify]: Simplify x into x 4.067 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.068 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.068 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.068 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 4.068 * [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.068 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 4.068 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 4.068 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.068 * [taylor]: Taking taylor expansion of x in x 4.068 * [backup-simplify]: Simplify 0 into 0 4.068 * [backup-simplify]: Simplify 1 into 1 4.069 * [backup-simplify]: Simplify (/ 1 1) into 1 4.069 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.069 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.069 * [taylor]: Taking taylor expansion of y in x 4.069 * [backup-simplify]: Simplify y into y 4.069 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.069 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.069 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.069 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.069 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.069 * [taylor]: Taking taylor expansion of y in x 4.069 * [backup-simplify]: Simplify y into y 4.069 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.069 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.070 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.070 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.070 * [taylor]: Taking taylor expansion of x in x 4.070 * [backup-simplify]: Simplify 0 into 0 4.070 * [backup-simplify]: Simplify 1 into 1 4.070 * [backup-simplify]: Simplify (/ 1 1) into 1 4.070 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.070 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.070 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.071 * [backup-simplify]: Simplify (- 0) into 0 4.071 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.071 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.071 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.071 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.071 * [backup-simplify]: Simplify (- 0) into 0 4.071 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.071 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 4.072 * [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.072 * [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.072 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.078 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.078 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (exp (/ 1 x)))) into 0 4.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.080 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.080 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.080 * [backup-simplify]: Simplify (+ 0 0) into 0 4.080 * [taylor]: Taking taylor expansion of 0 in x 4.080 * [backup-simplify]: Simplify 0 into 0 4.080 * [backup-simplify]: Simplify 0 into 0 4.081 * [backup-simplify]: Simplify (+ 0) into 0 4.081 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 4.081 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.082 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.083 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 4.083 * [backup-simplify]: Simplify (- 0) into 0 4.084 * [backup-simplify]: Simplify (+ 0 0) into 0 4.084 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 4.085 * [backup-simplify]: Simplify (+ 0) into 0 4.085 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 4.085 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.086 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.087 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 4.087 * [backup-simplify]: Simplify (- 0) into 0 4.087 * [backup-simplify]: Simplify (+ 0 0) into 0 4.088 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.088 * [backup-simplify]: Simplify (+ 0 0) into 0 4.088 * [backup-simplify]: Simplify 0 into 0 4.088 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.089 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.090 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 4.090 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.091 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.092 * [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.092 * [backup-simplify]: Simplify (+ 0 0) into 0 4.092 * [taylor]: Taking taylor expansion of 0 in x 4.092 * [backup-simplify]: Simplify 0 into 0 4.092 * [backup-simplify]: Simplify 0 into 0 4.092 * [backup-simplify]: Simplify 0 into 0 4.093 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.094 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.095 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.095 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.096 * [backup-simplify]: Simplify (- 0) into 0 4.096 * [backup-simplify]: Simplify (+ 0 0) into 0 4.096 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 4.097 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.098 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.099 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.099 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.100 * [backup-simplify]: Simplify (- 0) into 0 4.100 * [backup-simplify]: Simplify (+ 0 0) into 0 4.101 * [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.101 * [backup-simplify]: Simplify (+ 0 0) into 0 4.101 * [backup-simplify]: Simplify 0 into 0 4.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.103 * [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.104 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 4.104 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.105 * [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.105 * [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.105 * [backup-simplify]: Simplify (+ 0 0) into 0 4.105 * [taylor]: Taking taylor expansion of 0 in x 4.105 * [backup-simplify]: Simplify 0 into 0 4.105 * [backup-simplify]: Simplify 0 into 0 4.105 * [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.106 * [backup-simplify]: Simplify (fma (cos (/ 1 (- y))) (exp (/ 1 (- x))) (* (cos (/ 1 (- y))) (/ 1 (exp (/ 1 (- x)))))) into (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 4.106 * [approximate]: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in (y x) around 0 4.106 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in x 4.106 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 4.106 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in x 4.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.106 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.106 * [taylor]: Taking taylor expansion of -1 in x 4.106 * [backup-simplify]: Simplify -1 into -1 4.106 * [taylor]: Taking taylor expansion of y in x 4.106 * [backup-simplify]: Simplify y into y 4.106 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.106 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.106 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.106 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.106 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.106 * [taylor]: Taking taylor expansion of -1 in x 4.106 * [backup-simplify]: Simplify -1 into -1 4.106 * [taylor]: Taking taylor expansion of x in x 4.106 * [backup-simplify]: Simplify 0 into 0 4.106 * [backup-simplify]: Simplify 1 into 1 4.106 * [backup-simplify]: Simplify (/ -1 1) into -1 4.106 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.106 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.107 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.107 * [taylor]: Taking taylor expansion of -1 in x 4.107 * [backup-simplify]: Simplify -1 into -1 4.107 * [taylor]: Taking taylor expansion of y in x 4.107 * [backup-simplify]: Simplify y into y 4.107 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.107 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.107 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.107 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.107 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.107 * [taylor]: Taking taylor expansion of -1 in x 4.107 * [backup-simplify]: Simplify -1 into -1 4.107 * [taylor]: Taking taylor expansion of x in x 4.107 * [backup-simplify]: Simplify 0 into 0 4.107 * [backup-simplify]: Simplify 1 into 1 4.107 * [backup-simplify]: Simplify (/ -1 1) into -1 4.107 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.107 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.107 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.107 * [backup-simplify]: Simplify (- 0) into 0 4.108 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.108 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.108 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in y 4.108 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 4.108 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in y 4.108 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.108 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.108 * [taylor]: Taking taylor expansion of -1 in y 4.108 * [backup-simplify]: Simplify -1 into -1 4.108 * [taylor]: Taking taylor expansion of y in y 4.108 * [backup-simplify]: Simplify 0 into 0 4.108 * [backup-simplify]: Simplify 1 into 1 4.108 * [backup-simplify]: Simplify (/ -1 1) into -1 4.108 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.108 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.108 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.108 * [taylor]: Taking taylor expansion of -1 in y 4.108 * [backup-simplify]: Simplify -1 into -1 4.108 * [taylor]: Taking taylor expansion of x in y 4.108 * [backup-simplify]: Simplify x into x 4.108 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.108 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.108 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.108 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.108 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.108 * [taylor]: Taking taylor expansion of -1 in y 4.108 * [backup-simplify]: Simplify -1 into -1 4.108 * [taylor]: Taking taylor expansion of y in y 4.108 * [backup-simplify]: Simplify 0 into 0 4.108 * [backup-simplify]: Simplify 1 into 1 4.109 * [backup-simplify]: Simplify (/ -1 1) into -1 4.109 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.109 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.109 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.109 * [taylor]: Taking taylor expansion of -1 in y 4.109 * [backup-simplify]: Simplify -1 into -1 4.109 * [taylor]: Taking taylor expansion of x in y 4.109 * [backup-simplify]: Simplify x into x 4.109 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.109 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.109 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.109 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (exp (/ -1 x)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in y 4.109 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (exp (/ -1 x))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) 4.109 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (exp (/ -1 x))) in y 4.109 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.109 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.109 * [taylor]: Taking taylor expansion of -1 in y 4.109 * [backup-simplify]: Simplify -1 into -1 4.109 * [taylor]: Taking taylor expansion of y in y 4.109 * [backup-simplify]: Simplify 0 into 0 4.109 * [backup-simplify]: Simplify 1 into 1 4.109 * [backup-simplify]: Simplify (/ -1 1) into -1 4.109 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.109 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.109 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.110 * [taylor]: Taking taylor expansion of -1 in y 4.110 * [backup-simplify]: Simplify -1 into -1 4.110 * [taylor]: Taking taylor expansion of x in y 4.110 * [backup-simplify]: Simplify x into x 4.110 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.110 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.110 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.110 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.110 * [taylor]: Taking taylor expansion of -1 in y 4.110 * [backup-simplify]: Simplify -1 into -1 4.110 * [taylor]: Taking taylor expansion of y in y 4.110 * [backup-simplify]: Simplify 0 into 0 4.110 * [backup-simplify]: Simplify 1 into 1 4.110 * [backup-simplify]: Simplify (/ -1 1) into -1 4.110 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.110 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.110 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.110 * [taylor]: Taking taylor expansion of -1 in y 4.110 * [backup-simplify]: Simplify -1 into -1 4.110 * [taylor]: Taking taylor expansion of x in y 4.110 * [backup-simplify]: Simplify x into x 4.110 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.110 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.110 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.110 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (exp (/ -1 x))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 4.111 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 4.111 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 4.111 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.111 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.111 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.111 * [taylor]: Taking taylor expansion of -1 in x 4.111 * [backup-simplify]: Simplify -1 into -1 4.111 * [taylor]: Taking taylor expansion of y in x 4.111 * [backup-simplify]: Simplify y into y 4.111 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.111 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.111 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.111 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.111 * [taylor]: Taking taylor expansion of -1 in x 4.111 * [backup-simplify]: Simplify -1 into -1 4.111 * [taylor]: Taking taylor expansion of x in x 4.111 * [backup-simplify]: Simplify 0 into 0 4.111 * [backup-simplify]: Simplify 1 into 1 4.111 * [backup-simplify]: Simplify (/ -1 1) into -1 4.111 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.111 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.111 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.112 * [backup-simplify]: Simplify (- 0) into 0 4.112 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.112 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.112 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 4.112 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.112 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.112 * [taylor]: Taking taylor expansion of -1 in x 4.112 * [backup-simplify]: Simplify -1 into -1 4.112 * [taylor]: Taking taylor expansion of x in x 4.112 * [backup-simplify]: Simplify 0 into 0 4.112 * [backup-simplify]: Simplify 1 into 1 4.112 * [backup-simplify]: Simplify (/ -1 1) into -1 4.112 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.112 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.112 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.112 * [taylor]: Taking taylor expansion of -1 in x 4.112 * [backup-simplify]: Simplify -1 into -1 4.112 * [taylor]: Taking taylor expansion of y in x 4.112 * [backup-simplify]: Simplify y into y 4.112 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.112 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.112 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.112 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.113 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.113 * [backup-simplify]: Simplify (- 0) into 0 4.113 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.113 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 4.113 * [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.113 * [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.113 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.114 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.114 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (exp (/ -1 x)))) into 0 4.114 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.115 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.115 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.115 * [backup-simplify]: Simplify (+ 0 0) into 0 4.115 * [taylor]: Taking taylor expansion of 0 in x 4.115 * [backup-simplify]: Simplify 0 into 0 4.115 * [backup-simplify]: Simplify 0 into 0 4.115 * [backup-simplify]: Simplify (+ 0) into 0 4.116 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 4.116 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.116 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.117 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 4.117 * [backup-simplify]: Simplify (- 0) into 0 4.117 * [backup-simplify]: Simplify (+ 0 0) into 0 4.117 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.117 * [backup-simplify]: Simplify (+ 0) into 0 4.118 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 4.118 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.118 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.119 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 4.119 * [backup-simplify]: Simplify (- 0) into 0 4.119 * [backup-simplify]: Simplify (+ 0 0) into 0 4.119 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 4.119 * [backup-simplify]: Simplify (+ 0 0) into 0 4.119 * [backup-simplify]: Simplify 0 into 0 4.120 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.120 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.121 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 4.121 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.122 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.122 * [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.122 * [backup-simplify]: Simplify (+ 0 0) into 0 4.122 * [taylor]: Taking taylor expansion of 0 in x 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 0 into 0 4.123 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.123 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.123 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.124 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.124 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.124 * [backup-simplify]: Simplify (- 0) into 0 4.125 * [backup-simplify]: Simplify (+ 0 0) into 0 4.125 * [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.125 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.126 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.126 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.126 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.127 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.127 * [backup-simplify]: Simplify (- 0) into 0 4.127 * [backup-simplify]: Simplify (+ 0 0) into 0 4.127 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 4.128 * [backup-simplify]: Simplify (+ 0 0) into 0 4.128 * [backup-simplify]: Simplify 0 into 0 4.128 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.129 * [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.129 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 4.129 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.130 * [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.131 * [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.131 * [backup-simplify]: Simplify (+ 0 0) into 0 4.131 * [taylor]: Taking taylor expansion of 0 in x 4.131 * [backup-simplify]: Simplify 0 into 0 4.131 * [backup-simplify]: Simplify 0 into 0 4.131 * [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.131 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 3) 4.131 * [backup-simplify]: Simplify (* (cos y) (/ 1 (exp x))) into (/ (cos y) (exp x)) 4.131 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 4.131 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 4.131 * [taylor]: Taking taylor expansion of (cos y) in x 4.131 * [taylor]: Taking taylor expansion of y in x 4.132 * [backup-simplify]: Simplify y into y 4.132 * [backup-simplify]: Simplify (cos y) into (cos y) 4.132 * [backup-simplify]: Simplify (sin y) into (sin y) 4.132 * [taylor]: Taking taylor expansion of (exp x) in x 4.132 * [taylor]: Taking taylor expansion of x in x 4.132 * [backup-simplify]: Simplify 0 into 0 4.132 * [backup-simplify]: Simplify 1 into 1 4.132 * [backup-simplify]: Simplify (exp 0) into 1 4.132 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 4.132 * [backup-simplify]: Simplify (* (sin y) 0) into 0 4.132 * [backup-simplify]: Simplify (- 0) into 0 4.132 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 4.132 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 4.132 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.132 * [taylor]: Taking taylor expansion of (cos y) in y 4.132 * [taylor]: Taking taylor expansion of y in y 4.132 * [backup-simplify]: Simplify 0 into 0 4.132 * [backup-simplify]: Simplify 1 into 1 4.132 * [taylor]: Taking taylor expansion of (exp x) in y 4.132 * [taylor]: Taking taylor expansion of x in y 4.132 * [backup-simplify]: Simplify x into x 4.132 * [backup-simplify]: Simplify (exp x) into (exp x) 4.132 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.132 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.132 * [taylor]: Taking taylor expansion of (cos y) in y 4.132 * [taylor]: Taking taylor expansion of y in y 4.132 * [backup-simplify]: Simplify 0 into 0 4.132 * [backup-simplify]: Simplify 1 into 1 4.132 * [taylor]: Taking taylor expansion of (exp x) in y 4.132 * [taylor]: Taking taylor expansion of x in y 4.132 * [backup-simplify]: Simplify x into x 4.132 * [backup-simplify]: Simplify (exp x) into (exp x) 4.132 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.132 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.132 * [taylor]: Taking taylor expansion of (exp x) in x 4.132 * [taylor]: Taking taylor expansion of x in x 4.133 * [backup-simplify]: Simplify 0 into 0 4.133 * [backup-simplify]: Simplify 1 into 1 4.133 * [backup-simplify]: Simplify (exp 0) into 1 4.133 * [backup-simplify]: Simplify (/ 1 1) into 1 4.133 * [backup-simplify]: Simplify 1 into 1 4.133 * [backup-simplify]: Simplify (+ 0) into 0 4.134 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 4.134 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 4.134 * [taylor]: Taking taylor expansion of 0 in x 4.134 * [backup-simplify]: Simplify 0 into 0 4.134 * [backup-simplify]: Simplify 0 into 0 4.134 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 4.135 * [backup-simplify]: Simplify -1 into -1 4.135 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.136 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.136 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 4.136 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 4.136 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 4.136 * [taylor]: Taking taylor expansion of 1/2 in x 4.136 * [backup-simplify]: Simplify 1/2 into 1/2 4.136 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.136 * [taylor]: Taking taylor expansion of (exp x) in x 4.136 * [taylor]: Taking taylor expansion of x in x 4.136 * [backup-simplify]: Simplify 0 into 0 4.136 * [backup-simplify]: Simplify 1 into 1 4.136 * [backup-simplify]: Simplify (exp 0) into 1 4.137 * [backup-simplify]: Simplify (/ 1 1) into 1 4.137 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.137 * [backup-simplify]: Simplify (- 1/2) into -1/2 4.137 * [backup-simplify]: Simplify -1/2 into -1/2 4.137 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 4.138 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (/ 1 (exp (/ 1 x)))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.138 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 4.138 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.138 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.138 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.138 * [taylor]: Taking taylor expansion of y in x 4.138 * [backup-simplify]: Simplify y into y 4.138 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.138 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.138 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.138 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.138 * [taylor]: Taking taylor expansion of x in x 4.138 * [backup-simplify]: Simplify 0 into 0 4.138 * [backup-simplify]: Simplify 1 into 1 4.138 * [backup-simplify]: Simplify (/ 1 1) into 1 4.138 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.138 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.138 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.138 * [backup-simplify]: Simplify (- 0) into 0 4.139 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.139 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.139 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.139 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.139 * [taylor]: Taking taylor expansion of y in y 4.139 * [backup-simplify]: Simplify 0 into 0 4.139 * [backup-simplify]: Simplify 1 into 1 4.139 * [backup-simplify]: Simplify (/ 1 1) into 1 4.139 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.139 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.139 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.139 * [taylor]: Taking taylor expansion of x in y 4.139 * [backup-simplify]: Simplify x into x 4.139 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.139 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.139 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.139 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.139 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.139 * [taylor]: Taking taylor expansion of y in y 4.139 * [backup-simplify]: Simplify 0 into 0 4.139 * [backup-simplify]: Simplify 1 into 1 4.140 * [backup-simplify]: Simplify (/ 1 1) into 1 4.140 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.140 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.140 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.140 * [taylor]: Taking taylor expansion of x in y 4.140 * [backup-simplify]: Simplify x into x 4.140 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.140 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.140 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.140 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.140 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.140 * [taylor]: Taking taylor expansion of y in x 4.140 * [backup-simplify]: Simplify y into y 4.140 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.140 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.140 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.140 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.140 * [taylor]: Taking taylor expansion of x in x 4.140 * [backup-simplify]: Simplify 0 into 0 4.140 * [backup-simplify]: Simplify 1 into 1 4.140 * [backup-simplify]: Simplify (/ 1 1) into 1 4.140 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.140 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.141 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.141 * [backup-simplify]: Simplify (- 0) into 0 4.141 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.141 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.141 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.141 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.142 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.142 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.142 * [taylor]: Taking taylor expansion of 0 in x 4.142 * [backup-simplify]: Simplify 0 into 0 4.142 * [backup-simplify]: Simplify 0 into 0 4.142 * [backup-simplify]: Simplify (+ 0) into 0 4.142 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 4.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.143 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.143 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 4.143 * [backup-simplify]: Simplify (- 0) into 0 4.144 * [backup-simplify]: Simplify (+ 0 0) into 0 4.144 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.144 * [backup-simplify]: Simplify 0 into 0 4.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.145 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.145 * [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.145 * [taylor]: Taking taylor expansion of 0 in x 4.145 * [backup-simplify]: Simplify 0 into 0 4.145 * [backup-simplify]: Simplify 0 into 0 4.145 * [backup-simplify]: Simplify 0 into 0 4.146 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.146 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.147 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.147 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.147 * [backup-simplify]: Simplify (- 0) into 0 4.147 * [backup-simplify]: Simplify (+ 0 0) into 0 4.148 * [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.148 * [backup-simplify]: Simplify 0 into 0 4.148 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.149 * [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.149 * [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.149 * [taylor]: Taking taylor expansion of 0 in x 4.149 * [backup-simplify]: Simplify 0 into 0 4.149 * [backup-simplify]: Simplify 0 into 0 4.149 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 4.149 * [backup-simplify]: Simplify (* (cos (/ 1 (- y))) (/ 1 (exp (/ 1 (- x))))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.149 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 4.149 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.149 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.149 * [taylor]: Taking taylor expansion of -1 in x 4.149 * [backup-simplify]: Simplify -1 into -1 4.149 * [taylor]: Taking taylor expansion of y in x 4.149 * [backup-simplify]: Simplify y into y 4.149 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.149 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.149 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.149 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.150 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.150 * [taylor]: Taking taylor expansion of -1 in x 4.150 * [backup-simplify]: Simplify -1 into -1 4.150 * [taylor]: Taking taylor expansion of x in x 4.150 * [backup-simplify]: Simplify 0 into 0 4.150 * [backup-simplify]: Simplify 1 into 1 4.150 * [backup-simplify]: Simplify (/ -1 1) into -1 4.150 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.150 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.150 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.150 * [backup-simplify]: Simplify (- 0) into 0 4.150 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.150 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.150 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.150 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.151 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.151 * [taylor]: Taking taylor expansion of -1 in y 4.151 * [backup-simplify]: Simplify -1 into -1 4.151 * [taylor]: Taking taylor expansion of y in y 4.151 * [backup-simplify]: Simplify 0 into 0 4.151 * [backup-simplify]: Simplify 1 into 1 4.151 * [backup-simplify]: Simplify (/ -1 1) into -1 4.151 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.151 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.151 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.151 * [taylor]: Taking taylor expansion of -1 in y 4.151 * [backup-simplify]: Simplify -1 into -1 4.151 * [taylor]: Taking taylor expansion of x in y 4.151 * [backup-simplify]: Simplify x into x 4.151 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.151 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.151 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.151 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.151 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.151 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.151 * [taylor]: Taking taylor expansion of -1 in y 4.151 * [backup-simplify]: Simplify -1 into -1 4.151 * [taylor]: Taking taylor expansion of y in y 4.151 * [backup-simplify]: Simplify 0 into 0 4.151 * [backup-simplify]: Simplify 1 into 1 4.152 * [backup-simplify]: Simplify (/ -1 1) into -1 4.152 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.152 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.152 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.152 * [taylor]: Taking taylor expansion of -1 in y 4.152 * [backup-simplify]: Simplify -1 into -1 4.152 * [taylor]: Taking taylor expansion of x in y 4.152 * [backup-simplify]: Simplify x into x 4.152 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.152 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.152 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.152 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.152 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.152 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.152 * [taylor]: Taking taylor expansion of -1 in x 4.152 * [backup-simplify]: Simplify -1 into -1 4.152 * [taylor]: Taking taylor expansion of y in x 4.152 * [backup-simplify]: Simplify y into y 4.152 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.152 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.152 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.152 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.152 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.152 * [taylor]: Taking taylor expansion of -1 in x 4.152 * [backup-simplify]: Simplify -1 into -1 4.152 * [taylor]: Taking taylor expansion of x in x 4.152 * [backup-simplify]: Simplify 0 into 0 4.152 * [backup-simplify]: Simplify 1 into 1 4.153 * [backup-simplify]: Simplify (/ -1 1) into -1 4.153 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.153 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.153 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.153 * [backup-simplify]: Simplify (- 0) into 0 4.153 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.153 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.153 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.153 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.154 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.154 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.154 * [taylor]: Taking taylor expansion of 0 in x 4.154 * [backup-simplify]: Simplify 0 into 0 4.154 * [backup-simplify]: Simplify 0 into 0 4.154 * [backup-simplify]: Simplify (+ 0) into 0 4.155 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 4.155 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.155 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.156 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 4.156 * [backup-simplify]: Simplify (- 0) into 0 4.156 * [backup-simplify]: Simplify (+ 0 0) into 0 4.156 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.156 * [backup-simplify]: Simplify 0 into 0 4.156 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.157 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.157 * [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.158 * [taylor]: Taking taylor expansion of 0 in x 4.158 * [backup-simplify]: Simplify 0 into 0 4.158 * [backup-simplify]: Simplify 0 into 0 4.158 * [backup-simplify]: Simplify 0 into 0 4.158 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.159 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.159 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.160 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.160 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.160 * [backup-simplify]: Simplify (- 0) into 0 4.161 * [backup-simplify]: Simplify (+ 0 0) into 0 4.161 * [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.161 * [backup-simplify]: Simplify 0 into 0 4.161 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.162 * [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.162 * [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.162 * [taylor]: Taking taylor expansion of 0 in x 4.162 * [backup-simplify]: Simplify 0 into 0 4.162 * [backup-simplify]: Simplify 0 into 0 4.162 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 4.162 * * * [progress]: simplifying candidates 4.162 * * * * [progress]: [ 1 / 96 ] simplifiying candidate # 4.162 * * * * [progress]: [ 2 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 3 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 4 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 5 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 6 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 7 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 8 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 9 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 10 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 11 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 12 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 13 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 14 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 15 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 16 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 17 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 18 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 19 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 20 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 21 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 22 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 23 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 24 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 25 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 26 / 96 ] simplifiying candidate # 4.163 * * * * [progress]: [ 27 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 28 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 29 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 30 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 31 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 32 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 33 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 34 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 35 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 36 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 37 / 96 ] simplifiying candidate #real (real->posit16 (/ 1 (exp x)))))) 2))> 4.164 * * * * [progress]: [ 38 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 39 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 40 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 41 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 42 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 43 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 44 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 45 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 46 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 47 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 48 / 96 ] simplifiying candidate #real (real->posit16 (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x)))))) 2))> 4.164 * * * * [progress]: [ 49 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 50 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 51 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 52 / 96 ] simplifiying candidate # 4.164 * * * * [progress]: [ 53 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 54 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 55 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 56 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 57 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 58 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 59 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 60 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 61 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 62 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 63 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 64 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 65 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 66 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 67 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 68 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 69 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 70 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 71 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 72 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 73 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 74 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 75 / 96 ] simplifiying candidate # 4.165 * * * * [progress]: [ 76 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 77 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 78 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 79 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 80 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 81 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 82 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 83 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 84 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 85 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 86 / 96 ] simplifiying candidate #real (real->posit16 (* (cos y) (/ 1 (exp x)))))) 2))> 4.166 * * * * [progress]: [ 87 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 88 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 89 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 90 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 91 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 92 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 93 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 94 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 95 / 96 ] simplifiying candidate # 4.166 * * * * [progress]: [ 96 / 96 ] simplifiying candidate # 4.167 * [simplify]: Simplifying: (expm1 (/ 1 (exp x))) (log1p (/ 1 (exp x))) (- 1) (- (cbrt x)) (- (sqrt x)) (- x) (- x) (- 0 x) (- (log 1) x) (log (/ 1 (exp x))) (exp (/ 1 (exp x))) (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (cbrt (/ 1 (exp x))) (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x))) (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x))) (- 1) (- (exp x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (exp x)) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) 1) (/ (sqrt 1) (exp x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1 1) (/ 1 (exp x)) (/ 1 (exp x)) (/ (exp x) 1) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt (exp x))) (/ 1 1) (/ (exp x) (cbrt 1)) (/ (exp x) (sqrt 1)) (/ (exp x) 1) (real->posit16 (/ 1 (exp x))) (expm1 (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (log1p (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (* (cos y) (exp x)) (log (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (exp (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (* (cbrt (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (cbrt (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x)))))) (cbrt (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (* (* (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x)))) (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (sqrt (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (sqrt (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (real->posit16 (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x))))) (expm1 (* (cos y) (/ 1 (exp x)))) (log1p (* (cos y) (/ 1 (exp x)))) (* (cos y) (/ 1 (exp x))) (+ (log (cos y)) (- x)) (+ (log (cos y)) (- 0 x)) (+ (log (cos y)) (- (log 1) x)) (+ (log (cos y)) (log (/ 1 (exp x)))) (log (* (cos y) (/ 1 (exp x)))) (exp (* (cos y) (/ 1 (exp x)))) (* (* (* (cos y) (cos y)) (cos y)) (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))) (* (* (* (cos y) (cos y)) (cos y)) (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))) (* (cbrt (* (cos y) (/ 1 (exp x)))) (cbrt (* (cos y) (/ 1 (exp x))))) (cbrt (* (cos y) (/ 1 (exp x)))) (* (* (* (cos y) (/ 1 (exp x))) (* (cos y) (/ 1 (exp x)))) (* (cos y) (/ 1 (exp x)))) (sqrt (* (cos y) (/ 1 (exp x)))) (sqrt (* (cos y) (/ 1 (exp x)))) (* (sqrt (cos y)) (sqrt (/ 1 (exp x)))) (* (sqrt (cos y)) (sqrt (/ 1 (exp x)))) (* (sqrt (cos y)) (/ (sqrt 1) (sqrt (exp x)))) (* (sqrt (cos y)) (/ (sqrt 1) (sqrt (exp x)))) (* (sqrt (cos y)) (/ 1 (sqrt (exp x)))) (* (sqrt (cos y)) (/ 1 (sqrt (exp x)))) (* (cos y) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))) (* (cos y) (sqrt (/ 1 (exp x)))) (* (cos y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))) (* (cos y) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))) (* (cos y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (cos y) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))) (* (cos y) (/ (sqrt 1) (sqrt (exp x)))) (* (cos y) (/ (sqrt 1) 1)) (* (cos y) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))) (* (cos y) (/ 1 (sqrt (exp x)))) (* (cos y) (/ 1 1)) (* (cos y) 1) (* (cos y) 1) (* (cbrt (cos y)) (/ 1 (exp x))) (* (sqrt (cos y)) (/ 1 (exp x))) (* (cos y) (/ 1 (exp x))) (* (cos y) 1) (real->posit16 (* (cos y) (/ 1 (exp x)))) (- (+ (* 1/2 (pow x 2)) 1) x) (/ 1 (exp x)) (/ 1 (exp x)) (- (+ (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.169 * * [simplify]: iteration 1: (122 enodes) 4.229 * * [simplify]: iteration 2: (267 enodes) 4.349 * * [simplify]: iteration 3: (560 enodes) 4.601 * * [simplify]: iteration 4: (1195 enodes) 5.672 * * [simplify]: Extracting #0: cost 53 inf + 0 5.673 * * [simplify]: Extracting #1: cost 262 inf + 2 5.679 * * [simplify]: Extracting #2: cost 420 inf + 893 5.687 * * [simplify]: Extracting #3: cost 325 inf + 20280 5.713 * * [simplify]: Extracting #4: cost 97 inf + 90137 5.741 * * [simplify]: Extracting #5: cost 3 inf + 123657 5.780 * * [simplify]: Extracting #6: cost 0 inf + 124042 5.808 * * [simplify]: Extracting #7: cost 0 inf + 123912 5.859 * * [simplify]: Extracting #8: cost 0 inf + 123897 5.903 * [simplify]: Simplified to: (expm1 (exp (- x))) (log1p (exp (- x))) -1 (- (cbrt x)) (- (sqrt x)) (- x) (- x) (- x) (- x) (- x) (exp (exp (- x))) (exp (- (- (+ x x)) x)) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (cbrt (exp (- x))) (exp (- (- (+ x x)) x)) (sqrt (exp (- x))) (sqrt (exp (- x))) -1 (- (exp x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))) 1 (exp (- x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))) 1 (exp (- x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))) 1 (exp (- x)) (exp (- x)) (exp x) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt (exp x))) 1 (exp x) (exp x) (exp x) (real->posit16 (exp (- x))) (expm1 (fma (cos y) (exp x) (/ (cos y) (exp x)))) (log1p (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (exp x) (cos y)) (log (fma (cos y) (exp x) (/ (cos y) (exp x)))) (exp (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x))))) (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (* (fma (cos y) (exp x) (/ (cos y) (exp x))) (* (fma (cos y) (exp x) (/ (cos y) (exp x))) (fma (cos y) (exp x) (/ (cos y) (exp x))))) (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (real->posit16 (fma (cos y) (exp x) (/ (cos y) (exp x)))) (expm1 (/ (cos y) (exp x))) (log1p (/ (cos y) (exp x))) (/ (cos y) (exp x)) (- (log (cos y)) x) (- (log (cos y)) x) (- (log (cos y)) 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)))) (* (/ (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))) (* (sqrt (exp (- x))) (sqrt (cos y))) (* (sqrt (exp (- x))) (sqrt (cos y))) (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))) (* (* (cos y) (cbrt (exp (- x)))) (cbrt (exp (- x)))) (* (cos y) (sqrt (exp (- x)))) (/ (/ (cos y) (cbrt (exp x))) (cbrt (exp x))) (/ (cos y) (sqrt (exp x))) (cos y) (/ (/ (cos y) (cbrt (exp x))) (cbrt (exp x))) (/ (cos y) (sqrt (exp x))) (cos y) (/ (/ (cos y) (cbrt (exp x))) (cbrt (exp x))) (/ (cos y) (sqrt (exp x))) (cos y) (cos y) (cos y) (/ (cbrt (cos y)) (exp x)) (/ (sqrt (cos y)) (exp x)) (/ (cos y) (exp x)) (cos y) (real->posit16 (/ (cos y) (exp x))) (fma (* 1/2 x) x (- 1 x)) (exp (- x)) (exp (- x)) (fma (+ x y) (- x y) 2) (fma (cos y) (exp x) (/ (cos y) (exp x))) (fma (cos y) (exp x) (/ (cos y) (exp x))) (- 1 (fma 1/2 (* y y) x)) (/ (cos y) (exp x)) (/ (cos y) (exp x)) 5.908 * * * [progress]: adding candidates to table 6.772 * [progress]: [Phase 3 of 3] Extracting. 6.777 * [simplify]: Simplifying: (/ (fma (cos y) (exp x) (* (cos y) (/ 1 (exp x)))) 2) 6.777 * * [simplify]: iteration 1: (10 enodes) 6.778 * * [simplify]: iteration 2: (13 enodes) 6.779 * * [simplify]: Extracting #0: cost 1 inf + 0 6.779 * * [simplify]: Extracting #1: cost 3 inf + 0 6.779 * * [simplify]: Extracting #2: cost 5 inf + 1 6.779 * * [simplify]: Extracting #3: cost 8 inf + 1 6.779 * * [simplify]: Extracting #4: cost 6 inf + 74 6.779 * * [simplify]: Extracting #5: cost 0 inf + 1038 6.780 * [simplify]: Simplified to: (/ (fma (cos y) (exp x) (* (/ 1 (exp x)) (cos y))) 2) 6.780 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 6.895 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 6.905 * * * * [points]: Setting MPFR precision to 64 6.907 * * * * [points]: Setting MPFR precision to 320 6.908 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 6.913 * * * * [points]: Setting MPFR precision to 64 6.915 * * * * [points]: Setting MPFR precision to 320 6.918 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 6.923 * * * * [points]: Setting MPFR precision to 64 6.928 * * * * [points]: Setting MPFR precision to 320 6.934 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 6.939 * * * * [points]: Setting MPFR precision to 64 6.944 * * * * [points]: Setting MPFR precision to 320 6.950 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 6.952 * * * * [points]: Setting MPFR precision to 64 6.962 * * * * [points]: Setting MPFR precision to 320 6.981 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 6.983 * * * * [points]: Setting MPFR precision to 64 7.003 * * * * [points]: Setting MPFR precision to 320 7.042 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 7.047 * * * * [points]: Setting MPFR precision to 64 7.168 * * * * [points]: Setting MPFR precision to 320 7.250 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 7.253 * * * * [points]: Setting MPFR precision to 64 7.459 * * * * [points]: Setting MPFR precision to 320 7.617 * * * * [points]: Computing exacts for 8000 points 7.662 * * * * [points]: Setting MPFR precision to 64 8.275 * * * * [points]: Setting MPFR precision to 320 9.554 * * * * [points]: Filtering points with unrepresentable outputs 9.566 * * * * [points]: Sampling 3990 additional inputs, on iter 1 have 4010 / 8000 9.631 * * * * [points]: Computing exacts on every 249 of 3990 points to ramp up precision 9.636 * * * * [points]: Setting MPFR precision to 64 9.639 * * * * [points]: Setting MPFR precision to 320 9.640 * * * * [points]: Computing exacts on every 124 of 3990 points to ramp up precision 9.645 * * * * [points]: Setting MPFR precision to 64 9.648 * * * * [points]: Setting MPFR precision to 320 9.651 * * * * [points]: Computing exacts on every 62 of 3990 points to ramp up precision 9.655 * * * * [points]: Setting MPFR precision to 64 9.660 * * * * [points]: Setting MPFR precision to 320 9.665 * * * * [points]: Computing exacts on every 31 of 3990 points to ramp up precision 9.670 * * * * [points]: Setting MPFR precision to 64 9.681 * * * * [points]: Setting MPFR precision to 320 9.711 * * * * [points]: Computing exacts on every 15 of 3990 points to ramp up precision 9.714 * * * * [points]: Setting MPFR precision to 64 9.725 * * * * [points]: Setting MPFR precision to 320 9.737 * * * * [points]: Computing exacts on every 7 of 3990 points to ramp up precision 9.740 * * * * [points]: Setting MPFR precision to 64 9.777 * * * * [points]: Setting MPFR precision to 320 9.816 * * * * [points]: Computing exacts on every 3 of 3990 points to ramp up precision 9.818 * * * * [points]: Setting MPFR precision to 64 9.876 * * * * [points]: Setting MPFR precision to 320 10.009 * * * * [points]: Computing exacts for 3990 points 10.012 * * * * [points]: Setting MPFR precision to 64 10.338 * * * * [points]: Setting MPFR precision to 320 10.658 * * * * [points]: Setting MPFR precision to 576 11.093 * * * * [points]: Filtering points with unrepresentable outputs 11.096 * * * * [points]: Sampling 2023 additional inputs, on iter 2 have 5977 / 8000 11.129 * * * * [points]: Computing exacts on every 126 of 2023 points to ramp up precision 11.190 * * * * [points]: Setting MPFR precision to 320 11.192 * * * * [points]: Setting MPFR precision to 576 11.197 * * * * [points]: Computing exacts on every 63 of 2023 points to ramp up precision 11.203 * * * * [points]: Setting MPFR precision to 320 11.206 * * * * [points]: Setting MPFR precision to 576 11.210 * * * * [points]: Computing exacts on every 31 of 2023 points to ramp up precision 11.216 * * * * [points]: Setting MPFR precision to 320 11.223 * * * * [points]: Setting MPFR precision to 576 11.231 * * * * [points]: Computing exacts on every 15 of 2023 points to ramp up precision 11.237 * * * * [points]: Setting MPFR precision to 320 11.249 * * * * [points]: Setting MPFR precision to 576 11.264 * * * * [points]: Computing exacts on every 7 of 2023 points to ramp up precision 11.270 * * * * [points]: Setting MPFR precision to 320 11.285 * * * * [points]: Setting MPFR precision to 576 11.300 * * * * [points]: Computing exacts on every 3 of 2023 points to ramp up precision 11.303 * * * * [points]: Setting MPFR precision to 320 11.345 * * * * [points]: Setting MPFR precision to 576 11.425 * * * * [points]: Computing exacts for 2023 points 11.431 * * * * [points]: Setting MPFR precision to 320 11.589 * * * * [points]: Setting MPFR precision to 576 12.146 * * * * [points]: Filtering points with unrepresentable outputs 12.148 * * * * [points]: Sampling 1022 additional inputs, on iter 3 have 6978 / 8000 12.160 * * * * [points]: Computing exacts on every 63 of 1022 points to ramp up precision 12.163 * * * * [points]: Setting MPFR precision to 320 12.164 * * * * [points]: Setting MPFR precision to 576 12.165 * * * * [points]: Computing exacts on every 31 of 1022 points to ramp up precision 12.168 * * * * [points]: Setting MPFR precision to 320 12.170 * * * * [points]: Setting MPFR precision to 576 12.172 * * * * [points]: Computing exacts on every 15 of 1022 points to ramp up precision 12.175 * * * * [points]: Setting MPFR precision to 320 12.205 * * * * [points]: Setting MPFR precision to 576 12.209 * * * * [points]: Computing exacts on every 7 of 1022 points to ramp up precision 12.215 * * * * [points]: Setting MPFR precision to 320 12.221 * * * * [points]: Setting MPFR precision to 576 12.235 * * * * [points]: Computing exacts on every 3 of 1022 points to ramp up precision 12.241 * * * * [points]: Setting MPFR precision to 320 12.265 * * * * [points]: Setting MPFR precision to 576 12.282 * * * * [points]: Computing exacts for 1022 points 12.285 * * * * [points]: Setting MPFR precision to 320 12.336 * * * * [points]: Setting MPFR precision to 576 12.507 * * * * [points]: Filtering points with unrepresentable outputs 12.508 * * * * [points]: Sampling 506 additional inputs, on iter 4 have 7494 / 8000 12.517 * * * * [points]: Computing exacts on every 31 of 506 points to ramp up precision 12.523 * * * * [points]: Setting MPFR precision to 320 12.525 * * * * [points]: Setting MPFR precision to 576 12.526 * * * * [points]: Computing exacts on every 15 of 506 points to ramp up precision 12.532 * * * * [points]: Setting MPFR precision to 320 12.535 * * * * [points]: Setting MPFR precision to 576 12.538 * * * * [points]: Computing exacts on every 7 of 506 points to ramp up precision 12.544 * * * * [points]: Setting MPFR precision to 320 12.550 * * * * [points]: Setting MPFR precision to 576 12.558 * * * * [points]: Computing exacts on every 3 of 506 points to ramp up precision 12.564 * * * * [points]: Setting MPFR precision to 320 12.577 * * * * [points]: Setting MPFR precision to 576 12.591 * * * * [points]: Computing exacts for 506 points 12.597 * * * * [points]: Setting MPFR precision to 320 12.681 * * * * [points]: Setting MPFR precision to 576 12.722 * * * * [points]: Filtering points with unrepresentable outputs 12.723 * * * * [points]: Sampling 251 additional inputs, on iter 5 have 7749 / 8000 12.727 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision 12.733 * * * * [points]: Setting MPFR precision to 320 12.734 * * * * [points]: Setting MPFR precision to 576 12.735 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision 12.738 * * * * [points]: Setting MPFR precision to 320 12.739 * * * * [points]: Setting MPFR precision to 576 12.741 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision 12.744 * * * * [points]: Setting MPFR precision to 320 12.747 * * * * [points]: Setting MPFR precision to 576 12.751 * * * * [points]: Computing exacts for 251 points 12.754 * * * * [points]: Setting MPFR precision to 320 12.766 * * * * [points]: Setting MPFR precision to 576 12.795 * * * * [points]: Filtering points with unrepresentable outputs 12.796 * * * * [points]: Sampling 127 additional inputs, on iter 6 have 7873 / 8000 12.798 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision 12.803 * * * * [points]: Setting MPFR precision to 320 12.805 * * * * [points]: Setting MPFR precision to 576 12.807 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision 12.812 * * * * [points]: Setting MPFR precision to 320 12.815 * * * * [points]: Setting MPFR precision to 576 12.819 * * * * [points]: Computing exacts for 127 points 12.825 * * * * [points]: Setting MPFR precision to 320 12.869 * * * * [points]: Setting MPFR precision to 576 12.888 * * * * [points]: Filtering points with unrepresentable outputs 12.888 * * * * [points]: Sampling 60 additional inputs, on iter 7 have 7940 / 8000 12.889 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 12.895 * * * * [points]: Setting MPFR precision to 320 12.897 * * * * [points]: Setting MPFR precision to 576 12.898 * * * * [points]: Computing exacts for 60 points 12.904 * * * * [points]: Setting MPFR precision to 320 12.909 * * * * [points]: Setting MPFR precision to 576 12.916 * * * * [points]: Filtering points with unrepresentable outputs 12.917 * * * * [points]: Sampling 29 additional inputs, on iter 8 have 7971 / 8000 12.917 * * * * [points]: Computing exacts for 29 points 12.923 * * * * [points]: Setting MPFR precision to 320 12.926 * * * * [points]: Setting MPFR precision to 576 12.929 * * * * [points]: Filtering points with unrepresentable outputs 12.929 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 12.929 * * * * [points]: Computing exacts for 17 points 12.935 * * * * [points]: Setting MPFR precision to 320 12.937 * * * * [points]: Setting MPFR precision to 576 12.940 * * * * [points]: Filtering points with unrepresentable outputs 12.940 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 12.940 * * * * [points]: Computing exacts for 9 points 12.946 * * * * [points]: Setting MPFR precision to 320 12.947 * * * * [points]: Setting MPFR precision to 576 12.948 * * * * [points]: Filtering points with unrepresentable outputs 12.948 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 12.948 * * * * [points]: Computing exacts for 4 points 12.954 * * * * [points]: Setting MPFR precision to 320 12.955 * * * * [points]: Setting MPFR precision to 576 12.955 * * * * [points]: Filtering points with unrepresentable outputs 12.956 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 12.956 * * * * [points]: Computing exacts for 4 points 12.961 * * * * [points]: Setting MPFR precision to 320 12.961 * * * * [points]: Setting MPFR precision to 576 12.962 * * * * [points]: Filtering points with unrepresentable outputs 12.962 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 12.962 * * * * [points]: Computing exacts for 4 points 12.968 * * * * [points]: Setting MPFR precision to 320 12.968 * * * * [points]: Setting MPFR precision to 576 12.969 * * * * [points]: Filtering points with unrepresentable outputs 12.969 * * * * [points]: Sampled 8000 points with exact outputs 13.251 * [regime-testing]: Baseline error score: 0.007875 13.253 * [regime-testing]: Oracle error score: 0.007875 13.253 * [regime-testing]: End program error score: 0.007875