20.097 * [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.004 * * * * [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.011 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.024 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts for 256 points
0.029 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Filtering points with unrepresentable outputs
0.050 * * * * [points]: Sampling 132 additional inputs, on iter 1 have 124 / 256
0.052 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
0.054 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.055 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
0.058 * * * * [points]: Setting MPFR precision to 64
0.059 * * * * [points]: Setting MPFR precision to 320
0.060 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
0.062 * * * * [points]: Setting MPFR precision to 64
0.063 * * * * [points]: Setting MPFR precision to 320
0.065 * * * * [points]: Computing exacts for 132 points
0.067 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.076 * * * * [points]: Filtering points with unrepresentable outputs
0.076 * * * * [points]: Sampling 66 additional inputs, on iter 2 have 190 / 256
0.077 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
0.079 * * * * [points]: Setting MPFR precision to 64
0.080 * * * * [points]: Setting MPFR precision to 320
0.080 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
0.083 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.084 * * * * [points]: Computing exacts for 66 points
0.087 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Filtering points with unrepresentable outputs
0.091 * * * * [points]: Sampling 38 additional inputs, on iter 3 have 218 / 256
0.092 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.094 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.095 * * * * [points]: Computing exacts for 38 points
0.097 * * * * [points]: Setting MPFR precision to 64
0.099 * * * * [points]: Setting MPFR precision to 320
0.100 * * * * [points]: Filtering points with unrepresentable outputs
0.100 * * * * [points]: Sampling 21 additional inputs, on iter 4 have 235 / 256
0.100 * * * * [points]: Computing exacts for 21 points
0.103 * * * * [points]: Setting MPFR precision to 64
0.103 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Filtering points with unrepresentable outputs
0.104 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.104 * * * * [points]: Computing exacts for 10 points
0.107 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Filtering points with unrepresentable outputs
0.108 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.108 * * * * [points]: Computing exacts for 4 points
0.110 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Filtering points with unrepresentable outputs
0.110 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.110 * * * * [points]: Computing exacts for 4 points
0.113 * * * * [points]: Setting MPFR precision to 64
0.113 * * * * [points]: Setting MPFR precision to 320
0.114 * * * * [points]: Filtering points with unrepresentable outputs
0.114 * * * * [points]: Sampled 257 points with exact outputs
0.114 * * * [progress]: [2/2] Setting up program.
0.117 * [progress]: [Phase 2 of 3] Improving.
0.117 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.118 * * [simplify]: iteration  0 :  16  enodes  (cost  24 )
0.120 * * [simplify]: iteration  1 :  30  enodes  (cost  11 )
0.124 * * [simplify]: iteration  2 :  46  enodes  (cost  11 )
0.130 * * [simplify]: iteration  3 :  81  enodes  (cost  11 )
0.144 * * [simplify]: iteration  4 :  113  enodes  (cost  11 )
0.160 * * [simplify]: iteration  5 :  181  enodes  (cost  11 )
0.200 * * [simplify]: iteration  6 :  310  enodes  (cost  11 )
0.303 * * [simplify]: iteration  7 :  589  enodes  (cost  11 )
0.552 * * [simplify]: iteration  8 :  974  enodes  (cost  11 )
1.076 * * [simplify]: iteration  9 :  1495  enodes  (cost  11 )
1.630 * * [simplify]: iteration  10 :  1685  enodes  (cost  11 )
2.206 * * [simplify]: iteration  11 :  1822  enodes  (cost  11 )
2.771 * * [simplify]: iteration  12 :  1847  enodes  (cost  11 )
3.321 * * [simplify]: iteration  done :  1847  enodes  (cost  11 )
3.321 * [simplify]: Simplified to:
   (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))
3.325 * * [progress]: iteration 1 / 4
3.325 * * * [progress]: picking best candidate
3.327 * * * * [pick]: Picked  #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))>
3.328 * * * [progress]: localizing error
3.350 * * * [progress]: generating rewritten candidates
3.350 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
3.356 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
3.384 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
3.411 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
3.420 * * * [progress]: generating series expansions
3.420 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
3.420 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
3.420 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
3.420 * [taylor]: Taking taylor expansion of (exp x) in x
3.420 * [taylor]: Taking taylor expansion of x in x
3.420 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.420 * [taylor]: Taking taylor expansion of (- x) in x
3.420 * [taylor]: Taking taylor expansion of x in x
3.421 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
3.421 * [taylor]: Taking taylor expansion of (exp x) in x
3.421 * [taylor]: Taking taylor expansion of x in x
3.421 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.421 * [taylor]: Taking taylor expansion of (- x) in x
3.421 * [taylor]: Taking taylor expansion of x in x
3.450 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
3.450 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.450 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.450 * [taylor]: Taking taylor expansion of x in x
3.451 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.451 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.451 * [taylor]: Taking taylor expansion of x in x
3.451 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.451 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.451 * [taylor]: Taking taylor expansion of x in x
3.452 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.452 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.452 * [taylor]: Taking taylor expansion of x in x
3.456 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
3.456 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
3.456 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.456 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.456 * [taylor]: Taking taylor expansion of -1 in x
3.456 * [taylor]: Taking taylor expansion of x in x
3.456 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.456 * [taylor]: Taking taylor expansion of x in x
3.457 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
3.457 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.457 * [taylor]: Taking taylor expansion of -1 in x
3.457 * [taylor]: Taking taylor expansion of x in x
3.457 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.457 * [taylor]: Taking taylor expansion of x in x
3.460 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
3.461 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0
3.461 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y
3.461 * [taylor]: Taking taylor expansion of 0.5 in y
3.461 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y
3.461 * [taylor]: Taking taylor expansion of (sin y) in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y
3.461 * [taylor]: Taking taylor expansion of (exp x) in y
3.461 * [taylor]: Taking taylor expansion of x in y
3.461 * [taylor]: Taking taylor expansion of (exp (- x)) in y
3.461 * [taylor]: Taking taylor expansion of (- x) in y
3.461 * [taylor]: Taking taylor expansion of x in y
3.461 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
3.461 * [taylor]: Taking taylor expansion of 0.5 in x
3.461 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
3.461 * [taylor]: Taking taylor expansion of (sin y) in x
3.461 * [taylor]: Taking taylor expansion of y in x
3.461 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
3.461 * [taylor]: Taking taylor expansion of (exp x) in x
3.461 * [taylor]: Taking taylor expansion of x in x
3.461 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.461 * [taylor]: Taking taylor expansion of (- x) in x
3.461 * [taylor]: Taking taylor expansion of x in x
3.462 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
3.462 * [taylor]: Taking taylor expansion of 0.5 in x
3.462 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
3.462 * [taylor]: Taking taylor expansion of (sin y) in x
3.462 * [taylor]: Taking taylor expansion of y in x
3.462 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
3.462 * [taylor]: Taking taylor expansion of (exp x) in x
3.462 * [taylor]: Taking taylor expansion of x in x
3.462 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.462 * [taylor]: Taking taylor expansion of (- x) in x
3.462 * [taylor]: Taking taylor expansion of x in x
3.464 * [taylor]: Taking taylor expansion of 0 in y
3.468 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y
3.469 * [taylor]: Taking taylor expansion of 1.0 in y
3.469 * [taylor]: Taking taylor expansion of (sin y) in y
3.469 * [taylor]: Taking taylor expansion of y in y
3.475 * [taylor]: Taking taylor expansion of 0 in y
3.484 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y
3.484 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y
3.484 * [taylor]: Taking taylor expansion of (sin y) in y
3.484 * [taylor]: Taking taylor expansion of y in y
3.497 * [taylor]: Taking taylor expansion of 0 in y
3.497 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
3.497 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
3.497 * [taylor]: Taking taylor expansion of 0.5 in y
3.497 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
3.497 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.497 * [taylor]: Taking taylor expansion of y in y
3.497 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
3.497 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.498 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.498 * [taylor]: Taking taylor expansion of x in y
3.498 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
3.498 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
3.498 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.498 * [taylor]: Taking taylor expansion of x in y
3.498 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
3.498 * [taylor]: Taking taylor expansion of 0.5 in x
3.498 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
3.498 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
3.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.498 * [taylor]: Taking taylor expansion of y in x
3.498 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.498 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.498 * [taylor]: Taking taylor expansion of x in x
3.498 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.498 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.498 * [taylor]: Taking taylor expansion of x in x
3.499 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
3.499 * [taylor]: Taking taylor expansion of 0.5 in x
3.499 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
3.499 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
3.499 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.499 * [taylor]: Taking taylor expansion of y in x
3.499 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.499 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.499 * [taylor]: Taking taylor expansion of x in x
3.499 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.499 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.500 * [taylor]: Taking taylor expansion of x in x
3.501 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
3.501 * [taylor]: Taking taylor expansion of 0.5 in y
3.501 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
3.501 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.501 * [taylor]: Taking taylor expansion of y in y
3.501 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
3.501 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.501 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.501 * [taylor]: Taking taylor expansion of x in y
3.501 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
3.501 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
3.501 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.501 * [taylor]: Taking taylor expansion of x in y
3.504 * [taylor]: Taking taylor expansion of 0 in y
3.510 * [taylor]: Taking taylor expansion of 0 in y
3.519 * [taylor]: Taking taylor expansion of 0 in y
3.519 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0
3.520 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
3.520 * [taylor]: Taking taylor expansion of 0.5 in y
3.520 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
3.520 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.520 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.520 * [taylor]: Taking taylor expansion of -1 in y
3.520 * [taylor]: Taking taylor expansion of y in y
3.520 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
3.520 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.520 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.520 * [taylor]: Taking taylor expansion of -1 in y
3.520 * [taylor]: Taking taylor expansion of x in y
3.520 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.520 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.520 * [taylor]: Taking taylor expansion of x in y
3.520 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
3.520 * [taylor]: Taking taylor expansion of 0.5 in x
3.520 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
3.520 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
3.520 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.520 * [taylor]: Taking taylor expansion of -1 in x
3.520 * [taylor]: Taking taylor expansion of y in x
3.520 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
3.520 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.520 * [taylor]: Taking taylor expansion of -1 in x
3.520 * [taylor]: Taking taylor expansion of x in x
3.521 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.521 * [taylor]: Taking taylor expansion of x in x
3.521 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
3.521 * [taylor]: Taking taylor expansion of 0.5 in x
3.521 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
3.521 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
3.521 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.521 * [taylor]: Taking taylor expansion of -1 in x
3.521 * [taylor]: Taking taylor expansion of y in x
3.521 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
3.521 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.521 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.521 * [taylor]: Taking taylor expansion of -1 in x
3.521 * [taylor]: Taking taylor expansion of x in x
3.525 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.525 * [taylor]: Taking taylor expansion of x in x
3.525 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
3.526 * [taylor]: Taking taylor expansion of 0.5 in y
3.526 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
3.526 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.526 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.526 * [taylor]: Taking taylor expansion of -1 in y
3.526 * [taylor]: Taking taylor expansion of y in y
3.526 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
3.526 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.526 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.526 * [taylor]: Taking taylor expansion of -1 in y
3.526 * [taylor]: Taking taylor expansion of x in y
3.526 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.526 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.526 * [taylor]: Taking taylor expansion of x in y
3.529 * [taylor]: Taking taylor expansion of 0 in y
3.535 * [taylor]: Taking taylor expansion of 0 in y
3.543 * [taylor]: Taking taylor expansion of 0 in y
3.543 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.543 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0
3.543 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
3.543 * [taylor]: Taking taylor expansion of 0.5 in y
3.543 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
3.543 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
3.543 * [taylor]: Taking taylor expansion of (exp x) in y
3.543 * [taylor]: Taking taylor expansion of x in y
3.543 * [taylor]: Taking taylor expansion of (exp (- x)) in y
3.543 * [taylor]: Taking taylor expansion of (- x) in y
3.543 * [taylor]: Taking taylor expansion of x in y
3.544 * [taylor]: Taking taylor expansion of (cos y) in y
3.544 * [taylor]: Taking taylor expansion of y in y
3.544 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
3.544 * [taylor]: Taking taylor expansion of 0.5 in x
3.544 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
3.544 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.544 * [taylor]: Taking taylor expansion of (exp x) in x
3.544 * [taylor]: Taking taylor expansion of x in x
3.544 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.544 * [taylor]: Taking taylor expansion of (- x) in x
3.544 * [taylor]: Taking taylor expansion of x in x
3.544 * [taylor]: Taking taylor expansion of (cos y) in x
3.544 * [taylor]: Taking taylor expansion of y in x
3.544 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
3.544 * [taylor]: Taking taylor expansion of 0.5 in x
3.544 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
3.544 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.544 * [taylor]: Taking taylor expansion of (exp x) in x
3.544 * [taylor]: Taking taylor expansion of x in x
3.544 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.544 * [taylor]: Taking taylor expansion of (- x) in x
3.544 * [taylor]: Taking taylor expansion of x in x
3.545 * [taylor]: Taking taylor expansion of (cos y) in x
3.545 * [taylor]: Taking taylor expansion of y in x
3.546 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y
3.546 * [taylor]: Taking taylor expansion of 1.0 in y
3.546 * [taylor]: Taking taylor expansion of (cos y) in y
3.546 * [taylor]: Taking taylor expansion of y in y
3.550 * [taylor]: Taking taylor expansion of 0 in y
3.557 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y
3.557 * [taylor]: Taking taylor expansion of 0.5 in y
3.557 * [taylor]: Taking taylor expansion of (cos y) in y
3.557 * [taylor]: Taking taylor expansion of y in y
3.560 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
3.560 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
3.560 * [taylor]: Taking taylor expansion of 0.5 in y
3.560 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
3.560 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.560 * [taylor]: Taking taylor expansion of y in y
3.560 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
3.561 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.561 * [taylor]: Taking taylor expansion of x in y
3.561 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
3.561 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
3.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.561 * [taylor]: Taking taylor expansion of x in y
3.561 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
3.561 * [taylor]: Taking taylor expansion of 0.5 in x
3.561 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
3.561 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.561 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.561 * [taylor]: Taking taylor expansion of y in x
3.561 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.561 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.561 * [taylor]: Taking taylor expansion of x in x
3.561 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.561 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.561 * [taylor]: Taking taylor expansion of x in x
3.562 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
3.562 * [taylor]: Taking taylor expansion of 0.5 in x
3.562 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
3.562 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.562 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.562 * [taylor]: Taking taylor expansion of y in x
3.562 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.562 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.562 * [taylor]: Taking taylor expansion of x in x
3.563 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.563 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.563 * [taylor]: Taking taylor expansion of x in x
3.564 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
3.564 * [taylor]: Taking taylor expansion of 0.5 in y
3.564 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
3.564 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.564 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.564 * [taylor]: Taking taylor expansion of y in y
3.564 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
3.564 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.564 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.565 * [taylor]: Taking taylor expansion of x in y
3.565 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
3.565 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
3.565 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.565 * [taylor]: Taking taylor expansion of x in y
3.568 * [taylor]: Taking taylor expansion of 0 in y
3.574 * [taylor]: Taking taylor expansion of 0 in y
3.582 * [taylor]: Taking taylor expansion of 0 in y
3.582 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
3.582 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
3.582 * [taylor]: Taking taylor expansion of 0.5 in y
3.582 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
3.582 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.582 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.582 * [taylor]: Taking taylor expansion of -1 in y
3.583 * [taylor]: Taking taylor expansion of y in y
3.583 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
3.583 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.583 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.583 * [taylor]: Taking taylor expansion of x in y
3.583 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.583 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.583 * [taylor]: Taking taylor expansion of -1 in y
3.583 * [taylor]: Taking taylor expansion of x in y
3.583 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
3.583 * [taylor]: Taking taylor expansion of 0.5 in x
3.583 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
3.583 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.583 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.583 * [taylor]: Taking taylor expansion of -1 in x
3.583 * [taylor]: Taking taylor expansion of y in x
3.583 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.583 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.583 * [taylor]: Taking taylor expansion of x in x
3.584 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.584 * [taylor]: Taking taylor expansion of -1 in x
3.584 * [taylor]: Taking taylor expansion of x in x
3.584 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
3.584 * [taylor]: Taking taylor expansion of 0.5 in x
3.584 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
3.584 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.584 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.584 * [taylor]: Taking taylor expansion of -1 in x
3.584 * [taylor]: Taking taylor expansion of y in x
3.584 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.584 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.584 * [taylor]: Taking taylor expansion of x in x
3.585 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.585 * [taylor]: Taking taylor expansion of -1 in x
3.585 * [taylor]: Taking taylor expansion of x in x
3.586 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
3.586 * [taylor]: Taking taylor expansion of 0.5 in y
3.586 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
3.586 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.586 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.586 * [taylor]: Taking taylor expansion of -1 in y
3.586 * [taylor]: Taking taylor expansion of y in y
3.586 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
3.586 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.586 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.586 * [taylor]: Taking taylor expansion of x in y
3.586 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.586 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.586 * [taylor]: Taking taylor expansion of -1 in y
3.586 * [taylor]: Taking taylor expansion of x in y
3.589 * [taylor]: Taking taylor expansion of 0 in y
3.595 * [taylor]: Taking taylor expansion of 0 in y
3.603 * [taylor]: Taking taylor expansion of 0 in y
3.603 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
3.603 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
3.603 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.603 * [taylor]: Taking taylor expansion of (exp x) in x
3.603 * [taylor]: Taking taylor expansion of x in x
3.603 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.603 * [taylor]: Taking taylor expansion of (- x) in x
3.603 * [taylor]: Taking taylor expansion of x in x
3.604 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.604 * [taylor]: Taking taylor expansion of (exp x) in x
3.604 * [taylor]: Taking taylor expansion of x in x
3.604 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.604 * [taylor]: Taking taylor expansion of (- x) in x
3.604 * [taylor]: Taking taylor expansion of x in x
3.622 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
3.622 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.622 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.622 * [taylor]: Taking taylor expansion of x in x
3.622 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.622 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.622 * [taylor]: Taking taylor expansion of x in x
3.623 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.623 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.623 * [taylor]: Taking taylor expansion of x in x
3.623 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.623 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.623 * [taylor]: Taking taylor expansion of x in x
3.626 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
3.626 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.626 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.626 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.626 * [taylor]: Taking taylor expansion of x in x
3.626 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.626 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.626 * [taylor]: Taking taylor expansion of -1 in x
3.626 * [taylor]: Taking taylor expansion of x in x
3.627 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.627 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.627 * [taylor]: Taking taylor expansion of x in x
3.627 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.627 * [taylor]: Taking taylor expansion of -1 in x
3.627 * [taylor]: Taking taylor expansion of x in x
3.629 * * * [progress]: simplifying candidates
3.631 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (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)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (+ (- (log (- (exp x) (exp (- x)))) (log 2.0)) (log (sin y)))
  (+ (log (/ (- (exp x) (exp (- x))) 2.0)) (log (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y)))
  (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (/ (- (exp x) (exp (- x))) 2.0)) (/ (- (exp x) (exp (- x))) 2.0)) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
  (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) 1)
  (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ 1 2.0) (sin y))
  (* (- (exp x) (exp (- x))) (sin y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (+ (- (log (+ (exp x) (exp (- x)))) (log 2.0)) (log (cos y)))
  (+ (log (/ (+ (exp x) (exp (- x))) 2.0)) (log (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) 1)
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ 1 2.0) (cos y))
  (* (+ (exp x) (exp (- x))) (cos y))
  (* (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)))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (* -1 x)))
  (* 1.0 (* x y))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y)))
  (- (+ (* 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))
3.635 * * [simplify]: iteration  0 :  200  enodes  (cost  1479 )
3.672 * * [simplify]: iteration  1 :  509  enodes  (cost  1449 )
3.837 * * [simplify]: iteration  2 :  1414  enodes  (cost  1277 )
4.752 * * [simplify]: iteration  3 :  4577  enodes  (cost  1273 )
5.657 * * [simplify]: iteration  done :  5001  enodes  (cost  1273 )
5.658 * [simplify]: Simplified to:
   (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)))
  (+ (+ 1 (exp (+ x x))) (exp (* x -2)))
  (- (exp (- x)))
  (- (exp (+ x x)) (exp (* x -2)))
  (+ (exp x) (exp (- x)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
  (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y)))
  (/ (- (exp x) (exp (- x))) 2.0)
  (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (/ (sin y) 2.0)
  (* (- (exp x) (exp (- x))) (sin y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (/ (cos y) 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)))
  (+ (+ -1 (exp (* x -2))) (exp (+ x x)))
  (- (exp (+ x x)) (exp (* x -2)))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (- x)))
  (* 1.0 (* x y))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (+ 1.0 (* 0.5 (- (* x x) (pow y 2))))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
