9.873 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.005 * * * * [points]: Setting MPFR precision to 64 0.006 * * * * [points]: Setting MPFR precision to 320 0.006 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.009 * * * * [points]: Setting MPFR precision to 64 0.010 * * * * [points]: Setting MPFR precision to 320 0.011 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.013 * * * * [points]: Setting MPFR precision to 64 0.015 * * * * [points]: Setting MPFR precision to 320 0.017 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.019 * * * * [points]: Setting MPFR precision to 64 0.022 * * * * [points]: Setting MPFR precision to 320 0.025 * * * * [points]: Computing exacts for 256 points 0.027 * * * * [points]: Setting MPFR precision to 64 0.034 * * * * [points]: Setting MPFR precision to 320 0.043 * * * * [points]: Filtering points with unrepresentable outputs 0.044 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256 0.045 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision 0.047 * * * * [points]: Setting MPFR precision to 64 0.048 * * * * [points]: Setting MPFR precision to 320 0.048 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision 0.050 * * * * [points]: Setting MPFR precision to 64 0.051 * * * * [points]: Setting MPFR precision to 320 0.052 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision 0.054 * * * * [points]: Setting MPFR precision to 64 0.056 * * * * [points]: Setting MPFR precision to 320 0.057 * * * * [points]: Computing exacts for 138 points 0.059 * * * * [points]: Setting MPFR precision to 64 0.064 * * * * [points]: Setting MPFR precision to 320 0.069 * * * * [points]: Filtering points with unrepresentable outputs 0.069 * * * * [points]: Sampling 72 additional inputs, on iter 2 have 184 / 256 0.070 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision 0.075 * * * * [points]: Setting MPFR precision to 64 0.076 * * * * [points]: Setting MPFR precision to 320 0.076 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision 0.079 * * * * [points]: Setting MPFR precision to 64 0.080 * * * * [points]: Setting MPFR precision to 320 0.080 * * * * [points]: Computing exacts for 72 points 0.083 * * * * [points]: Setting MPFR precision to 64 0.085 * * * * [points]: Setting MPFR precision to 320 0.087 * * * * [points]: Filtering points with unrepresentable outputs 0.087 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 0.088 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 0.090 * * * * [points]: Setting MPFR precision to 64 0.090 * * * * [points]: Setting MPFR precision to 320 0.091 * * * * [points]: Computing exacts for 33 points 0.093 * * * * [points]: Setting MPFR precision to 64 0.094 * * * * [points]: Setting MPFR precision to 320 0.095 * * * * [points]: Filtering points with unrepresentable outputs 0.095 * * * * [points]: Sampling 20 additional inputs, on iter 4 have 236 / 256 0.095 * * * * [points]: Computing exacts for 20 points 0.097 * * * * [points]: Setting MPFR precision to 64 0.098 * * * * [points]: Setting MPFR precision to 320 0.099 * * * * [points]: Filtering points with unrepresentable outputs 0.099 * * * * [points]: Sampling 12 additional inputs, on iter 5 have 244 / 256 0.099 * * * * [points]: Computing exacts for 12 points 0.101 * * * * [points]: Setting MPFR precision to 64 0.101 * * * * [points]: Setting MPFR precision to 320 0.102 * * * * [points]: Filtering points with unrepresentable outputs 0.102 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256 0.102 * * * * [points]: Computing exacts for 7 points 0.104 * * * * [points]: Setting MPFR precision to 64 0.104 * * * * [points]: Setting MPFR precision to 320 0.105 * * * * [points]: Filtering points with unrepresentable outputs 0.105 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 0.105 * * * * [points]: Computing exacts for 4 points 0.107 * * * * [points]: Setting MPFR precision to 64 0.107 * * * * [points]: Setting MPFR precision to 320 0.107 * * * * [points]: Filtering points with unrepresentable outputs 0.107 * * * * [points]: Sampled 258 points with exact outputs 0.107 * * * [progress]: [2/2] Setting up program. 0.110 * [progress]: [Phase 2 of 3] Improving. 0.111 * [simplify]: Simplifying using # : (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.113 * * [simplify]: iteration 0 : 30 enodes (cost 7 ) 0.114 * * [simplify]: iteration 1 : 47 enodes (cost 7 ) 0.116 * * [simplify]: iteration 2 : 84 enodes (cost 7 ) 0.118 * * [simplify]: iteration 3 : 131 enodes (cost 7 ) 0.120 * * [simplify]: iteration 4 : 223 enodes (cost 7 ) 0.123 * * [simplify]: iteration 5 : 466 enodes (cost 7 ) 0.129 * * [simplify]: iteration 6 : 1123 enodes (cost 7 ) 0.142 * * [simplify]: iteration 7 : 2244 enodes (cost 7 ) 0.170 * * [simplify]: iteration 8 : 5002 enodes (cost 7 ) 0.171 * [simplify]: Simplified to: (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 0.174 * * [progress]: iteration 1 / 4 0.174 * * * [progress]: picking best candidate 0.176 * * * * [pick]: Picked # 0.176 * * * [progress]: localizing error 0.187 * * * [progress]: generating rewritten candidates 0.187 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.193 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.224 * * * [progress]: generating series expansions 0.224 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.224 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 0.224 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.224 * [taylor]: Taking taylor expansion of (exp x) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.224 * [taylor]: Taking taylor expansion of (- x) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.225 * [taylor]: Taking taylor expansion of (exp x) in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.225 * [taylor]: Taking taylor expansion of (- x) in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.240 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.240 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.240 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.240 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.241 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.241 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.244 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 0.244 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.244 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.244 * [taylor]: Taking taylor expansion of -1 in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.244 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.245 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.245 * [taylor]: Taking taylor expansion of -1 in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.247 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.247 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0 0.247 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y 0.247 * [taylor]: Taking taylor expansion of 0.5 in y 0.247 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y 0.247 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.247 * [taylor]: Taking taylor expansion of (exp x) in y 0.247 * [taylor]: Taking taylor expansion of x in y 0.247 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.247 * [taylor]: Taking taylor expansion of (- x) in y 0.247 * [taylor]: Taking taylor expansion of x in y 0.247 * [taylor]: Taking taylor expansion of (cos y) in y 0.247 * [taylor]: Taking taylor expansion of y in y 0.247 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x 0.247 * [taylor]: Taking taylor expansion of 0.5 in x 0.247 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 0.247 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.247 * [taylor]: Taking taylor expansion of (exp x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.247 * [taylor]: Taking taylor expansion of (- x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of (cos y) in x 0.248 * [taylor]: Taking taylor expansion of y in x 0.248 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x 0.248 * [taylor]: Taking taylor expansion of 0.5 in x 0.248 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 0.248 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.248 * [taylor]: Taking taylor expansion of (exp x) in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.248 * [taylor]: Taking taylor expansion of (- x) in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.249 * [taylor]: Taking taylor expansion of (cos y) in x 0.249 * [taylor]: Taking taylor expansion of y in x 0.250 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y 0.250 * [taylor]: Taking taylor expansion of 1.0 in y 0.250 * [taylor]: Taking taylor expansion of (cos y) in y 0.250 * [taylor]: Taking taylor expansion of y in y 0.255 * [taylor]: Taking taylor expansion of 0 in y 0.261 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y 0.261 * [taylor]: Taking taylor expansion of 0.5 in y 0.261 * [taylor]: Taking taylor expansion of (cos y) in y 0.261 * [taylor]: Taking taylor expansion of y in y 0.264 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0 0.264 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.264 * [taylor]: Taking taylor expansion of 0.5 in y 0.264 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.264 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.264 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.264 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.264 * [taylor]: Taking taylor expansion of x in y 0.264 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.264 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.264 * [taylor]: Taking taylor expansion of x in y 0.264 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.264 * [taylor]: Taking taylor expansion of 0.5 in x 0.264 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.264 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.265 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.265 * [taylor]: Taking taylor expansion of 0.5 in x 0.266 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.266 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.266 * [taylor]: Taking taylor expansion of y in x 0.266 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.266 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.266 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.267 * [taylor]: Taking taylor expansion of 0.5 in y 0.267 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.267 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.267 * [taylor]: Taking taylor expansion of y in y 0.268 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.268 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.268 * [taylor]: Taking taylor expansion of x in y 0.268 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.268 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.268 * [taylor]: Taking taylor expansion of x in y 0.271 * [taylor]: Taking taylor expansion of 0 in y 0.277 * [taylor]: Taking taylor expansion of 0 in y 0.285 * [taylor]: Taking taylor expansion of 0 in y 0.285 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0 0.285 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.285 * [taylor]: Taking taylor expansion of 0.5 in y 0.285 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.285 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.285 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.285 * [taylor]: Taking taylor expansion of -1 in y 0.285 * [taylor]: Taking taylor expansion of y in y 0.286 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.286 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.286 * [taylor]: Taking taylor expansion of x in y 0.286 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.286 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.286 * [taylor]: Taking taylor expansion of -1 in y 0.286 * [taylor]: Taking taylor expansion of x in y 0.286 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 0.286 * [taylor]: Taking taylor expansion of 0.5 in x 0.286 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.286 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.286 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.286 * [taylor]: Taking taylor expansion of -1 in x 0.286 * [taylor]: Taking taylor expansion of y in x 0.286 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.286 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.286 * [taylor]: Taking taylor expansion of x in x 0.286 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.286 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.286 * [taylor]: Taking taylor expansion of -1 in x 0.286 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 0.287 * [taylor]: Taking taylor expansion of 0.5 in x 0.287 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.287 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.287 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.287 * [taylor]: Taking taylor expansion of -1 in x 0.287 * [taylor]: Taking taylor expansion of y in x 0.287 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.287 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.287 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.287 * [taylor]: Taking taylor expansion of -1 in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.288 * [taylor]: Taking taylor expansion of 0.5 in y 0.288 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.288 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.288 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.288 * [taylor]: Taking taylor expansion of -1 in y 0.288 * [taylor]: Taking taylor expansion of y in y 0.289 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.289 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.289 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.289 * [taylor]: Taking taylor expansion of x in y 0.289 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.289 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.289 * [taylor]: Taking taylor expansion of -1 in y 0.289 * [taylor]: Taking taylor expansion of x in y 0.292 * [taylor]: Taking taylor expansion of 0 in y 0.297 * [taylor]: Taking taylor expansion of 0 in y 0.310 * [taylor]: Taking taylor expansion of 0 in y 0.310 * * * [progress]: simplifying candidates 0.311 * [simplify]: Simplifying using # : (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (+ (- (log (+ (exp x) (exp (- x)))) (log 2.0)) (log (cos y))) (+ (log (/ (+ (exp x) (exp (- x))) 2.0)) (log (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y)))) (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) 1) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ 1 2.0) (cos y)) (* (+ (exp x) (exp (- x))) (cos y)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2))) (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) 0.315 * * [simplify]: iteration 0 : 286 enodes (cost 487 ) 0.320 * * [simplify]: iteration 1 : 1053 enodes (cost 428 ) 0.339 * * [simplify]: iteration 2 : 4913 enodes (cost 426 ) 0.482 * * [simplify]: iteration 3 : 5001 enodes (cost 426 ) 0.484 * [simplify]: Simplified to: (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp (* -1 x)) (exp x))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (pow (+ (exp (* -1 x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (pow (exp x) -2) (- (exp (+ x x)) 1)) (fma (- (exp (- x))) (exp (* -1 x)) (exp (+ x x))) (- (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y)))) (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ 1 2.0) (cos y)) (* (cos y) (+ (exp (* -1 x)) (exp x))) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) (fma (pow x 2) 0.5 (- 1.0 (* 0.5 (pow y 2)))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) 0.484 * * * [progress]: adding candidates to table 0.639 * * [progress]: iteration 2 / 4 0.639 * * * [progress]: picking best candidate 0.647 * * * * [pick]: Picked # 0.647 * * * [progress]: localizing error 0.659 * * * [progress]: generating rewritten candidates 0.659 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.660 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 0.661 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.662 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.672 * * * [progress]: generating series expansions 0.672 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.673 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in (x) around 0 0.673 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x 0.673 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.673 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 0.673 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.673 * [taylor]: Taking taylor expansion of (exp x) in x 0.673 * [taylor]: Taking taylor expansion of x in x 0.674 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.674 * [taylor]: Taking taylor expansion of (exp x) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.675 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.675 * [taylor]: Taking taylor expansion of (- x) in x 0.675 * [taylor]: Taking taylor expansion of x in x 0.676 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x 0.676 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.676 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 0.676 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.676 * [taylor]: Taking taylor expansion of (exp x) in x 0.676 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.677 * [taylor]: Taking taylor expansion of (exp x) in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.679 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.679 * [taylor]: Taking taylor expansion of (- x) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.708 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in (x) around 0 0.708 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x 0.708 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.708 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 0.708 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.708 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.708 * [taylor]: Taking taylor expansion of x in x 0.708 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.708 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.709 * [taylor]: Taking taylor expansion of x in x 0.709 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.709 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.709 * [taylor]: Taking taylor expansion of x in x 0.709 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x 0.710 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.710 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 0.710 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.710 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.710 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.710 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.711 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.722 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in (x) around 0 0.722 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x 0.722 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.722 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 0.722 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.722 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.722 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.723 * [taylor]: Taking taylor expansion of -1 in x 0.723 * [taylor]: Taking taylor expansion of x in x 0.723 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.723 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.723 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.723 * [taylor]: Taking taylor expansion of -1 in x 0.723 * [taylor]: Taking taylor expansion of x in x 0.723 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.724 * [taylor]: Taking taylor expansion of x in x 0.724 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x 0.724 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.724 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 0.724 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.724 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.724 * [taylor]: Taking taylor expansion of -1 in x 0.724 * [taylor]: Taking taylor expansion of x in x 0.724 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.724 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.725 * [taylor]: Taking taylor expansion of -1 in x 0.725 * [taylor]: Taking taylor expansion of x in x 0.725 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.725 * [taylor]: Taking taylor expansion of x in x 0.736 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 0.736 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 0.736 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.736 * [taylor]: Taking taylor expansion of (exp x) in x 0.736 * [taylor]: Taking taylor expansion of x in x 0.738 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.738 * [taylor]: Taking taylor expansion of (exp x) in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.740 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 0.740 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.740 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.741 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.744 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 0.744 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.744 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.744 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.744 * [taylor]: Taking taylor expansion of -1 in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.745 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.745 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.745 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.745 * [taylor]: Taking taylor expansion of -1 in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.748 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.748 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 0.748 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.748 * [taylor]: Taking taylor expansion of (exp x) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.749 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.749 * [taylor]: Taking taylor expansion of (exp x) in x 0.749 * [taylor]: Taking taylor expansion of x in x 0.752 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 0.752 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.752 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.752 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.756 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 0.756 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.756 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.756 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.756 * [taylor]: Taking taylor expansion of -1 in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.756 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.756 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.756 * [taylor]: Taking taylor expansion of -1 in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.759 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.760 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) in (x y) around 0 0.760 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) in y 0.760 * [taylor]: Taking taylor expansion of 0.5 in y 0.760 * [taylor]: Taking taylor expansion of (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) in y 0.760 * [taylor]: Taking taylor expansion of (cos y) in y 0.760 * [taylor]: Taking taylor expansion of y in y 0.760 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in y 0.760 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.760 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in y 0.760 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in y 0.760 * [taylor]: Taking taylor expansion of (exp x) in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.760 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in y 0.760 * [taylor]: Taking taylor expansion of (exp x) in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.761 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.761 * [taylor]: Taking taylor expansion of (- x) in y 0.761 * [taylor]: Taking taylor expansion of x in y 0.761 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) in x 0.761 * [taylor]: Taking taylor expansion of 0.5 in x 0.761 * [taylor]: Taking taylor expansion of (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) in x 0.761 * [taylor]: Taking taylor expansion of (cos y) in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.761 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x 0.761 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.761 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 0.761 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.761 * [taylor]: Taking taylor expansion of (exp x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.763 * [taylor]: Taking taylor expansion of (exp x) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.764 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.764 * [taylor]: Taking taylor expansion of (- x) in x 0.764 * [taylor]: Taking taylor expansion of x in x 0.764 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) in x 0.764 * [taylor]: Taking taylor expansion of 0.5 in x 0.764 * [taylor]: Taking taylor expansion of (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) in x 0.764 * [taylor]: Taking taylor expansion of (cos y) in x 0.765 * [taylor]: Taking taylor expansion of y in x 0.765 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x 0.765 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.765 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 0.765 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.765 * [taylor]: Taking taylor expansion of (exp x) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.766 * [taylor]: Taking taylor expansion of (exp x) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.767 * [taylor]: Taking taylor expansion of (- x) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.769 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y 0.769 * [taylor]: Taking taylor expansion of 1.0 in y 0.769 * [taylor]: Taking taylor expansion of (cos y) in y 0.769 * [taylor]: Taking taylor expansion of y in y 0.773 * [taylor]: Taking taylor expansion of 0 in y 0.781 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y 0.781 * [taylor]: Taking taylor expansion of 0.5 in y 0.781 * [taylor]: Taking taylor expansion of (cos y) in y 0.781 * [taylor]: Taking taylor expansion of y in y 0.784 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))))) in (x y) around 0 0.784 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))))) in y 0.784 * [taylor]: Taking taylor expansion of 0.5 in y 0.784 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x))))) in y 0.784 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.784 * [taylor]: Taking taylor expansion of y in y 0.785 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in y 0.785 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.785 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in y 0.785 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in y 0.785 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.785 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.785 * [taylor]: Taking taylor expansion of x in y 0.785 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in y 0.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.786 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.786 * [taylor]: Taking taylor expansion of x in y 0.786 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.786 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.786 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.786 * [taylor]: Taking taylor expansion of x in y 0.786 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))))) in x 0.786 * [taylor]: Taking taylor expansion of 0.5 in x 0.786 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x))))) in x 0.786 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.786 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.786 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x 0.787 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.787 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 0.787 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.787 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.787 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.792 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.792 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.792 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))))) in x 0.793 * [taylor]: Taking taylor expansion of 0.5 in x 0.793 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x))))) in x 0.793 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.793 * [taylor]: Taking taylor expansion of y in x 0.793 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x 0.793 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.793 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 0.793 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.793 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.794 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.794 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.795 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.795 * [taylor]: Taking taylor expansion of 0.5 in y 0.795 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.796 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.796 * [taylor]: Taking taylor expansion of y in y 0.796 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.796 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.796 * [taylor]: Taking taylor expansion of x in y 0.796 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.796 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.796 * [taylor]: Taking taylor expansion of x in y 0.799 * [taylor]: Taking taylor expansion of 0 in y 0.806 * [taylor]: Taking taylor expansion of 0 in y 0.815 * [taylor]: Taking taylor expansion of 0 in y 0.816 * [approximate]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y)))) in (x y) around 0 0.816 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y)))) in y 0.816 * [taylor]: Taking taylor expansion of 0.5 in y 0.816 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y))) in y 0.816 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in y 0.816 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.816 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in y 0.816 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in y 0.816 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.816 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.816 * [taylor]: Taking taylor expansion of -1 in y 0.816 * [taylor]: Taking taylor expansion of x in y 0.817 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in y 0.817 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.817 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.817 * [taylor]: Taking taylor expansion of -1 in y 0.817 * [taylor]: Taking taylor expansion of x in y 0.818 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.818 * [taylor]: Taking taylor expansion of x in y 0.818 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.818 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.818 * [taylor]: Taking taylor expansion of -1 in y 0.818 * [taylor]: Taking taylor expansion of y in y 0.818 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y)))) in x 0.818 * [taylor]: Taking taylor expansion of 0.5 in x 0.818 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y))) in x 0.818 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x 0.818 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.818 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 0.818 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.818 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.818 * [taylor]: Taking taylor expansion of -1 in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.819 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.819 * [taylor]: Taking taylor expansion of -1 in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.820 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.820 * [taylor]: Taking taylor expansion of -1 in x 0.820 * [taylor]: Taking taylor expansion of y in x 0.820 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y)))) in x 0.820 * [taylor]: Taking taylor expansion of 0.5 in x 0.820 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y))) in x 0.820 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x 0.820 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.820 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 0.820 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.820 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.820 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.820 * [taylor]: Taking taylor expansion of -1 in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.820 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.820 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.820 * [taylor]: Taking taylor expansion of -1 in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.821 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.821 * [taylor]: Taking taylor expansion of -1 in x 0.821 * [taylor]: Taking taylor expansion of y in x 0.822 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.822 * [taylor]: Taking taylor expansion of 0.5 in y 0.822 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.822 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.822 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.822 * [taylor]: Taking taylor expansion of -1 in y 0.822 * [taylor]: Taking taylor expansion of y in y 0.823 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.823 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.823 * [taylor]: Taking taylor expansion of x in y 0.823 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.823 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.823 * [taylor]: Taking taylor expansion of -1 in y 0.823 * [taylor]: Taking taylor expansion of x in y 0.826 * [taylor]: Taking taylor expansion of 0 in y 0.832 * [taylor]: Taking taylor expansion of 0 in y 0.841 * [taylor]: Taking taylor expansion of 0 in y 0.842 * * * [progress]: simplifying candidates 0.843 * [simplify]: Simplifying using # : (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (* (sqrt (exp x)) (sqrt (exp x))) (log (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (exp (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (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))) (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))) (expm1 (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (log1p (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)) (+ (- (log (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (log 2.0)) (log (cos y))) (+ (log (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (log (cos y))) (log (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (exp (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (/ (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (* (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (* (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (sqrt (cos y))) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y)))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (sqrt (cos y))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) 1) (* (cbrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) 2.0) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)) (* (/ 1 2.0) (cos y)) (* (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (cos y)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2))) (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) 0.847 * * [simplify]: iteration 0 : 268 enodes (cost 701 ) 0.852 * * [simplify]: iteration 1 : 924 enodes (cost 578 ) 0.867 * * [simplify]: iteration 2 : 3961 enodes (cost 554 ) 0.945 * * [simplify]: iteration 3 : 5002 enodes (cost 548 ) 0.947 * [simplify]: Simplified to: (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (exp x) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (pow (+ (exp x) (exp (- x))) 3) (hypot (sqrt (exp x)) (pow (exp x) -1/2)) (hypot (sqrt (exp x)) (pow (exp x) -1/2)) (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))) (pow (sqrt (exp x)) 3) (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) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (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))) (pow (sqrt (exp x)) 3) (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) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (log1p (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log 2.0)) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log 2.0)) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log 2.0)) (pow (exp (cos y)) (/ (+ (exp x) (exp (- x))) 2.0)) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) 3) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) 3) (* (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) 3) (sqrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (sqrt (cos y))) (/ (sqrt (cos y)) (/ (sqrt 2.0) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2))))) (/ (sqrt (cos y)) (/ (sqrt 2.0) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2))))) (/ (* (* (cbrt (cos y)) (cbrt (cos y))) (+ (exp x) (exp (- x)))) 2.0) (/ (* (sqrt (cos y)) (+ (exp x) (exp (- x)))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) 2.0) (cos y)) (/ (* (cos y) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2)))) (cbrt 2.0)) (/ (* (cos y) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2)))) (sqrt 2.0)) (/ (* (cos y) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2)))) 2.0) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (cbrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) (/ (cos y) 2.0) (* (cos y) (+ (exp (* -1 x)) (exp x))) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) (fma 0.5 (- (pow x 2) (pow y 2)) 1.0) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) 0.947 * * * [progress]: adding candidates to table 1.236 * * [progress]: iteration 3 / 4 1.236 * * * [progress]: picking best candidate 1.241 * * * * [pick]: Picked # 1.241 * * * [progress]: localizing error 1.256 * * * [progress]: generating rewritten candidates 1.256 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.257 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 1.257 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1.258 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.266 * * * [progress]: generating series expansions 1.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.266 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.266 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.266 * [taylor]: Taking taylor expansion of 1/3 in y 1.266 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.266 * [taylor]: Taking taylor expansion of (cos y) in y 1.266 * [taylor]: Taking taylor expansion of y in y 1.270 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.270 * [taylor]: Taking taylor expansion of 1/3 in y 1.270 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.270 * [taylor]: Taking taylor expansion of (cos y) in y 1.270 * [taylor]: Taking taylor expansion of y in y 1.291 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.291 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.291 * [taylor]: Taking taylor expansion of 1/3 in y 1.291 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.291 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.291 * [taylor]: Taking taylor expansion of y in y 1.292 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.292 * [taylor]: Taking taylor expansion of 1/3 in y 1.292 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.292 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.292 * [taylor]: Taking taylor expansion of y in y 1.329 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.329 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.329 * [taylor]: Taking taylor expansion of 1/3 in y 1.329 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.329 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.329 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.329 * [taylor]: Taking taylor expansion of -1 in y 1.329 * [taylor]: Taking taylor expansion of y in y 1.330 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.330 * [taylor]: Taking taylor expansion of 1/3 in y 1.330 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.330 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.330 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.330 * [taylor]: Taking taylor expansion of -1 in y 1.330 * [taylor]: Taking taylor expansion of y in y 1.363 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 1.363 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.363 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.363 * [taylor]: Taking taylor expansion of 1/3 in y 1.363 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.363 * [taylor]: Taking taylor expansion of (cos y) in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.367 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.367 * [taylor]: Taking taylor expansion of 1/3 in y 1.367 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.367 * [taylor]: Taking taylor expansion of (cos y) in y 1.367 * [taylor]: Taking taylor expansion of y in y 1.393 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.394 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.394 * [taylor]: Taking taylor expansion of 1/3 in y 1.394 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.394 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.394 * [taylor]: Taking taylor expansion of y in y 1.394 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.394 * [taylor]: Taking taylor expansion of 1/3 in y 1.394 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.394 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.394 * [taylor]: Taking taylor expansion of y in y 1.427 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.427 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.427 * [taylor]: Taking taylor expansion of 1/3 in y 1.427 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.427 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.427 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.427 * [taylor]: Taking taylor expansion of -1 in y 1.427 * [taylor]: Taking taylor expansion of y in y 1.428 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.428 * [taylor]: Taking taylor expansion of 1/3 in y 1.428 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.428 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.428 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.428 * [taylor]: Taking taylor expansion of -1 in y 1.428 * [taylor]: Taking taylor expansion of y in y 1.460 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 1.460 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.460 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.460 * [taylor]: Taking taylor expansion of 1/3 in y 1.460 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.460 * [taylor]: Taking taylor expansion of (cos y) in y 1.460 * [taylor]: Taking taylor expansion of y in y 1.470 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.470 * [taylor]: Taking taylor expansion of 1/3 in y 1.470 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.470 * [taylor]: Taking taylor expansion of (cos y) in y 1.470 * [taylor]: Taking taylor expansion of y in y 1.491 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.491 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.491 * [taylor]: Taking taylor expansion of 1/3 in y 1.491 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.491 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.491 * [taylor]: Taking taylor expansion of y in y 1.492 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.492 * [taylor]: Taking taylor expansion of 1/3 in y 1.492 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.492 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.492 * [taylor]: Taking taylor expansion of y in y 1.525 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.525 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.525 * [taylor]: Taking taylor expansion of 1/3 in y 1.525 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.525 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.525 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.525 * [taylor]: Taking taylor expansion of -1 in y 1.525 * [taylor]: Taking taylor expansion of y in y 1.526 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.526 * [taylor]: Taking taylor expansion of 1/3 in y 1.526 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.526 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.526 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.526 * [taylor]: Taking taylor expansion of -1 in y 1.526 * [taylor]: Taking taylor expansion of y in y 1.564 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.564 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 1.564 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 1.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 1.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 1.564 * [taylor]: Taking taylor expansion of 1/3 in y 1.564 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 1.564 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.564 * [taylor]: Taking taylor expansion of (cos y) in y 1.564 * [taylor]: Taking taylor expansion of y in y 1.570 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 1.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 1.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 1.570 * [taylor]: Taking taylor expansion of 1/3 in y 1.570 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 1.570 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.570 * [taylor]: Taking taylor expansion of (cos y) in y 1.570 * [taylor]: Taking taylor expansion of y in y 1.639 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 1.640 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 1.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 1.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 1.640 * [taylor]: Taking taylor expansion of 1/3 in y 1.640 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 1.640 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.640 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.640 * [taylor]: Taking taylor expansion of y in y 1.640 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 1.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 1.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 1.640 * [taylor]: Taking taylor expansion of 1/3 in y 1.640 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 1.640 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.641 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.641 * [taylor]: Taking taylor expansion of y in y 1.679 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 1.679 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 1.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 1.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 1.680 * [taylor]: Taking taylor expansion of 1/3 in y 1.680 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.680 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.680 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.680 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.680 * [taylor]: Taking taylor expansion of -1 in y 1.680 * [taylor]: Taking taylor expansion of y in y 1.680 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 1.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 1.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 1.680 * [taylor]: Taking taylor expansion of 1/3 in y 1.680 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.680 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.680 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.681 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.681 * [taylor]: Taking taylor expansion of -1 in y 1.681 * [taylor]: Taking taylor expansion of y in y 1.725 * * * [progress]: simplifying candidates 1.726 * [simplify]: Simplifying using # : (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (* (cbrt (cos y)) (cbrt (cos y)))) (log1p (* (cbrt (cos y)) (cbrt (cos y)))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 1.730 * * [simplify]: iteration 0 : 128 enodes (cost 471 ) 1.733 * * [simplify]: iteration 1 : 500 enodes (cost 419 ) 1.748 * * [simplify]: iteration 2 : 3232 enodes (cost 387 ) 1.824 * * [simplify]: iteration 3 : 5002 enodes (cost 381 ) 1.826 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (* (cbrt (cos y)) (cbrt (cos y)))) (log1p (* (cbrt (cos y)) (cbrt (cos y)))) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (* 2/3 (log (cos y))) (* 2/3 (log (cos y))) (pow (exp 1) (pow (cos y) 2/3)) (pow (cos y) 2) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (pow (cos y) 2) (fabs (pow (cos y) 1/3)) (fabs (pow (cos y) 1/3)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 2/3 2 (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 1/3) (pow (cbrt (cbrt (cos y))) 5) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 1/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (cos y) 2/3) (pow (cos y) 2/3) 1.826 * * * [progress]: adding candidates to table 2.093 * * [progress]: iteration 4 / 4 2.093 * * * [progress]: picking best candidate 2.096 * * * * [pick]: Picked # 2.096 * * * [progress]: localizing error 2.111 * * * [progress]: generating rewritten candidates 2.111 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 2.114 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.144 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 2.152 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.162 * * * [progress]: generating series expansions 2.162 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 2.162 * * * * [progress]: [ 2 / 4 ] generating series at (2) 2.163 * [approximate]: Taking taylor expansion of (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (pow (sqrt 2.0) 2)) in (y x) around 0 2.163 * [taylor]: Taking taylor expansion of (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (pow (sqrt 2.0) 2)) in x 2.163 * [taylor]: Taking taylor expansion of (* (cos y) (+ (exp (* -1 x)) (exp x))) in x 2.163 * [taylor]: Taking taylor expansion of (cos y) in x 2.164 * [taylor]: Taking taylor expansion of y in x 2.164 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in x 2.164 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 2.164 * [taylor]: Taking taylor expansion of (* -1 x) in x 2.164 * [taylor]: Taking taylor expansion of -1 in x 2.164 * [taylor]: Taking taylor expansion of x in x 2.164 * [taylor]: Taking taylor expansion of (exp x) in x 2.164 * [taylor]: Taking taylor expansion of x in x 2.164 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 2.164 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.164 * [taylor]: Taking taylor expansion of 2.0 in x 2.167 * [taylor]: Taking taylor expansion of (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (pow (sqrt 2.0) 2)) in y 2.167 * [taylor]: Taking taylor expansion of (* (cos y) (+ (exp (* -1 x)) (exp x))) in y 2.167 * [taylor]: Taking taylor expansion of (cos y) in y 2.167 * [taylor]: Taking taylor expansion of y in y 2.167 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in y 2.167 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in y 2.167 * [taylor]: Taking taylor expansion of (* -1 x) in y 2.167 * [taylor]: Taking taylor expansion of -1 in y 2.167 * [taylor]: Taking taylor expansion of x in y 2.167 * [taylor]: Taking taylor expansion of (exp x) in y 2.167 * [taylor]: Taking taylor expansion of x in y 2.167 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 2.167 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.167 * [taylor]: Taking taylor expansion of 2.0 in y 2.173 * [taylor]: Taking taylor expansion of (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (pow (sqrt 2.0) 2)) in y 2.173 * [taylor]: Taking taylor expansion of (* (cos y) (+ (exp (* -1 x)) (exp x))) in y 2.173 * [taylor]: Taking taylor expansion of (cos y) in y 2.174 * [taylor]: Taking taylor expansion of y in y 2.174 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in y 2.174 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in y 2.174 * [taylor]: Taking taylor expansion of (* -1 x) in y 2.174 * [taylor]: Taking taylor expansion of -1 in y 2.174 * [taylor]: Taking taylor expansion of x in y 2.174 * [taylor]: Taking taylor expansion of (exp x) in y 2.174 * [taylor]: Taking taylor expansion of x in y 2.174 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 2.174 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.174 * [taylor]: Taking taylor expansion of 2.0 in y 2.176 * [taylor]: Taking taylor expansion of (/ (+ (exp (* -1 x)) (exp x)) (pow (sqrt 2.0) 2)) in x 2.176 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in x 2.176 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 2.176 * [taylor]: Taking taylor expansion of (* -1 x) in x 2.176 * [taylor]: Taking taylor expansion of -1 in x 2.176 * [taylor]: Taking taylor expansion of x in x 2.177 * [taylor]: Taking taylor expansion of (exp x) in x 2.177 * [taylor]: Taking taylor expansion of x in x 2.177 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 2.177 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.177 * [taylor]: Taking taylor expansion of 2.0 in x 2.184 * [taylor]: Taking taylor expansion of 0 in x 2.194 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp (* -1 x)) (pow (sqrt 2.0) 2))) (* 1/2 (/ (exp x) (pow (sqrt 2.0) 2))))) in x 2.194 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp (* -1 x)) (pow (sqrt 2.0) 2))) (* 1/2 (/ (exp x) (pow (sqrt 2.0) 2)))) in x 2.194 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (* -1 x)) (pow (sqrt 2.0) 2))) in x 2.194 * [taylor]: Taking taylor expansion of 1/2 in x 2.194 * [taylor]: Taking taylor expansion of (/ (exp (* -1 x)) (pow (sqrt 2.0) 2)) in x 2.194 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 2.194 * [taylor]: Taking taylor expansion of (* -1 x) in x 2.194 * [taylor]: Taking taylor expansion of -1 in x 2.194 * [taylor]: Taking taylor expansion of x in x 2.195 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 2.195 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.195 * [taylor]: Taking taylor expansion of 2.0 in x 2.198 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp x) (pow (sqrt 2.0) 2))) in x 2.198 * [taylor]: Taking taylor expansion of 1/2 in x 2.198 * [taylor]: Taking taylor expansion of (/ (exp x) (pow (sqrt 2.0) 2)) in x 2.198 * [taylor]: Taking taylor expansion of (exp x) in x 2.198 * [taylor]: Taking taylor expansion of x in x 2.198 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 2.198 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.198 * [taylor]: Taking taylor expansion of 2.0 in x 2.221 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in (y x) around 0 2.221 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in x 2.221 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.221 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.221 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.221 * [taylor]: Taking taylor expansion of y in x 2.221 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.221 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.221 * [taylor]: Taking taylor expansion of x in x 2.221 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.221 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.221 * [taylor]: Taking taylor expansion of -1 in x 2.221 * [taylor]: Taking taylor expansion of x in x 2.222 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 2.222 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.222 * [taylor]: Taking taylor expansion of 2.0 in x 2.224 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in y 2.225 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.225 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.225 * [taylor]: Taking taylor expansion of y in y 2.225 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.225 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.225 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.225 * [taylor]: Taking taylor expansion of x in y 2.225 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.225 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.225 * [taylor]: Taking taylor expansion of -1 in y 2.225 * [taylor]: Taking taylor expansion of x in y 2.225 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 2.225 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.225 * [taylor]: Taking taylor expansion of 2.0 in y 2.227 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in y 2.228 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.228 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.228 * [taylor]: Taking taylor expansion of y in y 2.228 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.228 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.228 * [taylor]: Taking taylor expansion of x in y 2.228 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.228 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.228 * [taylor]: Taking taylor expansion of -1 in y 2.228 * [taylor]: Taking taylor expansion of x in y 2.228 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 2.228 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.228 * [taylor]: Taking taylor expansion of 2.0 in y 2.231 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in x 2.231 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.231 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.231 * [taylor]: Taking taylor expansion of y in x 2.231 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.231 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.231 * [taylor]: Taking taylor expansion of x in x 2.231 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.231 * [taylor]: Taking taylor expansion of -1 in x 2.231 * [taylor]: Taking taylor expansion of x in x 2.231 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 2.231 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.231 * [taylor]: Taking taylor expansion of 2.0 in x 2.238 * [taylor]: Taking taylor expansion of 0 in x 2.248 * [taylor]: Taking taylor expansion of 0 in x 2.266 * [taylor]: Taking taylor expansion of 0 in x 2.268 * [approximate]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in (y x) around 0 2.268 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in x 2.268 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.268 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.268 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.268 * [taylor]: Taking taylor expansion of -1 in x 2.268 * [taylor]: Taking taylor expansion of y in x 2.269 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.269 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.269 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.269 * [taylor]: Taking taylor expansion of -1 in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 2.269 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.269 * [taylor]: Taking taylor expansion of 2.0 in x 2.272 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in y 2.272 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.272 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.272 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.272 * [taylor]: Taking taylor expansion of -1 in y 2.272 * [taylor]: Taking taylor expansion of y in y 2.272 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.272 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.272 * [taylor]: Taking taylor expansion of x in y 2.273 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.273 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.273 * [taylor]: Taking taylor expansion of -1 in y 2.273 * [taylor]: Taking taylor expansion of x in y 2.273 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 2.273 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.273 * [taylor]: Taking taylor expansion of 2.0 in y 2.275 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in y 2.275 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.275 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.275 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.275 * [taylor]: Taking taylor expansion of -1 in y 2.275 * [taylor]: Taking taylor expansion of y in y 2.275 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.275 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.276 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.276 * [taylor]: Taking taylor expansion of x in y 2.276 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.276 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.276 * [taylor]: Taking taylor expansion of -1 in y 2.276 * [taylor]: Taking taylor expansion of x in y 2.276 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 2.276 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.276 * [taylor]: Taking taylor expansion of 2.0 in y 2.278 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in x 2.278 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.278 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.278 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.278 * [taylor]: Taking taylor expansion of -1 in x 2.278 * [taylor]: Taking taylor expansion of y in x 2.278 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.278 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.278 * [taylor]: Taking taylor expansion of x in x 2.279 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.279 * [taylor]: Taking taylor expansion of -1 in x 2.279 * [taylor]: Taking taylor expansion of x in x 2.279 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 2.279 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.279 * [taylor]: Taking taylor expansion of 2.0 in x 2.286 * [taylor]: Taking taylor expansion of 0 in x 2.296 * [taylor]: Taking taylor expansion of 0 in x 2.309 * [taylor]: Taking taylor expansion of 0 in x 2.310 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 2.310 * [approximate]: Taking taylor expansion of (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) in (y x) around 0 2.310 * [taylor]: Taking taylor expansion of (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) in x 2.310 * [taylor]: Taking taylor expansion of (* (cos y) (+ (exp (* -1 x)) (exp x))) in x 2.310 * [taylor]: Taking taylor expansion of (cos y) in x 2.310 * [taylor]: Taking taylor expansion of y in x 2.310 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in x 2.310 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 2.310 * [taylor]: Taking taylor expansion of (* -1 x) in x 2.310 * [taylor]: Taking taylor expansion of -1 in x 2.310 * [taylor]: Taking taylor expansion of x in x 2.311 * [taylor]: Taking taylor expansion of (exp x) in x 2.311 * [taylor]: Taking taylor expansion of x in x 2.311 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.311 * [taylor]: Taking taylor expansion of 2.0 in x 2.313 * [taylor]: Taking taylor expansion of (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) in y 2.313 * [taylor]: Taking taylor expansion of (* (cos y) (+ (exp (* -1 x)) (exp x))) in y 2.313 * [taylor]: Taking taylor expansion of (cos y) in y 2.313 * [taylor]: Taking taylor expansion of y in y 2.313 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in y 2.313 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in y 2.313 * [taylor]: Taking taylor expansion of (* -1 x) in y 2.313 * [taylor]: Taking taylor expansion of -1 in y 2.313 * [taylor]: Taking taylor expansion of x in y 2.313 * [taylor]: Taking taylor expansion of (exp x) in y 2.313 * [taylor]: Taking taylor expansion of x in y 2.313 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.313 * [taylor]: Taking taylor expansion of 2.0 in y 2.314 * [taylor]: Taking taylor expansion of (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) in y 2.314 * [taylor]: Taking taylor expansion of (* (cos y) (+ (exp (* -1 x)) (exp x))) in y 2.314 * [taylor]: Taking taylor expansion of (cos y) in y 2.314 * [taylor]: Taking taylor expansion of y in y 2.314 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in y 2.314 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in y 2.314 * [taylor]: Taking taylor expansion of (* -1 x) in y 2.314 * [taylor]: Taking taylor expansion of -1 in y 2.314 * [taylor]: Taking taylor expansion of x in y 2.314 * [taylor]: Taking taylor expansion of (exp x) in y 2.314 * [taylor]: Taking taylor expansion of x in y 2.314 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.314 * [taylor]: Taking taylor expansion of 2.0 in y 2.315 * [taylor]: Taking taylor expansion of (/ (+ (exp (* -1 x)) (exp x)) (sqrt 2.0)) in x 2.315 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in x 2.315 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 2.315 * [taylor]: Taking taylor expansion of (* -1 x) in x 2.315 * [taylor]: Taking taylor expansion of -1 in x 2.316 * [taylor]: Taking taylor expansion of x in x 2.316 * [taylor]: Taking taylor expansion of (exp x) in x 2.316 * [taylor]: Taking taylor expansion of x in x 2.316 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.316 * [taylor]: Taking taylor expansion of 2.0 in x 2.321 * [taylor]: Taking taylor expansion of 0 in x 2.328 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp (* -1 x)) (sqrt 2.0))) (* 1/2 (/ (exp x) (sqrt 2.0))))) in x 2.328 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp (* -1 x)) (sqrt 2.0))) (* 1/2 (/ (exp x) (sqrt 2.0)))) in x 2.329 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (* -1 x)) (sqrt 2.0))) in x 2.329 * [taylor]: Taking taylor expansion of 1/2 in x 2.329 * [taylor]: Taking taylor expansion of (/ (exp (* -1 x)) (sqrt 2.0)) in x 2.329 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 2.329 * [taylor]: Taking taylor expansion of (* -1 x) in x 2.329 * [taylor]: Taking taylor expansion of -1 in x 2.329 * [taylor]: Taking taylor expansion of x in x 2.329 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.329 * [taylor]: Taking taylor expansion of 2.0 in x 2.331 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp x) (sqrt 2.0))) in x 2.331 * [taylor]: Taking taylor expansion of 1/2 in x 2.331 * [taylor]: Taking taylor expansion of (/ (exp x) (sqrt 2.0)) in x 2.331 * [taylor]: Taking taylor expansion of (exp x) in x 2.331 * [taylor]: Taking taylor expansion of x in x 2.331 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.331 * [taylor]: Taking taylor expansion of 2.0 in x 2.351 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in (y x) around 0 2.351 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in x 2.351 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.351 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.351 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.351 * [taylor]: Taking taylor expansion of y in x 2.351 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.351 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.351 * [taylor]: Taking taylor expansion of x in x 2.351 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.352 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.352 * [taylor]: Taking taylor expansion of -1 in x 2.352 * [taylor]: Taking taylor expansion of x in x 2.352 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.352 * [taylor]: Taking taylor expansion of 2.0 in x 2.353 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in y 2.353 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.353 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.353 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.354 * [taylor]: Taking taylor expansion of y in y 2.354 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.354 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.354 * [taylor]: Taking taylor expansion of x in y 2.354 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.354 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.354 * [taylor]: Taking taylor expansion of -1 in y 2.354 * [taylor]: Taking taylor expansion of x in y 2.354 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.354 * [taylor]: Taking taylor expansion of 2.0 in y 2.355 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in y 2.355 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.355 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.355 * [taylor]: Taking taylor expansion of y in y 2.356 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.356 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.356 * [taylor]: Taking taylor expansion of x in y 2.356 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.356 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.356 * [taylor]: Taking taylor expansion of -1 in y 2.356 * [taylor]: Taking taylor expansion of x in y 2.356 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.356 * [taylor]: Taking taylor expansion of 2.0 in y 2.357 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in x 2.357 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.357 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.357 * [taylor]: Taking taylor expansion of y in x 2.357 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.357 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.357 * [taylor]: Taking taylor expansion of x in x 2.358 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.358 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.358 * [taylor]: Taking taylor expansion of -1 in x 2.358 * [taylor]: Taking taylor expansion of x in x 2.358 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.358 * [taylor]: Taking taylor expansion of 2.0 in x 2.362 * [taylor]: Taking taylor expansion of 0 in x 2.370 * [taylor]: Taking taylor expansion of 0 in x 2.380 * [taylor]: Taking taylor expansion of 0 in x 2.381 * [approximate]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in (y x) around 0 2.381 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in x 2.381 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.381 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.381 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.381 * [taylor]: Taking taylor expansion of -1 in x 2.381 * [taylor]: Taking taylor expansion of y in x 2.381 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.381 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.381 * [taylor]: Taking taylor expansion of x in x 2.381 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.381 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.381 * [taylor]: Taking taylor expansion of -1 in x 2.381 * [taylor]: Taking taylor expansion of x in x 2.382 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.382 * [taylor]: Taking taylor expansion of 2.0 in x 2.383 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in y 2.383 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.383 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.383 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.383 * [taylor]: Taking taylor expansion of -1 in y 2.383 * [taylor]: Taking taylor expansion of y in y 2.384 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.384 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.384 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.384 * [taylor]: Taking taylor expansion of x in y 2.384 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.384 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.384 * [taylor]: Taking taylor expansion of -1 in y 2.384 * [taylor]: Taking taylor expansion of x in y 2.384 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.384 * [taylor]: Taking taylor expansion of 2.0 in y 2.385 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in y 2.385 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.385 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.385 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.385 * [taylor]: Taking taylor expansion of -1 in y 2.385 * [taylor]: Taking taylor expansion of y in y 2.386 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.386 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.386 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.386 * [taylor]: Taking taylor expansion of x in y 2.386 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.386 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.386 * [taylor]: Taking taylor expansion of -1 in y 2.386 * [taylor]: Taking taylor expansion of x in y 2.386 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 2.386 * [taylor]: Taking taylor expansion of 2.0 in y 2.387 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (sqrt 2.0)) in x 2.387 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.387 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.387 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.387 * [taylor]: Taking taylor expansion of -1 in x 2.387 * [taylor]: Taking taylor expansion of y in x 2.388 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.388 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.388 * [taylor]: Taking taylor expansion of x in x 2.388 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.388 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.388 * [taylor]: Taking taylor expansion of -1 in x 2.388 * [taylor]: Taking taylor expansion of x in x 2.388 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 2.388 * [taylor]: Taking taylor expansion of 2.0 in x 2.393 * [taylor]: Taking taylor expansion of 0 in x 2.400 * [taylor]: Taking taylor expansion of 0 in x 2.410 * [taylor]: Taking taylor expansion of 0 in x 2.411 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.411 * [approximate]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in (x) around 0 2.411 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in x 2.411 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 2.411 * [taylor]: Taking taylor expansion of (* -1 x) in x 2.411 * [taylor]: Taking taylor expansion of -1 in x 2.411 * [taylor]: Taking taylor expansion of x in x 2.412 * [taylor]: Taking taylor expansion of (exp x) in x 2.412 * [taylor]: Taking taylor expansion of x in x 2.412 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in x 2.412 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 2.412 * [taylor]: Taking taylor expansion of (* -1 x) in x 2.412 * [taylor]: Taking taylor expansion of -1 in x 2.412 * [taylor]: Taking taylor expansion of x in x 2.413 * [taylor]: Taking taylor expansion of (exp x) in x 2.413 * [taylor]: Taking taylor expansion of x in x 2.426 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 2.426 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.426 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.426 * [taylor]: Taking taylor expansion of x in x 2.426 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.426 * [taylor]: Taking taylor expansion of -1 in x 2.426 * [taylor]: Taking taylor expansion of x in x 2.426 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.426 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.426 * [taylor]: Taking taylor expansion of x in x 2.427 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.427 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.427 * [taylor]: Taking taylor expansion of -1 in x 2.427 * [taylor]: Taking taylor expansion of x in x 2.429 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 2.429 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.429 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.429 * [taylor]: Taking taylor expansion of x in x 2.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.429 * [taylor]: Taking taylor expansion of -1 in x 2.429 * [taylor]: Taking taylor expansion of x in x 2.430 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.430 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.430 * [taylor]: Taking taylor expansion of x in x 2.430 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.430 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.430 * [taylor]: Taking taylor expansion of -1 in x 2.430 * [taylor]: Taking taylor expansion of x in x 2.432 * * * [progress]: simplifying candidates 2.440 * [simplify]: Simplifying using # : (expm1 (/ 1 (sqrt 2.0))) (log1p (/ 1 (sqrt 2.0))) (- 1/2) (- 1) (- (/ 1 2)) (- (log (sqrt 2.0))) (- 0 (log (sqrt 2.0))) (- (log 1) (log (sqrt 2.0))) (log (/ 1 (sqrt 2.0))) (exp (/ 1 (sqrt 2.0))) (/ (* (* 1 1) 1) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ 1 (sqrt 2.0))) (cbrt (/ 1 (sqrt 2.0)))) (cbrt (/ 1 (sqrt 2.0))) (* (* (/ 1 (sqrt 2.0)) (/ 1 (sqrt 2.0))) (/ 1 (sqrt 2.0))) (sqrt (/ 1 (sqrt 2.0))) (sqrt (/ 1 (sqrt 2.0))) (- 1) (- (sqrt 2.0)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt 1) (cbrt (sqrt 2.0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt 1) (sqrt (cbrt 2.0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 2.0))) (/ (cbrt 1) (sqrt (sqrt 2.0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (cbrt 1) (sqrt 2.0)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 2.0))) (/ (cbrt 1) (sqrt (sqrt 2.0))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sqrt 2.0)) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt 1) (cbrt (sqrt 2.0))) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt 1) (sqrt (cbrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt 1) (sqrt 2.0)) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ 1 (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ 1 (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ 1 (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ 1 1) (/ 1 (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) 1) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ 1 (sqrt (sqrt 2.0))) (/ 1 1) (/ (sqrt 2.0) (cbrt 1)) (/ (sqrt 2.0) (sqrt 1)) (/ (sqrt 2.0) 1) (expm1 (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (log1p (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (+ (- (log (sqrt 2.0))) (- (+ (log (cos y)) (log (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0)))) (+ (- (log (sqrt 2.0))) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0)))) (+ (- (log (sqrt 2.0))) (log (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (+ (- 0 (log (sqrt 2.0))) (- (+ (log (cos y)) (log (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0)))) (+ (- 0 (log (sqrt 2.0))) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0)))) (+ (- 0 (log (sqrt 2.0))) (log (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (+ (- (log 1) (log (sqrt 2.0))) (- (+ (log (cos y)) (log (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0)))) (+ (- (log 1) (log (sqrt 2.0))) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0)))) (+ (- (log 1) (log (sqrt 2.0))) (log (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (+ (log (/ 1 (sqrt 2.0))) (- (+ (log (cos y)) (log (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0)))) (+ (log (/ 1 (sqrt 2.0))) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0)))) (+ (log (/ 1 (sqrt 2.0))) (log (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (log (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (exp (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ (* (* 1 1) 1) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (/ (* (* (* (cos y) (cos y)) (cos y)) (* (* (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x))) (+ (exp (* -1 x)) (exp x)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (/ (* (* 1 1) 1) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (/ (* (* (* (cos y) (+ (exp (* -1 x)) (exp x))) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (/ (* (* 1 1) 1) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (* (* (/ 1 (sqrt 2.0)) (/ 1 (sqrt 2.0))) (/ 1 (sqrt 2.0))) (/ (* (* (* (cos y) (cos y)) (cos y)) (* (* (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x))) (+ (exp (* -1 x)) (exp x)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (/ 1 (sqrt 2.0)) (/ 1 (sqrt 2.0))) (/ 1 (sqrt 2.0))) (/ (* (* (* (cos y) (+ (exp (* -1 x)) (exp x))) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (/ 1 (sqrt 2.0)) (/ 1 (sqrt 2.0))) (/ 1 (sqrt 2.0))) (* (* (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (cbrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (cbrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))))) (cbrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (* (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (sqrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (sqrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* 1 (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* (sqrt 2.0) (sqrt 2.0)) (* (sqrt (/ 1 (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (sqrt (/ 1 (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ (sqrt 1) (sqrt (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ (sqrt 1) (sqrt (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ (sqrt 1) (sqrt (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ (sqrt 1) (sqrt (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ 1 (sqrt (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ 1 (sqrt (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ 1 (sqrt (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ 1 (sqrt (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ 1 (sqrt 2.0)) (* (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))))) (* (/ 1 (sqrt 2.0)) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (/ 1 (sqrt 2.0)) (/ (cos y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (/ 1 (sqrt 2.0)) (/ (cos y) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (/ 1 (sqrt 2.0)) (/ (cos y) (sqrt (sqrt 2.0)))) (* (/ 1 (sqrt 2.0)) (/ (cos y) (sqrt 1))) (* (/ 1 (sqrt 2.0)) (/ (cos y) (sqrt (sqrt 2.0)))) (* (/ 1 (sqrt 2.0)) (/ (cos y) 1)) (* (/ 1 (sqrt 2.0)) 1) (* (/ 1 (sqrt 2.0)) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* (cbrt (/ 1 (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (sqrt (/ 1 (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (cbrt 1) (cbrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (cbrt 1) (sqrt (cbrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (cbrt 1) (sqrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (cbrt 1) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (cbrt 1) (sqrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (cbrt 1) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (sqrt 1) (cbrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (sqrt 1) (sqrt (cbrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (sqrt 1) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ (sqrt 1) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (cbrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt (cbrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (/ 1 (sqrt 2.0)) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* 1 (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (expm1 (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (log1p (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (- (+ (log (cos y)) (log (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0))) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log (sqrt 2.0))) (log (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (exp (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (/ (* (* (* (cos y) (cos y)) (cos y)) (* (* (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x))) (+ (exp (* -1 x)) (exp x)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (/ (* (* (* (cos y) (+ (exp (* -1 x)) (exp x))) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (* (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (- (* (cos y) (+ (exp (* -1 x)) (exp x)))) (- (sqrt 2.0)) (/ (cos y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (+ (exp (* -1 x)) (exp x)) (cbrt (sqrt 2.0))) (/ (cos y) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (+ (exp (* -1 x)) (exp x)) (sqrt (cbrt 2.0))) (/ (cos y) (sqrt (sqrt 2.0))) (/ (+ (exp (* -1 x)) (exp x)) (sqrt (sqrt 2.0))) (/ (cos y) (sqrt 1)) (/ (+ (exp (* -1 x)) (exp x)) (sqrt 2.0)) (/ (cos y) (sqrt (sqrt 2.0))) (/ (+ (exp (* -1 x)) (exp x)) (sqrt (sqrt 2.0))) (/ (cos y) 1) (/ (+ (exp (* -1 x)) (exp x)) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 1)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 1) (/ (sqrt 2.0) (+ (exp (* -1 x)) (exp x))) (* (sqrt 2.0) (+ (* (exp (* -1 x)) (exp (* -1 x))) (- (* (exp x) (exp x)) (* (exp (* -1 x)) (exp x))))) (* (sqrt 2.0) (- (exp (* -1 x)) (exp x))) (expm1 (+ (exp (* -1 x)) (exp x))) (log1p (+ (exp (* -1 x)) (exp x))) (* (exp (exp (* -1 x))) (exp (exp x))) (log (+ (exp (* -1 x)) (exp x))) (exp (+ (exp (* -1 x)) (exp x))) (* (cbrt (+ (exp (* -1 x)) (exp x))) (cbrt (+ (exp (* -1 x)) (exp x)))) (cbrt (+ (exp (* -1 x)) (exp x))) (* (* (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x))) (+ (exp (* -1 x)) (exp x))) (sqrt (+ (exp (* -1 x)) (exp x))) (sqrt (+ (exp (* -1 x)) (exp x))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (+ (* (exp (* -1 x)) (exp (* -1 x))) (- (* (exp x) (exp x)) (* (exp (* -1 x)) (exp x)))) (- (* (exp (* -1 x)) (exp (* -1 x))) (* (exp x) (exp x))) (- (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (- (+ (/ (pow x 2) (pow (sqrt 2.0) 2)) (* 2 (/ 1 (pow (sqrt 2.0) 2)))) (/ (pow y 2) (pow (sqrt 2.0) 2))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (pow (sqrt 2.0) 2)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (pow (sqrt 2.0) 2)) (- (+ (/ (pow x 2) (sqrt 2.0)) (* 2 (/ 1 (sqrt 2.0)))) (/ (pow y 2) (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) 2.448 * * [simplify]: iteration 0 : 587 enodes (cost 1707 ) 2.462 * * [simplify]: iteration 1 : 3625 enodes (cost 1422 ) 2.515 * * [simplify]: iteration 2 : 5002 enodes (cost 1313 ) 2.520 * [simplify]: Simplified to: (expm1 (/ 1 (sqrt 2.0))) (log1p (/ 1 (sqrt 2.0))) (- 1/2) (- 1) (- 1/2) (log (/ 1 (sqrt 2.0))) (log (/ 1 (sqrt 2.0))) (log (/ 1 (sqrt 2.0))) (log (/ 1 (sqrt 2.0))) (exp (/ 1 (sqrt 2.0))) (/ (/ 1 2.0) (sqrt 2.0)) (* (cbrt (/ 1 (sqrt 2.0))) (cbrt (/ 1 (sqrt 2.0)))) (cbrt (/ 1 (sqrt 2.0))) (/ (/ 1 2.0) (sqrt 2.0)) (sqrt (/ 1 (sqrt 2.0))) (sqrt (/ 1 (sqrt 2.0))) (- 1) (- (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ 1 (cbrt (sqrt 2.0))) (/ 1 (/ (fabs (cbrt 2.0)) 1)) (/ 1 (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) 1 (/ 1 (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) 1 (/ 1 (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ 1 (cbrt (sqrt 2.0))) (/ 1 (/ (fabs (cbrt 2.0)) 1)) (/ 1 (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) 1 (/ 1 (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) 1 (/ 1 (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ 1 (cbrt (sqrt 2.0))) (/ 1 (/ (fabs (cbrt 2.0)) 1)) (/ 1 (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) 1 (/ 1 (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) 1 (/ 1 (sqrt 2.0)) (/ 1 (sqrt 2.0)) (sqrt 2.0) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ 1 (/ (fabs (cbrt 2.0)) 1)) (/ 1 (sqrt (sqrt 2.0))) 1 (/ 1 (sqrt (sqrt 2.0))) 1 (sqrt 2.0) (sqrt 2.0) (sqrt 2.0) (expm1 (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (log1p (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (+ (log (/ (cos y) 2.0)) (log (+ (exp (* -1 x)) (exp x)))) (pow (exp (/ (cos y) 2.0)) (+ (exp (* -1 x)) (exp x))) (pow (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) 3) (pow (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) 3) (pow (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) 3) (pow (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) 3) (pow (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) 3) (pow (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) 3) (* (cbrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (cbrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))))) (cbrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (pow (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) 3) (sqrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (sqrt (* (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0 (* (sqrt (/ 1 (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (* (sqrt (/ 1 (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (/ (* (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) 1) (sqrt (sqrt 2.0))) (/ (* (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) 1) (sqrt (sqrt 2.0))) (/ (* (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) 1) (sqrt (sqrt 2.0))) (/ (* (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) 1) (sqrt (sqrt 2.0))) (/ (* (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) 1) (sqrt (sqrt 2.0))) (/ (* (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) 1) (sqrt (sqrt 2.0))) (/ (* (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) 1) (sqrt (sqrt 2.0))) (/ (* (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) 1) (sqrt (sqrt 2.0))) (/ (* (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (sqrt 2.0)) (/ (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (sqrt 2.0)) (/ (/ (cos y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (sqrt 2.0)) (/ (/ (cos y) (fabs (cbrt 2.0))) (sqrt 2.0)) (/ (/ (cos y) (sqrt (sqrt 2.0))) (sqrt 2.0)) (/ (cos y) (sqrt 2.0)) (/ (/ (cos y) (sqrt (sqrt 2.0))) (sqrt 2.0)) (/ (cos y) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (* (cbrt (/ 1 (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (* (sqrt (/ 1 (sqrt 2.0))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (cbrt 2.0))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (cbrt 2.0))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (cbrt 2.0))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (expm1 (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (log1p (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (log (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (log (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (log (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (exp (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) 3) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) 3) (* (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)))) (cbrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) 3) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (sqrt (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0))) (- (* (cos y) (+ (exp (* -1 x)) (exp x)))) (- (sqrt 2.0)) (/ (cos y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (+ (exp (* -1 x)) (exp x)) (cbrt (sqrt 2.0))) (/ (cos y) (fabs (cbrt 2.0))) (/ (+ (exp (* -1 x)) (exp x)) (sqrt (cbrt 2.0))) (/ (cos y) (sqrt (sqrt 2.0))) (/ (+ (exp (* -1 x)) (exp x)) (pow (sqrt 2.0) 1/2)) (cos y) (/ (+ (exp (* -1 x)) (exp x)) (sqrt 2.0)) (/ (cos y) (sqrt (sqrt 2.0))) (/ (+ (exp (* -1 x)) (exp x)) (pow (sqrt 2.0) 1/2)) (cos y) (/ (+ (exp (* -1 x)) (exp x)) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (* (cos y) (+ (exp (* -1 x)) (exp x)))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos y) (/ (fabs (cbrt 2.0)) (+ (exp (* -1 x)) (exp x)))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt (sqrt 2.0))) (* (cos y) (+ (exp (* -1 x)) (exp x))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt (sqrt 2.0))) (* (cos y) (+ (exp (* -1 x)) (exp x))) (/ (sqrt 2.0) (+ (exp (* -1 x)) (exp x))) (* (sqrt 2.0) (fma (exp x) (- (exp x) (exp (* -1 x))) (exp (+ (* -1 x) (* -1 x))))) (* (sqrt 2.0) (- (exp (* -1 x)) (exp x))) (expm1 (+ (exp (* -1 x)) (exp x))) (log1p (+ (exp (* -1 x)) (exp x))) (exp (+ (exp (* -1 x)) (exp x))) (log (+ (exp (* -1 x)) (exp x))) (exp (+ (exp (* -1 x)) (exp x))) (* (cbrt (+ (exp (* -1 x)) (exp x))) (cbrt (+ (exp (* -1 x)) (exp x)))) (cbrt (+ (exp (* -1 x)) (exp x))) (pow (+ (exp (* -1 x)) (exp x)) 3) (sqrt (+ (exp (* -1 x)) (exp x))) (sqrt (+ (exp (* -1 x)) (exp x))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (fma (- (exp x) (exp (* -1 x))) (exp x) (pow (exp -1) (* 2 x))) (fma (- (exp x)) (exp x) (pow (exp -1) (* 2 x))) (- (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (+ (+ (/ 2 2.0) (/ (- (pow y 2)) 2.0)) (/ x (/ 2.0 x))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (/ (cos y) (/ 2.0 (+ (exp (* -1 x)) (exp x)))) (+ (/ 2 (sqrt 2.0)) (- (/ (pow x 2) (sqrt 2.0)) (/ (pow y 2) (sqrt 2.0)))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) 2.521 * * * [progress]: adding candidates to table 2.891 * [progress]: [Phase 3 of 3] Extracting. 2.891 * * [regime]: Finding splitpoints for: (# # #) 2.892 * * * [regime-changes]: Trying 2 branch expressions: (y x) 2.892 * * * * [regimes]: Trying to branch on y from (# # #) 2.908 * * * * [regimes]: Trying to branch on x from (# # #) 2.928 * * * [regime]: Found split indices: #