19.497 * [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.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.010 * * * * [points]: Setting MPFR precision to 64 0.011 * * * * [points]: Setting MPFR precision to 320 0.012 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.014 * * * * [points]: Setting MPFR precision to 64 0.016 * * * * [points]: Setting MPFR precision to 320 0.018 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.020 * * * * [points]: Setting MPFR precision to 64 0.023 * * * * [points]: Setting MPFR precision to 320 0.025 * * * * [points]: Computing exacts for 256 points 0.028 * * * * [points]: Setting MPFR precision to 64 0.039 * * * * [points]: Setting MPFR precision to 320 0.048 * * * * [points]: Filtering points with unrepresentable outputs 0.049 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256 0.050 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision 0.052 * * * * [points]: Setting MPFR precision to 64 0.053 * * * * [points]: Setting MPFR precision to 320 0.053 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision 0.055 * * * * [points]: Setting MPFR precision to 64 0.056 * * * * [points]: Setting MPFR precision to 320 0.057 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision 0.059 * * * * [points]: Setting MPFR precision to 64 0.061 * * * * [points]: Setting MPFR precision to 320 0.063 * * * * [points]: Computing exacts for 138 points 0.065 * * * * [points]: Setting MPFR precision to 64 0.069 * * * * [points]: Setting MPFR precision to 320 0.074 * * * * [points]: Filtering points with unrepresentable outputs 0.074 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256 0.075 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 0.077 * * * * [points]: Setting MPFR precision to 64 0.077 * * * * [points]: Setting MPFR precision to 320 0.078 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 0.080 * * * * [points]: Setting MPFR precision to 64 0.081 * * * * [points]: Setting MPFR precision to 320 0.082 * * * * [points]: Computing exacts for 70 points 0.084 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.089 * * * * [points]: Filtering points with unrepresentable outputs 0.089 * * * * [points]: Sampling 39 additional inputs, on iter 3 have 217 / 256 0.089 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision 0.091 * * * * [points]: Setting MPFR precision to 64 0.092 * * * * [points]: Setting MPFR precision to 320 0.093 * * * * [points]: Computing exacts for 39 points 0.095 * * * * [points]: Setting MPFR precision to 64 0.096 * * * * [points]: Setting MPFR precision to 320 0.097 * * * * [points]: Filtering points with unrepresentable outputs 0.097 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256 0.098 * * * * [points]: Computing exacts for 17 points 0.100 * * * * [points]: Setting MPFR precision to 64 0.100 * * * * [points]: Setting MPFR precision to 320 0.101 * * * * [points]: Filtering points with unrepresentable outputs 0.101 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 0.101 * * * * [points]: Computing exacts for 9 points 0.103 * * * * [points]: Setting MPFR precision to 64 0.104 * * * * [points]: Setting MPFR precision to 320 0.104 * * * * [points]: Filtering points with unrepresentable outputs 0.104 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256 0.104 * * * * [points]: Computing exacts for 7 points 0.106 * * * * [points]: Setting MPFR precision to 64 0.106 * * * * [points]: Setting MPFR precision to 320 0.107 * * * * [points]: Filtering points with unrepresentable outputs 0.107 * * * * [points]: Sampling 5 additional inputs, on iter 7 have 251 / 256 0.107 * * * * [points]: Computing exacts for 5 points 0.109 * * * * [points]: Setting MPFR precision to 64 0.109 * * * * [points]: Setting MPFR precision to 320 0.109 * * * * [points]: Filtering points with unrepresentable outputs 0.109 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 253 / 256 0.110 * * * * [points]: Computing exacts for 4 points 0.112 * * * * [points]: Setting MPFR precision to 64 0.112 * * * * [points]: Setting MPFR precision to 320 0.112 * * * * [points]: Filtering points with unrepresentable outputs 0.112 * * * * [points]: Sampled 256 points with exact outputs 0.112 * * * [progress]: [2/2] Setting up program. 0.115 * [progress]: [Phase 2 of 3] Improving. 0.116 * [simplify]: Simplifying using # : (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.117 * * [simplify]: iteration 0 : 16 enodes (cost 24 ) 0.119 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 0.123 * * [simplify]: iteration 2 : 46 enodes (cost 11 ) 0.131 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 0.142 * * [simplify]: iteration 4 : 113 enodes (cost 11 ) 0.156 * * [simplify]: iteration 5 : 181 enodes (cost 11 ) 0.195 * * [simplify]: iteration 6 : 310 enodes (cost 11 ) 0.322 * * [simplify]: iteration 7 : 594 enodes (cost 11 ) 0.618 * * [simplify]: iteration 8 : 983 enodes (cost 11 ) 1.364 * * [simplify]: iteration 9 : 1584 enodes (cost 11 ) 2.390 * * [simplify]: iteration 10 : 1903 enodes (cost 11 ) 3.099 * * [simplify]: iteration 11 : 2071 enodes (cost 11 ) 3.757 * * [simplify]: iteration 12 : 2095 enodes (cost 11 ) 4.293 * * [simplify]: iteration done : 2095 enodes (cost 11 ) 4.293 * [simplify]: Simplified to: (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 4.296 * * [progress]: iteration 1 / 4 4.296 * * * [progress]: picking best candidate 4.299 * * * * [pick]: Picked # 4.299 * * * [progress]: localizing error 4.310 * * * [progress]: generating rewritten candidates 4.310 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.335 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 4.342 * * * [progress]: generating series expansions 4.342 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.342 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (y x) around 0 4.342 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x 4.342 * [taylor]: Taking taylor expansion of 0.5 in x 4.342 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 4.342 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.342 * [taylor]: Taking taylor expansion of (exp x) in x 4.342 * [taylor]: Taking taylor expansion of x in x 4.343 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.343 * [taylor]: Taking taylor expansion of (- x) in x 4.343 * [taylor]: Taking taylor expansion of x in x 4.343 * [taylor]: Taking taylor expansion of (cos y) in x 4.343 * [taylor]: Taking taylor expansion of y in x 4.343 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y 4.343 * [taylor]: Taking taylor expansion of 0.5 in y 4.343 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y 4.343 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 4.343 * [taylor]: Taking taylor expansion of (exp x) in y 4.344 * [taylor]: Taking taylor expansion of x in y 4.344 * [taylor]: Taking taylor expansion of (exp (- x)) in y 4.344 * [taylor]: Taking taylor expansion of (- x) in y 4.344 * [taylor]: Taking taylor expansion of x in y 4.344 * [taylor]: Taking taylor expansion of (cos y) in y 4.344 * [taylor]: Taking taylor expansion of y in y 4.344 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y 4.344 * [taylor]: Taking taylor expansion of 0.5 in y 4.344 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y 4.344 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 4.344 * [taylor]: Taking taylor expansion of (exp x) in y 4.344 * [taylor]: Taking taylor expansion of x in y 4.344 * [taylor]: Taking taylor expansion of (exp (- x)) in y 4.344 * [taylor]: Taking taylor expansion of (- x) in y 4.344 * [taylor]: Taking taylor expansion of x in y 4.344 * [taylor]: Taking taylor expansion of (cos y) in y 4.344 * [taylor]: Taking taylor expansion of y in y 4.344 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp x) (exp (- x)))) in x 4.344 * [taylor]: Taking taylor expansion of 0.5 in x 4.344 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.344 * [taylor]: Taking taylor expansion of (exp x) in x 4.344 * [taylor]: Taking taylor expansion of x in x 4.344 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.344 * [taylor]: Taking taylor expansion of (- x) in x 4.344 * [taylor]: Taking taylor expansion of x in x 4.348 * [taylor]: Taking taylor expansion of 0 in x 4.354 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp x)) (* 0.25 (exp (- x))))) in x 4.354 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp x)) (* 0.25 (exp (- x)))) in x 4.354 * [taylor]: Taking taylor expansion of (* 0.25 (exp x)) in x 4.354 * [taylor]: Taking taylor expansion of 0.25 in x 4.354 * [taylor]: Taking taylor expansion of (exp x) in x 4.354 * [taylor]: Taking taylor expansion of x in x 4.354 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- x))) in x 4.354 * [taylor]: Taking taylor expansion of 0.25 in x 4.354 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.354 * [taylor]: Taking taylor expansion of (- x) in x 4.354 * [taylor]: Taking taylor expansion of x in x 4.360 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (y x) around 0 4.361 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 4.361 * [taylor]: Taking taylor expansion of 0.5 in x 4.361 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 4.361 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.361 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.361 * [taylor]: Taking taylor expansion of y in x 4.361 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.361 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.361 * [taylor]: Taking taylor expansion of x in x 4.361 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.361 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.361 * [taylor]: Taking taylor expansion of x in x 4.362 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 4.362 * [taylor]: Taking taylor expansion of 0.5 in y 4.362 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 4.362 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.362 * [taylor]: Taking taylor expansion of y in y 4.362 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.362 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.362 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.362 * [taylor]: Taking taylor expansion of x in y 4.362 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.362 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.362 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.362 * [taylor]: Taking taylor expansion of x in y 4.363 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 4.363 * [taylor]: Taking taylor expansion of 0.5 in y 4.363 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 4.363 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.363 * [taylor]: Taking taylor expansion of y in y 4.363 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.363 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.363 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.363 * [taylor]: Taking taylor expansion of x in y 4.363 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.363 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.363 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.363 * [taylor]: Taking taylor expansion of x in y 4.364 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 4.364 * [taylor]: Taking taylor expansion of 0.5 in x 4.364 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 4.364 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.364 * [taylor]: Taking taylor expansion of y in x 4.364 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.364 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.364 * [taylor]: Taking taylor expansion of x in x 4.364 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.364 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.364 * [taylor]: Taking taylor expansion of x in x 4.372 * [taylor]: Taking taylor expansion of 0 in x 4.379 * [taylor]: Taking taylor expansion of 0 in x 4.388 * [taylor]: Taking taylor expansion of 0 in x 4.388 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (y x) around 0 4.388 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 4.388 * [taylor]: Taking taylor expansion of 0.5 in x 4.388 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 4.388 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.388 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.388 * [taylor]: Taking taylor expansion of -1 in x 4.388 * [taylor]: Taking taylor expansion of y in x 4.388 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 4.388 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.389 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.389 * [taylor]: Taking taylor expansion of -1 in x 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 4.389 * [taylor]: Taking taylor expansion of 0.5 in y 4.389 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 4.389 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.389 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.389 * [taylor]: Taking taylor expansion of -1 in y 4.389 * [taylor]: Taking taylor expansion of y in y 4.390 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 4.390 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.390 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.390 * [taylor]: Taking taylor expansion of x in y 4.390 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.390 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.390 * [taylor]: Taking taylor expansion of -1 in y 4.390 * [taylor]: Taking taylor expansion of x in y 4.390 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 4.390 * [taylor]: Taking taylor expansion of 0.5 in y 4.390 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 4.390 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.390 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.390 * [taylor]: Taking taylor expansion of -1 in y 4.390 * [taylor]: Taking taylor expansion of y in y 4.390 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 4.390 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.390 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.390 * [taylor]: Taking taylor expansion of x in y 4.390 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.391 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.391 * [taylor]: Taking taylor expansion of -1 in y 4.391 * [taylor]: Taking taylor expansion of x in y 4.391 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 4.391 * [taylor]: Taking taylor expansion of 0.5 in x 4.391 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 4.391 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.391 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.391 * [taylor]: Taking taylor expansion of -1 in x 4.391 * [taylor]: Taking taylor expansion of y in x 4.391 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 4.391 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.391 * [taylor]: Taking taylor expansion of x in x 4.391 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.392 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.392 * [taylor]: Taking taylor expansion of -1 in x 4.392 * [taylor]: Taking taylor expansion of x in x 4.395 * [taylor]: Taking taylor expansion of 0 in x 4.400 * [taylor]: Taking taylor expansion of 0 in x 4.407 * [taylor]: Taking taylor expansion of 0 in x 4.408 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 4.408 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 4.408 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.408 * [taylor]: Taking taylor expansion of (exp x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.408 * [taylor]: Taking taylor expansion of (- x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.408 * [taylor]: Taking taylor expansion of (exp x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.408 * [taylor]: Taking taylor expansion of (- x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.423 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 4.423 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.423 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.424 * [taylor]: Taking taylor expansion of x in x 4.424 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.424 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.424 * [taylor]: Taking taylor expansion of x in x 4.424 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.424 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.424 * [taylor]: Taking taylor expansion of x in x 4.425 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.425 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.425 * [taylor]: Taking taylor expansion of x in x 4.427 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 4.427 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 4.427 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.427 * [taylor]: Taking taylor expansion of x in x 4.428 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.428 * [taylor]: Taking taylor expansion of -1 in x 4.428 * [taylor]: Taking taylor expansion of x in x 4.428 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 4.428 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.428 * [taylor]: Taking taylor expansion of x in x 4.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.429 * [taylor]: Taking taylor expansion of -1 in x 4.429 * [taylor]: Taking taylor expansion of x in x 4.431 * * * [progress]: simplifying candidates 4.432 * [simplify]: Simplifying using # : (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) (+ (log (cos y)) (- (log (+ (exp x) (exp (- x)))) (log 2.0))) (+ (log (cos y)) (log (/ (+ (exp x) (exp (- x))) 2.0))) (log (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (exp (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (* (* (* (cos y) (cos y)) (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))) (* (cbrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (cbrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)))) (cbrt (* (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) (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (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))) (* (cos y) (* (cbrt (/ (+ (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 (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)))) (* (cos y) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0))) (* (cos y) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1)) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0)))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (cos y) (/ 1 (* (cbrt 2.0) (cbrt 2.0)))) (* (cos y) (/ 1 (sqrt 2.0))) (* (cos y) (/ 1 1)) (* (cos y) (/ 1 (* (cbrt 2.0) (cbrt 2.0)))) (* (cos y) (/ 1 (sqrt 2.0))) (* (cos y) (/ 1 1)) (* (cos y) 1) (* (cos y) (+ (exp x) (exp (- x)))) (* (cbrt (cos y)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (cos y)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) (* (cos y) (+ (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))) (- (+ (* 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)))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 4.435 * * [simplify]: iteration 0 : 111 enodes (cost 718 ) 4.463 * * [simplify]: iteration 1 : 294 enodes (cost 683 ) 4.574 * * [simplify]: iteration 2 : 936 enodes (cost 599 ) 5.672 * * [simplify]: iteration 3 : 3336 enodes (cost 596 ) 6.743 * * [simplify]: iteration done : 5000 enodes (cost 596 ) 6.743 * [simplify]: Simplified to: (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) (log (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (log (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (log (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (exp (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (* (cbrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (cbrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)))) (cbrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (sqrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (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))) (* (cos y) (* (cbrt (/ (+ (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 (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)))) (* (cos y) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0))) (* (cos y) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0)))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) (/ (cos y) (* (cbrt 2.0) (cbrt 2.0))) (/ (cos y) (sqrt 2.0)) (cos y) (/ (cos y) (* (cbrt 2.0) (cbrt 2.0))) (/ (cos y) (sqrt 2.0)) (cos y) (cos y) (* (+ (exp x) (exp (- x))) (cos y)) (* (cbrt (cos y)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (cos y)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) (* (+ (exp x) (exp (- x))) (cos y)) (exp (+ (exp x) (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)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (exp (* x -3))) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (* 0.5 (- (pow x 2) (pow y 2))) 1.0) (* (* (cos y) (+ (exp x) (exp (- x)))) 0.5) (* (* (cos y) (+ (exp x) (exp (- x)))) 0.5) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) 6.744 * * * [progress]: adding candidates to table 6.862 * * [progress]: iteration 2 / 4 6.862 * * * [progress]: picking best candidate 6.872 * * * * [pick]: Picked # 6.872 * * * [progress]: localizing error 6.887 * * * [progress]: generating rewritten candidates 6.887 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 6.955 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 6.960 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 6.966 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 6.992 * * * [progress]: generating series expansions 6.992 * * * * [progress]: [ 1 / 4 ] generating series at (2) 6.993 * [approximate]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (cos y)) (pow (sqrt 2.0) 2)) in (y x) around 0 6.993 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (cos y)) (pow (sqrt 2.0) 2)) in x 6.993 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 6.993 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.993 * [taylor]: Taking taylor expansion of (exp x) in x 6.993 * [taylor]: Taking taylor expansion of x in x 6.993 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.993 * [taylor]: Taking taylor expansion of (- x) in x 6.993 * [taylor]: Taking taylor expansion of x in x 6.994 * [taylor]: Taking taylor expansion of (cos y) in x 6.994 * [taylor]: Taking taylor expansion of y in x 6.994 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 6.994 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 6.994 * [taylor]: Taking taylor expansion of 2.0 in x 6.997 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (cos y)) (pow (sqrt 2.0) 2)) in y 6.997 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y 6.997 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.997 * [taylor]: Taking taylor expansion of (exp x) in y 6.997 * [taylor]: Taking taylor expansion of x in y 6.997 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.997 * [taylor]: Taking taylor expansion of (- x) in y 6.997 * [taylor]: Taking taylor expansion of x in y 6.997 * [taylor]: Taking taylor expansion of (cos y) in y 6.997 * [taylor]: Taking taylor expansion of y in y 6.997 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 6.997 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 6.997 * [taylor]: Taking taylor expansion of 2.0 in y 6.999 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (cos y)) (pow (sqrt 2.0) 2)) in y 6.999 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y 6.999 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.999 * [taylor]: Taking taylor expansion of (exp x) in y 6.999 * [taylor]: Taking taylor expansion of x in y 6.999 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.999 * [taylor]: Taking taylor expansion of (- x) in y 6.999 * [taylor]: Taking taylor expansion of x in y 6.999 * [taylor]: Taking taylor expansion of (cos y) in y 7.000 * [taylor]: Taking taylor expansion of y in y 7.000 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 7.000 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 7.000 * [taylor]: Taking taylor expansion of 2.0 in y 7.002 * [taylor]: Taking taylor expansion of (/ (+ (exp x) (exp (- x))) (pow (sqrt 2.0) 2)) in x 7.002 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.002 * [taylor]: Taking taylor expansion of (exp x) in x 7.002 * [taylor]: Taking taylor expansion of x in x 7.002 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.002 * [taylor]: Taking taylor expansion of (- x) in x 7.002 * [taylor]: Taking taylor expansion of x in x 7.003 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 7.003 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.003 * [taylor]: Taking taylor expansion of 2.0 in x 7.010 * [taylor]: Taking taylor expansion of 0 in x 7.020 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp (- x)) (pow (sqrt 2.0) 2))) (* 1/2 (/ (exp x) (pow (sqrt 2.0) 2))))) in x 7.020 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp (- x)) (pow (sqrt 2.0) 2))) (* 1/2 (/ (exp x) (pow (sqrt 2.0) 2)))) in x 7.020 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- x)) (pow (sqrt 2.0) 2))) in x 7.020 * [taylor]: Taking taylor expansion of 1/2 in x 7.020 * [taylor]: Taking taylor expansion of (/ (exp (- x)) (pow (sqrt 2.0) 2)) in x 7.020 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.020 * [taylor]: Taking taylor expansion of (- x) in x 7.020 * [taylor]: Taking taylor expansion of x in x 7.021 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 7.021 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.021 * [taylor]: Taking taylor expansion of 2.0 in x 7.023 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp x) (pow (sqrt 2.0) 2))) in x 7.023 * [taylor]: Taking taylor expansion of 1/2 in x 7.023 * [taylor]: Taking taylor expansion of (/ (exp x) (pow (sqrt 2.0) 2)) in x 7.023 * [taylor]: Taking taylor expansion of (exp x) in x 7.023 * [taylor]: Taking taylor expansion of x in x 7.023 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 7.023 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.023 * [taylor]: Taking taylor expansion of 2.0 in x 7.047 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (pow (sqrt 2.0) 2)) in (y x) around 0 7.047 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (pow (sqrt 2.0) 2)) in x 7.047 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 7.047 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 7.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.047 * [taylor]: Taking taylor expansion of y in x 7.047 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.047 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.047 * [taylor]: Taking taylor expansion of x in x 7.047 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.047 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.047 * [taylor]: Taking taylor expansion of x in x 7.048 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 7.048 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.048 * [taylor]: Taking taylor expansion of 2.0 in x 7.051 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (pow (sqrt 2.0) 2)) in y 7.051 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 7.051 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.051 * [taylor]: Taking taylor expansion of y in y 7.051 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.051 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.051 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.051 * [taylor]: Taking taylor expansion of x in y 7.051 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.051 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.051 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.051 * [taylor]: Taking taylor expansion of x in y 7.051 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 7.051 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 7.051 * [taylor]: Taking taylor expansion of 2.0 in y 7.054 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (pow (sqrt 2.0) 2)) in y 7.054 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 7.054 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.054 * [taylor]: Taking taylor expansion of y in y 7.058 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.058 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.058 * [taylor]: Taking taylor expansion of x in y 7.058 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.058 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.058 * [taylor]: Taking taylor expansion of x in y 7.058 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 7.059 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 7.059 * [taylor]: Taking taylor expansion of 2.0 in y 7.061 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (pow (sqrt 2.0) 2)) in x 7.061 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 7.061 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 7.061 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.061 * [taylor]: Taking taylor expansion of y in x 7.061 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.061 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.061 * [taylor]: Taking taylor expansion of x in x 7.062 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.062 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.062 * [taylor]: Taking taylor expansion of x in x 7.062 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 7.062 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.062 * [taylor]: Taking taylor expansion of 2.0 in x 7.070 * [taylor]: Taking taylor expansion of 0 in x 7.080 * [taylor]: Taking taylor expansion of 0 in x 7.094 * [taylor]: Taking taylor expansion of 0 in x 7.096 * [approximate]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in (y x) around 0 7.096 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in x 7.096 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 7.096 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 7.096 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.096 * [taylor]: Taking taylor expansion of -1 in x 7.096 * [taylor]: Taking taylor expansion of y in x 7.096 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.096 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.096 * [taylor]: Taking taylor expansion of x in x 7.096 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.096 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.096 * [taylor]: Taking taylor expansion of -1 in x 7.096 * [taylor]: Taking taylor expansion of x in x 7.097 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 7.097 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.097 * [taylor]: Taking taylor expansion of 2.0 in x 7.099 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in y 7.100 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 7.100 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.100 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.100 * [taylor]: Taking taylor expansion of -1 in y 7.100 * [taylor]: Taking taylor expansion of y in y 7.100 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 7.100 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.100 * [taylor]: Taking taylor expansion of x in y 7.100 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.100 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.100 * [taylor]: Taking taylor expansion of -1 in y 7.100 * [taylor]: Taking taylor expansion of x in y 7.100 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 7.100 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 7.100 * [taylor]: Taking taylor expansion of 2.0 in y 7.103 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in y 7.103 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 7.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.103 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.103 * [taylor]: Taking taylor expansion of -1 in y 7.103 * [taylor]: Taking taylor expansion of y in y 7.103 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 7.103 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.103 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.103 * [taylor]: Taking taylor expansion of x in y 7.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.103 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.103 * [taylor]: Taking taylor expansion of -1 in y 7.103 * [taylor]: Taking taylor expansion of x in y 7.103 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 7.103 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 7.103 * [taylor]: Taking taylor expansion of 2.0 in y 7.106 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (pow (sqrt 2.0) 2)) in x 7.106 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 7.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 7.106 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.106 * [taylor]: Taking taylor expansion of -1 in x 7.106 * [taylor]: Taking taylor expansion of y in x 7.106 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.106 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.106 * [taylor]: Taking taylor expansion of x in x 7.107 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.107 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.107 * [taylor]: Taking taylor expansion of -1 in x 7.107 * [taylor]: Taking taylor expansion of x in x 7.107 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 7.107 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.107 * [taylor]: Taking taylor expansion of 2.0 in x 7.114 * [taylor]: Taking taylor expansion of 0 in x 7.123 * [taylor]: Taking taylor expansion of 0 in x 7.136 * [taylor]: Taking taylor expansion of 0 in x 7.137 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 7.137 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 7.137 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.137 * [taylor]: Taking taylor expansion of (exp x) in x 7.137 * [taylor]: Taking taylor expansion of x in x 7.137 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.137 * [taylor]: Taking taylor expansion of (- x) in x 7.137 * [taylor]: Taking taylor expansion of x in x 7.138 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.138 * [taylor]: Taking taylor expansion of (exp x) in x 7.138 * [taylor]: Taking taylor expansion of x in x 7.138 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.138 * [taylor]: Taking taylor expansion of (- x) in x 7.138 * [taylor]: Taking taylor expansion of x in x 7.155 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 7.155 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.155 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.155 * [taylor]: Taking taylor expansion of x in x 7.156 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.156 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.156 * [taylor]: Taking taylor expansion of x in x 7.156 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.156 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.156 * [taylor]: Taking taylor expansion of x in x 7.157 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.157 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.157 * [taylor]: Taking taylor expansion of x in x 7.159 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 7.159 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.159 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.159 * [taylor]: Taking taylor expansion of x in x 7.159 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.160 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.160 * [taylor]: Taking taylor expansion of -1 in x 7.160 * [taylor]: Taking taylor expansion of x in x 7.160 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.160 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.160 * [taylor]: Taking taylor expansion of x in x 7.160 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.160 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.160 * [taylor]: Taking taylor expansion of -1 in x 7.160 * [taylor]: Taking taylor expansion of x in x 7.162 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 7.162 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 7.162 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.162 * [taylor]: Taking taylor expansion of (exp x) in x 7.162 * [taylor]: Taking taylor expansion of x in x 7.162 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.163 * [taylor]: Taking taylor expansion of (- x) in x 7.163 * [taylor]: Taking taylor expansion of x in x 7.163 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.163 * [taylor]: Taking taylor expansion of (exp x) in x 7.163 * [taylor]: Taking taylor expansion of x in x 7.163 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.163 * [taylor]: Taking taylor expansion of (- x) in x 7.163 * [taylor]: Taking taylor expansion of x in x 7.177 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 7.177 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.177 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.177 * [taylor]: Taking taylor expansion of x in x 7.178 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.178 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.178 * [taylor]: Taking taylor expansion of x in x 7.178 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.178 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.178 * [taylor]: Taking taylor expansion of x in x 7.179 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.179 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.179 * [taylor]: Taking taylor expansion of x in x 7.181 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 7.181 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.181 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.181 * [taylor]: Taking taylor expansion of x in x 7.182 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.182 * [taylor]: Taking taylor expansion of -1 in x 7.182 * [taylor]: Taking taylor expansion of x in x 7.182 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.182 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.182 * [taylor]: Taking taylor expansion of x in x 7.182 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.182 * [taylor]: Taking taylor expansion of -1 in x 7.182 * [taylor]: Taking taylor expansion of x in x 7.184 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.185 * [approximate]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) in (x) around 0 7.185 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) in x 7.185 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 7.185 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.185 * [taylor]: Taking taylor expansion of 2.0 in x 7.186 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x 7.186 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.186 * [taylor]: Taking taylor expansion of (exp x) in x 7.186 * [taylor]: Taking taylor expansion of x in x 7.186 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.186 * [taylor]: Taking taylor expansion of (- x) in x 7.186 * [taylor]: Taking taylor expansion of x in x 7.189 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) in x 7.189 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 7.189 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.189 * [taylor]: Taking taylor expansion of 2.0 in x 7.190 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x 7.190 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.190 * [taylor]: Taking taylor expansion of (exp x) in x 7.190 * [taylor]: Taking taylor expansion of x in x 7.190 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.190 * [taylor]: Taking taylor expansion of (- x) in x 7.190 * [taylor]: Taking taylor expansion of x in x 7.253 * [approximate]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x) around 0 7.253 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 7.253 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 7.253 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.253 * [taylor]: Taking taylor expansion of 2.0 in x 7.255 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 7.255 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.255 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.255 * [taylor]: Taking taylor expansion of x in x 7.255 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.255 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.255 * [taylor]: Taking taylor expansion of x in x 7.256 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 7.256 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 7.256 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.256 * [taylor]: Taking taylor expansion of 2.0 in x 7.257 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 7.257 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.257 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.258 * [taylor]: Taking taylor expansion of x in x 7.258 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.258 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.258 * [taylor]: Taking taylor expansion of x in x 7.280 * [approximate]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x) around 0 7.280 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 7.280 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 7.280 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.280 * [taylor]: Taking taylor expansion of 2.0 in x 7.281 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 7.281 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.281 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.281 * [taylor]: Taking taylor expansion of x in x 7.281 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.281 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.281 * [taylor]: Taking taylor expansion of -1 in x 7.281 * [taylor]: Taking taylor expansion of x in x 7.282 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 7.282 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 7.282 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 7.282 * [taylor]: Taking taylor expansion of 2.0 in x 7.284 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 7.284 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.284 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.284 * [taylor]: Taking taylor expansion of x in x 7.284 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.284 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.284 * [taylor]: Taking taylor expansion of -1 in x 7.284 * [taylor]: Taking taylor expansion of x in x 7.305 * * * [progress]: simplifying candidates 7.314 * [simplify]: Simplifying using # : (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (+ (+ (log (cos y)) (- (log (sqrt (+ (exp x) (exp (- x))))) (log (sqrt 2.0)))) (- (log (sqrt (+ (exp x) (exp (- x))))) (log (sqrt 2.0)))) (+ (+ (log (cos y)) (- (log (sqrt (+ (exp x) (exp (- x))))) (log (sqrt 2.0)))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (+ (+ (log (cos y)) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (- (log (sqrt (+ (exp x) (exp (- x))))) (log (sqrt 2.0)))) (+ (+ (log (cos y)) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (+ (log (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (- (log (sqrt (+ (exp x) (exp (- x))))) (log (sqrt 2.0)))) (+ (log (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (log (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (exp (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (* (* (cos y) (cos y)) (cos y)) (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (* (cos y) (cos y)) (cos y)) (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (* (* (cos y) (cos y)) (cos y)) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (* (cos y) (cos y)) (cos y)) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))))) (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (sqrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (sqrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt 2.0) (sqrt 2.0)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) 1)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 1)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (sqrt 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) 1)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (sqrt 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt 1) 1)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 1)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ 1 (sqrt 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ 1 1)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) 1) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x))))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x))))) (* (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (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))) (* (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))) (- (log (sqrt (+ (exp x) (exp (- x))))) (log (sqrt 2.0))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (exp (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (- (sqrt (+ (exp x) (exp (- x))))) (- (sqrt 2.0)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 1) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt 1) 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt 1) 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 1) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ 1 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) 1) (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt 2.0) (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (* (sqrt 2.0) (sqrt (- (exp x) (exp (- x))))) (- (+ (/ (pow x 2) (pow (sqrt 2.0) 2)) (* 2 (/ 1 (pow (sqrt 2.0) 2)))) (/ (pow y 2) (pow (sqrt 2.0) 2))) (/ (* (+ (exp x) (exp (- x))) (cos y)) (pow (sqrt 2.0) 2)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (pow (sqrt 2.0) 2)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (- (+ (* 1/24 (/ (pow x 4) (* (sqrt 2) (sqrt 2.0)))) (+ (/ (sqrt 2) (sqrt 2.0)) (* 1/2 (/ (pow x 2) (* (sqrt 2) (sqrt 2.0)))))) (* 1/8 (/ (pow x 4) (* (pow (sqrt 2) 3) (sqrt 2.0))))) (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (* -1 x)) (exp x)))) 7.323 * * [simplify]: iteration 0 : 222 enodes (cost 3993 ) 7.381 * * [simplify]: iteration 1 : 599 enodes (cost 3599 ) 7.719 * * [simplify]: iteration 2 : 2292 enodes (cost 3071 ) 8.453 * * [simplify]: iteration done : 5000 enodes (cost 2900 ) 8.455 * [simplify]: Simplified to: (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) (log (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (log (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (log (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (log (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (log (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (log (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (log (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (pow (exp (cos y)) (/ (+ (exp x) (exp (- x))) 2.0)) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (* (cbrt (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (cbrt (* (/ (cos y) 2.0) (+ (exp x) (exp (- x)))))) (cbrt (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (pow (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) 3) (sqrt (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (sqrt (* (/ (cos y) 2.0) (+ (exp x) (exp (- x))))) (* (+ (exp x) (exp (- x))) (cos y)) 2.0 (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (fabs (cbrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0)))) (* (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0)))) (* (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (/ (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (fabs (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0)))) (* (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (/ (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (* (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (/ (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))) (* (cos y) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))) (* (cos y) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (fabs (cbrt 2.0))) (* (/ (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (cos y)) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (/ (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (cos y)) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (/ (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (fabs (cbrt 2.0))) (* (/ (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (cos y)) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (/ (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (cos y)) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))) (* (cos y) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))) (* (cos y) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (fabs (cbrt 2.0))) (* (/ (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (cos y)) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (/ (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (cos y)) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (+ (exp x) (exp (- x))) (cos y)) (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) 2.0) (/ (* (+ (exp x) (exp (- x))) (cos y)) (sqrt 2.0)) (/ (* (+ (exp x) (exp (- x))) (cos y)) (sqrt 2.0)) (exp (+ (exp x) (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)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (exp (+ (exp x) (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)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (exp (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (pow (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) 3) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (pow (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) 3) (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (- (sqrt (+ (exp x) (exp (- x))))) (- (sqrt 2.0)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (fabs (cbrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (fabs (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (fabs (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ 1 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (fabs (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt 2.0)) (* (sqrt 2.0) (sqrt (- (exp x) (exp (- x))))) (+ (/ (pow x 2) 2.0) (- (/ 2 2.0) (/ (pow y 2) 2.0))) (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (+ (* 1/24 (/ (pow x 4) (* (sqrt 2) (sqrt 2.0)))) (+ (/ (sqrt 2) (sqrt 2.0)) (* 1/2 (/ (pow x 2) (* (sqrt 2) (sqrt 2.0)))))) (* 1/8 (/ (pow x 4) (* (pow (sqrt 2) 3) (sqrt 2.0))))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) 8.456 * * * [progress]: adding candidates to table 8.853 * * [progress]: iteration 3 / 4 8.853 * * * [progress]: picking best candidate 8.862 * * * * [pick]: Picked # 8.862 * * * [progress]: localizing error 8.879 * * * [progress]: generating rewritten candidates 8.879 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 8.941 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 8.958 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 8.963 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 8.974 * * * [progress]: generating series expansions 8.974 * * * * [progress]: [ 1 / 4 ] generating series at (2) 8.975 * [approximate]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) (sqrt 2.0)) in (y x) around 0 8.975 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) (sqrt 2.0)) in x 8.975 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) in x 8.975 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.975 * [taylor]: Taking taylor expansion of (exp x) in x 8.975 * [taylor]: Taking taylor expansion of x in x 8.975 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.975 * [taylor]: Taking taylor expansion of (- x) in x 8.975 * [taylor]: Taking taylor expansion of x in x 8.976 * [taylor]: Taking taylor expansion of (* (cos y) (sqrt 0.5)) in x 8.976 * [taylor]: Taking taylor expansion of (cos y) in x 8.976 * [taylor]: Taking taylor expansion of y in x 8.976 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 8.976 * [taylor]: Taking taylor expansion of 0.5 in x 8.976 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.976 * [taylor]: Taking taylor expansion of 2.0 in x 8.979 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) (sqrt 2.0)) in y 8.979 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) in y 8.979 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.979 * [taylor]: Taking taylor expansion of (exp x) in y 8.979 * [taylor]: Taking taylor expansion of x in y 8.979 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.979 * [taylor]: Taking taylor expansion of (- x) in y 8.979 * [taylor]: Taking taylor expansion of x in y 8.979 * [taylor]: Taking taylor expansion of (* (cos y) (sqrt 0.5)) in y 8.979 * [taylor]: Taking taylor expansion of (cos y) in y 8.979 * [taylor]: Taking taylor expansion of y in y 8.979 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 8.979 * [taylor]: Taking taylor expansion of 0.5 in y 8.980 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 8.980 * [taylor]: Taking taylor expansion of 2.0 in y 8.982 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) (sqrt 2.0)) in y 8.982 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) in y 8.982 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.982 * [taylor]: Taking taylor expansion of (exp x) in y 8.982 * [taylor]: Taking taylor expansion of x in y 8.982 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.982 * [taylor]: Taking taylor expansion of (- x) in y 8.982 * [taylor]: Taking taylor expansion of x in y 8.982 * [taylor]: Taking taylor expansion of (* (cos y) (sqrt 0.5)) in y 8.982 * [taylor]: Taking taylor expansion of (cos y) in y 8.982 * [taylor]: Taking taylor expansion of y in y 8.982 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 8.982 * [taylor]: Taking taylor expansion of 0.5 in y 8.983 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 8.983 * [taylor]: Taking taylor expansion of 2.0 in y 8.985 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) (sqrt 0.5)) (sqrt 2.0)) in x 8.985 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (sqrt 0.5)) in x 8.985 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.985 * [taylor]: Taking taylor expansion of (exp x) in x 8.985 * [taylor]: Taking taylor expansion of x in x 8.985 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.985 * [taylor]: Taking taylor expansion of (- x) in x 8.985 * [taylor]: Taking taylor expansion of x in x 8.986 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 8.986 * [taylor]: Taking taylor expansion of 0.5 in x 8.986 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.986 * [taylor]: Taking taylor expansion of 2.0 in x 8.994 * [taylor]: Taking taylor expansion of 0 in x 9.006 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (* (exp (- x)) (sqrt 0.5)) (sqrt 2.0))) (* 1/2 (/ (* (exp x) (sqrt 0.5)) (sqrt 2.0))))) in x 9.006 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (* (exp (- x)) (sqrt 0.5)) (sqrt 2.0))) (* 1/2 (/ (* (exp x) (sqrt 0.5)) (sqrt 2.0)))) in x 9.006 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (exp (- x)) (sqrt 0.5)) (sqrt 2.0))) in x 9.006 * [taylor]: Taking taylor expansion of 1/2 in x 9.006 * [taylor]: Taking taylor expansion of (/ (* (exp (- x)) (sqrt 0.5)) (sqrt 2.0)) in x 9.007 * [taylor]: Taking taylor expansion of (* (exp (- x)) (sqrt 0.5)) in x 9.007 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.007 * [taylor]: Taking taylor expansion of (- x) in x 9.007 * [taylor]: Taking taylor expansion of x in x 9.007 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 9.007 * [taylor]: Taking taylor expansion of 0.5 in x 9.008 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.008 * [taylor]: Taking taylor expansion of 2.0 in x 9.010 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (exp x) (sqrt 0.5)) (sqrt 2.0))) in x 9.010 * [taylor]: Taking taylor expansion of 1/2 in x 9.010 * [taylor]: Taking taylor expansion of (/ (* (exp x) (sqrt 0.5)) (sqrt 2.0)) in x 9.010 * [taylor]: Taking taylor expansion of (* (exp x) (sqrt 0.5)) in x 9.010 * [taylor]: Taking taylor expansion of (exp x) in x 9.010 * [taylor]: Taking taylor expansion of x in x 9.010 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 9.010 * [taylor]: Taking taylor expansion of 0.5 in x 9.011 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.011 * [taylor]: Taking taylor expansion of 2.0 in x 9.034 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) (sqrt 2.0)) in (y x) around 0 9.034 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) (sqrt 2.0)) in x 9.034 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) in x 9.034 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 9.034 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.034 * [taylor]: Taking taylor expansion of y in x 9.035 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5)) in x 9.035 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.035 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.035 * [taylor]: Taking taylor expansion of x in x 9.035 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.035 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.035 * [taylor]: Taking taylor expansion of x in x 9.040 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 9.040 * [taylor]: Taking taylor expansion of 0.5 in x 9.041 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.041 * [taylor]: Taking taylor expansion of 2.0 in x 9.043 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) (sqrt 2.0)) in y 9.043 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) in y 9.043 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.043 * [taylor]: Taking taylor expansion of y in y 9.044 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5)) in y 9.044 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.044 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.044 * [taylor]: Taking taylor expansion of x in y 9.044 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.044 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.044 * [taylor]: Taking taylor expansion of x in y 9.044 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 9.044 * [taylor]: Taking taylor expansion of 0.5 in y 9.045 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 9.045 * [taylor]: Taking taylor expansion of 2.0 in y 9.047 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) (sqrt 2.0)) in y 9.047 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) in y 9.047 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.047 * [taylor]: Taking taylor expansion of y in y 9.048 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5)) in y 9.048 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.048 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.048 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.048 * [taylor]: Taking taylor expansion of x in y 9.048 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.048 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.048 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.048 * [taylor]: Taking taylor expansion of x in y 9.048 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 9.048 * [taylor]: Taking taylor expansion of 0.5 in y 9.049 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 9.049 * [taylor]: Taking taylor expansion of 2.0 in y 9.051 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) (sqrt 2.0)) in x 9.051 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5))) in x 9.051 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 9.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.051 * [taylor]: Taking taylor expansion of y in x 9.051 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 0.5)) in x 9.051 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.051 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.051 * [taylor]: Taking taylor expansion of x in x 9.052 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.052 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.052 * [taylor]: Taking taylor expansion of x in x 9.052 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 9.052 * [taylor]: Taking taylor expansion of 0.5 in x 9.053 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.053 * [taylor]: Taking taylor expansion of 2.0 in x 9.060 * [taylor]: Taking taylor expansion of 0 in x 9.070 * [taylor]: Taking taylor expansion of 0 in x 9.085 * [taylor]: Taking taylor expansion of 0 in x 9.086 * [approximate]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (sqrt 2.0)) in (y x) around 0 9.086 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (sqrt 2.0)) in x 9.086 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 9.086 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 9.086 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.086 * [taylor]: Taking taylor expansion of -1 in x 9.086 * [taylor]: Taking taylor expansion of y in x 9.086 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 9.086 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 9.086 * [taylor]: Taking taylor expansion of 0.5 in x 9.087 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 9.087 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.087 * [taylor]: Taking taylor expansion of x in x 9.087 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.087 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.088 * [taylor]: Taking taylor expansion of -1 in x 9.088 * [taylor]: Taking taylor expansion of x in x 9.088 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.088 * [taylor]: Taking taylor expansion of 2.0 in x 9.090 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (sqrt 2.0)) in y 9.090 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 9.090 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.090 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.090 * [taylor]: Taking taylor expansion of -1 in y 9.090 * [taylor]: Taking taylor expansion of y in y 9.091 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 9.091 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 9.091 * [taylor]: Taking taylor expansion of 0.5 in y 9.091 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 9.092 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.092 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.092 * [taylor]: Taking taylor expansion of x in y 9.092 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.092 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.092 * [taylor]: Taking taylor expansion of -1 in y 9.092 * [taylor]: Taking taylor expansion of x in y 9.092 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 9.092 * [taylor]: Taking taylor expansion of 2.0 in y 9.094 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (sqrt 2.0)) in y 9.094 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 9.094 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.094 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.094 * [taylor]: Taking taylor expansion of -1 in y 9.094 * [taylor]: Taking taylor expansion of y in y 9.094 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 9.094 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 9.094 * [taylor]: Taking taylor expansion of 0.5 in y 9.095 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 9.095 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.095 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.095 * [taylor]: Taking taylor expansion of x in y 9.095 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.095 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.095 * [taylor]: Taking taylor expansion of -1 in y 9.095 * [taylor]: Taking taylor expansion of x in y 9.095 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 9.095 * [taylor]: Taking taylor expansion of 2.0 in y 9.097 * [taylor]: Taking taylor expansion of (/ (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (sqrt 2.0)) in x 9.097 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 9.098 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 9.098 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.098 * [taylor]: Taking taylor expansion of -1 in x 9.098 * [taylor]: Taking taylor expansion of y in x 9.098 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 9.098 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 9.098 * [taylor]: Taking taylor expansion of 0.5 in x 9.098 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 9.098 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.099 * [taylor]: Taking taylor expansion of x in x 9.099 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.099 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.099 * [taylor]: Taking taylor expansion of -1 in x 9.099 * [taylor]: Taking taylor expansion of x in x 9.099 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.099 * [taylor]: Taking taylor expansion of 2.0 in x 9.106 * [taylor]: Taking taylor expansion of 0 in x 9.116 * [taylor]: Taking taylor expansion of 0 in x 9.134 * [taylor]: Taking taylor expansion of 0 in x 9.135 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 9.136 * [approximate]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) in (x) around 0 9.136 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) in x 9.136 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 9.136 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.136 * [taylor]: Taking taylor expansion of 2.0 in x 9.137 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x 9.137 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.137 * [taylor]: Taking taylor expansion of (exp x) in x 9.137 * [taylor]: Taking taylor expansion of x in x 9.137 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.137 * [taylor]: Taking taylor expansion of (- x) in x 9.137 * [taylor]: Taking taylor expansion of x in x 9.140 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) in x 9.140 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 9.140 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.140 * [taylor]: Taking taylor expansion of 2.0 in x 9.142 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x 9.142 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.142 * [taylor]: Taking taylor expansion of (exp x) in x 9.142 * [taylor]: Taking taylor expansion of x in x 9.142 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.142 * [taylor]: Taking taylor expansion of (- x) in x 9.142 * [taylor]: Taking taylor expansion of x in x 9.199 * [approximate]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x) around 0 9.199 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 9.199 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 9.199 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.199 * [taylor]: Taking taylor expansion of 2.0 in x 9.200 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 9.200 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.200 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.200 * [taylor]: Taking taylor expansion of x in x 9.200 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.200 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.200 * [taylor]: Taking taylor expansion of x in x 9.201 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 9.201 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 9.201 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.201 * [taylor]: Taking taylor expansion of 2.0 in x 9.203 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 9.203 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.203 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.203 * [taylor]: Taking taylor expansion of x in x 9.203 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.203 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.203 * [taylor]: Taking taylor expansion of x in x 9.231 * [approximate]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x) around 0 9.231 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 9.231 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 9.231 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.231 * [taylor]: Taking taylor expansion of 2.0 in x 9.232 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 9.232 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 9.232 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.232 * [taylor]: Taking taylor expansion of x in x 9.232 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.232 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.232 * [taylor]: Taking taylor expansion of -1 in x 9.232 * [taylor]: Taking taylor expansion of x in x 9.233 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 9.233 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 2.0)) in x 9.233 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 9.233 * [taylor]: Taking taylor expansion of 2.0 in x 9.235 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 9.235 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 9.235 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.235 * [taylor]: Taking taylor expansion of x in x 9.235 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.235 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.235 * [taylor]: Taking taylor expansion of -1 in x 9.235 * [taylor]: Taking taylor expansion of x in x 9.256 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 9.256 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 9.256 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.256 * [taylor]: Taking taylor expansion of (exp x) in x 9.256 * [taylor]: Taking taylor expansion of x in x 9.256 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.256 * [taylor]: Taking taylor expansion of (- x) in x 9.256 * [taylor]: Taking taylor expansion of x in x 9.257 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.257 * [taylor]: Taking taylor expansion of (exp x) in x 9.257 * [taylor]: Taking taylor expansion of x in x 9.257 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.257 * [taylor]: Taking taylor expansion of (- x) in x 9.257 * [taylor]: Taking taylor expansion of x in x 9.271 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 9.271 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.271 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.271 * [taylor]: Taking taylor expansion of x in x 9.272 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.272 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.272 * [taylor]: Taking taylor expansion of x in x 9.272 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.272 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.272 * [taylor]: Taking taylor expansion of x in x 9.273 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.273 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.273 * [taylor]: Taking taylor expansion of x in x 9.275 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 9.275 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 9.275 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.275 * [taylor]: Taking taylor expansion of x in x 9.276 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.276 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.276 * [taylor]: Taking taylor expansion of -1 in x 9.276 * [taylor]: Taking taylor expansion of x in x 9.276 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 9.276 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.276 * [taylor]: Taking taylor expansion of x in x 9.276 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.276 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.276 * [taylor]: Taking taylor expansion of -1 in x 9.276 * [taylor]: Taking taylor expansion of x in x 9.278 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 9.279 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 9.279 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.279 * [taylor]: Taking taylor expansion of (exp x) in x 9.279 * [taylor]: Taking taylor expansion of x in x 9.279 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.279 * [taylor]: Taking taylor expansion of (- x) in x 9.279 * [taylor]: Taking taylor expansion of x in x 9.279 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.279 * [taylor]: Taking taylor expansion of (exp x) in x 9.279 * [taylor]: Taking taylor expansion of x in x 9.279 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.279 * [taylor]: Taking taylor expansion of (- x) in x 9.279 * [taylor]: Taking taylor expansion of x in x 9.293 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 9.294 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.294 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.294 * [taylor]: Taking taylor expansion of x in x 9.294 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.294 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.294 * [taylor]: Taking taylor expansion of x in x 9.300 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.300 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.300 * [taylor]: Taking taylor expansion of x in x 9.300 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.300 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.300 * [taylor]: Taking taylor expansion of x in x 9.303 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 9.303 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 9.303 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.303 * [taylor]: Taking taylor expansion of x in x 9.303 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.303 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.303 * [taylor]: Taking taylor expansion of -1 in x 9.303 * [taylor]: Taking taylor expansion of x in x 9.304 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 9.304 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.304 * [taylor]: Taking taylor expansion of x in x 9.304 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.304 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.304 * [taylor]: Taking taylor expansion of -1 in x 9.304 * [taylor]: Taking taylor expansion of x in x 9.306 * * * [progress]: simplifying candidates 9.309 * [simplify]: Simplifying using # : (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (+ (+ (log (cos y)) (- (log (sqrt (+ (exp x) (exp (- x))))) (log (sqrt 2.0)))) (log (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (+ (+ (log (cos y)) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (log (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (+ (log (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (log (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (log (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (exp (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (* (* (cos y) (cos y)) (cos y)) (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (* (* (cos y) (cos y)) (cos y)) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))))) (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (sqrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (sqrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt 2.0) (sqrt 2.0)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cbrt (/ (+ (exp x) (exp (- x))) 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 1))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt 1)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x))))) (* (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (- (log (sqrt (+ (exp x) (exp (- x))))) (log (sqrt 2.0))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (exp (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (- (sqrt (+ (exp x) (exp (- x))))) (- (sqrt 2.0)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 1) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt 1) 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt 1) 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 1) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ 1 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) 1) (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt 2.0) (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (* (sqrt 2.0) (sqrt (- (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))) (* (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))) (- (+ (/ (* (pow x 2) (sqrt 0.5)) (sqrt 2.0)) (* 2 (/ (sqrt 0.5) (sqrt 2.0)))) (/ (* (pow y 2) (sqrt 0.5)) (sqrt 2.0))) (/ (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) (sqrt 2.0)) (/ (* (cos y) (* (sqrt 0.5) (+ (exp (* -1 x)) (exp x)))) (sqrt 2.0)) (- (+ (* 1/24 (/ (pow x 4) (* (sqrt 2) (sqrt 2.0)))) (+ (/ (sqrt 2) (sqrt 2.0)) (* 1/2 (/ (pow x 2) (* (sqrt 2) (sqrt 2.0)))))) (* 1/8 (/ (pow x 4) (* (pow (sqrt 2) 3) (sqrt 2.0))))) (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) (* (/ 1 (sqrt 2.0)) (sqrt (+ (exp (* -1 x)) (exp x)))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 9.317 * * [simplify]: iteration 0 : 231 enodes (cost 2923 ) 9.368 * * [simplify]: iteration 1 : 535 enodes (cost 2665 ) 9.570 * * [simplify]: iteration 2 : 1736 enodes (cost 2440 ) 10.383 * * [simplify]: iteration done : 5000 enodes (cost 2422 ) 10.384 * [simplify]: Simplified to: (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (log (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (log (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (log (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (log (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (exp (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (pow (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) 3) (pow (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) 3) (pow (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) 3) (* (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))))) (cbrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (pow (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) 3) (sqrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (sqrt (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (+ (exp x) (exp (- x))) (cos y)) 2.0 (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (fabs (cbrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (* (fabs (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cos y)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)))) (* (fabs (cbrt (+ (exp x) (exp (- x))))) (/ (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 (sqrt 2.0)))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ 1 (sqrt 2.0)))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (/ (* (cos y) (+ (exp x) (exp (- x)))) (sqrt 2.0)) (* (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))) (* (cos y) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (/ (* (cos y) (+ (exp x) (exp (- x)))) (sqrt 2.0)) (* (* (cos y) (sqrt (+ (exp x) (exp (- x))))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (log (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (exp (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (pow (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) 3) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))) (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (pow (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) 3) (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (- (sqrt (+ (exp x) (exp (- x))))) (- (sqrt 2.0)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (fabs (cbrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (fabs (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (fabs (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (fabs (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (fabs (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (/ 1 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (+ (exp x) (exp (- x)))) (fabs (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt 2.0) (sqrt (- (exp (* x -2)) (- 1 (exp (+ x x)))))) (* (sqrt 2.0) (sqrt (- (exp x) (exp (- x))))) (exp (+ (exp x) (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)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (- (exp (* x -2)) (- 1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (exp (+ (exp x) (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)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (- (exp (* x -2)) (- 1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (+ (/ (* (pow x 2) (sqrt 0.5)) (sqrt 2.0)) (* 2 (/ (sqrt 0.5) (sqrt 2.0)))) (/ (* (pow y 2) (sqrt 0.5)) (sqrt 2.0))) (/ (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) (sqrt 2.0)) (/ (* (+ (exp x) (exp (- x))) (* (cos y) (sqrt 0.5))) (sqrt 2.0)) (- (+ (* 1/24 (/ (pow x 4) (* (sqrt 2) (sqrt 2.0)))) (+ (/ (sqrt 2) (sqrt 2.0)) (* 1/2 (/ (pow x 2) (* (sqrt 2) (sqrt 2.0)))))) (* 1/8 (/ (pow x 4) (* (pow (sqrt 2) 3) (sqrt 2.0))))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) 10.386 * * * [progress]: adding candidates to table 10.761 * * [progress]: iteration 4 / 4 10.762 * * * [progress]: picking best candidate 10.767 * * * * [pick]: Picked # 10.767 * * * [progress]: localizing error 10.779 * * * [progress]: generating rewritten candidates 10.779 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 10.799 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 10.807 * * * [progress]: generating series expansions 10.807 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 10.808 * [approximate]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in (x y) around 0 10.808 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y 10.808 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 10.808 * [taylor]: Taking taylor expansion of (exp x) in y 10.808 * [taylor]: Taking taylor expansion of x in y 10.808 * [taylor]: Taking taylor expansion of (exp (- x)) in y 10.808 * [taylor]: Taking taylor expansion of (- x) in y 10.808 * [taylor]: Taking taylor expansion of x in y 10.808 * [taylor]: Taking taylor expansion of (cos y) in y 10.808 * [taylor]: Taking taylor expansion of y in y 10.808 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 10.808 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.808 * [taylor]: Taking taylor expansion of (exp x) in x 10.808 * [taylor]: Taking taylor expansion of x in x 10.808 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.808 * [taylor]: Taking taylor expansion of (- x) in x 10.808 * [taylor]: Taking taylor expansion of x in x 10.809 * [taylor]: Taking taylor expansion of (cos y) in x 10.809 * [taylor]: Taking taylor expansion of y in x 10.809 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 10.809 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.809 * [taylor]: Taking taylor expansion of (exp x) in x 10.809 * [taylor]: Taking taylor expansion of x in x 10.809 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.809 * [taylor]: Taking taylor expansion of (- x) in x 10.809 * [taylor]: Taking taylor expansion of x in x 10.809 * [taylor]: Taking taylor expansion of (cos y) in x 10.809 * [taylor]: Taking taylor expansion of y in x 10.810 * [taylor]: Taking taylor expansion of (* 2 (cos y)) in y 10.810 * [taylor]: Taking taylor expansion of 2 in y 10.810 * [taylor]: Taking taylor expansion of (cos y) in y 10.810 * [taylor]: Taking taylor expansion of y in y 10.814 * [taylor]: Taking taylor expansion of 0 in y 10.819 * [taylor]: Taking taylor expansion of (cos y) in y 10.820 * [taylor]: Taking taylor expansion of y in y 10.821 * [approximate]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x y) around 0 10.821 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 10.821 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 10.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.821 * [taylor]: Taking taylor expansion of y in y 10.822 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 10.822 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.822 * [taylor]: Taking taylor expansion of x in y 10.822 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.822 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.822 * [taylor]: Taking taylor expansion of x in y 10.822 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 10.822 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 10.822 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.822 * [taylor]: Taking taylor expansion of y in x 10.822 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.822 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.822 * [taylor]: Taking taylor expansion of x in x 10.823 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.823 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.823 * [taylor]: Taking taylor expansion of x in x 10.823 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 10.823 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 10.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.823 * [taylor]: Taking taylor expansion of y in x 10.823 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.823 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.823 * [taylor]: Taking taylor expansion of x in x 10.824 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.824 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.824 * [taylor]: Taking taylor expansion of x in x 10.825 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 10.825 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 10.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.825 * [taylor]: Taking taylor expansion of y in y 10.825 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 10.825 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.825 * [taylor]: Taking taylor expansion of x in y 10.825 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.825 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.825 * [taylor]: Taking taylor expansion of x in y 10.828 * [taylor]: Taking taylor expansion of 0 in y 10.833 * [taylor]: Taking taylor expansion of 0 in y 10.839 * [taylor]: Taking taylor expansion of 0 in y 10.839 * [approximate]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x y) around 0 10.839 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 10.839 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 10.839 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.839 * [taylor]: Taking taylor expansion of -1 in y 10.840 * [taylor]: Taking taylor expansion of y in y 10.840 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 10.840 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.840 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.840 * [taylor]: Taking taylor expansion of x in y 10.840 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.840 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.840 * [taylor]: Taking taylor expansion of -1 in y 10.840 * [taylor]: Taking taylor expansion of x in y 10.840 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 10.840 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 10.840 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.840 * [taylor]: Taking taylor expansion of -1 in x 10.840 * [taylor]: Taking taylor expansion of y in x 10.840 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.840 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.840 * [taylor]: Taking taylor expansion of x in x 10.841 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.841 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.841 * [taylor]: Taking taylor expansion of -1 in x 10.841 * [taylor]: Taking taylor expansion of x in x 10.841 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 10.841 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 10.841 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.841 * [taylor]: Taking taylor expansion of -1 in x 10.841 * [taylor]: Taking taylor expansion of y in x 10.841 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.841 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.841 * [taylor]: Taking taylor expansion of x in x 10.842 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.842 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.842 * [taylor]: Taking taylor expansion of -1 in x 10.842 * [taylor]: Taking taylor expansion of x in x 10.843 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 10.843 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 10.843 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.843 * [taylor]: Taking taylor expansion of -1 in y 10.843 * [taylor]: Taking taylor expansion of y in y 10.843 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 10.843 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.843 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.843 * [taylor]: Taking taylor expansion of x in y 10.843 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.843 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.843 * [taylor]: Taking taylor expansion of -1 in y 10.843 * [taylor]: Taking taylor expansion of x in y 10.846 * [taylor]: Taking taylor expansion of 0 in y 10.850 * [taylor]: Taking taylor expansion of 0 in y 10.856 * [taylor]: Taking taylor expansion of 0 in y 10.857 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 10.857 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 10.857 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.857 * [taylor]: Taking taylor expansion of (exp x) in x 10.857 * [taylor]: Taking taylor expansion of x in x 10.857 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.857 * [taylor]: Taking taylor expansion of (- x) in x 10.857 * [taylor]: Taking taylor expansion of x in x 10.857 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.857 * [taylor]: Taking taylor expansion of (exp x) in x 10.857 * [taylor]: Taking taylor expansion of x in x 10.857 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.857 * [taylor]: Taking taylor expansion of (- x) in x 10.857 * [taylor]: Taking taylor expansion of x in x 10.872 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 10.872 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.872 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.872 * [taylor]: Taking taylor expansion of x in x 10.873 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.873 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.873 * [taylor]: Taking taylor expansion of x in x 10.873 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.873 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.873 * [taylor]: Taking taylor expansion of x in x 10.874 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.874 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.874 * [taylor]: Taking taylor expansion of x in x 10.876 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 10.876 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.876 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.876 * [taylor]: Taking taylor expansion of x in x 10.876 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.876 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.876 * [taylor]: Taking taylor expansion of -1 in x 10.877 * [taylor]: Taking taylor expansion of x in x 10.877 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.877 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.877 * [taylor]: Taking taylor expansion of x in x 10.877 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.877 * [taylor]: Taking taylor expansion of -1 in x 10.877 * [taylor]: Taking taylor expansion of x in x 10.879 * * * [progress]: simplifying candidates 10.880 * [simplify]: Simplifying using # : (* (+ (exp x) (exp (- x))) (cos y)) (+ (log (+ (exp x) (exp (- x)))) (log (cos y))) (log (* (+ (exp x) (exp (- x))) (cos y))) (exp (* (+ (exp x) (exp (- x))) (cos y))) (* (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (+ (exp x) (exp (- x))) (cos y))) (cbrt (* (+ (exp x) (exp (- x))) (cos y)))) (cbrt (* (+ (exp x) (exp (- x))) (cos y))) (* (* (* (+ (exp x) (exp (- x))) (cos y)) (* (+ (exp x) (exp (- x))) (cos y))) (* (+ (exp x) (exp (- x))) (cos y))) (sqrt (* (+ (exp x) (exp (- x))) (cos y))) (sqrt (* (+ (exp x) (exp (- x))) (cos y))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cos y))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cos y))) (* (+ (exp x) (exp (- x))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (+ (exp x) (exp (- x))) (sqrt (cos y))) (* (+ (exp x) (exp (- x))) 1) (* (cbrt (+ (exp x) (exp (- x)))) (cos y)) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) (* (+ (exp x) (exp (- x))) (cos y)) (* (+ (exp x) (exp (- x))) (cos y)) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cos y)) (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (cos y)) (* (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))) (- (+ (pow x 2) 2) (pow y 2)) (* (+ (exp x) (exp (- x))) (cos y)) (* (cos y) (+ (exp (* -1 x)) (exp x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 10.882 * * [simplify]: iteration 0 : 69 enodes (cost 455 ) 10.899 * * [simplify]: iteration 1 : 175 enodes (cost 440 ) 10.951 * * [simplify]: iteration 2 : 506 enodes (cost 384 ) 11.194 * * [simplify]: iteration 3 : 1553 enodes (cost 382 ) 13.201 * * [simplify]: iteration done : 5002 enodes (cost 382 ) 13.201 * [simplify]: Simplified to: (* (+ (exp x) (exp (- x))) (cos y)) (log (* (+ (exp x) (exp (- x))) (cos y))) (log (* (+ (exp x) (exp (- x))) (cos y))) (exp (* (+ (exp x) (exp (- x))) (cos y))) (pow (* (+ (exp x) (exp (- x))) (cos y)) 3) (* (cbrt (* (+ (exp x) (exp (- x))) (cos y))) (cbrt (* (+ (exp x) (exp (- x))) (cos y)))) (cbrt (* (+ (exp x) (exp (- x))) (cos y))) (pow (* (+ (exp x) (exp (- x))) (cos y)) 3) (sqrt (* (+ (exp x) (exp (- x))) (cos y))) (sqrt (* (+ (exp x) (exp (- x))) (cos y))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cos y))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cos y))) (* (+ (exp x) (exp (- x))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (+ (exp x) (exp (- x))) (sqrt (cos y))) (+ (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cos y)) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) (* (+ (exp x) (exp (- x))) (cos y)) (* (+ (exp x) (exp (- x))) (cos y)) (* (+ (pow (exp x) 3) (exp (* x -3))) (cos y)) (* (cos y) (- (exp (+ x x)) (exp (* x -2)))) (exp (+ (exp x) (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)))) (pow (+ (exp (- x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (exp (* x -3))) (- (+ (exp (+ x x)) (exp (* x -2))) 1) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (+ (pow x 2) 2) (pow y 2)) (* (+ (exp x) (exp (- x))) (cos y)) (* (+ (exp x) (exp (- x))) (cos y)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) 13.201 * * * [progress]: adding candidates to table 13.294 * [progress]: [Phase 3 of 3] Extracting. 13.294 * * [regime]: Finding splitpoints for: (# # #) 13.296 * * * [regime-changes]: Trying 2 branch expressions: (y x) 13.296 * * * * [regimes]: Trying to branch on y from (# # #) 13.314 * * * * [regimes]: Trying to branch on x from (# # #) 13.332 * * * [regime]: Found split indices: #