5.659 * * * [progress]: adding candidates to table
6.013 * * [progress]: iteration 2 / 4
6.013 * * * [progress]: picking best candidate
6.020 * * * * [pick]: Picked  #<alt (λ (x y) (re (complex (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))>
6.020 * * * [progress]: localizing error
6.041 * * * [progress]: generating rewritten candidates
6.041 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
6.047 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.077 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
6.134 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
6.149 * * * [progress]: generating series expansions
6.150 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
6.150 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
6.150 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
6.150 * [taylor]: Taking taylor expansion of (exp x) in x
6.150 * [taylor]: Taking taylor expansion of x in x
6.150 * [taylor]: Taking taylor expansion of (exp (- x)) in x
6.150 * [taylor]: Taking taylor expansion of (- x) in x
6.150 * [taylor]: Taking taylor expansion of x in x
6.151 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
6.151 * [taylor]: Taking taylor expansion of (exp x) in x
6.151 * [taylor]: Taking taylor expansion of x in x
6.151 * [taylor]: Taking taylor expansion of (exp (- x)) in x
6.151 * [taylor]: Taking taylor expansion of (- x) in x
6.151 * [taylor]: Taking taylor expansion of x in x
6.180 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
6.180 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
6.180 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.180 * [taylor]: Taking taylor expansion of x in x
6.181 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
6.181 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.181 * [taylor]: Taking taylor expansion of x in x
6.181 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
6.181 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.181 * [taylor]: Taking taylor expansion of x in x
6.181 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
6.182 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.182 * [taylor]: Taking taylor expansion of x in x
6.185 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
6.185 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
6.185 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.185 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.185 * [taylor]: Taking taylor expansion of -1 in x
6.185 * [taylor]: Taking taylor expansion of x in x
6.186 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.186 * [taylor]: Taking taylor expansion of x in x
6.186 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
6.186 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.186 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.186 * [taylor]: Taking taylor expansion of -1 in x
6.186 * [taylor]: Taking taylor expansion of x in x
6.187 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.187 * [taylor]: Taking taylor expansion of x in x
6.190 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.190 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0
6.190 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y
6.190 * [taylor]: Taking taylor expansion of 0.5 in y
6.190 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y
6.190 * [taylor]: Taking taylor expansion of (sin y) in y
6.190 * [taylor]: Taking taylor expansion of y in y
6.190 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y
6.190 * [taylor]: Taking taylor expansion of (exp x) in y
6.190 * [taylor]: Taking taylor expansion of x in y
6.190 * [taylor]: Taking taylor expansion of (exp (- x)) in y
6.190 * [taylor]: Taking taylor expansion of (- x) in y
6.190 * [taylor]: Taking taylor expansion of x in y
6.191 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
6.191 * [taylor]: Taking taylor expansion of 0.5 in x
6.191 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
6.191 * [taylor]: Taking taylor expansion of (sin y) in x
6.191 * [taylor]: Taking taylor expansion of y in x
6.191 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
6.191 * [taylor]: Taking taylor expansion of (exp x) in x
6.191 * [taylor]: Taking taylor expansion of x in x
6.191 * [taylor]: Taking taylor expansion of (exp (- x)) in x
6.191 * [taylor]: Taking taylor expansion of (- x) in x
6.191 * [taylor]: Taking taylor expansion of x in x
6.191 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
6.191 * [taylor]: Taking taylor expansion of 0.5 in x
6.191 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
6.191 * [taylor]: Taking taylor expansion of (sin y) in x
6.191 * [taylor]: Taking taylor expansion of y in x
6.191 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
6.191 * [taylor]: Taking taylor expansion of (exp x) in x
6.192 * [taylor]: Taking taylor expansion of x in x
6.192 * [taylor]: Taking taylor expansion of (exp (- x)) in x
6.192 * [taylor]: Taking taylor expansion of (- x) in x
6.192 * [taylor]: Taking taylor expansion of x in x
6.193 * [taylor]: Taking taylor expansion of 0 in y
6.197 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y
6.197 * [taylor]: Taking taylor expansion of 1.0 in y
6.197 * [taylor]: Taking taylor expansion of (sin y) in y
6.197 * [taylor]: Taking taylor expansion of y in y
6.204 * [taylor]: Taking taylor expansion of 0 in y
6.213 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y
6.213 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y
6.213 * [taylor]: Taking taylor expansion of (sin y) in y
6.213 * [taylor]: Taking taylor expansion of y in y
6.226 * [taylor]: Taking taylor expansion of 0 in y
6.226 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
6.226 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
6.226 * [taylor]: Taking taylor expansion of 0.5 in y
6.226 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
6.226 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.226 * [taylor]: Taking taylor expansion of y in y
6.226 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
6.226 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.226 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.226 * [taylor]: Taking taylor expansion of x in y
6.227 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
6.227 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
6.227 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.227 * [taylor]: Taking taylor expansion of x in y
6.227 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
6.227 * [taylor]: Taking taylor expansion of 0.5 in x
6.227 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
6.227 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
6.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.227 * [taylor]: Taking taylor expansion of y in x
6.227 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
6.227 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.227 * [taylor]: Taking taylor expansion of x in x
6.227 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
6.227 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.227 * [taylor]: Taking taylor expansion of x in x
6.228 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
6.228 * [taylor]: Taking taylor expansion of 0.5 in x
6.228 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
6.228 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
6.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.228 * [taylor]: Taking taylor expansion of y in x
6.228 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
6.228 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.228 * [taylor]: Taking taylor expansion of x in x
6.228 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
6.228 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.228 * [taylor]: Taking taylor expansion of x in x
6.229 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
6.229 * [taylor]: Taking taylor expansion of 0.5 in y
6.230 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
6.230 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.230 * [taylor]: Taking taylor expansion of y in y
6.230 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
6.230 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.230 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.230 * [taylor]: Taking taylor expansion of x in y
6.230 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
6.230 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
6.230 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.230 * [taylor]: Taking taylor expansion of x in y
6.233 * [taylor]: Taking taylor expansion of 0 in y
6.240 * [taylor]: Taking taylor expansion of 0 in y
6.253 * [taylor]: Taking taylor expansion of 0 in y
6.254 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0
6.254 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
6.254 * [taylor]: Taking taylor expansion of 0.5 in y
6.254 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
6.254 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.254 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.254 * [taylor]: Taking taylor expansion of -1 in y
6.254 * [taylor]: Taking taylor expansion of y in y
6.254 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
6.254 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
6.254 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.254 * [taylor]: Taking taylor expansion of -1 in y
6.254 * [taylor]: Taking taylor expansion of x in y
6.254 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.254 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.255 * [taylor]: Taking taylor expansion of x in y
6.255 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
6.255 * [taylor]: Taking taylor expansion of 0.5 in x
6.255 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
6.255 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
6.255 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.255 * [taylor]: Taking taylor expansion of -1 in x
6.255 * [taylor]: Taking taylor expansion of y in x
6.255 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
6.255 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.255 * [taylor]: Taking taylor expansion of -1 in x
6.255 * [taylor]: Taking taylor expansion of x in x
6.255 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.255 * [taylor]: Taking taylor expansion of x in x
6.256 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
6.256 * [taylor]: Taking taylor expansion of 0.5 in x
6.256 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
6.256 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
6.256 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.256 * [taylor]: Taking taylor expansion of -1 in x
6.256 * [taylor]: Taking taylor expansion of y in x
6.256 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
6.256 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.256 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.256 * [taylor]: Taking taylor expansion of -1 in x
6.256 * [taylor]: Taking taylor expansion of x in x
6.256 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.256 * [taylor]: Taking taylor expansion of x in x
6.257 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
6.257 * [taylor]: Taking taylor expansion of 0.5 in y
6.257 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
6.257 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.257 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.257 * [taylor]: Taking taylor expansion of -1 in y
6.257 * [taylor]: Taking taylor expansion of y in y
6.257 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
6.257 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
6.257 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.257 * [taylor]: Taking taylor expansion of -1 in y
6.257 * [taylor]: Taking taylor expansion of x in y
6.258 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.258 * [taylor]: Taking taylor expansion of x in y
6.261 * [taylor]: Taking taylor expansion of 0 in y
6.266 * [taylor]: Taking taylor expansion of 0 in y
6.275 * [taylor]: Taking taylor expansion of 0 in y
6.275 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
6.275 * [approximate]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2))) in (x y) around 0
6.275 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2))) in y
6.275 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
6.275 * [taylor]: Taking taylor expansion of (exp x) in y
6.275 * [taylor]: Taking taylor expansion of x in y
6.275 * [taylor]: Taking taylor expansion of (exp (- x)) in y
6.275 * [taylor]: Taking taylor expansion of (- x) in y
6.275 * [taylor]: Taking taylor expansion of x in y
6.275 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in y
6.275 * [taylor]: Taking taylor expansion of (cos y) in y
6.275 * [taylor]: Taking taylor expansion of y in y
6.275 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
6.276 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.276 * [taylor]: Taking taylor expansion of 0.5 in y
6.276 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2))) in x
6.276 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
6.276 * [taylor]: Taking taylor expansion of (exp x) in x
6.276 * [taylor]: Taking taylor expansion of x in x
6.276 * [taylor]: Taking taylor expansion of (exp (- x)) in x
6.276 * [taylor]: Taking taylor expansion of (- x) in x
6.276 * [taylor]: Taking taylor expansion of x in x
6.277 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in x
6.277 * [taylor]: Taking taylor expansion of (cos y) in x
6.277 * [taylor]: Taking taylor expansion of y in x
6.277 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.277 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.277 * [taylor]: Taking taylor expansion of 0.5 in x
6.278 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2))) in x
6.278 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
6.278 * [taylor]: Taking taylor expansion of (exp x) in x
6.278 * [taylor]: Taking taylor expansion of x in x
6.278 * [taylor]: Taking taylor expansion of (exp (- x)) in x
6.278 * [taylor]: Taking taylor expansion of (- x) in x
6.278 * [taylor]: Taking taylor expansion of x in x
6.278 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in x
6.278 * [taylor]: Taking taylor expansion of (cos y) in x
6.278 * [taylor]: Taking taylor expansion of y in x
6.278 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.279 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.279 * [taylor]: Taking taylor expansion of 0.5 in x
6.282 * [taylor]: Taking taylor expansion of (* 2 (* (cos y) (pow (sqrt 0.5) 2))) in y
6.282 * [taylor]: Taking taylor expansion of 2 in y
6.282 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in y
6.282 * [taylor]: Taking taylor expansion of (cos y) in y
6.282 * [taylor]: Taking taylor expansion of y in y
6.282 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
6.282 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.282 * [taylor]: Taking taylor expansion of 0.5 in y
6.292 * [taylor]: Taking taylor expansion of 0 in y
6.302 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in y
6.302 * [taylor]: Taking taylor expansion of (cos y) in y
6.302 * [taylor]: Taking taylor expansion of y in y
6.302 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
6.302 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.302 * [taylor]: Taking taylor expansion of 0.5 in y
6.318 * [approximate]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in (x y) around 0
6.319 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in y
6.319 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.319 * [taylor]: Taking taylor expansion of y in y
6.319 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2)) in y
6.319 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
6.319 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.319 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.319 * [taylor]: Taking taylor expansion of x in y
6.319 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
6.319 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
6.319 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.319 * [taylor]: Taking taylor expansion of x in y
6.319 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
6.319 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.319 * [taylor]: Taking taylor expansion of 0.5 in y
6.320 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in x
6.320 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
6.320 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.320 * [taylor]: Taking taylor expansion of y in x
6.320 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2)) in x
6.320 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
6.320 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.320 * [taylor]: Taking taylor expansion of x in x
6.321 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
6.321 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.321 * [taylor]: Taking taylor expansion of x in x
6.321 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.322 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.322 * [taylor]: Taking taylor expansion of 0.5 in x
6.322 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in x
6.322 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
6.322 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.322 * [taylor]: Taking taylor expansion of y in x
6.322 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2)) in x
6.323 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
6.323 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.323 * [taylor]: Taking taylor expansion of x in x
6.323 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
6.323 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.323 * [taylor]: Taking taylor expansion of x in x
6.324 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.324 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.324 * [taylor]: Taking taylor expansion of 0.5 in x
6.327 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in y
6.327 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.327 * [taylor]: Taking taylor expansion of y in y
6.327 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2)) in y
6.327 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
6.327 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.327 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.328 * [taylor]: Taking taylor expansion of x in y
6.328 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
6.328 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
6.328 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.328 * [taylor]: Taking taylor expansion of x in y
6.328 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
6.328 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.328 * [taylor]: Taking taylor expansion of 0.5 in y
6.335 * [taylor]: Taking taylor expansion of 0 in y
6.349 * [taylor]: Taking taylor expansion of 0 in y
6.361 * [taylor]: Taking taylor expansion of 0 in y
6.363 * [approximate]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
6.363 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
6.363 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.363 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.363 * [taylor]: Taking taylor expansion of -1 in y
6.363 * [taylor]: Taking taylor expansion of y in y
6.363 * [taylor]: Taking taylor expansion of (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
6.363 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
6.363 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.363 * [taylor]: Taking taylor expansion of 0.5 in y
6.364 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
6.364 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.364 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.364 * [taylor]: Taking taylor expansion of x in y
6.364 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
6.364 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.364 * [taylor]: Taking taylor expansion of -1 in y
6.364 * [taylor]: Taking taylor expansion of x in y
6.364 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
6.364 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
6.364 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.364 * [taylor]: Taking taylor expansion of -1 in x
6.364 * [taylor]: Taking taylor expansion of y in x
6.364 * [taylor]: Taking taylor expansion of (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
6.364 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.364 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.364 * [taylor]: Taking taylor expansion of 0.5 in x
6.365 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
6.365 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.365 * [taylor]: Taking taylor expansion of x in x
6.365 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.365 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.365 * [taylor]: Taking taylor expansion of -1 in x
6.365 * [taylor]: Taking taylor expansion of x in x
6.366 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
6.366 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
6.366 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.366 * [taylor]: Taking taylor expansion of -1 in x
6.366 * [taylor]: Taking taylor expansion of y in x
6.366 * [taylor]: Taking taylor expansion of (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
6.366 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.366 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.366 * [taylor]: Taking taylor expansion of 0.5 in x
6.367 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
6.367 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.367 * [taylor]: Taking taylor expansion of x in x
6.367 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.367 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.367 * [taylor]: Taking taylor expansion of -1 in x
6.367 * [taylor]: Taking taylor expansion of x in x
6.370 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
6.371 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.371 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.371 * [taylor]: Taking taylor expansion of -1 in y
6.371 * [taylor]: Taking taylor expansion of y in y
6.371 * [taylor]: Taking taylor expansion of (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
6.371 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
6.371 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.371 * [taylor]: Taking taylor expansion of 0.5 in y
6.372 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
6.372 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.372 * [taylor]: Taking taylor expansion of x in y
6.372 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
6.372 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.372 * [taylor]: Taking taylor expansion of -1 in y
6.372 * [taylor]: Taking taylor expansion of x in y
6.379 * [taylor]: Taking taylor expansion of 0 in y
6.388 * [taylor]: Taking taylor expansion of 0 in y
6.400 * [taylor]: Taking taylor expansion of 0 in y
6.401 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
6.401 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5)) in (x) around 0
6.401 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5)) in x
6.401 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x
6.401 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
6.401 * [taylor]: Taking taylor expansion of (exp x) in x
6.401 * [taylor]: Taking taylor expansion of x in x
6.401 * [taylor]: Taking taylor expansion of (exp (- x)) in x
6.401 * [taylor]: Taking taylor expansion of (- x) in x
6.401 * [taylor]: Taking taylor expansion of x in x
6.404 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.404 * [taylor]: Taking taylor expansion of 0.5 in x
6.405 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5)) in x
6.405 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x
6.405 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
6.405 * [taylor]: Taking taylor expansion of (exp x) in x
6.405 * [taylor]: Taking taylor expansion of x in x
6.405 * [taylor]: Taking taylor expansion of (exp (- x)) in x
6.405 * [taylor]: Taking taylor expansion of (- x) in x
6.405 * [taylor]: Taking taylor expansion of x in x
6.408 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.408 * [taylor]: Taking taylor expansion of 0.5 in x
6.469 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (sqrt 0.5)) in (x) around 0
6.469 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (sqrt 0.5)) in x
6.469 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
6.469 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
6.469 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.469 * [taylor]: Taking taylor expansion of x in x
6.470 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
6.470 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.470 * [taylor]: Taking taylor expansion of x in x
6.471 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.471 * [taylor]: Taking taylor expansion of 0.5 in x
6.472 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (sqrt 0.5)) in x
6.472 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
6.472 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
6.472 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.472 * [taylor]: Taking taylor expansion of x in x
6.472 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
6.472 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.473 * [taylor]: Taking taylor expansion of x in x
6.474 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.474 * [taylor]: Taking taylor expansion of 0.5 in x
6.487 * [approximate]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x) around 0
6.487 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
6.487 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.487 * [taylor]: Taking taylor expansion of 0.5 in x
6.488 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
6.488 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
6.488 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.488 * [taylor]: Taking taylor expansion of x in x
6.488 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.488 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.489 * [taylor]: Taking taylor expansion of -1 in x
6.489 * [taylor]: Taking taylor expansion of x in x
6.489 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
6.489 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.489 * [taylor]: Taking taylor expansion of 0.5 in x
6.490 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
6.490 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
6.490 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.490 * [taylor]: Taking taylor expansion of x in x
6.490 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.491 * [taylor]: Taking taylor expansion of -1 in x
6.491 * [taylor]: Taking taylor expansion of x in x
6.507 * * * [progress]: simplifying candidates
6.508 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (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)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (+ (- (log (- (exp x) (exp (- x)))) (log 2.0)) (log (sin y)))
  (+ (log (/ (- (exp x) (exp (- x))) 2.0)) (log (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y)))
  (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (/ (- (exp x) (exp (- x))) 2.0)) (/ (- (exp x) (exp (- x))) 2.0)) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
  (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) 1)
  (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ 1 2.0) (sin y))
  (* (- (exp x) (exp (- x))) (sin y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (+ (log (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (+ (log (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (log (cos y))))
  (+ (log (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (log (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (log (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (exp (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (* (* (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 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))) 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))) 2.0)) (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (* (cbrt (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))) (cbrt (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))))
  (cbrt (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (* (* (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (sqrt (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (sqrt (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
  (* (sqrt 2.0) (sqrt 2.0))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) (cbrt 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))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) (cbrt 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))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ 1 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
  (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (log (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (exp (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))))
  (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (* (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cbrt (/ (+ (exp x) (exp (- x))) 2.0))))
  (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0))))
  (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)))
  (sqrt (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)))
  (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (sqrt (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))
  (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) 2.0))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0))))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 1))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0))
  (sqrt (/ 1 (* (cbrt 2.0) (cbrt 2.0))))
  (sqrt (/ (+ (exp x) (exp (- x))) (cbrt 2.0)))
  (sqrt (/ 1 (sqrt 2.0)))
  (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (sqrt (/ 1 1))
  (sqrt (/ (+ (exp x) (exp (- x))) 2.0))
  (sqrt (/ 1 (* (cbrt 2.0) (cbrt 2.0))))
  (sqrt (/ (+ (exp x) (exp (- x))) (cbrt 2.0)))
  (sqrt (/ 1 (sqrt 2.0)))
  (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (sqrt (/ 1 1))
  (sqrt (/ (+ (exp x) (exp (- x))) 2.0))
  (sqrt 1)
  (sqrt (/ (+ (exp x) (exp (- x))) 2.0))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (/ 1 2.0))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt 2.0)
  (/ 1 2)
  (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (* -1 x)))
  (* 1.0 (* x y))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y)))
  (- (+ (* 2 (pow (sqrt 0.5) 2)) (* (pow x 2) (pow (sqrt 0.5) 2))) (* (pow y 2) (pow (sqrt 0.5) 2)))
  (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2)))
  (* (cos y) (* (pow (sqrt 0.5) 2) (+ (exp (* -1 x)) (exp x))))
  (- (+ (* 1/2 (/ (* (pow x 2) (sqrt 0.5)) (sqrt 2))) (+ (* (sqrt 2) (sqrt 0.5)) (* 1/24 (/ (* (pow x 4) (sqrt 0.5)) (sqrt 2))))) (* 1/8 (/ (* (pow x 4) (sqrt 0.5)) (pow (sqrt 2) 3))))
  (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5))
  (* (sqrt 0.5) (sqrt (+ (exp (* -1 x)) (exp x))))
