0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.007 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.013 * * * * [points]: Setting MPFR precision to 320 0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.020 * * * * [points]: Setting MPFR precision to 64 0.022 * * * * [points]: Setting MPFR precision to 320 0.025 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.030 * * * * [points]: Setting MPFR precision to 64 0.034 * * * * [points]: Setting MPFR precision to 320 0.039 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.043 * * * * [points]: Setting MPFR precision to 64 0.050 * * * * [points]: Setting MPFR precision to 320 0.058 * * * * [points]: Computing exacts for 256 points 0.062 * * * * [points]: Setting MPFR precision to 64 0.080 * * * * [points]: Setting MPFR precision to 320 0.091 * * * * [points]: Setting MPFR precision to 576 0.107 * * * * [points]: Filtering points with unrepresentable outputs 0.107 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256 0.108 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision 0.113 * * * * [points]: Setting MPFR precision to 320 0.114 * * * * [points]: Setting MPFR precision to 576 0.116 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision 0.121 * * * * [points]: Setting MPFR precision to 320 0.123 * * * * [points]: Setting MPFR precision to 576 0.127 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision 0.132 * * * * [points]: Setting MPFR precision to 320 0.136 * * * * [points]: Setting MPFR precision to 576 0.141 * * * * [points]: Computing exacts for 133 points 0.147 * * * * [points]: Setting MPFR precision to 320 0.201 * * * * [points]: Setting MPFR precision to 576 0.218 * * * * [points]: Filtering points with unrepresentable outputs 0.219 * * * * [points]: Sampling 78 additional inputs, on iter 2 have 178 / 256 0.220 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision 0.225 * * * * [points]: Setting MPFR precision to 320 0.226 * * * * [points]: Setting MPFR precision to 576 0.227 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision 0.230 * * * * [points]: Setting MPFR precision to 320 0.232 * * * * [points]: Setting MPFR precision to 576 0.233 * * * * [points]: Computing exacts for 78 points 0.237 * * * * [points]: Setting MPFR precision to 320 0.240 * * * * [points]: Setting MPFR precision to 576 0.245 * * * * [points]: Filtering points with unrepresentable outputs 0.245 * * * * [points]: Sampling 43 additional inputs, on iter 3 have 213 / 256 0.245 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision 0.248 * * * * [points]: Setting MPFR precision to 320 0.249 * * * * [points]: Setting MPFR precision to 576 0.250 * * * * [points]: Computing exacts for 43 points 0.253 * * * * [points]: Setting MPFR precision to 320 0.255 * * * * [points]: Setting MPFR precision to 576 0.257 * * * * [points]: Filtering points with unrepresentable outputs 0.257 * * * * [points]: Sampling 29 additional inputs, on iter 4 have 227 / 256 0.258 * * * * [points]: Computing exacts for 29 points 0.263 * * * * [points]: Setting MPFR precision to 320 0.266 * * * * [points]: Setting MPFR precision to 576 0.269 * * * * [points]: Filtering points with unrepresentable outputs 0.269 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256 0.269 * * * * [points]: Computing exacts for 10 points 0.275 * * * * [points]: Setting MPFR precision to 320 0.275 * * * * [points]: Setting MPFR precision to 576 0.277 * * * * [points]: Filtering points with unrepresentable outputs 0.277 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256 0.277 * * * * [points]: Computing exacts for 5 points 0.282 * * * * [points]: Setting MPFR precision to 320 0.283 * * * * [points]: Setting MPFR precision to 576 0.283 * * * * [points]: Filtering points with unrepresentable outputs 0.283 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.283 * * * * [points]: Computing exacts for 4 points 0.289 * * * * [points]: Setting MPFR precision to 320 0.290 * * * * [points]: Setting MPFR precision to 576 0.290 * * * * [points]: Filtering points with unrepresentable outputs 0.290 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256 0.290 * * * * [points]: Computing exacts for 4 points 0.296 * * * * [points]: Setting MPFR precision to 320 0.296 * * * * [points]: Setting MPFR precision to 576 0.297 * * * * [points]: Filtering points with unrepresentable outputs 0.297 * * * * [points]: Sampled 256 points with exact outputs 0.297 * * * [progress]: [2/2] Setting up program. 0.304 * [progress]: [Phase 2 of 3] Improving. 0.304 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.305 * [simplify]: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 0.305 * * [simplify]: iteration 1: (16 enodes) 0.313 * * [simplify]: iteration 2: (58 enodes) 0.352 * * [simplify]: iteration 3: (88 enodes) 0.380 * * [simplify]: iteration 4: (132 enodes) 0.408 * * [simplify]: iteration 5: (200 enodes) 0.444 * * [simplify]: iteration 6: (270 enodes) 0.532 * * [simplify]: iteration 7: (398 enodes) 0.642 * * [simplify]: iteration 8: (618 enodes) 0.972 * * [simplify]: iteration 9: (1061 enodes) 1.989 * * [simplify]: Extracting #0: cost 1 inf + 0 1.989 * * [simplify]: Extracting #1: cost 24 inf + 0 1.989 * * [simplify]: Extracting #2: cost 40 inf + 3 1.990 * * [simplify]: Extracting #3: cost 80 inf + 4 1.991 * * [simplify]: Extracting #4: cost 168 inf + 506 1.999 * * [simplify]: Extracting #5: cost 76 inf + 18884 2.021 * * [simplify]: Extracting #6: cost 7 inf + 31826 2.037 * * [simplify]: Extracting #7: cost 0 inf + 32856 2.055 * * [simplify]: Extracting #8: cost 0 inf + 32649 2.073 * * [simplify]: Extracting #9: cost 0 inf + 32580 2.092 * [simplify]: Simplified to (* 1/2 (fma (cos y) (exp x) (/ (cos y) (exp x)))) 2.108 * * [progress]: iteration 1 / 4 2.108 * * * [progress]: picking best candidate 2.121 * * * * [pick]: Picked # 2.121 * * * [progress]: localizing error 2.157 * * * [progress]: generating rewritten candidates 2.157 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 3) 2.183 * * * [progress]: generating series expansions 2.183 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 3) 2.183 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 2.183 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 2.183 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 2.183 * [taylor]: Taking taylor expansion of (cos y) in x 2.183 * [taylor]: Taking taylor expansion of y in x 2.183 * [backup-simplify]: Simplify y into y 2.183 * [backup-simplify]: Simplify (cos y) into (cos y) 2.183 * [backup-simplify]: Simplify (sin y) into (sin y) 2.184 * [taylor]: Taking taylor expansion of (exp x) in x 2.184 * [taylor]: Taking taylor expansion of x in x 2.184 * [backup-simplify]: Simplify 0 into 0 2.184 * [backup-simplify]: Simplify 1 into 1 2.184 * [backup-simplify]: Simplify (exp 0) into 1 2.184 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 2.184 * [backup-simplify]: Simplify (* (sin y) 0) into 0 2.185 * [backup-simplify]: Simplify (- 0) into 0 2.185 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 2.185 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 2.185 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 2.185 * [taylor]: Taking taylor expansion of (cos y) in y 2.185 * [taylor]: Taking taylor expansion of y in y 2.185 * [backup-simplify]: Simplify 0 into 0 2.185 * [backup-simplify]: Simplify 1 into 1 2.185 * [taylor]: Taking taylor expansion of (exp x) in y 2.185 * [taylor]: Taking taylor expansion of x in y 2.185 * [backup-simplify]: Simplify x into x 2.185 * [backup-simplify]: Simplify (exp x) into (exp x) 2.185 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 2.185 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 2.185 * [taylor]: Taking taylor expansion of (cos y) in y 2.185 * [taylor]: Taking taylor expansion of y in y 2.185 * [backup-simplify]: Simplify 0 into 0 2.185 * [backup-simplify]: Simplify 1 into 1 2.185 * [taylor]: Taking taylor expansion of (exp x) in y 2.185 * [taylor]: Taking taylor expansion of x in y 2.185 * [backup-simplify]: Simplify x into x 2.185 * [backup-simplify]: Simplify (exp x) into (exp x) 2.186 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 2.186 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 2.186 * [taylor]: Taking taylor expansion of (exp x) in x 2.186 * [taylor]: Taking taylor expansion of x in x 2.186 * [backup-simplify]: Simplify 0 into 0 2.186 * [backup-simplify]: Simplify 1 into 1 2.186 * [backup-simplify]: Simplify (exp 0) into 1 2.186 * [backup-simplify]: Simplify (/ 1 1) into 1 2.186 * [backup-simplify]: Simplify 1 into 1 2.187 * [backup-simplify]: Simplify (+ 0) into 0 2.188 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 2.188 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 2.188 * [taylor]: Taking taylor expansion of 0 in x 2.188 * [backup-simplify]: Simplify 0 into 0 2.188 * [backup-simplify]: Simplify 0 into 0 2.190 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 2.190 * [backup-simplify]: Simplify -1 into -1 2.191 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 2.192 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.193 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 2.193 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 2.193 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 2.193 * [taylor]: Taking taylor expansion of 1/2 in x 2.193 * [backup-simplify]: Simplify 1/2 into 1/2 2.193 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 2.193 * [taylor]: Taking taylor expansion of (exp x) in x 2.193 * [taylor]: Taking taylor expansion of x in x 2.193 * [backup-simplify]: Simplify 0 into 0 2.193 * [backup-simplify]: Simplify 1 into 1 2.193 * [backup-simplify]: Simplify (exp 0) into 1 2.193 * [backup-simplify]: Simplify (/ 1 1) into 1 2.194 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.194 * [backup-simplify]: Simplify (- 1/2) into -1/2 2.194 * [backup-simplify]: Simplify -1/2 into -1/2 2.194 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 2.194 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.194 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 2.195 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 2.195 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.195 * [taylor]: Taking taylor expansion of y in x 2.195 * [backup-simplify]: Simplify y into y 2.195 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.195 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.195 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.195 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.195 * [taylor]: Taking taylor expansion of x in x 2.195 * [backup-simplify]: Simplify 0 into 0 2.195 * [backup-simplify]: Simplify 1 into 1 2.195 * [backup-simplify]: Simplify (/ 1 1) into 1 2.195 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.195 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 2.195 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 2.196 * [backup-simplify]: Simplify (- 0) into 0 2.196 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 2.196 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.196 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 2.196 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.196 * [taylor]: Taking taylor expansion of y in y 2.196 * [backup-simplify]: Simplify 0 into 0 2.196 * [backup-simplify]: Simplify 1 into 1 2.196 * [backup-simplify]: Simplify (/ 1 1) into 1 2.197 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.197 * [taylor]: Taking taylor expansion of x in y 2.197 * [backup-simplify]: Simplify x into x 2.197 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.197 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.197 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.197 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 2.197 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.197 * [taylor]: Taking taylor expansion of y in y 2.197 * [backup-simplify]: Simplify 0 into 0 2.197 * [backup-simplify]: Simplify 1 into 1 2.197 * [backup-simplify]: Simplify (/ 1 1) into 1 2.197 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.198 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.198 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.198 * [taylor]: Taking taylor expansion of x in y 2.198 * [backup-simplify]: Simplify x into x 2.198 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.198 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.198 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.198 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 2.198 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.198 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.198 * [taylor]: Taking taylor expansion of y in x 2.198 * [backup-simplify]: Simplify y into y 2.198 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.198 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 2.198 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.198 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.198 * [taylor]: Taking taylor expansion of x in x 2.198 * [backup-simplify]: Simplify 0 into 0 2.198 * [backup-simplify]: Simplify 1 into 1 2.199 * [backup-simplify]: Simplify (/ 1 1) into 1 2.199 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.199 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 2.199 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 2.199 * [backup-simplify]: Simplify (- 0) into 0 2.199 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 2.199 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.199 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 2.200 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.200 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 2.201 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 2.201 * [taylor]: Taking taylor expansion of 0 in x 2.201 * [backup-simplify]: Simplify 0 into 0 2.201 * [backup-simplify]: Simplify 0 into 0 2.201 * [backup-simplify]: Simplify (+ 0) into 0 2.202 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 2.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.203 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.203 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 2.204 * [backup-simplify]: Simplify (- 0) into 0 2.204 * [backup-simplify]: Simplify (+ 0 0) into 0 2.204 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 2.204 * [backup-simplify]: Simplify 0 into 0 2.204 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.206 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.206 * [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.206 * [taylor]: Taking taylor expansion of 0 in x 2.206 * [backup-simplify]: Simplify 0 into 0 2.206 * [backup-simplify]: Simplify 0 into 0 2.206 * [backup-simplify]: Simplify 0 into 0 2.207 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.208 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 2.208 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.209 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.209 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 2.209 * [backup-simplify]: Simplify (- 0) into 0 2.210 * [backup-simplify]: Simplify (+ 0 0) into 0 2.210 * [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.210 * [backup-simplify]: Simplify 0 into 0 2.211 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.213 * [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.213 * [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.213 * [taylor]: Taking taylor expansion of 0 in x 2.213 * [backup-simplify]: Simplify 0 into 0 2.213 * [backup-simplify]: Simplify 0 into 0 2.213 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 2.214 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.214 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 2.214 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 2.214 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.214 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.214 * [taylor]: Taking taylor expansion of -1 in x 2.214 * [backup-simplify]: Simplify -1 into -1 2.214 * [taylor]: Taking taylor expansion of y in x 2.214 * [backup-simplify]: Simplify y into y 2.214 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.214 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.214 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.214 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.214 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.214 * [taylor]: Taking taylor expansion of -1 in x 2.214 * [backup-simplify]: Simplify -1 into -1 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.215 * [backup-simplify]: Simplify (/ -1 1) into -1 2.215 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.215 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 2.215 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 2.215 * [backup-simplify]: Simplify (- 0) into 0 2.215 * [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 -1 in y 2.216 * [backup-simplify]: Simplify -1 into -1 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.216 * [backup-simplify]: Simplify (/ -1 1) into -1 2.216 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.216 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.216 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.216 * [taylor]: Taking taylor expansion of -1 in y 2.216 * [backup-simplify]: Simplify -1 into -1 2.216 * [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 -1 in y 2.217 * [backup-simplify]: Simplify -1 into -1 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.218 * [backup-simplify]: Simplify (/ -1 1) into -1 2.218 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 2.218 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.218 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.218 * [taylor]: Taking taylor expansion of -1 in y 2.218 * [backup-simplify]: Simplify -1 into -1 2.218 * [taylor]: Taking taylor expansion of x in y 2.218 * [backup-simplify]: Simplify x into x 2.218 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.218 * [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 -1 in x 2.218 * [backup-simplify]: Simplify -1 into -1 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.219 * [taylor]: Taking taylor expansion of -1 in x 2.219 * [backup-simplify]: Simplify -1 into -1 2.219 * [taylor]: Taking taylor expansion of x in x 2.219 * [backup-simplify]: Simplify 0 into 0 2.219 * [backup-simplify]: Simplify 1 into 1 2.219 * [backup-simplify]: Simplify (/ -1 1) into -1 2.219 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.219 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 2.219 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 2.220 * [backup-simplify]: Simplify (- 0) into 0 2.220 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 2.220 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.220 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 2.220 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.221 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 2.221 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 2.221 * [taylor]: Taking taylor expansion of 0 in x 2.221 * [backup-simplify]: Simplify 0 into 0 2.221 * [backup-simplify]: Simplify 0 into 0 2.222 * [backup-simplify]: Simplify (+ 0) into 0 2.222 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 2.223 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.224 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.224 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 2.224 * [backup-simplify]: Simplify (- 0) into 0 2.225 * [backup-simplify]: Simplify (+ 0 0) into 0 2.225 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 2.225 * [backup-simplify]: Simplify 0 into 0 2.225 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.227 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.227 * [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.227 * [taylor]: Taking taylor expansion of 0 in x 2.227 * [backup-simplify]: Simplify 0 into 0 2.227 * [backup-simplify]: Simplify 0 into 0 2.227 * [backup-simplify]: Simplify 0 into 0 2.228 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.229 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 2.229 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.230 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.230 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 2.231 * [backup-simplify]: Simplify (- 0) into 0 2.231 * [backup-simplify]: Simplify (+ 0 0) 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)))))) into 0 2.232 * [backup-simplify]: Simplify 0 into 0 2.232 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.234 * [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.234 * [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.234 * [taylor]: Taking taylor expansion of 0 in x 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 2.234 * * * [progress]: simplifying candidates 2.234 * * * * [progress]: [ 1 / 33 ] simplifiying candidate # 2.234 * * * * [progress]: [ 2 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 3 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 4 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 5 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 6 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 7 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 8 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 9 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 10 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 11 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 12 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 13 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 14 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 15 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 16 / 33 ] simplifiying candidate # 2.235 * * * * [progress]: [ 17 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 18 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 19 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 20 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 21 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 22 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 23 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 24 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 25 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 26 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 27 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 28 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 29 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #real (real->posit16 (/ (cos y) (exp x)))))))> 2.236 * * * * [progress]: [ 31 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 32 / 33 ] simplifiying candidate # 2.236 * * * * [progress]: [ 33 / 33 ] simplifiying candidate # 2.237 * [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))), (- 1 (+ (* 1/2 (pow y 2)) x)), (/ (cos y) (exp x)), (/ (cos y) (exp x)) 2.238 * * [simplify]: iteration 1: (59 enodes) 2.258 * * [simplify]: iteration 2: (219 enodes) 2.303 * * [simplify]: iteration 3: (394 enodes) 2.471 * * [simplify]: iteration 4: (634 enodes) 2.693 * * [simplify]: iteration 5: (983 enodes) 3.070 * * [simplify]: iteration 6: (1371 enodes) 3.903 * * [simplify]: Extracting #0: cost 35 inf + 0 3.904 * * [simplify]: Extracting #1: cost 249 inf + 1 3.908 * * [simplify]: Extracting #2: cost 446 inf + 2802 3.919 * * [simplify]: Extracting #3: cost 334 inf + 30223 3.937 * * [simplify]: Extracting #4: cost 108 inf + 142667 3.960 * * [simplify]: Extracting #5: cost 1 inf + 209024 4.005 * * [simplify]: Extracting #6: cost 0 inf + 209579 4.033 * [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))), (- (fma -1/2 (* y y) 1) x), (/ (cos y) (exp x)), (/ (cos y) (exp x)) 4.036 * * * [progress]: adding candidates to table 4.426 * * [progress]: iteration 2 / 4 4.426 * * * [progress]: picking best candidate 4.431 * * * * [pick]: Picked # 4.431 * * * [progress]: localizing error 4.456 * * * [progress]: generating rewritten candidates 4.456 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 3) 4.475 * * * [progress]: generating series expansions 4.476 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 3) 4.476 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 4.476 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 4.476 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 4.476 * [taylor]: Taking taylor expansion of (cos y) in x 4.476 * [taylor]: Taking taylor expansion of y in x 4.476 * [backup-simplify]: Simplify y into y 4.476 * [backup-simplify]: Simplify (cos y) into (cos y) 4.476 * [backup-simplify]: Simplify (sin y) into (sin y) 4.476 * [taylor]: Taking taylor expansion of (exp x) in x 4.476 * [taylor]: Taking taylor expansion of x in x 4.476 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify 1 into 1 4.476 * [backup-simplify]: Simplify (exp 0) into 1 4.476 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 4.476 * [backup-simplify]: Simplify (* (sin y) 0) into 0 4.477 * [backup-simplify]: Simplify (- 0) into 0 4.477 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 4.477 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 4.477 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.477 * [taylor]: Taking taylor expansion of (cos y) in y 4.477 * [taylor]: Taking taylor expansion of y in y 4.477 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify 1 into 1 4.478 * [taylor]: Taking taylor expansion of (exp x) in y 4.478 * [taylor]: Taking taylor expansion of x in y 4.478 * [backup-simplify]: Simplify x into x 4.478 * [backup-simplify]: Simplify (exp x) into (exp x) 4.478 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.478 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 4.478 * [taylor]: Taking taylor expansion of (cos y) in y 4.478 * [taylor]: Taking taylor expansion of y in y 4.478 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify 1 into 1 4.478 * [taylor]: Taking taylor expansion of (exp x) in y 4.478 * [taylor]: Taking taylor expansion of x in y 4.478 * [backup-simplify]: Simplify x into x 4.478 * [backup-simplify]: Simplify (exp x) into (exp x) 4.478 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 4.478 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.478 * [taylor]: Taking taylor expansion of (exp x) in x 4.478 * [taylor]: Taking taylor expansion of x in x 4.478 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify 1 into 1 4.478 * [backup-simplify]: Simplify (exp 0) into 1 4.479 * [backup-simplify]: Simplify (/ 1 1) into 1 4.479 * [backup-simplify]: Simplify 1 into 1 4.479 * [backup-simplify]: Simplify (+ 0) into 0 4.480 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 4.481 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 4.481 * [taylor]: Taking taylor expansion of 0 in x 4.481 * [backup-simplify]: Simplify 0 into 0 4.481 * [backup-simplify]: Simplify 0 into 0 4.482 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 4.483 * [backup-simplify]: Simplify -1 into -1 4.484 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.485 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.485 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 4.485 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 4.485 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 4.485 * [taylor]: Taking taylor expansion of 1/2 in x 4.485 * [backup-simplify]: Simplify 1/2 into 1/2 4.485 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 4.485 * [taylor]: Taking taylor expansion of (exp x) in x 4.485 * [taylor]: Taking taylor expansion of x in x 4.485 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify 1 into 1 4.485 * [backup-simplify]: Simplify (exp 0) into 1 4.486 * [backup-simplify]: Simplify (/ 1 1) into 1 4.486 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.487 * [backup-simplify]: Simplify (- 1/2) into -1/2 4.487 * [backup-simplify]: Simplify -1/2 into -1/2 4.487 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 4.487 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.487 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 4.487 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.487 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.487 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.487 * [taylor]: Taking taylor expansion of y in x 4.487 * [backup-simplify]: Simplify y into y 4.487 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.487 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.487 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.488 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.488 * [taylor]: Taking taylor expansion of x in x 4.488 * [backup-simplify]: Simplify 0 into 0 4.488 * [backup-simplify]: Simplify 1 into 1 4.488 * [backup-simplify]: Simplify (/ 1 1) into 1 4.488 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.488 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.488 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.489 * [backup-simplify]: Simplify (- 0) into 0 4.489 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.489 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.489 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.489 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.489 * [taylor]: Taking taylor expansion of y in y 4.489 * [backup-simplify]: Simplify 0 into 0 4.489 * [backup-simplify]: Simplify 1 into 1 4.489 * [backup-simplify]: Simplify (/ 1 1) into 1 4.490 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.490 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.490 * [taylor]: Taking taylor expansion of x in y 4.490 * [backup-simplify]: Simplify x into x 4.490 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.490 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.490 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.490 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 4.490 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.490 * [taylor]: Taking taylor expansion of y in y 4.490 * [backup-simplify]: Simplify 0 into 0 4.490 * [backup-simplify]: Simplify 1 into 1 4.490 * [backup-simplify]: Simplify (/ 1 1) into 1 4.490 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.490 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.490 * [taylor]: Taking taylor expansion of x in y 4.490 * [backup-simplify]: Simplify x into x 4.491 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.491 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.491 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.491 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 4.491 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.491 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.491 * [taylor]: Taking taylor expansion of y in x 4.491 * [backup-simplify]: Simplify y into y 4.491 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.491 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 4.491 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 4.491 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.491 * [taylor]: Taking taylor expansion of x in x 4.491 * [backup-simplify]: Simplify 0 into 0 4.491 * [backup-simplify]: Simplify 1 into 1 4.492 * [backup-simplify]: Simplify (/ 1 1) into 1 4.492 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.492 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 4.492 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 4.492 * [backup-simplify]: Simplify (- 0) into 0 4.492 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 4.492 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.492 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 4.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.493 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.494 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.494 * [taylor]: Taking taylor expansion of 0 in x 4.494 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify (+ 0) into 0 4.495 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 4.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.495 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.496 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 4.496 * [backup-simplify]: Simplify (- 0) into 0 4.497 * [backup-simplify]: Simplify (+ 0 0) into 0 4.497 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 4.497 * [backup-simplify]: Simplify 0 into 0 4.497 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.499 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.499 * [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.499 * [taylor]: Taking taylor expansion of 0 in x 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 0 into 0 4.500 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.501 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.502 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.502 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.503 * [backup-simplify]: Simplify (- 0) into 0 4.503 * [backup-simplify]: Simplify (+ 0 0) into 0 4.504 * [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.504 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.506 * [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.506 * [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.506 * [taylor]: Taking taylor expansion of 0 in x 4.506 * [backup-simplify]: Simplify 0 into 0 4.506 * [backup-simplify]: Simplify 0 into 0 4.506 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 4.506 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.506 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 4.506 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.507 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.507 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.507 * [taylor]: Taking taylor expansion of -1 in x 4.507 * [backup-simplify]: Simplify -1 into -1 4.507 * [taylor]: Taking taylor expansion of y in x 4.507 * [backup-simplify]: Simplify y into y 4.507 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.507 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.507 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.507 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.507 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.507 * [taylor]: Taking taylor expansion of -1 in x 4.507 * [backup-simplify]: Simplify -1 into -1 4.507 * [taylor]: Taking taylor expansion of x in x 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify 1 into 1 4.508 * [backup-simplify]: Simplify (/ -1 1) into -1 4.508 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.508 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.508 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.508 * [backup-simplify]: Simplify (- 0) into 0 4.508 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.508 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.508 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.509 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.509 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.509 * [taylor]: Taking taylor expansion of -1 in y 4.509 * [backup-simplify]: Simplify -1 into -1 4.509 * [taylor]: Taking taylor expansion of y in y 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 1 into 1 4.509 * [backup-simplify]: Simplify (/ -1 1) into -1 4.509 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.509 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.509 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.509 * [taylor]: Taking taylor expansion of -1 in y 4.509 * [backup-simplify]: Simplify -1 into -1 4.509 * [taylor]: Taking taylor expansion of x in y 4.509 * [backup-simplify]: Simplify x into x 4.509 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.510 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.510 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.510 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 4.510 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.510 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.510 * [taylor]: Taking taylor expansion of -1 in y 4.510 * [backup-simplify]: Simplify -1 into -1 4.510 * [taylor]: Taking taylor expansion of y in y 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 1 into 1 4.510 * [backup-simplify]: Simplify (/ -1 1) into -1 4.510 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.511 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.511 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.511 * [taylor]: Taking taylor expansion of -1 in y 4.511 * [backup-simplify]: Simplify -1 into -1 4.511 * [taylor]: Taking taylor expansion of x in y 4.511 * [backup-simplify]: Simplify x into x 4.511 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.511 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.511 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.511 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 4.511 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.511 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.511 * [taylor]: Taking taylor expansion of -1 in x 4.511 * [backup-simplify]: Simplify -1 into -1 4.511 * [taylor]: Taking taylor expansion of y in x 4.511 * [backup-simplify]: Simplify y into y 4.511 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.511 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 4.511 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 4.511 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.511 * [taylor]: Taking taylor expansion of -1 in x 4.512 * [backup-simplify]: Simplify -1 into -1 4.512 * [taylor]: Taking taylor expansion of x in x 4.512 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify 1 into 1 4.512 * [backup-simplify]: Simplify (/ -1 1) into -1 4.512 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.512 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 4.512 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 4.513 * [backup-simplify]: Simplify (- 0) into 0 4.513 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 4.513 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.513 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 4.513 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.514 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 4.514 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.514 * [taylor]: Taking taylor expansion of 0 in x 4.515 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify (+ 0) into 0 4.516 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 4.516 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.516 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.517 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 4.517 * [backup-simplify]: Simplify (- 0) into 0 4.518 * [backup-simplify]: Simplify (+ 0 0) into 0 4.518 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 4.518 * [backup-simplify]: Simplify 0 into 0 4.518 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.519 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.519 * [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.519 * [taylor]: Taking taylor expansion of 0 in x 4.519 * [backup-simplify]: Simplify 0 into 0 4.519 * [backup-simplify]: Simplify 0 into 0 4.519 * [backup-simplify]: Simplify 0 into 0 4.519 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.520 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 4.520 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.521 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.521 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 4.521 * [backup-simplify]: Simplify (- 0) into 0 4.521 * [backup-simplify]: Simplify (+ 0 0) into 0 4.522 * [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.522 * [backup-simplify]: Simplify 0 into 0 4.522 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.523 * [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.523 * [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.523 * [taylor]: Taking taylor expansion of 0 in x 4.523 * [backup-simplify]: Simplify 0 into 0 4.523 * [backup-simplify]: Simplify 0 into 0 4.523 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 4.523 * * * [progress]: simplifying candidates 4.523 * * * * [progress]: [ 1 / 33 ] simplifiying candidate # 4.523 * * * * [progress]: [ 2 / 33 ] simplifiying candidate # 4.523 * * * * [progress]: [ 3 / 33 ] simplifiying candidate # 4.523 * * * * [progress]: [ 4 / 33 ] simplifiying candidate # 4.523 * * * * [progress]: [ 5 / 33 ] simplifiying candidate # 4.523 * * * * [progress]: [ 6 / 33 ] simplifiying candidate # 4.523 * * * * [progress]: [ 7 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 8 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 9 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 10 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 11 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 12 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 13 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 14 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 15 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 16 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 17 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 18 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 19 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 20 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 21 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 22 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 23 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 24 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 25 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 26 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 27 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 28 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 29 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #real (real->posit16 (/ (cos y) (exp x)))))))> 4.524 * * * * [progress]: [ 31 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 32 / 33 ] simplifiying candidate # 4.524 * * * * [progress]: [ 33 / 33 ] simplifiying candidate # 4.525 * [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))), (- 1 (+ (* 1/2 (pow y 2)) x)), (/ (cos y) (exp x)), (/ (cos y) (exp x)) 4.525 * * [simplify]: iteration 1: (59 enodes) 4.540 * * [simplify]: iteration 2: (219 enodes) 4.592 * * [simplify]: iteration 3: (394 enodes) 4.710 * * [simplify]: iteration 4: (634 enodes) 4.894 * * [simplify]: iteration 5: (983 enodes) 5.258 * * [simplify]: iteration 6: (1371 enodes) 6.127 * * [simplify]: Extracting #0: cost 35 inf + 0 6.127 * * [simplify]: Extracting #1: cost 249 inf + 1 6.130 * * [simplify]: Extracting #2: cost 446 inf + 2802 6.135 * * [simplify]: Extracting #3: cost 334 inf + 30223 6.154 * * [simplify]: Extracting #4: cost 108 inf + 142667 6.185 * * [simplify]: Extracting #5: cost 1 inf + 209024 6.217 * * [simplify]: Extracting #6: cost 0 inf + 209579 6.248 * [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))), (- (fma -1/2 (* y y) 1) x), (/ (cos y) (exp x)), (/ (cos y) (exp x)) 6.252 * * * [progress]: adding candidates to table 6.604 * * [progress]: iteration 3 / 4 6.604 * * * [progress]: picking best candidate 6.610 * * * * [pick]: Picked # 6.610 * * * [progress]: localizing error 6.659 * * * [progress]: generating rewritten candidates 6.660 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 3) 6.691 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 3 1) 6.702 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 3 2) 6.704 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 3 1 2) 6.711 * * * [progress]: generating series expansions 6.711 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 3) 6.712 * [backup-simplify]: Simplify (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) into (/ (cos y) (exp x)) 6.712 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 6.712 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 6.712 * [taylor]: Taking taylor expansion of (cos y) in x 6.712 * [taylor]: Taking taylor expansion of y in x 6.712 * [backup-simplify]: Simplify y into y 6.712 * [backup-simplify]: Simplify (cos y) into (cos y) 6.712 * [backup-simplify]: Simplify (sin y) into (sin y) 6.712 * [taylor]: Taking taylor expansion of (exp x) in x 6.712 * [taylor]: Taking taylor expansion of x in x 6.712 * [backup-simplify]: Simplify 0 into 0 6.712 * [backup-simplify]: Simplify 1 into 1 6.712 * [backup-simplify]: Simplify (exp 0) into 1 6.712 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 6.712 * [backup-simplify]: Simplify (* (sin y) 0) into 0 6.713 * [backup-simplify]: Simplify (- 0) into 0 6.713 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 6.713 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 6.713 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 6.713 * [taylor]: Taking taylor expansion of (cos y) in y 6.713 * [taylor]: Taking taylor expansion of y in y 6.713 * [backup-simplify]: Simplify 0 into 0 6.713 * [backup-simplify]: Simplify 1 into 1 6.713 * [taylor]: Taking taylor expansion of (exp x) in y 6.713 * [taylor]: Taking taylor expansion of x in y 6.713 * [backup-simplify]: Simplify x into x 6.713 * [backup-simplify]: Simplify (exp x) into (exp x) 6.713 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 6.713 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 6.713 * [taylor]: Taking taylor expansion of (cos y) in y 6.713 * [taylor]: Taking taylor expansion of y in y 6.713 * [backup-simplify]: Simplify 0 into 0 6.713 * [backup-simplify]: Simplify 1 into 1 6.713 * [taylor]: Taking taylor expansion of (exp x) in y 6.713 * [taylor]: Taking taylor expansion of x in y 6.713 * [backup-simplify]: Simplify x into x 6.713 * [backup-simplify]: Simplify (exp x) into (exp x) 6.713 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 6.713 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 6.713 * [taylor]: Taking taylor expansion of (exp x) in x 6.713 * [taylor]: Taking taylor expansion of x in x 6.713 * [backup-simplify]: Simplify 0 into 0 6.713 * [backup-simplify]: Simplify 1 into 1 6.713 * [backup-simplify]: Simplify (exp 0) into 1 6.714 * [backup-simplify]: Simplify (/ 1 1) into 1 6.714 * [backup-simplify]: Simplify 1 into 1 6.714 * [backup-simplify]: Simplify (+ 0) into 0 6.714 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 6.715 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 6.715 * [taylor]: Taking taylor expansion of 0 in x 6.715 * [backup-simplify]: Simplify 0 into 0 6.715 * [backup-simplify]: Simplify 0 into 0 6.715 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 6.716 * [backup-simplify]: Simplify -1 into -1 6.716 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 6.717 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.717 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 6.717 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 6.717 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 6.717 * [taylor]: Taking taylor expansion of 1/2 in x 6.717 * [backup-simplify]: Simplify 1/2 into 1/2 6.717 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 6.717 * [taylor]: Taking taylor expansion of (exp x) in x 6.717 * [taylor]: Taking taylor expansion of x in x 6.717 * [backup-simplify]: Simplify 0 into 0 6.717 * [backup-simplify]: Simplify 1 into 1 6.718 * [backup-simplify]: Simplify (exp 0) into 1 6.718 * [backup-simplify]: Simplify (/ 1 1) into 1 6.718 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 6.718 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.718 * [backup-simplify]: Simplify -1/2 into -1/2 6.719 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 6.719 * [backup-simplify]: Simplify (/ (/ (cos (/ 1 y)) (sqrt (exp (/ 1 x)))) (sqrt (exp (/ 1 x)))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 6.719 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 6.719 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 6.719 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 6.719 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.719 * [taylor]: Taking taylor expansion of y in x 6.719 * [backup-simplify]: Simplify y into y 6.719 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.719 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.719 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 6.719 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.719 * [taylor]: Taking taylor expansion of x in x 6.719 * [backup-simplify]: Simplify 0 into 0 6.719 * [backup-simplify]: Simplify 1 into 1 6.719 * [backup-simplify]: Simplify (/ 1 1) into 1 6.719 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.719 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 6.719 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 6.720 * [backup-simplify]: Simplify (- 0) into 0 6.720 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 6.720 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 6.720 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 6.720 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.720 * [taylor]: Taking taylor expansion of y in y 6.720 * [backup-simplify]: Simplify 0 into 0 6.720 * [backup-simplify]: Simplify 1 into 1 6.720 * [backup-simplify]: Simplify (/ 1 1) into 1 6.720 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.720 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.720 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.720 * [taylor]: Taking taylor expansion of x in y 6.720 * [backup-simplify]: Simplify x into x 6.720 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.720 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.720 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 6.720 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 6.721 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.721 * [taylor]: Taking taylor expansion of y in y 6.721 * [backup-simplify]: Simplify 0 into 0 6.721 * [backup-simplify]: Simplify 1 into 1 6.721 * [backup-simplify]: Simplify (/ 1 1) into 1 6.721 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.721 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.721 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.721 * [taylor]: Taking taylor expansion of x in y 6.721 * [backup-simplify]: Simplify x into x 6.721 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.721 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.721 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 6.721 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 6.721 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 6.721 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.721 * [taylor]: Taking taylor expansion of y in x 6.721 * [backup-simplify]: Simplify y into y 6.721 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.721 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.721 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 6.721 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.721 * [taylor]: Taking taylor expansion of x in x 6.722 * [backup-simplify]: Simplify 0 into 0 6.722 * [backup-simplify]: Simplify 1 into 1 6.722 * [backup-simplify]: Simplify (/ 1 1) into 1 6.722 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.722 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 6.722 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 6.723 * [backup-simplify]: Simplify (- 0) into 0 6.723 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 6.723 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 6.723 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 6.723 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.724 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.724 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 6.724 * [taylor]: Taking taylor expansion of 0 in x 6.724 * [backup-simplify]: Simplify 0 into 0 6.724 * [backup-simplify]: Simplify 0 into 0 6.725 * [backup-simplify]: Simplify (+ 0) into 0 6.725 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 6.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.726 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.726 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 6.727 * [backup-simplify]: Simplify (- 0) into 0 6.727 * [backup-simplify]: Simplify (+ 0 0) into 0 6.728 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 6.728 * [backup-simplify]: Simplify 0 into 0 6.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.729 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.730 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 6.730 * [taylor]: Taking taylor expansion of 0 in x 6.730 * [backup-simplify]: Simplify 0 into 0 6.730 * [backup-simplify]: Simplify 0 into 0 6.730 * [backup-simplify]: Simplify 0 into 0 6.731 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.731 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 6.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.732 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.733 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 6.733 * [backup-simplify]: Simplify (- 0) into 0 6.734 * [backup-simplify]: Simplify (+ 0 0) into 0 6.734 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 6.734 * [backup-simplify]: Simplify 0 into 0 6.734 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.736 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.736 * [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 6.736 * [taylor]: Taking taylor expansion of 0 in x 6.736 * [backup-simplify]: Simplify 0 into 0 6.736 * [backup-simplify]: Simplify 0 into 0 6.736 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 6.737 * [backup-simplify]: Simplify (/ (/ (cos (/ 1 (- y))) (sqrt (exp (/ 1 (- x))))) (sqrt (exp (/ 1 (- x))))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 6.737 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 6.737 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 6.737 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 6.737 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.737 * [taylor]: Taking taylor expansion of -1 in x 6.737 * [backup-simplify]: Simplify -1 into -1 6.737 * [taylor]: Taking taylor expansion of y in x 6.737 * [backup-simplify]: Simplify y into y 6.737 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.737 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.737 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 6.737 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.737 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.737 * [taylor]: Taking taylor expansion of -1 in x 6.737 * [backup-simplify]: Simplify -1 into -1 6.737 * [taylor]: Taking taylor expansion of x in x 6.737 * [backup-simplify]: Simplify 0 into 0 6.737 * [backup-simplify]: Simplify 1 into 1 6.738 * [backup-simplify]: Simplify (/ -1 1) into -1 6.738 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.738 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 6.738 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 6.738 * [backup-simplify]: Simplify (- 0) into 0 6.738 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 6.738 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 6.738 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 6.738 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.738 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.738 * [taylor]: Taking taylor expansion of -1 in y 6.738 * [backup-simplify]: Simplify -1 into -1 6.738 * [taylor]: Taking taylor expansion of y in y 6.739 * [backup-simplify]: Simplify 0 into 0 6.739 * [backup-simplify]: Simplify 1 into 1 6.739 * [backup-simplify]: Simplify (/ -1 1) into -1 6.739 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.739 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.739 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.739 * [taylor]: Taking taylor expansion of -1 in y 6.739 * [backup-simplify]: Simplify -1 into -1 6.739 * [taylor]: Taking taylor expansion of x in y 6.739 * [backup-simplify]: Simplify x into x 6.739 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 6.739 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.739 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 6.739 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 6.739 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.739 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.739 * [taylor]: Taking taylor expansion of -1 in y 6.739 * [backup-simplify]: Simplify -1 into -1 6.739 * [taylor]: Taking taylor expansion of y in y 6.740 * [backup-simplify]: Simplify 0 into 0 6.740 * [backup-simplify]: Simplify 1 into 1 6.740 * [backup-simplify]: Simplify (/ -1 1) into -1 6.740 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.740 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.740 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.740 * [taylor]: Taking taylor expansion of -1 in y 6.740 * [backup-simplify]: Simplify -1 into -1 6.740 * [taylor]: Taking taylor expansion of x in y 6.740 * [backup-simplify]: Simplify x into x 6.740 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 6.740 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.740 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 6.740 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 6.741 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 6.741 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.741 * [taylor]: Taking taylor expansion of -1 in x 6.741 * [backup-simplify]: Simplify -1 into -1 6.741 * [taylor]: Taking taylor expansion of y in x 6.741 * [backup-simplify]: Simplify y into y 6.741 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.741 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.741 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 6.741 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.741 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.741 * [taylor]: Taking taylor expansion of -1 in x 6.741 * [backup-simplify]: Simplify -1 into -1 6.741 * [taylor]: Taking taylor expansion of x in x 6.741 * [backup-simplify]: Simplify 0 into 0 6.741 * [backup-simplify]: Simplify 1 into 1 6.741 * [backup-simplify]: Simplify (/ -1 1) into -1 6.741 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.742 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 6.742 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 6.742 * [backup-simplify]: Simplify (- 0) into 0 6.742 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 6.742 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 6.742 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 6.742 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 6.743 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.749 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 6.749 * [taylor]: Taking taylor expansion of 0 in x 6.749 * [backup-simplify]: Simplify 0 into 0 6.749 * [backup-simplify]: Simplify 0 into 0 6.750 * [backup-simplify]: Simplify (+ 0) into 0 6.751 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 6.751 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 6.752 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.752 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 6.752 * [backup-simplify]: Simplify (- 0) into 0 6.753 * [backup-simplify]: Simplify (+ 0 0) into 0 6.753 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 6.753 * [backup-simplify]: Simplify 0 into 0 6.753 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.755 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.755 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 6.755 * [taylor]: Taking taylor expansion of 0 in x 6.755 * [backup-simplify]: Simplify 0 into 0 6.755 * [backup-simplify]: Simplify 0 into 0 6.755 * [backup-simplify]: Simplify 0 into 0 6.756 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.757 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 6.757 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.758 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.758 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 6.759 * [backup-simplify]: Simplify (- 0) into 0 6.759 * [backup-simplify]: Simplify (+ 0 0) into 0 6.760 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 6.760 * [backup-simplify]: Simplify 0 into 0 6.760 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.762 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.762 * [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 6.762 * [taylor]: Taking taylor expansion of 0 in x 6.762 * [backup-simplify]: Simplify 0 into 0 6.762 * [backup-simplify]: Simplify 0 into 0 6.762 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 6.762 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 3 1) 6.763 * [backup-simplify]: Simplify (/ (cos y) (sqrt (exp x))) into (* (sqrt (/ 1 (exp x))) (cos y)) 6.763 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (exp x))) (cos y)) in (y x) around 0 6.763 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp x))) (cos y)) in x 6.763 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in x 6.763 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 6.763 * [taylor]: Taking taylor expansion of (exp x) in x 6.763 * [taylor]: Taking taylor expansion of x in x 6.763 * [backup-simplify]: Simplify 0 into 0 6.763 * [backup-simplify]: Simplify 1 into 1 6.763 * [backup-simplify]: Simplify (exp 0) into 1 6.763 * [backup-simplify]: Simplify (/ 1 1) into 1 6.763 * [backup-simplify]: Simplify (sqrt 1) into 1 6.765 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 6.766 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 6.766 * [taylor]: Taking taylor expansion of (cos y) in x 6.766 * [taylor]: Taking taylor expansion of y in x 6.766 * [backup-simplify]: Simplify y into y 6.766 * [backup-simplify]: Simplify (cos y) into (cos y) 6.766 * [backup-simplify]: Simplify (sin y) into (sin y) 6.766 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp x))) (cos y)) in y 6.766 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in y 6.766 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in y 6.766 * [taylor]: Taking taylor expansion of (exp x) in y 6.766 * [taylor]: Taking taylor expansion of x in y 6.766 * [backup-simplify]: Simplify x into x 6.766 * [backup-simplify]: Simplify (exp x) into (exp x) 6.766 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 6.767 * [backup-simplify]: Simplify (sqrt (/ 1 (exp x))) into (sqrt (/ 1 (exp x))) 6.767 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 6.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 6.768 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp x))))) into 0 6.768 * [taylor]: Taking taylor expansion of (cos y) in y 6.768 * [taylor]: Taking taylor expansion of y in y 6.768 * [backup-simplify]: Simplify 0 into 0 6.768 * [backup-simplify]: Simplify 1 into 1 6.768 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp x))) (cos y)) in y 6.768 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in y 6.768 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in y 6.768 * [taylor]: Taking taylor expansion of (exp x) in y 6.768 * [taylor]: Taking taylor expansion of x in y 6.768 * [backup-simplify]: Simplify x into x 6.768 * [backup-simplify]: Simplify (exp x) into (exp x) 6.768 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 6.768 * [backup-simplify]: Simplify (sqrt (/ 1 (exp x))) into (sqrt (/ 1 (exp x))) 6.769 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 6.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 6.769 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp x))))) into 0 6.770 * [taylor]: Taking taylor expansion of (cos y) in y 6.770 * [taylor]: Taking taylor expansion of y in y 6.770 * [backup-simplify]: Simplify 0 into 0 6.770 * [backup-simplify]: Simplify 1 into 1 6.770 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp x))) 1) into (sqrt (/ 1 (exp x))) 6.770 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in x 6.770 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 6.770 * [taylor]: Taking taylor expansion of (exp x) in x 6.770 * [taylor]: Taking taylor expansion of x in x 6.770 * [backup-simplify]: Simplify 0 into 0 6.770 * [backup-simplify]: Simplify 1 into 1 6.770 * [backup-simplify]: Simplify (exp 0) into 1 6.770 * [backup-simplify]: Simplify (/ 1 1) into 1 6.771 * [backup-simplify]: Simplify (sqrt 1) into 1 6.772 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 6.773 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 6.773 * [backup-simplify]: Simplify 1 into 1 6.774 * [backup-simplify]: Simplify (+ 0) into 0 6.774 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp x))) 0) (* 0 1)) into 0 6.774 * [taylor]: Taking taylor expansion of 0 in x 6.774 * [backup-simplify]: Simplify 0 into 0 6.774 * [backup-simplify]: Simplify 0 into 0 6.774 * [backup-simplify]: Simplify -1/2 into -1/2 6.775 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 6.776 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into 0 6.777 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp x))))) into 0 6.778 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp x))) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (sqrt (/ 1 (exp x))))) 6.778 * [taylor]: Taking taylor expansion of (- (* 1/2 (sqrt (/ 1 (exp x))))) in x 6.778 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 (exp x)))) in x 6.778 * [taylor]: Taking taylor expansion of 1/2 in x 6.778 * [backup-simplify]: Simplify 1/2 into 1/2 6.778 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in x 6.778 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 6.778 * [taylor]: Taking taylor expansion of (exp x) in x 6.778 * [taylor]: Taking taylor expansion of x in x 6.778 * [backup-simplify]: Simplify 0 into 0 6.778 * [backup-simplify]: Simplify 1 into 1 6.778 * [backup-simplify]: Simplify (exp 0) into 1 6.778 * [backup-simplify]: Simplify (/ 1 1) into 1 6.779 * [backup-simplify]: Simplify (sqrt 1) into 1 6.780 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 6.781 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 6.782 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 6.782 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.782 * [backup-simplify]: Simplify -1/2 into -1/2 6.782 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1/2 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) (* 1/2 x))) 6.782 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (sqrt (exp (/ 1 x)))) into (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) 6.782 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in (y x) around 0 6.782 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in x 6.782 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ 1 x)))) in x 6.782 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 6.782 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.782 * [taylor]: Taking taylor expansion of x in x 6.783 * [backup-simplify]: Simplify 0 into 0 6.783 * [backup-simplify]: Simplify 1 into 1 6.783 * [backup-simplify]: Simplify (/ 1 1) into 1 6.783 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.783 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 6.783 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ 1 x)))) into (sqrt (/ 1 (exp (/ 1 x)))) 6.783 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 6.783 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0 6.783 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 6.783 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.784 * [taylor]: Taking taylor expansion of y in x 6.784 * [backup-simplify]: Simplify y into y 6.784 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.784 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.784 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 6.784 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in y 6.784 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ 1 x)))) in y 6.784 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in y 6.784 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.784 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.784 * [taylor]: Taking taylor expansion of x in y 6.784 * [backup-simplify]: Simplify x into x 6.784 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.784 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.784 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 6.784 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ 1 x)))) into (sqrt (/ 1 (exp (/ 1 x)))) 6.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.785 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 6.785 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0 6.785 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.785 * [taylor]: Taking taylor expansion of y in y 6.786 * [backup-simplify]: Simplify 0 into 0 6.786 * [backup-simplify]: Simplify 1 into 1 6.786 * [backup-simplify]: Simplify (/ 1 1) into 1 6.786 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.786 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in y 6.786 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ 1 x)))) in y 6.786 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in y 6.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.786 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.786 * [taylor]: Taking taylor expansion of x in y 6.786 * [backup-simplify]: Simplify x into x 6.786 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.786 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.786 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 6.786 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ 1 x)))) into (sqrt (/ 1 (exp (/ 1 x)))) 6.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.787 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 6.788 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0 6.788 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.788 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.788 * [taylor]: Taking taylor expansion of y in y 6.788 * [backup-simplify]: Simplify 0 into 0 6.788 * [backup-simplify]: Simplify 1 into 1 6.788 * [backup-simplify]: Simplify (/ 1 1) into 1 6.788 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.788 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) 6.788 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in x 6.788 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ 1 x)))) in x 6.788 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 6.788 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.789 * [taylor]: Taking taylor expansion of x in x 6.789 * [backup-simplify]: Simplify 0 into 0 6.789 * [backup-simplify]: Simplify 1 into 1 6.789 * [backup-simplify]: Simplify (/ 1 1) into 1 6.789 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.789 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 6.789 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ 1 x)))) into (sqrt (/ 1 (exp (/ 1 x)))) 6.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 6.790 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0 6.790 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 6.790 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.790 * [taylor]: Taking taylor expansion of y in x 6.790 * [backup-simplify]: Simplify y into y 6.790 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.790 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.790 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 6.790 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 6.790 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 6.790 * [backup-simplify]: Simplify (- 0) into 0 6.790 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 6.791 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) 6.791 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) 6.791 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (* 0 (cos (/ 1 y)))) into 0 6.791 * [taylor]: Taking taylor expansion of 0 in x 6.791 * [backup-simplify]: Simplify 0 into 0 6.791 * [backup-simplify]: Simplify 0 into 0 6.791 * [backup-simplify]: Simplify (+ 0) into 0 6.792 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 6.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.793 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.793 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 6.794 * [backup-simplify]: Simplify (- 0) into 0 6.794 * [backup-simplify]: Simplify (+ 0 0) into 0 6.794 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (* 0 (cos (/ 1 y)))) into 0 6.794 * [backup-simplify]: Simplify 0 into 0 6.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.796 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.796 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 6.797 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0 6.797 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 6.797 * [taylor]: Taking taylor expansion of 0 in x 6.797 * [backup-simplify]: Simplify 0 into 0 6.797 * [backup-simplify]: Simplify 0 into 0 6.797 * [backup-simplify]: Simplify 0 into 0 6.798 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.799 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 6.799 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.800 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.801 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 6.801 * [backup-simplify]: Simplify (- 0) into 0 6.801 * [backup-simplify]: Simplify (+ 0 0) into 0 6.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 6.802 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0 6.803 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 6.803 * [backup-simplify]: Simplify 0 into 0 6.803 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.805 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.805 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 6.806 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0 6.807 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 6.807 * [taylor]: Taking taylor expansion of 0 in x 6.807 * [backup-simplify]: Simplify 0 into 0 6.807 * [backup-simplify]: Simplify 0 into 0 6.808 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ 1 (/ 1 x))))) (cos (/ 1 (/ 1 y)))) into (* (sqrt (/ 1 (exp x))) (cos y)) 6.808 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (sqrt (exp (/ 1 (- x))))) into (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) 6.808 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in (y x) around 0 6.808 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in x 6.808 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ -1 x)))) in x 6.808 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 6.808 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.808 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.808 * [taylor]: Taking taylor expansion of -1 in x 6.808 * [backup-simplify]: Simplify -1 into -1 6.808 * [taylor]: Taking taylor expansion of x in x 6.808 * [backup-simplify]: Simplify 0 into 0 6.808 * [backup-simplify]: Simplify 1 into 1 6.809 * [backup-simplify]: Simplify (/ -1 1) into -1 6.809 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.809 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 6.809 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ -1 x)))) into (sqrt (/ 1 (exp (/ -1 x)))) 6.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 6.809 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0 6.809 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 6.809 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.809 * [taylor]: Taking taylor expansion of -1 in x 6.809 * [backup-simplify]: Simplify -1 into -1 6.809 * [taylor]: Taking taylor expansion of y in x 6.809 * [backup-simplify]: Simplify y into y 6.809 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.809 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.810 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 6.810 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in y 6.810 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ -1 x)))) in y 6.810 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in y 6.810 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.810 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.810 * [taylor]: Taking taylor expansion of -1 in y 6.810 * [backup-simplify]: Simplify -1 into -1 6.810 * [taylor]: Taking taylor expansion of x in y 6.810 * [backup-simplify]: Simplify x into x 6.810 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 6.810 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.810 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 6.810 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ -1 x)))) into (sqrt (/ 1 (exp (/ -1 x)))) 6.810 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 6.811 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 6.811 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0 6.812 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.812 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.812 * [taylor]: Taking taylor expansion of -1 in y 6.812 * [backup-simplify]: Simplify -1 into -1 6.812 * [taylor]: Taking taylor expansion of y in y 6.812 * [backup-simplify]: Simplify 0 into 0 6.812 * [backup-simplify]: Simplify 1 into 1 6.812 * [backup-simplify]: Simplify (/ -1 1) into -1 6.812 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.812 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in y 6.812 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ -1 x)))) in y 6.812 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in y 6.812 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.812 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.812 * [taylor]: Taking taylor expansion of -1 in y 6.812 * [backup-simplify]: Simplify -1 into -1 6.812 * [taylor]: Taking taylor expansion of x in y 6.812 * [backup-simplify]: Simplify x into x 6.812 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 6.813 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.813 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 6.813 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ -1 x)))) into (sqrt (/ 1 (exp (/ -1 x)))) 6.813 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 6.814 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.814 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 6.814 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0 6.814 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.814 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.814 * [taylor]: Taking taylor expansion of -1 in y 6.814 * [backup-simplify]: Simplify -1 into -1 6.814 * [taylor]: Taking taylor expansion of y in y 6.814 * [backup-simplify]: Simplify 0 into 0 6.814 * [backup-simplify]: Simplify 1 into 1 6.815 * [backup-simplify]: Simplify (/ -1 1) into -1 6.815 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.815 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) into (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) 6.815 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in x 6.815 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ -1 x)))) in x 6.815 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 6.815 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.815 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.815 * [taylor]: Taking taylor expansion of -1 in x 6.815 * [backup-simplify]: Simplify -1 into -1 6.815 * [taylor]: Taking taylor expansion of x in x 6.815 * [backup-simplify]: Simplify 0 into 0 6.815 * [backup-simplify]: Simplify 1 into 1 6.816 * [backup-simplify]: Simplify (/ -1 1) into -1 6.816 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.816 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 6.816 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ -1 x)))) into (sqrt (/ 1 (exp (/ -1 x)))) 6.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 6.816 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0 6.816 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 6.816 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.816 * [taylor]: Taking taylor expansion of -1 in x 6.816 * [backup-simplify]: Simplify -1 into -1 6.816 * [taylor]: Taking taylor expansion of y in x 6.816 * [backup-simplify]: Simplify y into y 6.816 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.816 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.817 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 6.817 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 6.817 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 6.817 * [backup-simplify]: Simplify (- 0) into 0 6.817 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 6.817 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) into (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) 6.817 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) into (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) 6.818 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (* 0 (cos (/ -1 y)))) into 0 6.818 * [taylor]: Taking taylor expansion of 0 in x 6.818 * [backup-simplify]: Simplify 0 into 0 6.818 * [backup-simplify]: Simplify 0 into 0 6.818 * [backup-simplify]: Simplify (+ 0) into 0 6.819 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 6.819 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 6.820 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.820 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 6.820 * [backup-simplify]: Simplify (- 0) into 0 6.821 * [backup-simplify]: Simplify (+ 0 0) into 0 6.821 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (* 0 (cos (/ -1 y)))) into 0 6.821 * [backup-simplify]: Simplify 0 into 0 6.821 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.823 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 6.824 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0 6.824 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 6.824 * [taylor]: Taking taylor expansion of 0 in x 6.824 * [backup-simplify]: Simplify 0 into 0 6.824 * [backup-simplify]: Simplify 0 into 0 6.824 * [backup-simplify]: Simplify 0 into 0 6.825 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.826 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 6.826 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.827 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.828 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 6.828 * [backup-simplify]: Simplify (- 0) into 0 6.828 * [backup-simplify]: Simplify (+ 0 0) into 0 6.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 6.830 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0 6.830 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 6.830 * [backup-simplify]: Simplify 0 into 0 6.830 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.832 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 6.833 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0 6.834 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 6.834 * [taylor]: Taking taylor expansion of 0 in x 6.834 * [backup-simplify]: Simplify 0 into 0 6.834 * [backup-simplify]: Simplify 0 into 0 6.834 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ -1 (/ 1 (- x)))))) (cos (/ -1 (/ 1 (- y))))) into (* (sqrt (/ 1 (exp x))) (cos y)) 6.834 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 3 2) 6.835 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 6.835 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 6.835 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 6.835 * [taylor]: Taking taylor expansion of (exp x) in x 6.835 * [taylor]: Taking taylor expansion of x in x 6.835 * [backup-simplify]: Simplify 0 into 0 6.835 * [backup-simplify]: Simplify 1 into 1 6.835 * [backup-simplify]: Simplify (exp 0) into 1 6.835 * [backup-simplify]: Simplify (sqrt 1) into 1 6.836 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.837 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 6.837 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 6.837 * [taylor]: Taking taylor expansion of (exp x) in x 6.837 * [taylor]: Taking taylor expansion of x in x 6.837 * [backup-simplify]: Simplify 0 into 0 6.837 * [backup-simplify]: Simplify 1 into 1 6.837 * [backup-simplify]: Simplify (exp 0) into 1 6.837 * [backup-simplify]: Simplify (sqrt 1) into 1 6.838 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.839 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 6.839 * [backup-simplify]: Simplify 1 into 1 6.839 * [backup-simplify]: Simplify 1/2 into 1/2 6.841 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.842 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 6.842 * [backup-simplify]: Simplify 1/8 into 1/8 6.842 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 6.842 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 6.842 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 6.842 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 6.842 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.842 * [taylor]: Taking taylor expansion of x in x 6.842 * [backup-simplify]: Simplify 0 into 0 6.842 * [backup-simplify]: Simplify 1 into 1 6.843 * [backup-simplify]: Simplify (/ 1 1) into 1 6.843 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.843 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 6.843 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 6.843 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 6.843 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.843 * [taylor]: Taking taylor expansion of x in x 6.843 * [backup-simplify]: Simplify 0 into 0 6.843 * [backup-simplify]: Simplify 1 into 1 6.843 * [backup-simplify]: Simplify (/ 1 1) into 1 6.844 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.844 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 6.844 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 6.844 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 6.844 * [backup-simplify]: Simplify 0 into 0 6.845 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.846 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.846 * [backup-simplify]: Simplify 0 into 0 6.847 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.847 * [backup-simplify]: Simplify 0 into 0 6.848 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.848 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 6.849 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 6.849 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 6.849 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 6.849 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.849 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.849 * [taylor]: Taking taylor expansion of -1 in x 6.849 * [backup-simplify]: Simplify -1 into -1 6.849 * [taylor]: Taking taylor expansion of x in x 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify 1 into 1 6.849 * [backup-simplify]: Simplify (/ -1 1) into -1 6.850 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.850 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 6.850 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 6.850 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 6.850 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.850 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.850 * [taylor]: Taking taylor expansion of -1 in x 6.850 * [backup-simplify]: Simplify -1 into -1 6.850 * [taylor]: Taking taylor expansion of x in x 6.850 * [backup-simplify]: Simplify 0 into 0 6.850 * [backup-simplify]: Simplify 1 into 1 6.850 * [backup-simplify]: Simplify (/ -1 1) into -1 6.850 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.851 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 6.851 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 6.851 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 6.851 * [backup-simplify]: Simplify 0 into 0 6.852 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.852 * [backup-simplify]: Simplify 0 into 0 6.852 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.852 * [backup-simplify]: Simplify 0 into 0 6.853 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.854 * [backup-simplify]: Simplify 0 into 0 6.854 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.854 * [backup-simplify]: Simplify 0 into 0 6.855 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.855 * [backup-simplify]: Simplify 0 into 0 6.856 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 6.856 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 3 1 2) 6.856 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 6.856 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 6.856 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 6.856 * [taylor]: Taking taylor expansion of (exp x) in x 6.856 * [taylor]: Taking taylor expansion of x in x 6.856 * [backup-simplify]: Simplify 0 into 0 6.856 * [backup-simplify]: Simplify 1 into 1 6.856 * [backup-simplify]: Simplify (exp 0) into 1 6.856 * [backup-simplify]: Simplify (sqrt 1) into 1 6.857 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.858 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 6.858 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 6.858 * [taylor]: Taking taylor expansion of (exp x) in x 6.858 * [taylor]: Taking taylor expansion of x in x 6.858 * [backup-simplify]: Simplify 0 into 0 6.858 * [backup-simplify]: Simplify 1 into 1 6.858 * [backup-simplify]: Simplify (exp 0) into 1 6.858 * [backup-simplify]: Simplify (sqrt 1) into 1 6.859 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.860 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 6.860 * [backup-simplify]: Simplify 1 into 1 6.860 * [backup-simplify]: Simplify 1/2 into 1/2 6.862 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.863 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 6.863 * [backup-simplify]: Simplify 1/8 into 1/8 6.863 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 6.863 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 6.863 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 6.863 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 6.863 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.863 * [taylor]: Taking taylor expansion of x in x 6.863 * [backup-simplify]: Simplify 0 into 0 6.863 * [backup-simplify]: Simplify 1 into 1 6.864 * [backup-simplify]: Simplify (/ 1 1) into 1 6.864 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.864 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 6.864 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 6.864 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 6.864 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.864 * [taylor]: Taking taylor expansion of x in x 6.864 * [backup-simplify]: Simplify 0 into 0 6.864 * [backup-simplify]: Simplify 1 into 1 6.864 * [backup-simplify]: Simplify (/ 1 1) into 1 6.865 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.865 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 6.865 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 6.865 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 6.865 * [backup-simplify]: Simplify 0 into 0 6.866 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.866 * [backup-simplify]: Simplify 0 into 0 6.867 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.867 * [backup-simplify]: Simplify 0 into 0 6.868 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.868 * [backup-simplify]: Simplify 0 into 0 6.869 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.869 * [backup-simplify]: Simplify 0 into 0 6.870 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 6.870 * [backup-simplify]: Simplify 0 into 0 6.870 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 6.870 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 6.870 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 6.870 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 6.870 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.870 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.870 * [taylor]: Taking taylor expansion of -1 in x 6.870 * [backup-simplify]: Simplify -1 into -1 6.870 * [taylor]: Taking taylor expansion of x in x 6.870 * [backup-simplify]: Simplify 0 into 0 6.870 * [backup-simplify]: Simplify 1 into 1 6.871 * [backup-simplify]: Simplify (/ -1 1) into -1 6.871 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.871 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 6.871 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 6.871 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 6.871 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.871 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.871 * [taylor]: Taking taylor expansion of -1 in x 6.871 * [backup-simplify]: Simplify -1 into -1 6.871 * [taylor]: Taking taylor expansion of x in x 6.871 * [backup-simplify]: Simplify 0 into 0 6.871 * [backup-simplify]: Simplify 1 into 1 6.871 * [backup-simplify]: Simplify (/ -1 1) into -1 6.871 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.872 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 6.872 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 6.872 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 6.872 * [backup-simplify]: Simplify 0 into 0 6.873 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.873 * [backup-simplify]: Simplify 0 into 0 6.873 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.874 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.875 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.875 * [backup-simplify]: Simplify 0 into 0 6.876 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 6.877 * [backup-simplify]: Simplify 0 into 0 6.877 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 6.877 * * * [progress]: simplifying candidates 6.877 * * * * [progress]: [ 1 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 2 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 3 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 4 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 5 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 6 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 7 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 8 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 9 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 10 / 270 ] simplifiying candidate # 6.877 * * * * [progress]: [ 11 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 12 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 13 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 14 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 15 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 16 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 17 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 18 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 19 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 20 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 21 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 22 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 23 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 24 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 25 / 270 ] simplifiying candidate # 6.878 * * * * [progress]: [ 26 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 27 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 28 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 29 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 30 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 31 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 32 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 33 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 34 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 35 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 36 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 37 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 38 / 270 ] simplifiying candidate # 6.879 * * * * [progress]: [ 39 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 40 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 41 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 42 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 43 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 44 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 45 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 46 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 47 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 48 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 49 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 50 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 51 / 270 ] simplifiying candidate # 6.880 * * * * [progress]: [ 52 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 53 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 54 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 55 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 56 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 57 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 58 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 59 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 60 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 61 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 62 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 63 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 64 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 65 / 270 ] simplifiying candidate # 6.881 * * * * [progress]: [ 66 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 67 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 68 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 69 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 70 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 71 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 72 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 73 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 74 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 75 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 76 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 77 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 78 / 270 ] simplifiying candidate # 6.882 * * * * [progress]: [ 79 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 80 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 81 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 82 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 83 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 84 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 85 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 86 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 87 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 88 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 89 / 270 ] simplifiying candidate # 6.883 * * * * [progress]: [ 90 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 91 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 92 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 93 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 94 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 95 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 96 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 97 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 98 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 99 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 100 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 101 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 102 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 103 / 270 ] simplifiying candidate # 6.884 * * * * [progress]: [ 104 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 105 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 106 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 107 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 108 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 109 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 110 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 111 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 112 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 113 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 114 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 115 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 116 / 270 ] simplifiying candidate # 6.885 * * * * [progress]: [ 117 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 118 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 119 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 120 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 121 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 122 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 123 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 124 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 125 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 126 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 127 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 128 / 270 ] simplifiying candidate # 6.886 * * * * [progress]: [ 129 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 130 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 131 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 132 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 133 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 134 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 135 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 136 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 137 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 138 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 139 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 140 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 141 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 142 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 143 / 270 ] simplifiying candidate # 6.887 * * * * [progress]: [ 144 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 145 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 146 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 147 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 148 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 149 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 150 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 151 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 152 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 153 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 154 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 155 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 156 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 157 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 158 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 159 / 270 ] simplifiying candidate # 6.888 * * * * [progress]: [ 160 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 161 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 162 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 163 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 164 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 165 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 166 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 167 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 168 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 169 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 170 / 270 ] simplifiying candidate # 6.889 * * * * [progress]: [ 171 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 172 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 173 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 174 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 175 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 176 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 177 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 178 / 270 ] simplifiying candidate #real (real->posit16 (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))))))> 6.890 * * * * [progress]: [ 179 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 180 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 181 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 182 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 183 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 184 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 185 / 270 ] simplifiying candidate # 6.890 * * * * [progress]: [ 186 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 187 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 188 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 189 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 190 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 191 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 192 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 193 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 194 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 195 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 196 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 197 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 198 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 199 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 200 / 270 ] simplifiying candidate # 6.891 * * * * [progress]: [ 201 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 202 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 203 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 204 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 205 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 206 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 207 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 208 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 209 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 210 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 211 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 212 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 213 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 214 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 215 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 216 / 270 ] simplifiying candidate # 6.892 * * * * [progress]: [ 217 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 218 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 219 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 220 / 270 ] simplifiying candidate #real (real->posit16 (/ (cos y) (sqrt (exp x))))) (sqrt (exp x))))))> 6.893 * * * * [progress]: [ 221 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 222 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 223 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 224 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 225 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 226 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 227 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 228 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 229 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 230 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 231 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 232 / 270 ] simplifiying candidate # 6.893 * * * * [progress]: [ 233 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 234 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 235 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 236 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 237 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 238 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 239 / 270 ] simplifiying candidate #real (real->posit16 (sqrt (exp x))))))))> 6.894 * * * * [progress]: [ 240 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 241 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 242 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 243 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 244 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 245 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 246 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 247 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 248 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 249 / 270 ] simplifiying candidate # 6.894 * * * * [progress]: [ 250 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 251 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 252 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 253 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 254 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 255 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 256 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 257 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 258 / 270 ] simplifiying candidate #real (real->posit16 (sqrt (exp x))))) (sqrt (exp x))))))> 6.895 * * * * [progress]: [ 259 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 260 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 261 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 262 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 263 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 264 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 265 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 266 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 267 / 270 ] simplifiying candidate # 6.895 * * * * [progress]: [ 268 / 270 ] simplifiying candidate # 6.896 * * * * [progress]: [ 269 / 270 ] simplifiying candidate # 6.896 * * * * [progress]: [ 270 / 270 ] simplifiying candidate # 6.904 * [simplify]: Simplifying (expm1 (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (log1p (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (- (- (log (cos y)) (log (sqrt (exp x)))) (log (sqrt (exp x)))), (- (log (/ (cos y) (sqrt (exp x)))) (log (sqrt (exp x)))), (log (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (exp (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (/ (/ (* (* (cos y) (cos y)) (cos y)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))), (/ (* (* (/ (cos y) (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (/ (cos y) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))), (* (cbrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) (cbrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))), (cbrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (* (* (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (sqrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (sqrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (- (/ (cos y) (sqrt (exp x)))), (- (sqrt (exp x))), (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (sqrt 1)), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x))), (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) 1), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt 1)), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) 1), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt 1)), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) 1), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt 1)), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) 1), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt 1)), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) 1), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (sqrt 1)), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) 1), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt 1)), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) 1), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (sqrt 1)), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (exp x))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt 1)), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) 1), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt 1)), (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) 1), (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt 1)), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) 1), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (sqrt 1)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt 1)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt 1)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt 1)) (sqrt 1)), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (sqrt 1)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt 1)) 1), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt 1)), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) 1), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) 1) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) 1) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (/ (sqrt (cos y)) 1) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) 1) (sqrt 1)), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) 1) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) 1) 1), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (exp x))), (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt 1)), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) 1), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (cbrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt 1)), (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (exp x))), (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) 1), (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (exp x))), (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt 1)), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) 1), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ 1 (sqrt 1)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (/ 1 (sqrt 1)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (/ 1 (sqrt 1)) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt 1)) (sqrt 1)), (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))), (/ (/ 1 (sqrt 1)) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt 1)) 1), (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))), (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt 1)), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) 1), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ 1 1) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (/ 1 1) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (/ 1 1) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ 1 1) (sqrt 1)), (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))), (/ (/ 1 1) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ 1 1) 1), (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))), (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ 1 (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ 1 (sqrt 1)), (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))), (/ 1 (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ 1 1), (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))), (/ (cos y) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ 1 (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (cos y) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ 1 (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (cos y) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (cos y) (sqrt 1)), (/ (/ 1 (sqrt (exp x))) (sqrt (exp x))), (/ (cos y) (sqrt (sqrt (exp x)))), (/ (/ 1 (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (cos y) 1), (/ (/ 1 (sqrt (exp x))) (sqrt (exp x))), (/ 1 (sqrt (exp x))), (/ (sqrt (exp x)) (/ (cos y) (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt 1)), (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) 1), (/ (sqrt (exp x)) (cbrt (/ (cos y) (sqrt (exp x))))), (/ (sqrt (exp x)) (sqrt (/ (cos y) (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (cbrt (exp x))))), (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (exp x)))), (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (exp x)))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (cbrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (cbrt (exp x))))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (exp x)))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (exp x)))), (/ (sqrt (exp x)) (/ (cos y) (cbrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (cos y) (sqrt (cbrt (exp x))))), (/ (sqrt (exp x)) (/ (cos y) (sqrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (cos y) (sqrt (exp x)))), (/ (sqrt (exp x)) (/ (cos y) (sqrt (sqrt (exp x))))), (/ (sqrt (exp x)) (/ (cos y) (sqrt (exp x)))), (/ (sqrt (exp x)) (/ (cos y) (sqrt (exp x)))), (/ (sqrt (exp x)) (/ 1 (sqrt (exp x)))), (* (sqrt (exp x)) (sqrt (exp x))), (real->posit16 (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))), (expm1 (/ (cos y) (sqrt (exp x)))), (log1p (/ (cos y) (sqrt (exp x)))), (- (log (cos y)) (log (sqrt (exp x)))), (log (/ (cos y) (sqrt (exp x)))), (exp (/ (cos y) (sqrt (exp x)))), (/ (* (* (cos y) (cos y)) (cos y)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))), (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))), (cbrt (/ (cos y) (sqrt (exp x)))), (* (* (/ (cos y) (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (/ (cos y) (sqrt (exp x)))), (sqrt (/ (cos y) (sqrt (exp x)))), (sqrt (/ (cos y) (sqrt (exp x)))), (- (cos y)), (- (sqrt (exp x))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)), (/ (cbrt (cos y)) (sqrt (exp x))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))), (/ (* (cbrt (cos y)) (cbrt (cos y))) 1), (/ (cbrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))), (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (sqrt (cos y)) (sqrt 1)), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (sqrt (cos y)) 1), (/ (sqrt (cos y)) (sqrt (exp x))), (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (cos y) (cbrt (sqrt (exp x)))), (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (cos y) (sqrt (cbrt (exp x)))), (/ 1 (sqrt (sqrt (exp x)))), (/ (cos y) (sqrt (sqrt (exp x)))), (/ 1 (sqrt 1)), (/ (cos y) (sqrt (exp x))), (/ 1 (sqrt (sqrt (exp x)))), (/ (cos y) (sqrt (sqrt (exp x)))), (/ 1 1), (/ (cos y) (sqrt (exp x))), (/ 1 (sqrt (exp x))), (/ (sqrt (exp x)) (cos y)), (/ (cos y) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (cos y) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (/ (cos y) (sqrt (sqrt (exp x)))), (/ (cos y) (sqrt 1)), (/ (cos y) (sqrt (sqrt (exp x)))), (/ (cos y) 1), (/ (sqrt (exp x)) (cbrt (cos y))), (/ (sqrt (exp x)) (sqrt (cos y))), (/ (sqrt (exp x)) (cos y)), (real->posit16 (/ (cos y) (sqrt (exp x)))), (expm1 (sqrt (exp x))), (log1p (sqrt (exp x))), (log (sqrt (exp x))), (exp (sqrt (exp x))), (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))), (cbrt (sqrt (exp x))), (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))), (sqrt (* (cbrt (exp x)) (cbrt (exp x)))), (sqrt (cbrt (exp x))), (sqrt (sqrt (exp x))), (sqrt (sqrt (exp x))), (sqrt 1), (sqrt (exp x)), (/ 1 2), (/ (cbrt x) 2), (/ (sqrt x) 2), (/ x 2), (sqrt (sqrt (exp x))), (sqrt (sqrt (exp x))), (real->posit16 (sqrt (exp x))), (expm1 (sqrt (exp x))), (log1p (sqrt (exp x))), (log (sqrt (exp x))), (exp (sqrt (exp x))), (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))), (cbrt (sqrt (exp x))), (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))), (sqrt (* (cbrt (exp x)) (cbrt (exp x)))), (sqrt (cbrt (exp x))), (sqrt (sqrt (exp x))), (sqrt (sqrt (exp x))), (sqrt 1), (sqrt (exp x)), (/ 1 2), (/ (cbrt x) 2), (/ (sqrt x) 2), (/ x 2), (sqrt (sqrt (exp x))), (sqrt (sqrt (exp x))), (real->posit16 (sqrt (exp x))), (- 1 (+ (* 1/2 (pow y 2)) x)), (/ (cos y) (exp x)), (/ (cos y) (exp x)), (- 1 (+ (* 1/2 (pow y 2)) (* 1/2 x))), (* (sqrt (/ 1 (exp x))) (cos y)), (* (sqrt (/ 1 (exp x))) (cos y)), (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)), (sqrt (exp x)), (sqrt (exp x)), (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)), (sqrt (exp x)), (sqrt (exp x)) 6.914 * * [simplify]: iteration 1: (276 enodes) 7.053 * * [simplify]: iteration 2: (1051 enodes) 7.418 * * [simplify]: Extracting #0: cost 174 inf + 0 7.420 * * [simplify]: Extracting #1: cost 731 inf + 2 7.423 * * [simplify]: Extracting #2: cost 864 inf + 8321 7.443 * * [simplify]: Extracting #3: cost 382 inf + 136801 7.484 * * [simplify]: Extracting #4: cost 29 inf + 256428 7.535 * * [simplify]: Extracting #5: cost 0 inf + 266365 7.583 * [simplify]: Simplified to (expm1 (/ (cos y) (exp x))), (log1p (/ (cos y) (exp x))), (log (/ (cos y) (exp x))), (log (/ (cos y) (exp x))), (log (/ (cos y) (exp x))), (exp (/ (cos y) (exp x))), (* (/ (* (cos y) (cos y)) (* (exp x) (sqrt (exp x)))) (/ (cos y) (* (exp x) (sqrt (exp x))))), (/ (* (/ (cos y) (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (/ (* (exp x) (sqrt (exp x))) (/ (cos y) (sqrt (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) (sqrt (exp x)))), (- (sqrt (exp x))), (* (/ (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (/ (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x))))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (* (/ (cbrt (/ (cos y) (sqrt (exp x)))) (fabs (cbrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (/ (sqrt (sqrt (exp x))) (cbrt (/ (cos y) (sqrt (exp x)))))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (/ (sqrt (sqrt (exp x))) (cbrt (/ (cos y) (sqrt (exp x)))))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))), (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (fabs (cbrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (sqrt (/ (cos y) (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (sqrt (/ (cos y) (sqrt (exp x)))), (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x))), (* (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))), (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))) (fabs (cbrt (exp x)))), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (sqrt (sqrt (exp x))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))), (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (sqrt (sqrt (exp x))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))), (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (sqrt (exp x)))), (/ (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))) (fabs (cbrt (exp x)))), (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))), (/ (cbrt (cos y)) (cbrt (exp x))), (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (/ (cbrt (cos y)) (fabs (cbrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (/ (fabs (cbrt (exp x))) (cbrt (cos y)))), (/ (cbrt (cos y)) (* (sqrt (exp x)) (sqrt (cbrt (exp x))))), (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (/ (cbrt (cos y)) (fabs (cbrt (exp x))))), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (/ (fabs (cbrt (exp x))) (cbrt (cos y)))), (/ (cbrt (cos y)) (* (sqrt (exp x)) (sqrt (cbrt (exp x))))), (/ (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (fabs (cbrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))), (/ (cbrt (cos y)) (sqrt (exp x))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (* (sqrt (exp x)) (sqrt (sqrt (exp x))))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))), (/ (cbrt (cos y)) (sqrt (exp x))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (* (sqrt (exp x)) (sqrt (sqrt (exp x))))), (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))), (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (sqrt (exp x)))), (/ (cbrt (cos y)) (/ (fabs (cbrt (exp x))) (cbrt (cos y)))), (/ (cbrt (cos y)) (* (sqrt (exp x)) (sqrt (cbrt (exp x))))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (* (cbrt (cos y)) (cbrt (cos y))), (/ (cbrt (cos y)) (exp x)), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (* (cbrt (cos y)) (cbrt (cos y))), (/ (cbrt (cos y)) (exp x)), (/ (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (fabs (cbrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))), (/ (cbrt (cos y)) (sqrt (exp x))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (* (sqrt (exp x)) (sqrt (sqrt (exp x))))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))), (/ (cbrt (cos y)) (sqrt (exp x))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (* (sqrt (exp x)) (sqrt (sqrt (exp x))))), (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))), (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (sqrt (exp x)))), (/ (cbrt (cos y)) (/ (fabs (cbrt (exp x))) (cbrt (cos y)))), (/ (cbrt (cos y)) (* (sqrt (exp x)) (sqrt (cbrt (exp x))))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (* (cbrt (cos y)) (cbrt (cos y))), (/ (cbrt (cos y)) (exp x)), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (* (cbrt (cos y)) (cbrt (cos y))), (/ (cbrt (cos y)) (exp x)), (/ (sqrt (cos y)) (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (fabs (cbrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (fabs (cbrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))), (/ (sqrt (cos y)) (cbrt (exp x))), (/ (sqrt (cos y)) (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))), (/ (sqrt (cos y)) (* (sqrt (sqrt (exp x))) (sqrt (cbrt (exp x))))), (/ (sqrt (cos y)) (fabs (cbrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (sqrt (cos y)) (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))), (/ (sqrt (cos y)) (* (sqrt (sqrt (exp x))) (sqrt (cbrt (exp x))))), (/ (sqrt (cos y)) (fabs (cbrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (sqrt (cos y)) (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (sqrt (cos y)) (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x))), (/ (sqrt (cos y)) (fabs (cbrt (exp x)))), (/ (sqrt (cos y)) (* (sqrt (exp x)) (sqrt (cbrt (exp x))))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (sqrt (cos y)), (/ (sqrt (cos y)) (exp x)), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (sqrt (cos y)), (/ (sqrt (cos y)) (exp x)), (/ (sqrt (cos y)) (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (sqrt (cos y)) (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x))), (/ (sqrt (cos y)) (fabs (cbrt (exp x)))), (/ (sqrt (cos y)) (* (sqrt (exp x)) (sqrt (cbrt (exp x))))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (sqrt (cos y)), (/ (sqrt (cos y)) (exp x)), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (sqrt (cos y)), (/ (sqrt (cos y)) (exp x)), (/ 1 (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))), (/ (cos y) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ 1 (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (fabs (cbrt (exp x))))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (cos y) (* (sqrt (exp x)) (cbrt (sqrt (exp x))))), (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (cos y) (* (sqrt (exp x)) (cbrt (sqrt (exp x))))), (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (fabs (cbrt (exp x)))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))), (/ (cos y) (cbrt (exp x))), (/ (/ 1 (fabs (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ 1 (fabs (cbrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ (/ 1 (fabs (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x)))), (/ 1 (fabs (cbrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ 1 (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ 1 (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ 1 (sqrt (exp x))), (/ (cos y) (sqrt (exp x))), (/ 1 (sqrt (sqrt (exp x)))), (/ (cos y) (* (sqrt (exp x)) (sqrt (sqrt (exp x))))), (/ 1 (sqrt (exp x))), (/ (cos y) (sqrt (exp x))), (/ 1 (sqrt (sqrt (exp x)))), (/ (cos y) (* (sqrt (exp x)) (sqrt (sqrt (exp x))))), (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ 1 (fabs (cbrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ 1 (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), 1, (/ (cos y) (exp x)), (/ 1 (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), 1, (/ (cos y) (exp x)), (/ 1 (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x)))), (/ 1 (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))), (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x)))), (/ 1 (sqrt (exp x))), (/ (cos y) (sqrt (exp x))), (/ 1 (sqrt (sqrt (exp x)))), (/ (cos y) (* (sqrt (exp x)) (sqrt (sqrt (exp x))))), (/ 1 (sqrt (exp x))), (/ (cos y) (sqrt (exp x))), (/ 1 (sqrt (sqrt (exp x)))), (/ (cos y) (* (sqrt (exp x)) (sqrt (sqrt (exp x))))), (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ 1 (fabs (cbrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ 1 (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), 1, (/ (cos y) (exp x)), (/ 1 (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), 1, (/ (cos y) (exp x)), (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ 1 (fabs (cbrt (exp x)))), (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x)))), (/ 1 (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), 1, (/ (cos y) (exp x)), (/ 1 (sqrt (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), 1, (/ (cos y) (exp x)), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (/ 1 (sqrt (exp x))) (cbrt (sqrt (exp x)))), (/ (cos y) (fabs (cbrt (exp x)))), (/ (/ 1 (sqrt (cbrt (exp x)))) (sqrt (exp x))), (/ (cos y) (sqrt (sqrt (exp x)))), (/ 1 (* (sqrt (sqrt (exp x))) (sqrt (exp x)))), (cos y), (exp (- x)), (/ (cos y) (sqrt (sqrt (exp x)))), (/ 1 (* (sqrt (sqrt (exp x))) (sqrt (exp x)))), (cos y), (exp (- x)), (/ 1 (sqrt (exp x))), (* (/ (sqrt (exp x)) (cos y)) (sqrt (exp x))), (/ (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (cos y) (* (fabs (cbrt (exp x))) (sqrt (exp x)))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (cos y) (sqrt (exp x))), (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x))), (/ (cos y) (sqrt (exp x))), (/ (sqrt (exp x)) (cbrt (/ (cos y) (sqrt (exp x))))), (/ (sqrt (exp x)) (sqrt (/ (cos y) (sqrt (exp x))))), (/ (* (sqrt (exp x)) (cbrt (sqrt (exp x)))) (cbrt (cos y))), (* (sqrt (cbrt (exp x))) (/ (sqrt (exp x)) (cbrt (cos y)))), (* (/ (sqrt (exp x)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (* (sqrt (exp x)) (sqrt (exp x))) (cbrt (cos y))), (* (/ (sqrt (exp x)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (* (sqrt (exp x)) (sqrt (exp x))) (cbrt (cos y))), (/ (* (sqrt (exp x)) (cbrt (sqrt (exp x)))) (sqrt (cos y))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (cbrt (exp x))))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))), (* (/ (sqrt (exp x)) (sqrt (cos y))) (sqrt (exp x))), (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))), (* (/ (sqrt (exp x)) (sqrt (cos y))) (sqrt (exp x))), (* (/ (sqrt (exp x)) (cos y)) (cbrt (sqrt (exp x)))), (* (/ (sqrt (exp x)) (cos y)) (sqrt (cbrt (exp x)))), (* (/ (sqrt (exp x)) (cos y)) (sqrt (sqrt (exp x)))), (* (/ (sqrt (exp x)) (cos y)) (sqrt (exp x))), (* (/ (sqrt (exp x)) (cos y)) (sqrt (sqrt (exp x)))), (* (/ (sqrt (exp x)) (cos y)) (sqrt (exp x))), (* (/ (sqrt (exp x)) (cos y)) (sqrt (exp x))), (exp x), (exp x), (real->posit16 (/ (cos y) (exp x))), (expm1 (/ (cos y) (sqrt (exp x)))), (log1p (/ (cos y) (sqrt (exp x)))), (log (/ (cos y) (sqrt (exp x)))), (log (/ (cos y) (sqrt (exp x)))), (exp (/ (cos y) (sqrt (exp x)))), (* (/ (* (cos y) (cos y)) (exp x)) (/ (cos y) (sqrt (exp x)))), (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))), (cbrt (/ (cos y) (sqrt (exp x)))), (* (* (/ (cos y) (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (/ (cos y) (sqrt (exp x)))), (sqrt (/ (cos y) (sqrt (exp x)))), (sqrt (/ (cos y) (sqrt (exp x)))), (- (cos y)), (- (sqrt (exp x))), (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))), (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))), (/ (cbrt (cos y)) (/ (fabs (cbrt (exp x))) (cbrt (cos y)))), (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))), (* (cbrt (cos y)) (cbrt (cos y))), (/ (cbrt (cos y)) (sqrt (exp x))), (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))), (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))), (* (cbrt (cos y)) (cbrt (cos y))), (/ (cbrt (cos y)) (sqrt (exp x))), (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))), (/ (sqrt (cos y)) (fabs (cbrt (exp x)))), (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (sqrt (cos y)), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))), (sqrt (cos y)), (/ (sqrt (cos y)) (sqrt (exp x))), (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (cos y) (cbrt (sqrt (exp x)))), (/ 1 (fabs (cbrt (exp x)))), (/ (cos y) (sqrt (cbrt (exp x)))), (/ 1 (sqrt (sqrt (exp x)))), (/ (cos y) (sqrt (sqrt (exp x)))), 1, (/ (cos y) (sqrt (exp x))), (/ 1 (sqrt (sqrt (exp x)))), (/ (cos y) (sqrt (sqrt (exp x)))), 1, (/ (cos y) (sqrt (exp x))), (/ 1 (sqrt (exp x))), (/ (sqrt (exp x)) (cos y)), (/ (/ (cos y) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))), (/ (cos y) (fabs (cbrt (exp x)))), (/ (cos y) (sqrt (sqrt (exp x)))), (cos y), (/ (cos y) (sqrt (sqrt (exp x)))), (cos y), (/ (sqrt (exp x)) (cbrt (cos y))), (/ (sqrt (exp x)) (sqrt (cos y))), (/ (sqrt (exp x)) (cos y)), (real->posit16 (/ (cos y) (sqrt (exp x)))), (expm1 (sqrt (exp x))), (log1p (sqrt (exp x))), (log (sqrt (exp x))), (exp (sqrt (exp x))), (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))), (cbrt (sqrt (exp x))), (* (exp x) (sqrt (exp x))), (fabs (cbrt (exp x))), (sqrt (cbrt (exp x))), (sqrt (sqrt (exp x))), (sqrt (sqrt (exp x))), 1, (sqrt (exp x)), 1/2, (/ (cbrt x) 2), (/ (sqrt x) 2), (/ x 2), (sqrt (sqrt (exp x))), (sqrt (sqrt (exp x))), (real->posit16 (sqrt (exp x))), (expm1 (sqrt (exp x))), (log1p (sqrt (exp x))), (log (sqrt (exp x))), (exp (sqrt (exp x))), (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))), (cbrt (sqrt (exp x))), (* (exp x) (sqrt (exp x))), (fabs (cbrt (exp x))), (sqrt (cbrt (exp x))), (sqrt (sqrt (exp x))), (sqrt (sqrt (exp x))), 1, (sqrt (exp x)), 1/2, (/ (cbrt x) 2), (/ (sqrt x) 2), (/ x 2), (sqrt (sqrt (exp x))), (sqrt (sqrt (exp x))), (real->posit16 (sqrt (exp x))), (- 1 (fma 1/2 (* y y) x)), (/ (cos y) (exp x)), (/ (cos y) (exp x)), (+ (* -1/2 (fma y y x)) 1), (* (cos y) (sqrt (exp (- x)))), (* (cos y) (sqrt (exp (- x)))), (fma x 1/2 (fma (* x x) 1/8 1)), (sqrt (exp x)), (sqrt (exp x)), (fma x 1/2 (fma (* x x) 1/8 1)), (sqrt (exp x)), (sqrt (exp x)) 7.623 * * * [progress]: adding candidates to table 11.061 * [progress]: [Phase 3 of 3] Extracting. 11.061 * * [regime]: Finding splitpoints for: (# #) 11.062 * * * [regime-changes]: Trying 2 branch expressions: (y x) 11.062 * * * * [regimes]: Trying to branch on y from (# #) 11.091 * * * * [regimes]: Trying to branch on x from (# #) 11.138 * * * [regime]: Found split indices: #