6.521 * * [simplify]: iteration  0 :  248  enodes  (cost  2293 )
6.570 * * [simplify]: iteration  1 :  590  enodes  (cost  1977 )
6.732 * * [simplify]: iteration  2 :  1642  enodes  (cost  1752 )
7.371 * * [simplify]: iteration  done :  5001  enodes  (cost  1742 )
7.372 * [simplify]: Simplified to:
   (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 x)) 1) (exp (* x -2)))
  (- (exp (- x)))
  (- (exp (+ x x)) (exp (* x -2)))
  (+ (exp x) (exp (- x)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
  (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y)))
  (/ (- (exp x) (exp (- x))) 2.0)
  (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (/ (sin y) 2.0)
  (* (- (exp x) (exp (- x))) (sin y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (cos y) (+ (exp x) (exp (- x))))
  2.0
  (/ (+ (exp x) (exp (- x))) 2.0)
  (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) (cbrt 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)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) (cbrt 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)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (sqrt (/ 1 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
  (log (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (exp (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))))
  (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (pow (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) 3)
  (fabs (cbrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (fabs (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)))
  (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)))
  (sqrt (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)))
  (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (fabs (cbrt (+ (exp x) (exp (- x)))))
  (sqrt (/ (cbrt (+ (exp x) (exp (- x)))) 2.0))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0))))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (sqrt (sqrt (+ (exp x) (exp (- x)))))
  (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0))
  (sqrt (/ 1 (* (cbrt 2.0) (cbrt 2.0))))
  (sqrt (/ (+ (exp x) (exp (- x))) (cbrt 2.0)))
  (sqrt (/ 1 (sqrt 2.0)))
  (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  1
  (sqrt (/ (+ (exp x) (exp (- x))) 2.0))
  (sqrt (/ 1 (* (cbrt 2.0) (cbrt 2.0))))
  (sqrt (/ (+ (exp x) (exp (- x))) (cbrt 2.0)))
  (sqrt (/ 1 (sqrt 2.0)))
  (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  1
  (sqrt (/ (+ (exp x) (exp (- x))) 2.0))
  1
  (sqrt (/ (+ (exp x) (exp (- x))) 2.0))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (/ 1 2.0))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt 2.0)
  1/2
  (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (- x)))
  (* 1.0 (* x y))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (* 0.5 (- (+ 2 (pow x 2)) (pow y 2)))
  (* (* (+ (exp x) (exp (- x))) (cos y)) 0.5)
  (* (* (+ (exp x) (exp (- x))) (cos y)) 0.5)
  (+ (+ (* (/ (* (pow x 4) (sqrt 0.5)) (sqrt 2)) (- 1/24 1/16)) (* (sqrt 2) (sqrt 0.5))) (* 1/2 (/ (* (pow x 2) (sqrt 0.5)) (sqrt 2))))
  (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5))
  (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5))
7.373 * * * [progress]: adding candidates to table
7.851 * * [progress]: iteration 3 / 4
7.851 * * * [progress]: picking best candidate
7.855 * * * * [pick]: Picked  #<alt (λ (x y) (re (complex (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))>
7.855 * * * [progress]: localizing error
7.875 * * * [progress]: generating rewritten candidates
7.876 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
7.882 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
7.922 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.950 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
7.953 * * * [progress]: generating series expansions
7.953 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
7.953 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
7.953 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
7.953 * [taylor]: Taking taylor expansion of (exp x) in x
7.953 * [taylor]: Taking taylor expansion of x in x
7.953 * [taylor]: Taking taylor expansion of (exp (- x)) in x
7.953 * [taylor]: Taking taylor expansion of (- x) in x
7.953 * [taylor]: Taking taylor expansion of x in x
7.954 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
7.954 * [taylor]: Taking taylor expansion of (exp x) in x
7.954 * [taylor]: Taking taylor expansion of x in x
7.954 * [taylor]: Taking taylor expansion of (exp (- x)) in x
7.954 * [taylor]: Taking taylor expansion of (- x) in x
7.954 * [taylor]: Taking taylor expansion of x in x
7.980 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
7.980 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
7.980 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.980 * [taylor]: Taking taylor expansion of x in x
7.980 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
7.981 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
7.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.981 * [taylor]: Taking taylor expansion of x in x
7.981 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
7.981 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.981 * [taylor]: Taking taylor expansion of x in x
7.981 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
7.981 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
7.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.982 * [taylor]: Taking taylor expansion of x in x
7.985 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
7.985 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
7.985 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.985 * [taylor]: Taking taylor expansion of -1 in x
7.985 * [taylor]: Taking taylor expansion of x in x
7.986 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.986 * [taylor]: Taking taylor expansion of x in x
7.986 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
7.986 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.986 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.986 * [taylor]: Taking taylor expansion of -1 in x
7.986 * [taylor]: Taking taylor expansion of x in x
7.987 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.987 * [taylor]: Taking taylor expansion of x in x
7.990 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
7.990 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0
7.990 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
7.990 * [taylor]: Taking taylor expansion of 0.5 in y
7.991 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
7.991 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
7.991 * [taylor]: Taking taylor expansion of (exp x) in y
7.991 * [taylor]: Taking taylor expansion of x in y
7.991 * [taylor]: Taking taylor expansion of (exp (- x)) in y
7.991 * [taylor]: Taking taylor expansion of (- x) in y
7.991 * [taylor]: Taking taylor expansion of x in y
7.991 * [taylor]: Taking taylor expansion of (cos y) in y
7.991 * [taylor]: Taking taylor expansion of y in y
7.991 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
7.991 * [taylor]: Taking taylor expansion of 0.5 in x
7.991 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
7.991 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
7.991 * [taylor]: Taking taylor expansion of (exp x) in x
7.991 * [taylor]: Taking taylor expansion of x in x
7.991 * [taylor]: Taking taylor expansion of (exp (- x)) in x
7.991 * [taylor]: Taking taylor expansion of (- x) in x
7.991 * [taylor]: Taking taylor expansion of x in x
7.991 * [taylor]: Taking taylor expansion of (cos y) in x
7.991 * [taylor]: Taking taylor expansion of y in x
7.991 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
7.991 * [taylor]: Taking taylor expansion of 0.5 in x
7.992 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
7.992 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
7.992 * [taylor]: Taking taylor expansion of (exp x) in x
7.992 * [taylor]: Taking taylor expansion of x in x
7.992 * [taylor]: Taking taylor expansion of (exp (- x)) in x
7.992 * [taylor]: Taking taylor expansion of (- x) in x
7.992 * [taylor]: Taking taylor expansion of x in x
7.992 * [taylor]: Taking taylor expansion of (cos y) in x
7.992 * [taylor]: Taking taylor expansion of y in x
7.993 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y
7.993 * [taylor]: Taking taylor expansion of 1.0 in y
7.993 * [taylor]: Taking taylor expansion of (cos y) in y
7.993 * [taylor]: Taking taylor expansion of y in y
7.997 * [taylor]: Taking taylor expansion of 0 in y
8.008 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y
8.008 * [taylor]: Taking taylor expansion of 0.5 in y
8.008 * [taylor]: Taking taylor expansion of (cos y) in y
8.008 * [taylor]: Taking taylor expansion of y in y
8.012 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
8.012 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
8.012 * [taylor]: Taking taylor expansion of 0.5 in y
8.012 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
8.012 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
8.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.012 * [taylor]: Taking taylor expansion of y in y
8.012 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
8.012 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
8.012 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.012 * [taylor]: Taking taylor expansion of x in y
8.012 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
8.012 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
8.012 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.012 * [taylor]: Taking taylor expansion of x in y
8.012 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
8.012 * [taylor]: Taking taylor expansion of 0.5 in x
8.012 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
8.012 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
8.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.012 * [taylor]: Taking taylor expansion of y in x
8.012 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
8.012 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.013 * [taylor]: Taking taylor expansion of x in x
8.013 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
8.013 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
8.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.013 * [taylor]: Taking taylor expansion of x in x
8.013 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
8.013 * [taylor]: Taking taylor expansion of 0.5 in x
8.013 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
8.013 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
8.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.014 * [taylor]: Taking taylor expansion of y in x
8.014 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
8.014 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.014 * [taylor]: Taking taylor expansion of x in x
8.014 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
8.014 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
8.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.014 * [taylor]: Taking taylor expansion of x in x
8.015 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
8.015 * [taylor]: Taking taylor expansion of 0.5 in y
8.015 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
8.015 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
8.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.015 * [taylor]: Taking taylor expansion of y in y
8.016 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
8.016 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
8.016 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.016 * [taylor]: Taking taylor expansion of x in y
8.016 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
8.016 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
8.016 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.016 * [taylor]: Taking taylor expansion of x in y
8.019 * [taylor]: Taking taylor expansion of 0 in y
8.025 * [taylor]: Taking taylor expansion of 0 in y
8.033 * [taylor]: Taking taylor expansion of 0 in y
8.034 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
8.034 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
8.034 * [taylor]: Taking taylor expansion of 0.5 in y
8.034 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
8.034 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
8.034 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.034 * [taylor]: Taking taylor expansion of -1 in y
8.034 * [taylor]: Taking taylor expansion of y in y
8.034 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
8.034 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
8.034 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.034 * [taylor]: Taking taylor expansion of x in y
8.034 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
8.034 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.034 * [taylor]: Taking taylor expansion of -1 in y
8.034 * [taylor]: Taking taylor expansion of x in y
8.034 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
8.034 * [taylor]: Taking taylor expansion of 0.5 in x
8.034 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
8.034 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
8.034 * [taylor]: Taking taylor expansion of (/ -1 y) in x
8.034 * [taylor]: Taking taylor expansion of -1 in x
8.034 * [taylor]: Taking taylor expansion of y in x
8.035 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
8.035 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.035 * [taylor]: Taking taylor expansion of x in x
8.035 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.035 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.035 * [taylor]: Taking taylor expansion of -1 in x
8.035 * [taylor]: Taking taylor expansion of x in x
8.035 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
8.035 * [taylor]: Taking taylor expansion of 0.5 in x
8.035 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
8.035 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
8.035 * [taylor]: Taking taylor expansion of (/ -1 y) in x
8.035 * [taylor]: Taking taylor expansion of -1 in x
8.035 * [taylor]: Taking taylor expansion of y in x
8.035 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
8.036 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.036 * [taylor]: Taking taylor expansion of x in x
8.036 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.036 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.036 * [taylor]: Taking taylor expansion of -1 in x
8.036 * [taylor]: Taking taylor expansion of x in x
8.037 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
8.037 * [taylor]: Taking taylor expansion of 0.5 in y
8.037 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
8.037 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
8.037 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.037 * [taylor]: Taking taylor expansion of -1 in y
8.037 * [taylor]: Taking taylor expansion of y in y
8.037 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
8.037 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
8.037 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.037 * [taylor]: Taking taylor expansion of x in y
8.037 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
8.038 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.038 * [taylor]: Taking taylor expansion of -1 in y
8.038 * [taylor]: Taking taylor expansion of x in y
8.041 * [taylor]: Taking taylor expansion of 0 in y
8.046 * [taylor]: Taking taylor expansion of 0 in y
8.054 * [taylor]: Taking taylor expansion of 0 in y
8.054 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
8.055 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0
8.055 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y
8.055 * [taylor]: Taking taylor expansion of 0.5 in y
8.055 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y
8.055 * [taylor]: Taking taylor expansion of (sin y) in y
8.055 * [taylor]: Taking taylor expansion of y in y
8.055 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y
8.055 * [taylor]: Taking taylor expansion of (exp x) in y
8.055 * [taylor]: Taking taylor expansion of x in y
8.055 * [taylor]: Taking taylor expansion of (exp (- x)) in y
8.055 * [taylor]: Taking taylor expansion of (- x) in y
8.055 * [taylor]: Taking taylor expansion of x in y
8.055 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
8.055 * [taylor]: Taking taylor expansion of 0.5 in x
8.055 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
8.055 * [taylor]: Taking taylor expansion of (sin y) in x
8.055 * [taylor]: Taking taylor expansion of y in x
8.055 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
8.055 * [taylor]: Taking taylor expansion of (exp x) in x
8.055 * [taylor]: Taking taylor expansion of x in x
8.055 * [taylor]: Taking taylor expansion of (exp (- x)) in x
8.055 * [taylor]: Taking taylor expansion of (- x) in x
8.055 * [taylor]: Taking taylor expansion of x in x
8.056 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
8.056 * [taylor]: Taking taylor expansion of 0.5 in x
8.056 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
8.056 * [taylor]: Taking taylor expansion of (sin y) in x
8.056 * [taylor]: Taking taylor expansion of y in x
8.056 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
8.056 * [taylor]: Taking taylor expansion of (exp x) in x
8.056 * [taylor]: Taking taylor expansion of x in x
8.056 * [taylor]: Taking taylor expansion of (exp (- x)) in x
8.056 * [taylor]: Taking taylor expansion of (- x) in x
8.056 * [taylor]: Taking taylor expansion of x in x
8.057 * [taylor]: Taking taylor expansion of 0 in y
8.061 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y
8.061 * [taylor]: Taking taylor expansion of 1.0 in y
8.061 * [taylor]: Taking taylor expansion of (sin y) in y
8.061 * [taylor]: Taking taylor expansion of y in y
8.067 * [taylor]: Taking taylor expansion of 0 in y
8.076 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y
8.076 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y
8.076 * [taylor]: Taking taylor expansion of (sin y) in y
8.076 * [taylor]: Taking taylor expansion of y in y
8.095 * [taylor]: Taking taylor expansion of 0 in y
8.096 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
8.096 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
8.096 * [taylor]: Taking taylor expansion of 0.5 in y
8.096 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
8.096 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.096 * [taylor]: Taking taylor expansion of y in y
8.096 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
8.096 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
8.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.096 * [taylor]: Taking taylor expansion of x in y
8.096 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
8.096 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
8.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.096 * [taylor]: Taking taylor expansion of x in y
8.096 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
8.096 * [taylor]: Taking taylor expansion of 0.5 in x
8.096 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
8.096 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
8.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.096 * [taylor]: Taking taylor expansion of y in x
8.097 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
8.097 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.097 * [taylor]: Taking taylor expansion of x in x
8.097 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
8.097 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
8.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.097 * [taylor]: Taking taylor expansion of x in x
8.097 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
8.097 * [taylor]: Taking taylor expansion of 0.5 in x
8.098 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
8.098 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
8.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.098 * [taylor]: Taking taylor expansion of y in x
8.098 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
8.098 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.098 * [taylor]: Taking taylor expansion of x in x
8.098 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
8.098 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
8.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.098 * [taylor]: Taking taylor expansion of x in x
8.099 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
8.099 * [taylor]: Taking taylor expansion of 0.5 in y
8.099 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
8.099 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.099 * [taylor]: Taking taylor expansion of y in y
8.100 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
8.100 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
8.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.100 * [taylor]: Taking taylor expansion of x in y
8.100 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
8.100 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
8.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.100 * [taylor]: Taking taylor expansion of x in y
8.103 * [taylor]: Taking taylor expansion of 0 in y
8.109 * [taylor]: Taking taylor expansion of 0 in y
8.117 * [taylor]: Taking taylor expansion of 0 in y
8.118 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0
8.118 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
8.118 * [taylor]: Taking taylor expansion of 0.5 in y
8.118 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
8.118 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.118 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.118 * [taylor]: Taking taylor expansion of -1 in y
8.118 * [taylor]: Taking taylor expansion of y in y
8.118 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
8.118 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
8.118 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.118 * [taylor]: Taking taylor expansion of -1 in y
8.118 * [taylor]: Taking taylor expansion of x in y
8.119 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
8.119 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.119 * [taylor]: Taking taylor expansion of x in y
8.119 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
8.119 * [taylor]: Taking taylor expansion of 0.5 in x
8.119 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
8.119 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
8.119 * [taylor]: Taking taylor expansion of (/ -1 y) in x
8.119 * [taylor]: Taking taylor expansion of -1 in x
8.119 * [taylor]: Taking taylor expansion of y in x
8.119 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
8.119 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.119 * [taylor]: Taking taylor expansion of -1 in x
8.119 * [taylor]: Taking taylor expansion of x in x
8.119 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.119 * [taylor]: Taking taylor expansion of x in x
8.120 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
8.120 * [taylor]: Taking taylor expansion of 0.5 in x
8.120 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
8.120 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
8.120 * [taylor]: Taking taylor expansion of (/ -1 y) in x
8.120 * [taylor]: Taking taylor expansion of -1 in x
8.120 * [taylor]: Taking taylor expansion of y in x
8.120 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
8.120 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.120 * [taylor]: Taking taylor expansion of -1 in x
8.120 * [taylor]: Taking taylor expansion of x in x
8.120 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.120 * [taylor]: Taking taylor expansion of x in x
8.121 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
8.121 * [taylor]: Taking taylor expansion of 0.5 in y
8.121 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
8.121 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.121 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.121 * [taylor]: Taking taylor expansion of -1 in y
8.121 * [taylor]: Taking taylor expansion of y in y
8.121 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
8.121 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
8.122 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.122 * [taylor]: Taking taylor expansion of -1 in y
8.122 * [taylor]: Taking taylor expansion of x in y
8.122 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
8.122 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.122 * [taylor]: Taking taylor expansion of x in y
8.125 * [taylor]: Taking taylor expansion of 0 in y
8.131 * [taylor]: Taking taylor expansion of 0 in y
8.138 * [taylor]: Taking taylor expansion of 0 in y
8.139 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
8.139 * [approximate]: Taking taylor expansion of (sqrt (cos y)) in (y) around 0
8.139 * [taylor]: Taking taylor expansion of (sqrt (cos y)) in y
8.139 * [taylor]: Taking taylor expansion of (cos y) in y
8.139 * [taylor]: Taking taylor expansion of y in y
8.140 * [taylor]: Taking taylor expansion of (sqrt (cos y)) in y
8.140 * [taylor]: Taking taylor expansion of (cos y) in y
8.140 * [taylor]: Taking taylor expansion of y in y
8.146 * [approximate]: Taking taylor expansion of (sqrt (cos (/ 1 y))) in (y) around 0
8.146 * [taylor]: Taking taylor expansion of (sqrt (cos (/ 1 y))) in y
8.146 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
8.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.146 * [taylor]: Taking taylor expansion of y in y
8.146 * [taylor]: Taking taylor expansion of (sqrt (cos (/ 1 y))) in y
8.146 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
8.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.146 * [taylor]: Taking taylor expansion of y in y
8.150 * [approximate]: Taking taylor expansion of (sqrt (cos (/ -1 y))) in (y) around 0
8.150 * [taylor]: Taking taylor expansion of (sqrt (cos (/ -1 y))) in y
8.150 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
8.150 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.150 * [taylor]: Taking taylor expansion of -1 in y
8.150 * [taylor]: Taking taylor expansion of y in y
8.151 * [taylor]: Taking taylor expansion of (sqrt (cos (/ -1 y))) in y
8.151 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
8.151 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.151 * [taylor]: Taking taylor expansion of -1 in y
8.151 * [taylor]: Taking taylor expansion of y in y
8.154 * * * [progress]: simplifying candidates
8.155 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (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)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y)))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y)))
  (+ (+ (- (log (+ (exp x) (exp (- x)))) (log 2.0)) (log (sqrt (cos y)))) (log (sqrt (cos y))))
  (+ (+ (log (/ (+ (exp x) (exp (- x))) 2.0)) (log (sqrt (cos y)))) (log (sqrt (cos y))))
  (+ (log (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))) (log (sqrt (cos y))))
  (log (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))))
  (exp (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))))
  (* (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (sqrt (cos y)) (sqrt (cos y))) (sqrt (cos y)))) (* (* (sqrt (cos y)) (sqrt (cos y))) (sqrt (cos y))))
  (* (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (* (sqrt (cos y)) (sqrt (cos y))) (sqrt (cos y)))) (* (* (sqrt (cos y)) (sqrt (cos y))) (sqrt (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 (cos y)) (sqrt (cos y))) (sqrt (cos y))))
  (* (cbrt (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y)))) (cbrt (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y)))))
  (cbrt (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))))
  (* (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))) (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y)))) (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))))
  (sqrt (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))))
  (sqrt (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (sqrt (cos y))))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt 1))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (sqrt (cos y))))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) 1)
  (* (sqrt (cos y)) (sqrt (cos y)))
  (* (* (+ (exp x) (exp (- x))) (sqrt (cos y))) (sqrt (cos y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (+ (- (log (- (exp x) (exp (- x)))) (log 2.0)) (log (sin y)))
  (+ (log (/ (- (exp x) (exp (- x))) 2.0)) (log (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y)))
  (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (/ (- (exp x) (exp (- x))) 2.0)) (/ (- (exp x) (exp (- x))) 2.0)) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
  (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) 1)
  (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ 1 2.0) (sin y))
  (* (- (exp x) (exp (- x))) (sin y))
  (log (sqrt (cos y)))
  (exp (sqrt (cos y)))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (cbrt (sqrt (cos y)))
  (* (* (sqrt (cos y)) (sqrt (cos y))) (sqrt (cos y)))
  (sqrt (* (cbrt (cos y)) (cbrt (cos y))))
  (sqrt (cbrt (cos y)))
  (sqrt (sqrt (cos y)))
  (sqrt (sqrt (cos y)))
  (sqrt 1)
  (sqrt (cos y))
  (/ 1 2)
  (sqrt (sqrt (cos y)))
  (sqrt (sqrt (cos y)))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (* -1 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))))
  (* 1.0 (* x y))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y)))
  (- 1 (+ (* 1/4 (pow y 2)) (* 1/96 (pow y 4))))
  (sqrt (cos y))
  (sqrt (cos y))
8.160 * * [simplify]: iteration  0 :  193  enodes  (cost  1429 )
8.202 * * [simplify]: iteration  1 :  509  enodes  (cost  1271 )
8.388 * * [simplify]: iteration  2 :  1588  enodes  (cost  1081 )
9.392 * * [simplify]: iteration  done :  5000  enodes  (cost  1079 )
9.393 * [simplify]: Simplified to:
   (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))
  (+ (+ 1 (exp (* x -2))) (exp (+ x x)))
  (- (exp (- x)))
  (- (exp (+ x x)) (exp (* x -2)))
  (+ (exp x) (exp (- x)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))))
  (* (fabs (cbrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (sqrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (sqrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (cos y)
  (* (cos y) (+ (exp x) (exp (- x))))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
  (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3)
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y)))
  (/ (- (exp x) (exp (- x))) 2.0)
  (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
  (/ (sin y) 2.0)
  (* (- (exp x) (exp (- x))) (sin y))
  (log (sqrt (cos y)))
  (exp (sqrt (cos y)))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (cbrt (sqrt (cos y)))
  (pow (sqrt (cos y)) 3)
  (fabs (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (sqrt (cos y)))
  (sqrt (sqrt (cos y)))
  1
  (sqrt (cos y))
  1/2
  (sqrt (sqrt (cos y)))
  (sqrt (sqrt (cos y)))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (- x)))
  (+ 1.0 (* 0.5 (- (pow x 2) (pow y 2))))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 1.0 (* x y))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (* 0.5 (* (sin y) (- (exp x) (exp (- x)))))
  (- 1 (+ (* 1/4 (pow y 2)) (* 1/96 (pow y 4))))
  (sqrt (cos y))
  (sqrt (cos y))
9.393 * * * [progress]: adding candidates to table
9.718 * [progress]: [Phase 3 of 3] Extracting.
9.718 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (re (complex (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))> #<alt (λ (x y) (re (complex (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))>)
9.720 * * * [regime-changes]: Trying 2 branch expressions: (y x)
9.720 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (re (complex (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))> #<alt (λ (x y) (re (complex (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))>)
9.738 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (re (complex (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))> #<alt (λ (x y) (re (complex (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))>)
9.753 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
9.753 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (re (complex (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
9.753 * * [simplify]: iteration  0 :  18  enodes  (cost  35 )
9.754 * * [simplify]: iteration  1 :  22  enodes  (cost  35 )
9.754 * * [simplify]: iteration  done :  22  enodes  (cost  35 )
9.755 * [simplify]: Simplified to:
   (re (complex (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
9.755 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
9.833 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
9.836 * * * * [points]: Setting MPFR precision to 64
9.837 * * * * [points]: Setting MPFR precision to 320
9.837 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
9.840 * * * * [points]: Setting MPFR precision to 64
9.841 * * * * [points]: Setting MPFR precision to 320
9.842 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
9.844 * * * * [points]: Setting MPFR precision to 64
9.846 * * * * [points]: Setting MPFR precision to 320
9.849 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
9.851 * * * * [points]: Setting MPFR precision to 64
9.855 * * * * [points]: Setting MPFR precision to 320
9.860 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
9.863 * * * * [points]: Setting MPFR precision to 64
9.870 * * * * [points]: Setting MPFR precision to 320
9.878 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
9.881 * * * * [points]: Setting MPFR precision to 64
9.895 * * * * [points]: Setting MPFR precision to 320
9.917 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
9.919 * * * * [points]: Setting MPFR precision to 64
9.948 * * * * [points]: Setting MPFR precision to 320
9.985 * * * * [points]: Setting MPFR precision to 576
10.033 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
10.036 * * * * [points]: Setting MPFR precision to 320
10.111 * * * * [points]: Setting MPFR precision to 576
10.209 * * * * [points]: Computing exacts for 8000 points
10.212 * * * * [points]: Setting MPFR precision to 320
10.503 * * * * [points]: Setting MPFR precision to 576
10.893 * * * * [points]: Filtering points with unrepresentable outputs
10.901 * * * * [points]: Sampling 3997 additional inputs, on iter 1 have 4003 / 8000
10.940 * * * * [points]: Computing exacts on every 249 of 3997 points to ramp up precision
10.944 * * * * [points]: Setting MPFR precision to 320
10.944 * * * * [points]: Setting MPFR precision to 576
10.945 * * * * [points]: Computing exacts on every 124 of 3997 points to ramp up precision
10.948 * * * * [points]: Setting MPFR precision to 320
10.949 * * * * [points]: Setting MPFR precision to 576
10.951 * * * * [points]: Computing exacts on every 62 of 3997 points to ramp up precision
10.954 * * * * [points]: Setting MPFR precision to 320
10.956 * * * * [points]: Setting MPFR precision to 576
10.959 * * * * [points]: Computing exacts on every 31 of 3997 points to ramp up precision
10.962 * * * * [points]: Setting MPFR precision to 320
10.966 * * * * [points]: Setting MPFR precision to 576
10.972 * * * * [points]: Computing exacts on every 15 of 3997 points to ramp up precision
10.975 * * * * [points]: Setting MPFR precision to 320
10.984 * * * * [points]: Setting MPFR precision to 576
10.995 * * * * [points]: Computing exacts on every 7 of 3997 points to ramp up precision
10.998 * * * * [points]: Setting MPFR precision to 320
11.015 * * * * [points]: Setting MPFR precision to 576
11.039 * * * * [points]: Computing exacts on every 3 of 3997 points to ramp up precision
11.042 * * * * [points]: Setting MPFR precision to 320
11.079 * * * * [points]: Setting MPFR precision to 576
11.127 * * * * [points]: Computing exacts for 3997 points
11.130 * * * * [points]: Setting MPFR precision to 320
11.273 * * * * [points]: Setting MPFR precision to 576
11.468 * * * * [points]: Filtering points with unrepresentable outputs
11.472 * * * * [points]: Sampling 1982 additional inputs, on iter 2 have 6018 / 8000
11.491 * * * * [points]: Computing exacts on every 123 of 1982 points to ramp up precision
11.494 * * * * [points]: Setting MPFR precision to 320
11.495 * * * * [points]: Setting MPFR precision to 576
11.496 * * * * [points]: Computing exacts on every 61 of 1982 points to ramp up precision
11.499 * * * * [points]: Setting MPFR precision to 320
11.500 * * * * [points]: Setting MPFR precision to 576
11.502 * * * * [points]: Computing exacts on every 30 of 1982 points to ramp up precision
11.505 * * * * [points]: Setting MPFR precision to 320
11.507 * * * * [points]: Setting MPFR precision to 576
11.511 * * * * [points]: Computing exacts on every 15 of 1982 points to ramp up precision
11.514 * * * * [points]: Setting MPFR precision to 320
11.518 * * * * [points]: Setting MPFR precision to 576
11.524 * * * * [points]: Computing exacts on every 7 of 1982 points to ramp up precision
11.531 * * * * [points]: Setting MPFR precision to 320
11.540 * * * * [points]: Setting MPFR precision to 576
11.552 * * * * [points]: Computing exacts on every 3 of 1982 points to ramp up precision
11.555 * * * * [points]: Setting MPFR precision to 320
11.573 * * * * [points]: Setting MPFR precision to 576
11.597 * * * * [points]: Computing exacts for 1982 points
11.600 * * * * [points]: Setting MPFR precision to 320
11.669 * * * * [points]: Setting MPFR precision to 576
11.769 * * * * [points]: Filtering points with unrepresentable outputs
11.771 * * * * [points]: Sampling 935 additional inputs, on iter 3 have 7065 / 8000
11.779 * * * * [points]: Computing exacts on every 58 of 935 points to ramp up precision
11.783 * * * * [points]: Setting MPFR precision to 320
11.783 * * * * [points]: Setting MPFR precision to 576
11.784 * * * * [points]: Computing exacts on every 29 of 935 points to ramp up precision
11.787 * * * * [points]: Setting MPFR precision to 320
11.788 * * * * [points]: Setting MPFR precision to 576
11.790 * * * * [points]: Computing exacts on every 14 of 935 points to ramp up precision
11.793 * * * * [points]: Setting MPFR precision to 320
11.796 * * * * [points]: Setting MPFR precision to 576
11.799 * * * * [points]: Computing exacts on every 7 of 935 points to ramp up precision
11.802 * * * * [points]: Setting MPFR precision to 320
11.807 * * * * [points]: Setting MPFR precision to 576
11.813 * * * * [points]: Computing exacts on every 3 of 935 points to ramp up precision
11.816 * * * * [points]: Setting MPFR precision to 320
11.829 * * * * [points]: Setting MPFR precision to 576
11.841 * * * * [points]: Computing exacts for 935 points
11.844 * * * * [points]: Setting MPFR precision to 320
11.877 * * * * [points]: Setting MPFR precision to 576
11.923 * * * * [points]: Filtering points with unrepresentable outputs
11.924 * * * * [points]: Sampling 478 additional inputs, on iter 4 have 7522 / 8000
11.929 * * * * [points]: Computing exacts on every 29 of 478 points to ramp up precision
11.932 * * * * [points]: Setting MPFR precision to 320
11.933 * * * * [points]: Setting MPFR precision to 576
11.933 * * * * [points]: Computing exacts on every 14 of 478 points to ramp up precision
11.936 * * * * [points]: Setting MPFR precision to 320
11.938 * * * * [points]: Setting MPFR precision to 576
11.939 * * * * [points]: Computing exacts on every 7 of 478 points to ramp up precision
11.942 * * * * [points]: Setting MPFR precision to 320
11.945 * * * * [points]: Setting MPFR precision to 576
11.948 * * * * [points]: Computing exacts on every 3 of 478 points to ramp up precision
11.951 * * * * [points]: Setting MPFR precision to 320
11.956 * * * * [points]: Setting MPFR precision to 576
11.962 * * * * [points]: Computing exacts for 478 points
11.969 * * * * [points]: Setting MPFR precision to 320
11.986 * * * * [points]: Setting MPFR precision to 576
12.009 * * * * [points]: Filtering points with unrepresentable outputs
12.010 * * * * [points]: Sampling 216 additional inputs, on iter 5 have 7784 / 8000
12.012 * * * * [points]: Computing exacts on every 13 of 216 points to ramp up precision
12.015 * * * * [points]: Setting MPFR precision to 320
12.016 * * * * [points]: Setting MPFR precision to 576
12.017 * * * * [points]: Computing exacts on every 6 of 216 points to ramp up precision
12.020 * * * * [points]: Setting MPFR precision to 320
12.021 * * * * [points]: Setting MPFR precision to 576
12.022 * * * * [points]: Computing exacts on every 3 of 216 points to ramp up precision
12.026 * * * * [points]: Setting MPFR precision to 320
12.028 * * * * [points]: Setting MPFR precision to 576
12.030 * * * * [points]: Computing exacts for 216 points
12.034 * * * * [points]: Setting MPFR precision to 320
12.042 * * * * [points]: Setting MPFR precision to 576
12.053 * * * * [points]: Filtering points with unrepresentable outputs
12.053 * * * * [points]: Sampling 93 additional inputs, on iter 6 have 7907 / 8000
12.054 * * * * [points]: Computing exacts on every 5 of 93 points to ramp up precision
12.057 * * * * [points]: Setting MPFR precision to 320
12.058 * * * * [points]: Setting MPFR precision to 576
12.058 * * * * [points]: Computing exacts on every 2 of 93 points to ramp up precision
12.061 * * * * [points]: Setting MPFR precision to 320
12.063 * * * * [points]: Setting MPFR precision to 576
12.064 * * * * [points]: Computing exacts for 93 points
12.068 * * * * [points]: Setting MPFR precision to 320
12.071 * * * * [points]: Setting MPFR precision to 576
12.076 * * * * [points]: Filtering points with unrepresentable outputs
12.076 * * * * [points]: Sampling 45 additional inputs, on iter 7 have 7955 / 8000
12.076 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
12.083 * * * * [points]: Setting MPFR precision to 320
12.084 * * * * [points]: Setting MPFR precision to 576
12.085 * * * * [points]: Computing exacts for 45 points
12.088 * * * * [points]: Setting MPFR precision to 320
12.090 * * * * [points]: Setting MPFR precision to 576
12.092 * * * * [points]: Filtering points with unrepresentable outputs
12.092 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 7983 / 8000
12.092 * * * * [points]: Computing exacts for 17 points
12.095 * * * * [points]: Setting MPFR precision to 320
12.096 * * * * [points]: Setting MPFR precision to 576
12.097 * * * * [points]: Filtering points with unrepresentable outputs
12.097 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
12.097 * * * * [points]: Computing exacts for 9 points
12.101 * * * * [points]: Setting MPFR precision to 320
12.101 * * * * [points]: Setting MPFR precision to 576
12.102 * * * * [points]: Filtering points with unrepresentable outputs
12.102 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
12.102 * * * * [points]: Computing exacts for 5 points
12.105 * * * * [points]: Setting MPFR precision to 320
12.105 * * * * [points]: Setting MPFR precision to 576
12.105 * * * * [points]: Filtering points with unrepresentable outputs
12.106 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
12.106 * * * * [points]: Computing exacts for 4 points
12.109 * * * * [points]: Setting MPFR precision to 320
12.109 * * * * [points]: Setting MPFR precision to 576
12.109 * * * * [points]: Filtering points with unrepresentable outputs
12.109 * * * * [points]: Sampled 8000 points with exact outputs
12.316 * [regime-testing]: Baseline error score: 0.023306767189573332
12.317 * [regime-testing]: Oracle error score: 0.014368045314032461
12.319 * [regime-testing]: End program error score: 0.023306767189573332