6.690 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.009 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.013 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.021 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts for 256 points
0.027 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.044 * * * * [points]: Filtering points with unrepresentable outputs
0.044 * * * * [points]: Sampling 132 additional inputs, on iter 1 have 124 / 256
0.045 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
0.048 * * * * [points]: Setting MPFR precision to 64
0.048 * * * * [points]: Setting MPFR precision to 320
0.049 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
0.051 * * * * [points]: Setting MPFR precision to 64
0.052 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
0.055 * * * * [points]: Setting MPFR precision to 64
0.056 * * * * [points]: Setting MPFR precision to 320
0.058 * * * * [points]: Computing exacts for 132 points
0.060 * * * * [points]: Setting MPFR precision to 64
0.064 * * * * [points]: Setting MPFR precision to 320
0.069 * * * * [points]: Filtering points with unrepresentable outputs
0.069 * * * * [points]: Sampling 66 additional inputs, on iter 2 have 190 / 256
0.070 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
0.072 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.073 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
0.075 * * * * [points]: Setting MPFR precision to 64
0.076 * * * * [points]: Setting MPFR precision to 320
0.077 * * * * [points]: Computing exacts for 66 points
0.079 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.084 * * * * [points]: Filtering points with unrepresentable outputs
0.084 * * * * [points]: Sampling 38 additional inputs, on iter 3 have 218 / 256
0.084 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.086 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.087 * * * * [points]: Computing exacts for 38 points
0.094 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.097 * * * * [points]: Filtering points with unrepresentable outputs
0.097 * * * * [points]: Sampling 21 additional inputs, on iter 4 have 235 / 256
0.097 * * * * [points]: Computing exacts for 21 points
0.100 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.101 * * * * [points]: Filtering points with unrepresentable outputs
0.101 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.101 * * * * [points]: Computing exacts for 10 points
0.104 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Filtering points with unrepresentable outputs
0.104 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.105 * * * * [points]: Computing exacts for 4 points
0.107 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.107 * * * * [points]: Filtering points with unrepresentable outputs
0.107 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.107 * * * * [points]: Computing exacts for 4 points
0.109 * * * * [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]: Sampled 257 points with exact outputs
0.110 * * * [progress]: [2/2] Setting up program.
0.113 * [progress]: [Phase 2 of 3] Improving.
0.113 * [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.114 * * [simplify]: iteration  0 :  16  enodes  (cost  24 )
0.116 * * [simplify]: iteration  1 :  30  enodes  (cost  11 )
0.120 * * [simplify]: iteration  2 :  46  enodes  (cost  11 )
0.126 * * [simplify]: iteration  3 :  83  enodes  (cost  11 )
0.137 * * [simplify]: iteration  4 :  126  enodes  (cost  11 )
0.158 * * [simplify]: iteration  5 :  203  enodes  (cost  11 )
0.196 * * [simplify]: iteration  6 :  365  enodes  (cost  11 )
0.293 * * [simplify]: iteration  7 :  693  enodes  (cost  11 )
0.543 * * [simplify]: iteration  8 :  1177  enodes  (cost  11 )
2.215 * * [simplify]: iteration  9 :  3703  enodes  (cost  11 )
14.554 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
14.555 * [simplify]: Simplified to:
   (* (cos y) (/ (+ (exp x) (exp (- x))) 2.0))
14.558 * * [progress]: iteration 1 / 4
14.558 * * * [progress]: picking best candidate
14.561 * * * * [pick]: Picked  #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))>
14.561 * * * [progress]: localizing error
14.579 * * * [progress]: generating rewritten candidates
14.579 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
14.587 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
14.613 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
14.641 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
14.651 * * * [progress]: generating series expansions
14.651 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
14.651 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
14.651 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
14.651 * [taylor]: Taking taylor expansion of (exp x) in x
14.651 * [taylor]: Taking taylor expansion of x in x
14.651 * [taylor]: Taking taylor expansion of (exp (- x)) in x
14.651 * [taylor]: Taking taylor expansion of (- x) in x
14.652 * [taylor]: Taking taylor expansion of x in x
14.652 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
14.652 * [taylor]: Taking taylor expansion of (exp x) in x
14.652 * [taylor]: Taking taylor expansion of x in x
14.652 * [taylor]: Taking taylor expansion of (exp (- x)) in x
14.652 * [taylor]: Taking taylor expansion of (- x) in x
14.652 * [taylor]: Taking taylor expansion of x in x
14.678 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
14.678 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
14.678 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.678 * [taylor]: Taking taylor expansion of x in x
14.679 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
14.679 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
14.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.679 * [taylor]: Taking taylor expansion of x in x
14.679 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
14.679 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.679 * [taylor]: Taking taylor expansion of x in x
14.680 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
14.680 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
14.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.680 * [taylor]: Taking taylor expansion of x in x
14.684 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
14.684 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
14.684 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
14.684 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.684 * [taylor]: Taking taylor expansion of -1 in x
14.684 * [taylor]: Taking taylor expansion of x in x
14.684 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.684 * [taylor]: Taking taylor expansion of x in x
14.684 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
14.684 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
14.684 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.684 * [taylor]: Taking taylor expansion of -1 in x
14.684 * [taylor]: Taking taylor expansion of x in x
14.685 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.685 * [taylor]: Taking taylor expansion of x in x
14.688 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
14.688 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0
14.688 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y
14.688 * [taylor]: Taking taylor expansion of 0.5 in y
14.688 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y
14.688 * [taylor]: Taking taylor expansion of (sin y) in y
14.688 * [taylor]: Taking taylor expansion of y in y
14.689 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y
14.689 * [taylor]: Taking taylor expansion of (exp x) in y
14.689 * [taylor]: Taking taylor expansion of x in y
14.689 * [taylor]: Taking taylor expansion of (exp (- x)) in y
14.689 * [taylor]: Taking taylor expansion of (- x) in y
14.689 * [taylor]: Taking taylor expansion of x in y
14.689 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
14.689 * [taylor]: Taking taylor expansion of 0.5 in x
14.689 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
14.689 * [taylor]: Taking taylor expansion of (sin y) in x
14.689 * [taylor]: Taking taylor expansion of y in x
14.689 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
14.689 * [taylor]: Taking taylor expansion of (exp x) in x
14.689 * [taylor]: Taking taylor expansion of x in x
14.689 * [taylor]: Taking taylor expansion of (exp (- x)) in x
14.689 * [taylor]: Taking taylor expansion of (- x) in x
14.689 * [taylor]: Taking taylor expansion of x in x
14.689 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
14.689 * [taylor]: Taking taylor expansion of 0.5 in x
14.689 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
14.689 * [taylor]: Taking taylor expansion of (sin y) in x
14.689 * [taylor]: Taking taylor expansion of y in x
14.690 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
14.690 * [taylor]: Taking taylor expansion of (exp x) in x
14.690 * [taylor]: Taking taylor expansion of x in x
14.690 * [taylor]: Taking taylor expansion of (exp (- x)) in x
14.690 * [taylor]: Taking taylor expansion of (- x) in x
14.690 * [taylor]: Taking taylor expansion of x in x
14.691 * [taylor]: Taking taylor expansion of 0 in y
14.696 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y
14.696 * [taylor]: Taking taylor expansion of 1.0 in y
14.696 * [taylor]: Taking taylor expansion of (sin y) in y
14.696 * [taylor]: Taking taylor expansion of y in y
14.702 * [taylor]: Taking taylor expansion of 0 in y
14.715 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y
14.715 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y
14.715 * [taylor]: Taking taylor expansion of (sin y) in y
14.715 * [taylor]: Taking taylor expansion of y in y
14.727 * [taylor]: Taking taylor expansion of 0 in y
14.727 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
14.727 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
14.727 * [taylor]: Taking taylor expansion of 0.5 in y
14.727 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
14.727 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
14.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.727 * [taylor]: Taking taylor expansion of y in y
14.728 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
14.728 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
14.728 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.728 * [taylor]: Taking taylor expansion of x in y
14.728 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
14.728 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
14.728 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.728 * [taylor]: Taking taylor expansion of x in y
14.728 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
14.728 * [taylor]: Taking taylor expansion of 0.5 in x
14.728 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
14.728 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
14.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.728 * [taylor]: Taking taylor expansion of y in x
14.728 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
14.728 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.728 * [taylor]: Taking taylor expansion of x in x
14.729 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
14.729 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
14.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.729 * [taylor]: Taking taylor expansion of x in x
14.729 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
14.729 * [taylor]: Taking taylor expansion of 0.5 in x
14.729 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
14.729 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
14.729 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.729 * [taylor]: Taking taylor expansion of y in x
14.729 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
14.729 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.729 * [taylor]: Taking taylor expansion of x in x
14.730 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
14.730 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
14.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.730 * [taylor]: Taking taylor expansion of x in x
14.731 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
14.731 * [taylor]: Taking taylor expansion of 0.5 in y
14.731 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
14.731 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
14.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.731 * [taylor]: Taking taylor expansion of y in y
14.731 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
14.731 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
14.731 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.731 * [taylor]: Taking taylor expansion of x in y
14.731 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
14.731 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
14.731 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.731 * [taylor]: Taking taylor expansion of x in y
14.734 * [taylor]: Taking taylor expansion of 0 in y
14.740 * [taylor]: Taking taylor expansion of 0 in y
14.748 * [taylor]: Taking taylor expansion of 0 in y
14.749 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0
14.749 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
14.749 * [taylor]: Taking taylor expansion of 0.5 in y
14.749 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
14.749 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
14.749 * [taylor]: Taking taylor expansion of (/ -1 y) in y
14.749 * [taylor]: Taking taylor expansion of -1 in y
14.749 * [taylor]: Taking taylor expansion of y in y
14.749 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
14.749 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
14.749 * [taylor]: Taking taylor expansion of (/ -1 x) in y
14.749 * [taylor]: Taking taylor expansion of -1 in y
14.749 * [taylor]: Taking taylor expansion of x in y
14.749 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
14.749 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.749 * [taylor]: Taking taylor expansion of x in y
14.749 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
14.750 * [taylor]: Taking taylor expansion of 0.5 in x
14.750 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
14.750 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
14.750 * [taylor]: Taking taylor expansion of (/ -1 y) in x
14.750 * [taylor]: Taking taylor expansion of -1 in x
14.750 * [taylor]: Taking taylor expansion of y in x
14.750 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
14.750 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
14.750 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.750 * [taylor]: Taking taylor expansion of -1 in x
14.750 * [taylor]: Taking taylor expansion of x in x
14.750 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.750 * [taylor]: Taking taylor expansion of x in x
14.750 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
14.750 * [taylor]: Taking taylor expansion of 0.5 in x
14.750 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
14.750 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
14.750 * [taylor]: Taking taylor expansion of (/ -1 y) in x
14.751 * [taylor]: Taking taylor expansion of -1 in x
14.751 * [taylor]: Taking taylor expansion of y in x
14.751 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
14.751 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
14.751 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.751 * [taylor]: Taking taylor expansion of -1 in x
14.751 * [taylor]: Taking taylor expansion of x in x
14.751 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.751 * [taylor]: Taking taylor expansion of x in x
14.752 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
14.752 * [taylor]: Taking taylor expansion of 0.5 in y
14.752 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
14.752 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
14.752 * [taylor]: Taking taylor expansion of (/ -1 y) in y
14.752 * [taylor]: Taking taylor expansion of -1 in y
14.752 * [taylor]: Taking taylor expansion of y in y
14.752 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
14.752 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
14.752 * [taylor]: Taking taylor expansion of (/ -1 x) in y
14.752 * [taylor]: Taking taylor expansion of -1 in y
14.752 * [taylor]: Taking taylor expansion of x in y
14.752 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
14.752 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.752 * [taylor]: Taking taylor expansion of x in y
14.755 * [taylor]: Taking taylor expansion of 0 in y
14.761 * [taylor]: Taking taylor expansion of 0 in y
14.768 * [taylor]: Taking taylor expansion of 0 in y
14.769 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
14.769 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0
14.769 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
14.769 * [taylor]: Taking taylor expansion of 0.5 in y
14.769 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
14.769 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
14.769 * [taylor]: Taking taylor expansion of (exp x) in y
14.769 * [taylor]: Taking taylor expansion of x in y
14.769 * [taylor]: Taking taylor expansion of (exp (- x)) in y
14.769 * [taylor]: Taking taylor expansion of (- x) in y
14.769 * [taylor]: Taking taylor expansion of x in y
14.769 * [taylor]: Taking taylor expansion of (cos y) in y
14.769 * [taylor]: Taking taylor expansion of y in y
14.769 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
14.769 * [taylor]: Taking taylor expansion of 0.5 in x
14.769 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
14.769 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
14.769 * [taylor]: Taking taylor expansion of (exp x) in x
14.769 * [taylor]: Taking taylor expansion of x in x
14.769 * [taylor]: Taking taylor expansion of (exp (- x)) in x
14.769 * [taylor]: Taking taylor expansion of (- x) in x
14.769 * [taylor]: Taking taylor expansion of x in x
14.770 * [taylor]: Taking taylor expansion of (cos y) in x
14.770 * [taylor]: Taking taylor expansion of y in x
14.770 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
14.770 * [taylor]: Taking taylor expansion of 0.5 in x
14.770 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
14.770 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
14.770 * [taylor]: Taking taylor expansion of (exp x) in x
14.770 * [taylor]: Taking taylor expansion of x in x
14.770 * [taylor]: Taking taylor expansion of (exp (- x)) in x
14.770 * [taylor]: Taking taylor expansion of (- x) in x
14.770 * [taylor]: Taking taylor expansion of x in x
14.771 * [taylor]: Taking taylor expansion of (cos y) in x
14.771 * [taylor]: Taking taylor expansion of y in x
14.772 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y
14.772 * [taylor]: Taking taylor expansion of 1.0 in y
14.772 * [taylor]: Taking taylor expansion of (cos y) in y
14.772 * [taylor]: Taking taylor expansion of y in y
14.776 * [taylor]: Taking taylor expansion of 0 in y
14.782 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y
14.782 * [taylor]: Taking taylor expansion of 0.5 in y
14.782 * [taylor]: Taking taylor expansion of (cos y) in y
14.782 * [taylor]: Taking taylor expansion of y in y
14.785 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
14.785 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
14.785 * [taylor]: Taking taylor expansion of 0.5 in y
14.785 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
14.785 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
14.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.785 * [taylor]: Taking taylor expansion of y in y
14.785 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
14.785 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
14.785 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.785 * [taylor]: Taking taylor expansion of x in y
14.785 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
14.785 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
14.785 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.785 * [taylor]: Taking taylor expansion of x in y
14.786 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
14.786 * [taylor]: Taking taylor expansion of 0.5 in x
14.786 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
14.786 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
14.786 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.786 * [taylor]: Taking taylor expansion of y in x
14.786 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
14.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.786 * [taylor]: Taking taylor expansion of x in x
14.786 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
14.786 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
14.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.786 * [taylor]: Taking taylor expansion of x in x
14.787 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
14.787 * [taylor]: Taking taylor expansion of 0.5 in x
14.787 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
14.787 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
14.787 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.787 * [taylor]: Taking taylor expansion of y in x
14.787 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
14.787 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.787 * [taylor]: Taking taylor expansion of x in x
14.787 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
14.787 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
14.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.787 * [taylor]: Taking taylor expansion of x in x
14.788 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
14.789 * [taylor]: Taking taylor expansion of 0.5 in y
14.789 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
14.789 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
14.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.789 * [taylor]: Taking taylor expansion of y in y
14.789 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
14.789 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
14.789 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.789 * [taylor]: Taking taylor expansion of x in y
14.789 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
14.789 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
14.789 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.789 * [taylor]: Taking taylor expansion of x in y
14.792 * [taylor]: Taking taylor expansion of 0 in y
14.801 * [taylor]: Taking taylor expansion of 0 in y
14.809 * [taylor]: Taking taylor expansion of 0 in y
14.809 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
14.809 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
14.809 * [taylor]: Taking taylor expansion of 0.5 in y
14.809 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
14.809 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
14.809 * [taylor]: Taking taylor expansion of (/ -1 y) in y
14.809 * [taylor]: Taking taylor expansion of -1 in y
14.809 * [taylor]: Taking taylor expansion of y in y
14.809 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
14.809 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
14.809 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.809 * [taylor]: Taking taylor expansion of x in y
14.810 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
14.810 * [taylor]: Taking taylor expansion of (/ -1 x) in y
14.810 * [taylor]: Taking taylor expansion of -1 in y
14.810 * [taylor]: Taking taylor expansion of x in y
14.810 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
14.810 * [taylor]: Taking taylor expansion of 0.5 in x
14.810 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
14.810 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
14.810 * [taylor]: Taking taylor expansion of (/ -1 y) in x
14.810 * [taylor]: Taking taylor expansion of -1 in x
14.810 * [taylor]: Taking taylor expansion of y in x
14.810 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
14.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.810 * [taylor]: Taking taylor expansion of x in x
14.810 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
14.810 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.810 * [taylor]: Taking taylor expansion of -1 in x
14.810 * [taylor]: Taking taylor expansion of x in x
14.811 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
14.811 * [taylor]: Taking taylor expansion of 0.5 in x
14.811 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
14.811 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
14.811 * [taylor]: Taking taylor expansion of (/ -1 y) in x
14.811 * [taylor]: Taking taylor expansion of -1 in x
14.811 * [taylor]: Taking taylor expansion of y in x
14.811 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
14.811 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.811 * [taylor]: Taking taylor expansion of x in x
14.811 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
14.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.811 * [taylor]: Taking taylor expansion of -1 in x
14.811 * [taylor]: Taking taylor expansion of x in x
14.812 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
14.812 * [taylor]: Taking taylor expansion of 0.5 in y
14.812 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
14.812 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
14.812 * [taylor]: Taking taylor expansion of (/ -1 y) in y
14.812 * [taylor]: Taking taylor expansion of -1 in y
14.812 * [taylor]: Taking taylor expansion of y in y
14.813 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
14.813 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
14.813 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.813 * [taylor]: Taking taylor expansion of x in y
14.813 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
14.813 * [taylor]: Taking taylor expansion of (/ -1 x) in y
14.813 * [taylor]: Taking taylor expansion of -1 in y
14.813 * [taylor]: Taking taylor expansion of x in y
14.816 * [taylor]: Taking taylor expansion of 0 in y
14.821 * [taylor]: Taking taylor expansion of 0 in y
14.828 * [taylor]: Taking taylor expansion of 0 in y
14.828 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
14.828 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
14.828 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
14.828 * [taylor]: Taking taylor expansion of (exp x) in x
14.828 * [taylor]: Taking taylor expansion of x in x
14.828 * [taylor]: Taking taylor expansion of (exp (- x)) in x
14.828 * [taylor]: Taking taylor expansion of (- x) in x
14.828 * [taylor]: Taking taylor expansion of x in x
14.829 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
14.829 * [taylor]: Taking taylor expansion of (exp x) in x
14.829 * [taylor]: Taking taylor expansion of x in x
14.829 * [taylor]: Taking taylor expansion of (exp (- x)) in x
14.829 * [taylor]: Taking taylor expansion of (- x) in x
14.829 * [taylor]: Taking taylor expansion of x in x
14.844 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
14.844 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
14.844 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.844 * [taylor]: Taking taylor expansion of x in x
14.844 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
14.844 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
14.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.844 * [taylor]: Taking taylor expansion of x in x
14.845 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
14.845 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.845 * [taylor]: Taking taylor expansion of x in x
14.845 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
14.845 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
14.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.845 * [taylor]: Taking taylor expansion of x in x
14.848 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
14.848 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
14.848 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.848 * [taylor]: Taking taylor expansion of x in x
14.848 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
14.848 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.848 * [taylor]: Taking taylor expansion of -1 in x
14.848 * [taylor]: Taking taylor expansion of x in x
14.849 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
14.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
14.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.849 * [taylor]: Taking taylor expansion of x in x
14.849 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
14.849 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.849 * [taylor]: Taking taylor expansion of -1 in x
14.849 * [taylor]: Taking taylor expansion of x in x
14.851 * * * [progress]: simplifying candidates
14.853 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma 1 (exp x) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (expm1 (- (exp x) (exp (- x))))
  (log1p (- (exp x) (exp (- x))))
  (- (exp (- x)))
  (- (exp (- x)))
  (- (exp (- x)))
  (/ (exp (exp x)) (exp (exp (- x))))
  (log (- (exp x) (exp (- x))))
  (exp (- (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (- (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (exp (- x)))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (+ (exp x) (exp (- x)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin 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))
  (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (+ (- (log (+ (exp x) (exp (- x)))) (log 2.0)) (log (cos y)))
  (+ (log (/ (+ (exp x) (exp (- x))) 2.0)) (log (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) 1)
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ 1 2.0) (cos y))
  (* (+ (exp x) (exp (- x))) (cos y))
  (expm1 (+ (exp x) (exp (- x))))
  (log1p (+ (exp x) (exp (- x))))
  (* (exp (exp x)) (exp (exp (- x))))
  (log (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (+ (exp x) (exp (- x))))
  (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (+ (* 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))
14.859 * * [simplify]: iteration  0 :  232  enodes  (cost  1903 )
14.904 * * [simplify]: iteration  1 :  571  enodes  (cost  1734 )
15.080 * * [simplify]: iteration  2 :  1701  enodes  (cost  1486 )
15.490 * * [simplify]: iteration  done :  5000  enodes  (cost  1486 )
15.491 * [simplify]: Simplified to:
   (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (exp (- x))))
  (* (exp (- x)) 0)
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (exp (- x))))
  (* (exp (- x)) 0)
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (exp (- x))))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (expm1 (- (exp x) (exp (- x))))
  (log1p (- (exp x) (exp (- x))))
  (- (exp (- x)))
  (- (exp (- x)))
  (- (exp (- x)))
  (exp (- (exp x) (exp (- x))))
  (log (- (exp x) (exp (- x))))
  (exp (- (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (pow (- (exp x) (exp (- x))) 3)
  (sqrt (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (- (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (+ 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)))
  (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (/ (- (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)
  (* (sin y) (- (exp x) (exp (- x))))
  (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (log (* (/ (+ (exp x) (exp (- x))) 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))
  (expm1 (+ (exp x) (exp (- x))))
  (log1p (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (log (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (+ (exp x) (exp (- x))))
  (pow (+ (exp (- x)) (exp x)) 3)
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (fma (exp x) (exp x) (+ (exp (* x -2)) -1))
  (- (exp (+ x x)) (exp (* x -2)))
  (- (exp x) (exp (- x)))
  (+ (exp (- x)) (exp x))
  (fma 1/3 (pow x 3) (fma 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)))))
  (- (fma 0.5 (pow x 2) 1.0) (* 0.5 (pow y 2)))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (fma x x (fma 1/12 (pow x 4) 2))
  (+ (exp (- x)) (exp x))
  (+ (exp (- x)) (exp x))
15.491 * * * [progress]: adding candidates to table
15.888 * * [progress]: iteration 2 / 4
15.888 * * * [progress]: picking best candidate
15.894 * * * * [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)))))>
15.894 * * * [progress]: localizing error
15.919 * * * [progress]: generating rewritten candidates
15.919 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
15.926 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
15.953 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
16.008 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
16.023 * * * [progress]: generating series expansions
16.023 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
16.023 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
16.023 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
16.023 * [taylor]: Taking taylor expansion of (exp x) in x
16.023 * [taylor]: Taking taylor expansion of x in x
16.023 * [taylor]: Taking taylor expansion of (exp (- x)) in x
16.024 * [taylor]: Taking taylor expansion of (- x) in x
16.024 * [taylor]: Taking taylor expansion of x in x
16.024 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
16.024 * [taylor]: Taking taylor expansion of (exp x) in x
16.024 * [taylor]: Taking taylor expansion of x in x
16.024 * [taylor]: Taking taylor expansion of (exp (- x)) in x
16.024 * [taylor]: Taking taylor expansion of (- x) in x
16.024 * [taylor]: Taking taylor expansion of x in x
16.049 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
16.049 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
16.050 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.050 * [taylor]: Taking taylor expansion of x in x
16.050 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
16.050 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.050 * [taylor]: Taking taylor expansion of x in x
16.050 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
16.050 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.050 * [taylor]: Taking taylor expansion of x in x
16.051 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
16.051 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.051 * [taylor]: Taking taylor expansion of x in x
16.054 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
16.054 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
16.055 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
16.055 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.055 * [taylor]: Taking taylor expansion of -1 in x
16.055 * [taylor]: Taking taylor expansion of x in x
16.055 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.055 * [taylor]: Taking taylor expansion of x in x
16.055 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
16.055 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
16.055 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.055 * [taylor]: Taking taylor expansion of -1 in x
16.055 * [taylor]: Taking taylor expansion of x in x
16.056 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.056 * [taylor]: Taking taylor expansion of x in x
16.059 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
16.059 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0
16.059 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y
16.059 * [taylor]: Taking taylor expansion of 0.5 in y
16.059 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y
16.059 * [taylor]: Taking taylor expansion of (sin y) in y
16.059 * [taylor]: Taking taylor expansion of y in y
16.059 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y
16.059 * [taylor]: Taking taylor expansion of (exp x) in y
16.059 * [taylor]: Taking taylor expansion of x in y
16.059 * [taylor]: Taking taylor expansion of (exp (- x)) in y
16.059 * [taylor]: Taking taylor expansion of (- x) in y
16.059 * [taylor]: Taking taylor expansion of x in y
16.059 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
16.059 * [taylor]: Taking taylor expansion of 0.5 in x
16.059 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
16.059 * [taylor]: Taking taylor expansion of (sin y) in x
16.059 * [taylor]: Taking taylor expansion of y in x
16.060 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
16.060 * [taylor]: Taking taylor expansion of (exp x) in x
16.060 * [taylor]: Taking taylor expansion of x in x
16.060 * [taylor]: Taking taylor expansion of (exp (- x)) in x
16.060 * [taylor]: Taking taylor expansion of (- x) in x
16.060 * [taylor]: Taking taylor expansion of x in x
16.060 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
16.060 * [taylor]: Taking taylor expansion of 0.5 in x
16.060 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
16.060 * [taylor]: Taking taylor expansion of (sin y) in x
16.060 * [taylor]: Taking taylor expansion of y in x
16.060 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
16.060 * [taylor]: Taking taylor expansion of (exp x) in x
16.060 * [taylor]: Taking taylor expansion of x in x
16.060 * [taylor]: Taking taylor expansion of (exp (- x)) in x
16.060 * [taylor]: Taking taylor expansion of (- x) in x
16.060 * [taylor]: Taking taylor expansion of x in x
16.062 * [taylor]: Taking taylor expansion of 0 in y
16.065 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y
16.065 * [taylor]: Taking taylor expansion of 1.0 in y
16.066 * [taylor]: Taking taylor expansion of (sin y) in y
16.066 * [taylor]: Taking taylor expansion of y in y
16.071 * [taylor]: Taking taylor expansion of 0 in y
16.083 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y
16.083 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y
16.084 * [taylor]: Taking taylor expansion of (sin y) in y
16.084 * [taylor]: Taking taylor expansion of y in y
16.095 * [taylor]: Taking taylor expansion of 0 in y
16.096 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
16.096 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
16.096 * [taylor]: Taking taylor expansion of 0.5 in y
16.096 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
16.096 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
16.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.096 * [taylor]: Taking taylor expansion of y in y
16.096 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
16.096 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
16.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.096 * [taylor]: Taking taylor expansion of x in y
16.096 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
16.096 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
16.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.096 * [taylor]: Taking taylor expansion of x in y
16.096 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
16.096 * [taylor]: Taking taylor expansion of 0.5 in x
16.096 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
16.096 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
16.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.096 * [taylor]: Taking taylor expansion of y in x
16.097 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
16.097 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.097 * [taylor]: Taking taylor expansion of x in x
16.097 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
16.097 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.097 * [taylor]: Taking taylor expansion of x in x
16.097 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
16.097 * [taylor]: Taking taylor expansion of 0.5 in x
16.097 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
16.098 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
16.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.098 * [taylor]: Taking taylor expansion of y in x
16.098 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
16.098 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.098 * [taylor]: Taking taylor expansion of x in x
16.098 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
16.098 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.098 * [taylor]: Taking taylor expansion of x in x
16.099 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
16.099 * [taylor]: Taking taylor expansion of 0.5 in y
16.099 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
16.099 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
16.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.099 * [taylor]: Taking taylor expansion of y in y
16.099 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
16.099 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
16.099 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.099 * [taylor]: Taking taylor expansion of x in y
16.100 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
16.100 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
16.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.100 * [taylor]: Taking taylor expansion of x in y
16.103 * [taylor]: Taking taylor expansion of 0 in y
16.108 * [taylor]: Taking taylor expansion of 0 in y
16.116 * [taylor]: Taking taylor expansion of 0 in y
16.116 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0
16.117 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
16.117 * [taylor]: Taking taylor expansion of 0.5 in y
16.117 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
16.117 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
16.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.117 * [taylor]: Taking taylor expansion of -1 in y
16.117 * [taylor]: Taking taylor expansion of y in y
16.117 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
16.117 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
16.117 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.117 * [taylor]: Taking taylor expansion of -1 in y
16.117 * [taylor]: Taking taylor expansion of x in y
16.117 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
16.117 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.117 * [taylor]: Taking taylor expansion of x in y
16.117 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
16.117 * [taylor]: Taking taylor expansion of 0.5 in x
16.117 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
16.117 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
16.117 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.117 * [taylor]: Taking taylor expansion of -1 in x
16.117 * [taylor]: Taking taylor expansion of y in x
16.117 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
16.117 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
16.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.117 * [taylor]: Taking taylor expansion of -1 in x
16.117 * [taylor]: Taking taylor expansion of x in x
16.118 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.118 * [taylor]: Taking taylor expansion of x in x
16.118 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
16.118 * [taylor]: Taking taylor expansion of 0.5 in x
16.118 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
16.118 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
16.118 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.118 * [taylor]: Taking taylor expansion of -1 in x
16.118 * [taylor]: Taking taylor expansion of y in x
16.118 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
16.118 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
16.118 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.118 * [taylor]: Taking taylor expansion of -1 in x
16.118 * [taylor]: Taking taylor expansion of x in x
16.119 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.119 * [taylor]: Taking taylor expansion of x in x
16.120 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
16.120 * [taylor]: Taking taylor expansion of 0.5 in y
16.120 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
16.120 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
16.120 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.120 * [taylor]: Taking taylor expansion of -1 in y
16.120 * [taylor]: Taking taylor expansion of y in y
16.120 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
16.120 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
16.120 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.120 * [taylor]: Taking taylor expansion of -1 in y
16.120 * [taylor]: Taking taylor expansion of x in y
16.120 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
16.120 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.120 * [taylor]: Taking taylor expansion of x in y
16.123 * [taylor]: Taking taylor expansion of 0 in y
16.128 * [taylor]: Taking taylor expansion of 0 in y
16.136 * [taylor]: Taking taylor expansion of 0 in y
16.136 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
16.137 * [approximate]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2))) in (x y) around 0
16.137 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2))) in y
16.137 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
16.137 * [taylor]: Taking taylor expansion of (exp x) in y
16.137 * [taylor]: Taking taylor expansion of x in y
16.137 * [taylor]: Taking taylor expansion of (exp (- x)) in y
16.137 * [taylor]: Taking taylor expansion of (- x) in y
16.137 * [taylor]: Taking taylor expansion of x in y
16.137 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in y
16.137 * [taylor]: Taking taylor expansion of (cos y) in y
16.137 * [taylor]: Taking taylor expansion of y in y
16.137 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
16.137 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
16.137 * [taylor]: Taking taylor expansion of 0.5 in y
16.138 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2))) in x
16.138 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
16.138 * [taylor]: Taking taylor expansion of (exp x) in x
16.138 * [taylor]: Taking taylor expansion of x in x
16.138 * [taylor]: Taking taylor expansion of (exp (- x)) in x
16.138 * [taylor]: Taking taylor expansion of (- x) in x
16.138 * [taylor]: Taking taylor expansion of x in x
16.138 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in x
16.138 * [taylor]: Taking taylor expansion of (cos y) in x
16.138 * [taylor]: Taking taylor expansion of y in x
16.138 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
16.138 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.138 * [taylor]: Taking taylor expansion of 0.5 in x
16.139 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (* (cos y) (pow (sqrt 0.5) 2))) in x
16.139 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
16.139 * [taylor]: Taking taylor expansion of (exp x) in x
16.139 * [taylor]: Taking taylor expansion of x in x
16.139 * [taylor]: Taking taylor expansion of (exp (- x)) in x
16.139 * [taylor]: Taking taylor expansion of (- x) in x
16.139 * [taylor]: Taking taylor expansion of x in x
16.140 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in x
16.140 * [taylor]: Taking taylor expansion of (cos y) in x
16.140 * [taylor]: Taking taylor expansion of y in x
16.140 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
16.140 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.140 * [taylor]: Taking taylor expansion of 0.5 in x
16.143 * [taylor]: Taking taylor expansion of (* 2 (* (cos y) (pow (sqrt 0.5) 2))) in y
16.143 * [taylor]: Taking taylor expansion of 2 in y
16.143 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in y
16.143 * [taylor]: Taking taylor expansion of (cos y) in y
16.143 * [taylor]: Taking taylor expansion of y in y
16.143 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
16.143 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
16.143 * [taylor]: Taking taylor expansion of 0.5 in y
16.152 * [taylor]: Taking taylor expansion of 0 in y
16.165 * [taylor]: Taking taylor expansion of (* (cos y) (pow (sqrt 0.5) 2)) in y
16.165 * [taylor]: Taking taylor expansion of (cos y) in y
16.165 * [taylor]: Taking taylor expansion of y in y
16.165 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
16.165 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
16.165 * [taylor]: Taking taylor expansion of 0.5 in y
16.180 * [approximate]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in (x y) around 0
16.180 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in y
16.180 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
16.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.180 * [taylor]: Taking taylor expansion of y in y
16.180 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2)) in y
16.180 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
16.180 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
16.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.180 * [taylor]: Taking taylor expansion of x in y
16.180 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
16.180 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
16.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.180 * [taylor]: Taking taylor expansion of x in y
16.181 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
16.181 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
16.181 * [taylor]: Taking taylor expansion of 0.5 in y
16.181 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in x
16.181 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
16.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.181 * [taylor]: Taking taylor expansion of y in x
16.181 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2)) in x
16.181 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
16.181 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.182 * [taylor]: Taking taylor expansion of x in x
16.182 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
16.182 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.182 * [taylor]: Taking taylor expansion of x in x
16.182 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
16.182 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.182 * [taylor]: Taking taylor expansion of 0.5 in x
16.183 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in x
16.183 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
16.183 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.183 * [taylor]: Taking taylor expansion of y in x
16.183 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2)) in x
16.183 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
16.183 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.183 * [taylor]: Taking taylor expansion of x in x
16.184 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
16.184 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.184 * [taylor]: Taking taylor expansion of x in x
16.184 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
16.184 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.184 * [taylor]: Taking taylor expansion of 0.5 in x
16.188 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2))) in y
16.188 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
16.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.188 * [taylor]: Taking taylor expansion of y in y
16.188 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (pow (sqrt 0.5) 2)) in y
16.188 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
16.188 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
16.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.188 * [taylor]: Taking taylor expansion of x in y
16.188 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
16.188 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
16.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.188 * [taylor]: Taking taylor expansion of x in y
16.188 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
16.189 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
16.189 * [taylor]: Taking taylor expansion of 0.5 in y
16.196 * [taylor]: Taking taylor expansion of 0 in y
16.204 * [taylor]: Taking taylor expansion of 0 in y
16.216 * [taylor]: Taking taylor expansion of 0 in y
16.217 * [approximate]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
16.217 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
16.217 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
16.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.217 * [taylor]: Taking taylor expansion of -1 in y
16.217 * [taylor]: Taking taylor expansion of y in y
16.217 * [taylor]: Taking taylor expansion of (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
16.217 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
16.217 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
16.218 * [taylor]: Taking taylor expansion of 0.5 in y
16.218 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
16.218 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
16.218 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.218 * [taylor]: Taking taylor expansion of x in y
16.218 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
16.218 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.218 * [taylor]: Taking taylor expansion of -1 in y
16.218 * [taylor]: Taking taylor expansion of x in y
16.218 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
16.219 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
16.219 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.219 * [taylor]: Taking taylor expansion of -1 in x
16.219 * [taylor]: Taking taylor expansion of y in x
16.219 * [taylor]: Taking taylor expansion of (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
16.219 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
16.219 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.219 * [taylor]: Taking taylor expansion of 0.5 in x
16.219 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
16.219 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.219 * [taylor]: Taking taylor expansion of x in x
16.220 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
16.220 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.220 * [taylor]: Taking taylor expansion of -1 in x
16.220 * [taylor]: Taking taylor expansion of x in x
16.220 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
16.220 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
16.220 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.220 * [taylor]: Taking taylor expansion of -1 in x
16.220 * [taylor]: Taking taylor expansion of y in x
16.220 * [taylor]: Taking taylor expansion of (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
16.220 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
16.220 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.220 * [taylor]: Taking taylor expansion of 0.5 in x
16.221 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
16.221 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.221 * [taylor]: Taking taylor expansion of x in x
16.221 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
16.221 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.221 * [taylor]: Taking taylor expansion of -1 in x
16.221 * [taylor]: Taking taylor expansion of x in x
16.224 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
16.224 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
16.224 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.224 * [taylor]: Taking taylor expansion of -1 in y
16.224 * [taylor]: Taking taylor expansion of y in y
16.225 * [taylor]: Taking taylor expansion of (* (pow (sqrt 0.5) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
16.225 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y
16.225 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
16.225 * [taylor]: Taking taylor expansion of 0.5 in y
16.226 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
16.226 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
16.226 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.226 * [taylor]: Taking taylor expansion of x in y
16.226 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
16.226 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.226 * [taylor]: Taking taylor expansion of -1 in y
16.226 * [taylor]: Taking taylor expansion of x in y
16.232 * [taylor]: Taking taylor expansion of 0 in y
16.241 * [taylor]: Taking taylor expansion of 0 in y
16.256 * [taylor]: Taking taylor expansion of 0 in y
16.256 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
16.257 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5)) in (x) around 0
16.257 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5)) in x
16.257 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x
16.257 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
16.257 * [taylor]: Taking taylor expansion of (exp x) in x
16.257 * [taylor]: Taking taylor expansion of x in x
16.257 * [taylor]: Taking taylor expansion of (exp (- x)) in x
16.257 * [taylor]: Taking taylor expansion of (- x) in x
16.257 * [taylor]: Taking taylor expansion of x in x
16.260 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.260 * [taylor]: Taking taylor expansion of 0.5 in x
16.260 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 0.5)) in x
16.260 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x
16.260 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
16.260 * [taylor]: Taking taylor expansion of (exp x) in x
16.260 * [taylor]: Taking taylor expansion of x in x
16.260 * [taylor]: Taking taylor expansion of (exp (- x)) in x
16.260 * [taylor]: Taking taylor expansion of (- x) in x
16.260 * [taylor]: Taking taylor expansion of x in x
16.263 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.263 * [taylor]: Taking taylor expansion of 0.5 in x
16.315 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (sqrt 0.5)) in (x) around 0
16.315 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (sqrt 0.5)) in x
16.315 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
16.315 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
16.315 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.315 * [taylor]: Taking taylor expansion of x in x
16.315 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
16.315 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.315 * [taylor]: Taking taylor expansion of x in x
16.316 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.316 * [taylor]: Taking taylor expansion of 0.5 in x
16.317 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (sqrt 0.5)) in x
16.317 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
16.317 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
16.317 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.317 * [taylor]: Taking taylor expansion of x in x
16.317 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
16.318 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.318 * [taylor]: Taking taylor expansion of x in x
16.319 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.319 * [taylor]: Taking taylor expansion of 0.5 in x
16.335 * [approximate]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x) around 0
16.335 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
16.335 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.335 * [taylor]: Taking taylor expansion of 0.5 in x
16.336 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
16.336 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
16.336 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.336 * [taylor]: Taking taylor expansion of x in x
16.336 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
16.336 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.336 * [taylor]: Taking taylor expansion of -1 in x
16.336 * [taylor]: Taking taylor expansion of x in x
16.337 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
16.337 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
16.337 * [taylor]: Taking taylor expansion of 0.5 in x
16.338 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
16.338 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
16.338 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
16.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.338 * [taylor]: Taking taylor expansion of x in x
16.338 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
16.338 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.338 * [taylor]: Taking taylor expansion of -1 in x
16.338 * [taylor]: Taking taylor expansion of x in x
16.353 * * * [progress]: simplifying candidates
16.356 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma 1 (exp x) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (expm1 (- (exp x) (exp (- x))))
  (log1p (- (exp x) (exp (- x))))
  (- (exp (- x)))
  (- (exp (- x)))
  (- (exp (- x)))
  (/ (exp (exp x)) (exp (exp (- x))))
  (log (- (exp x) (exp (- x))))
  (exp (- (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (- (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (exp (- x)))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (+ (exp x) (exp (- x)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin 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))
  (expm1 (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
  (log1p (* (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)))
  (+ (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)))
  (expm1 (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (log1p (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (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))))
16.364 * * [simplify]: iteration  0 :  280  enodes  (cost  2745 )
16.420 * * [simplify]: iteration  1 :  651  enodes  (cost  2268 )
16.588 * * [simplify]: iteration  2 :  2007  enodes  (cost  1970 )
17.026 * * [simplify]: iteration  done :  5001  enodes  (cost  1970 )
17.027 * [simplify]: Simplified to:
   (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x)))
  (* (exp (- x)) 0)
  (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x)))
  (* (exp (- x)) 0)
  (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (expm1 (- (exp x) (exp (- x))))
  (log1p (- (exp x) (exp (- x))))
  (- (exp (- x)))
  (- (exp (- x)))
  (- (exp (- x)))
  (exp (- (exp x) (exp (- x))))
  (log (- (exp x) (exp (- x))))
  (exp (- (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (pow (- (exp x) (exp (- x))) 3)
  (sqrt (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (- (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (+ 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)))
  (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (/ (- (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)
  (* (sin y) (- (exp x) (exp (- x))))
  (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (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)))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
  (expm1 (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (log1p (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (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)))
  (fma 1/3 (pow x 3) (fma 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)) 0.5) (cos y))
  (* (* (+ (exp (- x)) (exp x)) 0.5) (cos y))
  (- (fma 1/2 (/ (* (pow x 2) (sqrt 0.5)) (sqrt 2)) (fma (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 (+ (exp x) (exp (- x)))) (sqrt 0.5))
17.029 * * * [progress]: adding candidates to table
17.554 * * [progress]: iteration 3 / 4
17.554 * * * [progress]: picking best candidate
17.557 * * * * [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)))))>
17.557 * * * [progress]: localizing error
17.580 * * * [progress]: generating rewritten candidates
17.580 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
17.588 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
17.624 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
17.656 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
17.660 * * * [progress]: generating series expansions
17.660 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
17.660 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
17.660 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
17.661 * [taylor]: Taking taylor expansion of (exp x) in x
17.661 * [taylor]: Taking taylor expansion of x in x
17.661 * [taylor]: Taking taylor expansion of (exp (- x)) in x
17.661 * [taylor]: Taking taylor expansion of (- x) in x
17.661 * [taylor]: Taking taylor expansion of x in x
17.662 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
17.662 * [taylor]: Taking taylor expansion of (exp x) in x
17.662 * [taylor]: Taking taylor expansion of x in x
17.662 * [taylor]: Taking taylor expansion of (exp (- x)) in x
17.662 * [taylor]: Taking taylor expansion of (- x) in x
17.662 * [taylor]: Taking taylor expansion of x in x
17.687 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
17.687 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
17.687 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.687 * [taylor]: Taking taylor expansion of x in x
17.687 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
17.688 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
17.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.688 * [taylor]: Taking taylor expansion of x in x
17.688 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
17.688 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.688 * [taylor]: Taking taylor expansion of x in x
17.688 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
17.688 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
17.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.689 * [taylor]: Taking taylor expansion of x in x
17.692 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
17.692 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
17.692 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
17.693 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.693 * [taylor]: Taking taylor expansion of -1 in x
17.693 * [taylor]: Taking taylor expansion of x in x
17.693 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.693 * [taylor]: Taking taylor expansion of x in x
17.693 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
17.693 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
17.693 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.693 * [taylor]: Taking taylor expansion of -1 in x
17.693 * [taylor]: Taking taylor expansion of x in x
17.694 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.694 * [taylor]: Taking taylor expansion of x in x
17.697 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
17.698 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0
17.698 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
17.698 * [taylor]: Taking taylor expansion of 0.5 in y
17.698 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
17.698 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
17.698 * [taylor]: Taking taylor expansion of (exp x) in y
17.698 * [taylor]: Taking taylor expansion of x in y
17.698 * [taylor]: Taking taylor expansion of (exp (- x)) in y
17.698 * [taylor]: Taking taylor expansion of (- x) in y
17.698 * [taylor]: Taking taylor expansion of x in y
17.698 * [taylor]: Taking taylor expansion of (cos y) in y
17.698 * [taylor]: Taking taylor expansion of y in y
17.698 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
17.698 * [taylor]: Taking taylor expansion of 0.5 in x
17.698 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
17.698 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
17.698 * [taylor]: Taking taylor expansion of (exp x) in x
17.698 * [taylor]: Taking taylor expansion of x in x
17.698 * [taylor]: Taking taylor expansion of (exp (- x)) in x
17.698 * [taylor]: Taking taylor expansion of (- x) in x
17.698 * [taylor]: Taking taylor expansion of x in x
17.698 * [taylor]: Taking taylor expansion of (cos y) in x
17.698 * [taylor]: Taking taylor expansion of y in x
17.699 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
17.699 * [taylor]: Taking taylor expansion of 0.5 in x
17.699 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
17.699 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
17.699 * [taylor]: Taking taylor expansion of (exp x) in x
17.699 * [taylor]: Taking taylor expansion of x in x
17.699 * [taylor]: Taking taylor expansion of (exp (- x)) in x
17.699 * [taylor]: Taking taylor expansion of (- x) in x
17.699 * [taylor]: Taking taylor expansion of x in x
17.699 * [taylor]: Taking taylor expansion of (cos y) in x
17.699 * [taylor]: Taking taylor expansion of y in x
17.700 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y
17.700 * [taylor]: Taking taylor expansion of 1.0 in y
17.700 * [taylor]: Taking taylor expansion of (cos y) in y
17.700 * [taylor]: Taking taylor expansion of y in y
17.704 * [taylor]: Taking taylor expansion of 0 in y
17.710 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y
17.710 * [taylor]: Taking taylor expansion of 0.5 in y
17.710 * [taylor]: Taking taylor expansion of (cos y) in y
17.710 * [taylor]: Taking taylor expansion of y in y
17.713 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
17.713 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
17.713 * [taylor]: Taking taylor expansion of 0.5 in y
17.713 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
17.713 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
17.713 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.713 * [taylor]: Taking taylor expansion of y in y
17.714 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
17.714 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
17.714 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.714 * [taylor]: Taking taylor expansion of x in y
17.714 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
17.714 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
17.714 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.714 * [taylor]: Taking taylor expansion of x in y
17.714 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
17.714 * [taylor]: Taking taylor expansion of 0.5 in x
17.714 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
17.714 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
17.714 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.714 * [taylor]: Taking taylor expansion of y in x
17.714 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
17.714 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.714 * [taylor]: Taking taylor expansion of x in x
17.715 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
17.715 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
17.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.715 * [taylor]: Taking taylor expansion of x in x
17.715 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
17.715 * [taylor]: Taking taylor expansion of 0.5 in x
17.715 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
17.715 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
17.715 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.715 * [taylor]: Taking taylor expansion of y in x
17.715 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
17.715 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.715 * [taylor]: Taking taylor expansion of x in x
17.716 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
17.716 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
17.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.716 * [taylor]: Taking taylor expansion of x in x
17.717 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
17.717 * [taylor]: Taking taylor expansion of 0.5 in y
17.717 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
17.717 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
17.717 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.717 * [taylor]: Taking taylor expansion of y in y
17.717 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
17.717 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
17.717 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.718 * [taylor]: Taking taylor expansion of x in y
17.718 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
17.718 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
17.718 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.718 * [taylor]: Taking taylor expansion of x in y
17.727 * [taylor]: Taking taylor expansion of 0 in y
17.733 * [taylor]: Taking taylor expansion of 0 in y
17.741 * [taylor]: Taking taylor expansion of 0 in y
17.741 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
17.741 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
17.741 * [taylor]: Taking taylor expansion of 0.5 in y
17.741 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
17.741 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
17.741 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.741 * [taylor]: Taking taylor expansion of -1 in y
17.741 * [taylor]: Taking taylor expansion of y in y
17.742 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
17.742 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
17.742 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.742 * [taylor]: Taking taylor expansion of x in y
17.742 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
17.742 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.742 * [taylor]: Taking taylor expansion of -1 in y
17.742 * [taylor]: Taking taylor expansion of x in y
17.742 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
17.742 * [taylor]: Taking taylor expansion of 0.5 in x
17.742 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
17.742 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
17.742 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.742 * [taylor]: Taking taylor expansion of -1 in x
17.742 * [taylor]: Taking taylor expansion of y in x
17.742 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
17.742 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.742 * [taylor]: Taking taylor expansion of x in x
17.742 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
17.743 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.743 * [taylor]: Taking taylor expansion of -1 in x
17.743 * [taylor]: Taking taylor expansion of x in x
17.743 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
17.743 * [taylor]: Taking taylor expansion of 0.5 in x
17.743 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
17.743 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
17.743 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.743 * [taylor]: Taking taylor expansion of -1 in x
17.743 * [taylor]: Taking taylor expansion of y in x
17.743 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
17.743 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.743 * [taylor]: Taking taylor expansion of x in x
17.743 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
17.743 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.743 * [taylor]: Taking taylor expansion of -1 in x
17.743 * [taylor]: Taking taylor expansion of x in x
17.744 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
17.744 * [taylor]: Taking taylor expansion of 0.5 in y
17.745 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
17.745 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
17.745 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.745 * [taylor]: Taking taylor expansion of -1 in y
17.745 * [taylor]: Taking taylor expansion of y in y
17.745 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
17.745 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
17.745 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.745 * [taylor]: Taking taylor expansion of x in y
17.745 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
17.745 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.745 * [taylor]: Taking taylor expansion of -1 in y
17.745 * [taylor]: Taking taylor expansion of x in y
17.748 * [taylor]: Taking taylor expansion of 0 in y
17.753 * [taylor]: Taking taylor expansion of 0 in y
17.761 * [taylor]: Taking taylor expansion of 0 in y
17.761 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
17.761 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0
17.761 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y
17.761 * [taylor]: Taking taylor expansion of 0.5 in y
17.761 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y
17.761 * [taylor]: Taking taylor expansion of (sin y) in y
17.761 * [taylor]: Taking taylor expansion of y in y
17.761 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y
17.761 * [taylor]: Taking taylor expansion of (exp x) in y
17.761 * [taylor]: Taking taylor expansion of x in y
17.761 * [taylor]: Taking taylor expansion of (exp (- x)) in y
17.761 * [taylor]: Taking taylor expansion of (- x) in y
17.761 * [taylor]: Taking taylor expansion of x in y
17.761 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
17.761 * [taylor]: Taking taylor expansion of 0.5 in x
17.761 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
17.762 * [taylor]: Taking taylor expansion of (sin y) in x
17.762 * [taylor]: Taking taylor expansion of y in x
17.762 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
17.762 * [taylor]: Taking taylor expansion of (exp x) in x
17.762 * [taylor]: Taking taylor expansion of x in x
17.762 * [taylor]: Taking taylor expansion of (exp (- x)) in x
17.762 * [taylor]: Taking taylor expansion of (- x) in x
17.762 * [taylor]: Taking taylor expansion of x in x
17.762 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x
17.762 * [taylor]: Taking taylor expansion of 0.5 in x
17.762 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x
17.762 * [taylor]: Taking taylor expansion of (sin y) in x
17.762 * [taylor]: Taking taylor expansion of y in x
17.762 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
17.762 * [taylor]: Taking taylor expansion of (exp x) in x
17.762 * [taylor]: Taking taylor expansion of x in x
17.762 * [taylor]: Taking taylor expansion of (exp (- x)) in x
17.762 * [taylor]: Taking taylor expansion of (- x) in x
17.762 * [taylor]: Taking taylor expansion of x in x
17.764 * [taylor]: Taking taylor expansion of 0 in y
17.768 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y
17.768 * [taylor]: Taking taylor expansion of 1.0 in y
17.768 * [taylor]: Taking taylor expansion of (sin y) in y
17.768 * [taylor]: Taking taylor expansion of y in y
17.774 * [taylor]: Taking taylor expansion of 0 in y
17.783 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y
17.783 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y
17.783 * [taylor]: Taking taylor expansion of (sin y) in y
17.783 * [taylor]: Taking taylor expansion of y in y
17.795 * [taylor]: Taking taylor expansion of 0 in y
17.795 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
17.795 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
17.795 * [taylor]: Taking taylor expansion of 0.5 in y
17.795 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
17.795 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
17.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.795 * [taylor]: Taking taylor expansion of y in y
17.795 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
17.795 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
17.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.796 * [taylor]: Taking taylor expansion of x in y
17.796 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
17.796 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
17.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.796 * [taylor]: Taking taylor expansion of x in y
17.796 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
17.796 * [taylor]: Taking taylor expansion of 0.5 in x
17.796 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
17.796 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
17.796 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.796 * [taylor]: Taking taylor expansion of y in x
17.796 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
17.796 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.796 * [taylor]: Taking taylor expansion of x in x
17.796 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
17.796 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
17.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.796 * [taylor]: Taking taylor expansion of x in x
17.797 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
17.797 * [taylor]: Taking taylor expansion of 0.5 in x
17.797 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
17.797 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
17.797 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.797 * [taylor]: Taking taylor expansion of y in x
17.797 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
17.797 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.797 * [taylor]: Taking taylor expansion of x in x
17.797 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
17.797 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
17.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.797 * [taylor]: Taking taylor expansion of x in x
17.798 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
17.798 * [taylor]: Taking taylor expansion of 0.5 in y
17.798 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
17.798 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
17.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.799 * [taylor]: Taking taylor expansion of y in y
17.799 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
17.799 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
17.799 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.799 * [taylor]: Taking taylor expansion of x in y
17.799 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
17.799 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
17.799 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.799 * [taylor]: Taking taylor expansion of x in y
17.802 * [taylor]: Taking taylor expansion of 0 in y
17.812 * [taylor]: Taking taylor expansion of 0 in y
17.821 * [taylor]: Taking taylor expansion of 0 in y
17.821 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0
17.821 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
17.821 * [taylor]: Taking taylor expansion of 0.5 in y
17.821 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
17.821 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
17.821 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.821 * [taylor]: Taking taylor expansion of -1 in y
17.821 * [taylor]: Taking taylor expansion of y in y
17.822 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
17.822 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
17.822 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.822 * [taylor]: Taking taylor expansion of -1 in y
17.822 * [taylor]: Taking taylor expansion of x in y
17.822 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
17.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.822 * [taylor]: Taking taylor expansion of x in y
17.822 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
17.822 * [taylor]: Taking taylor expansion of 0.5 in x
17.822 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
17.822 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
17.822 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.822 * [taylor]: Taking taylor expansion of -1 in x
17.822 * [taylor]: Taking taylor expansion of y in x
17.822 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
17.822 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
17.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.822 * [taylor]: Taking taylor expansion of -1 in x
17.822 * [taylor]: Taking taylor expansion of x in x
17.822 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.822 * [taylor]: Taking taylor expansion of x in x
17.823 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x
17.823 * [taylor]: Taking taylor expansion of 0.5 in x
17.823 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x
17.823 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
17.823 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.823 * [taylor]: Taking taylor expansion of -1 in x
17.823 * [taylor]: Taking taylor expansion of y in x
17.823 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
17.823 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
17.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.823 * [taylor]: Taking taylor expansion of -1 in x
17.823 * [taylor]: Taking taylor expansion of x in x
17.823 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
17.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.823 * [taylor]: Taking taylor expansion of x in x
17.824 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y
17.824 * [taylor]: Taking taylor expansion of 0.5 in y
17.824 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y
17.824 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
17.824 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.824 * [taylor]: Taking taylor expansion of -1 in y
17.824 * [taylor]: Taking taylor expansion of y in y
17.825 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
17.825 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
17.825 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.825 * [taylor]: Taking taylor expansion of -1 in y
17.825 * [taylor]: Taking taylor expansion of x in y
17.825 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
17.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.825 * [taylor]: Taking taylor expansion of x in y
17.828 * [taylor]: Taking taylor expansion of 0 in y
17.833 * [taylor]: Taking taylor expansion of 0 in y
17.842 * [taylor]: Taking taylor expansion of 0 in y
17.842 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
17.842 * [approximate]: Taking taylor expansion of (sqrt (cos y)) in (y) around 0
17.842 * [taylor]: Taking taylor expansion of (sqrt (cos y)) in y
17.842 * [taylor]: Taking taylor expansion of (cos y) in y
17.842 * [taylor]: Taking taylor expansion of y in y
17.843 * [taylor]: Taking taylor expansion of (sqrt (cos y)) in y
17.843 * [taylor]: Taking taylor expansion of (cos y) in y
17.843 * [taylor]: Taking taylor expansion of y in y
17.850 * [approximate]: Taking taylor expansion of (sqrt (cos (/ 1 y))) in (y) around 0
17.850 * [taylor]: Taking taylor expansion of (sqrt (cos (/ 1 y))) in y
17.850 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
17.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.850 * [taylor]: Taking taylor expansion of y in y
17.851 * [taylor]: Taking taylor expansion of (sqrt (cos (/ 1 y))) in y
17.851 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
17.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.851 * [taylor]: Taking taylor expansion of y in y
17.854 * [approximate]: Taking taylor expansion of (sqrt (cos (/ -1 y))) in (y) around 0
17.854 * [taylor]: Taking taylor expansion of (sqrt (cos (/ -1 y))) in y
17.854 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
17.854 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.854 * [taylor]: Taking taylor expansion of -1 in y
17.854 * [taylor]: Taking taylor expansion of y in y
17.855 * [taylor]: Taking taylor expansion of (sqrt (cos (/ -1 y))) in y
17.855 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
17.855 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.855 * [taylor]: Taking taylor expansion of -1 in y
17.855 * [taylor]: Taking taylor expansion of y in y
17.858 * * * [progress]: simplifying candidates
17.860 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma 1 (exp x) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (expm1 (- (exp x) (exp (- x))))
  (log1p (- (exp x) (exp (- x))))
  (- (exp (- x)))
  (- (exp (- x)))
  (- (exp (- x)))
  (/ (exp (exp x)) (exp (exp (- x))))
  (log (- (exp x) (exp (- x))))
  (exp (- (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (- (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (exp (- x)))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (+ (exp x) (exp (- x)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (expm1 (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (cos y))))
  (log1p (* (* (/ (+ (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)))
  (+ (+ (- (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)))
  (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin 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))
  (expm1 (sqrt (cos y)))
  (log1p (sqrt (cos 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))
17.866 * * [simplify]: iteration  0 :  225  enodes  (cost  1857 )
17.913 * * [simplify]: iteration  1 :  569  enodes  (cost  1550 )
18.108 * * [simplify]: iteration  2 :  1862  enodes  (cost  1285 )
18.563 * * [simplify]: iteration  done :  5000  enodes  (cost  1285 )
18.564 * [simplify]: Simplified to:
   (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (exp (- x))))
  (* (exp (- x)) 0)
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (exp (- x))))
  (* (exp (- x)) 0)
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (exp (- x))))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (- (exp x) (exp (- x)))
  (* (exp (- x)) 0)
  (expm1 (- (exp x) (exp (- x))))
  (log1p (- (exp x) (exp (- x))))
  (- (exp (- x)))
  (- (exp (- x)))
  (- (exp (- x)))
  (exp (- (exp x) (exp (- x))))
  (log (- (exp x) (exp (- x))))
  (exp (- (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (pow (- (exp x) (exp (- x))) 3)
  (sqrt (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (- (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (+ 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)))
  (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (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)))))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (fabs (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)))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (sqrt (sqrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (cos y)
  (* (+ (exp x) (exp (- x))) (cos y))
  (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))
  (* (/ (- (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)
  (* (sin y) (- (exp x) (exp (- x))))
  (expm1 (sqrt (cos y)))
  (log1p (sqrt (cos 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)))
  (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (- x)))
  (- (fma 0.5 (pow x 2) 1.0) (* 0.5 (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 (fma 1/4 (pow y 2) (* 1/96 (pow y 4))))
  (sqrt (cos y))
  (sqrt (cos y))
18.565 * * * [progress]: adding candidates to table
18.984 * [progress]: [Phase 3 of 3] Extracting.
18.984 * * [regime]: Finding splitpoints for: (#<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)))))> #<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)))))>)
18.986 * * * [regime-changes]: Trying 2 branch expressions: (y x)
18.986 * * * * [regimes]: Trying to branch on y from (#<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)))))> #<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)))))>)
19.000 * * * * [regimes]: Trying to branch on x from (#<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)))))> #<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)))))>)
19.017 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
19.017 * [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))))
19.018 * * [simplify]: iteration  0 :  18  enodes  (cost  35 )
19.018 * * [simplify]: iteration  1 :  22  enodes  (cost  35 )
19.019 * * [simplify]: iteration  done :  22  enodes  (cost  35 )
19.019 * [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))))
19.019 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
19.089 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
19.097 * * * * [points]: Setting MPFR precision to 64
19.098 * * * * [points]: Setting MPFR precision to 320
19.098 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
19.101 * * * * [points]: Setting MPFR precision to 64
19.102 * * * * [points]: Setting MPFR precision to 320
19.103 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
19.106 * * * * [points]: Setting MPFR precision to 64
19.108 * * * * [points]: Setting MPFR precision to 320
19.110 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
19.113 * * * * [points]: Setting MPFR precision to 64
19.117 * * * * [points]: Setting MPFR precision to 320
19.122 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
19.125 * * * * [points]: Setting MPFR precision to 64
19.132 * * * * [points]: Setting MPFR precision to 320
19.141 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
19.143 * * * * [points]: Setting MPFR precision to 64
19.158 * * * * [points]: Setting MPFR precision to 320
19.177 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
19.180 * * * * [points]: Setting MPFR precision to 64
19.209 * * * * [points]: Setting MPFR precision to 320
19.249 * * * * [points]: Setting MPFR precision to 576
19.297 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.300 * * * * [points]: Setting MPFR precision to 320
19.373 * * * * [points]: Setting MPFR precision to 576
19.475 * * * * [points]: Computing exacts for 8000 points
19.478 * * * * [points]: Setting MPFR precision to 320
19.771 * * * * [points]: Setting MPFR precision to 576
20.162 * * * * [points]: Filtering points with unrepresentable outputs
20.169 * * * * [points]: Sampling 3997 additional inputs, on iter 1 have 4003 / 8000
20.205 * * * * [points]: Computing exacts on every 249 of 3997 points to ramp up precision
20.208 * * * * [points]: Setting MPFR precision to 320
20.209 * * * * [points]: Setting MPFR precision to 576
20.210 * * * * [points]: Computing exacts on every 124 of 3997 points to ramp up precision
20.213 * * * * [points]: Setting MPFR precision to 320
20.214 * * * * [points]: Setting MPFR precision to 576
20.215 * * * * [points]: Computing exacts on every 62 of 3997 points to ramp up precision
20.218 * * * * [points]: Setting MPFR precision to 320
20.221 * * * * [points]: Setting MPFR precision to 576
20.224 * * * * [points]: Computing exacts on every 31 of 3997 points to ramp up precision
20.231 * * * * [points]: Setting MPFR precision to 320
20.236 * * * * [points]: Setting MPFR precision to 576
20.242 * * * * [points]: Computing exacts on every 15 of 3997 points to ramp up precision
20.245 * * * * [points]: Setting MPFR precision to 320
20.254 * * * * [points]: Setting MPFR precision to 576
20.265 * * * * [points]: Computing exacts on every 7 of 3997 points to ramp up precision
20.268 * * * * [points]: Setting MPFR precision to 320
20.286 * * * * [points]: Setting MPFR precision to 576
20.310 * * * * [points]: Computing exacts on every 3 of 3997 points to ramp up precision
20.313 * * * * [points]: Setting MPFR precision to 320
20.349 * * * * [points]: Setting MPFR precision to 576
20.399 * * * * [points]: Computing exacts for 3997 points
20.402 * * * * [points]: Setting MPFR precision to 320
20.544 * * * * [points]: Setting MPFR precision to 576
20.735 * * * * [points]: Filtering points with unrepresentable outputs
20.739 * * * * [points]: Sampling 1982 additional inputs, on iter 2 have 6018 / 8000
20.756 * * * * [points]: Computing exacts on every 123 of 1982 points to ramp up precision
20.759 * * * * [points]: Setting MPFR precision to 320
20.760 * * * * [points]: Setting MPFR precision to 576
20.761 * * * * [points]: Computing exacts on every 61 of 1982 points to ramp up precision
20.763 * * * * [points]: Setting MPFR precision to 320
20.764 * * * * [points]: Setting MPFR precision to 576
20.766 * * * * [points]: Computing exacts on every 30 of 1982 points to ramp up precision
20.769 * * * * [points]: Setting MPFR precision to 320
20.771 * * * * [points]: Setting MPFR precision to 576
20.775 * * * * [points]: Computing exacts on every 15 of 1982 points to ramp up precision
20.778 * * * * [points]: Setting MPFR precision to 320
20.782 * * * * [points]: Setting MPFR precision to 576
20.788 * * * * [points]: Computing exacts on every 7 of 1982 points to ramp up precision
20.791 * * * * [points]: Setting MPFR precision to 320
20.800 * * * * [points]: Setting MPFR precision to 576
20.812 * * * * [points]: Computing exacts on every 3 of 1982 points to ramp up precision
20.814 * * * * [points]: Setting MPFR precision to 320
20.836 * * * * [points]: Setting MPFR precision to 576
20.860 * * * * [points]: Computing exacts for 1982 points
20.863 * * * * [points]: Setting MPFR precision to 320
20.932 * * * * [points]: Setting MPFR precision to 576
21.030 * * * * [points]: Filtering points with unrepresentable outputs
21.032 * * * * [points]: Sampling 935 additional inputs, on iter 3 have 7065 / 8000
21.040 * * * * [points]: Computing exacts on every 58 of 935 points to ramp up precision
21.043 * * * * [points]: Setting MPFR precision to 320
21.044 * * * * [points]: Setting MPFR precision to 576
21.044 * * * * [points]: Computing exacts on every 29 of 935 points to ramp up precision
21.047 * * * * [points]: Setting MPFR precision to 320
21.048 * * * * [points]: Setting MPFR precision to 576
21.050 * * * * [points]: Computing exacts on every 14 of 935 points to ramp up precision
21.053 * * * * [points]: Setting MPFR precision to 320
21.055 * * * * [points]: Setting MPFR precision to 576
21.058 * * * * [points]: Computing exacts on every 7 of 935 points to ramp up precision
21.061 * * * * [points]: Setting MPFR precision to 320
21.066 * * * * [points]: Setting MPFR precision to 576
21.072 * * * * [points]: Computing exacts on every 3 of 935 points to ramp up precision
21.075 * * * * [points]: Setting MPFR precision to 320
21.084 * * * * [points]: Setting MPFR precision to 576
21.096 * * * * [points]: Computing exacts for 935 points
21.099 * * * * [points]: Setting MPFR precision to 320
21.135 * * * * [points]: Setting MPFR precision to 576
21.180 * * * * [points]: Filtering points with unrepresentable outputs
21.181 * * * * [points]: Sampling 478 additional inputs, on iter 4 have 7522 / 8000
21.185 * * * * [points]: Computing exacts on every 29 of 478 points to ramp up precision
21.188 * * * * [points]: Setting MPFR precision to 320
21.189 * * * * [points]: Setting MPFR precision to 576
21.190 * * * * [points]: Computing exacts on every 14 of 478 points to ramp up precision
21.192 * * * * [points]: Setting MPFR precision to 320
21.194 * * * * [points]: Setting MPFR precision to 576
21.195 * * * * [points]: Computing exacts on every 7 of 478 points to ramp up precision
21.198 * * * * [points]: Setting MPFR precision to 320
21.200 * * * * [points]: Setting MPFR precision to 576
21.203 * * * * [points]: Computing exacts on every 3 of 478 points to ramp up precision
21.206 * * * * [points]: Setting MPFR precision to 320
21.211 * * * * [points]: Setting MPFR precision to 576
21.217 * * * * [points]: Computing exacts for 478 points
21.220 * * * * [points]: Setting MPFR precision to 320
21.237 * * * * [points]: Setting MPFR precision to 576
21.260 * * * * [points]: Filtering points with unrepresentable outputs
21.261 * * * * [points]: Sampling 216 additional inputs, on iter 5 have 7784 / 8000
21.263 * * * * [points]: Computing exacts on every 13 of 216 points to ramp up precision
21.268 * * * * [points]: Setting MPFR precision to 320
21.269 * * * * [points]: Setting MPFR precision to 576
21.270 * * * * [points]: Computing exacts on every 6 of 216 points to ramp up precision
21.273 * * * * [points]: Setting MPFR precision to 320
21.274 * * * * [points]: Setting MPFR precision to 576
21.275 * * * * [points]: Computing exacts on every 3 of 216 points to ramp up precision
21.278 * * * * [points]: Setting MPFR precision to 320
21.280 * * * * [points]: Setting MPFR precision to 576
21.283 * * * * [points]: Computing exacts for 216 points
21.286 * * * * [points]: Setting MPFR precision to 320
21.294 * * * * [points]: Setting MPFR precision to 576
21.305 * * * * [points]: Filtering points with unrepresentable outputs
21.305 * * * * [points]: Sampling 93 additional inputs, on iter 6 have 7907 / 8000
21.306 * * * * [points]: Computing exacts on every 5 of 93 points to ramp up precision
21.309 * * * * [points]: Setting MPFR precision to 320
21.310 * * * * [points]: Setting MPFR precision to 576
21.311 * * * * [points]: Computing exacts on every 2 of 93 points to ramp up precision
21.313 * * * * [points]: Setting MPFR precision to 320
21.315 * * * * [points]: Setting MPFR precision to 576
21.316 * * * * [points]: Computing exacts for 93 points
21.319 * * * * [points]: Setting MPFR precision to 320
21.322 * * * * [points]: Setting MPFR precision to 576
21.327 * * * * [points]: Filtering points with unrepresentable outputs
21.327 * * * * [points]: Sampling 45 additional inputs, on iter 7 have 7955 / 8000
21.328 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
21.331 * * * * [points]: Setting MPFR precision to 320
21.331 * * * * [points]: Setting MPFR precision to 576
21.332 * * * * [points]: Computing exacts for 45 points
21.335 * * * * [points]: Setting MPFR precision to 320
21.337 * * * * [points]: Setting MPFR precision to 576
21.339 * * * * [points]: Filtering points with unrepresentable outputs
21.339 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 7983 / 8000
21.339 * * * * [points]: Computing exacts for 17 points
21.342 * * * * [points]: Setting MPFR precision to 320
21.343 * * * * [points]: Setting MPFR precision to 576
21.344 * * * * [points]: Filtering points with unrepresentable outputs
21.344 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
21.344 * * * * [points]: Computing exacts for 9 points
21.347 * * * * [points]: Setting MPFR precision to 320
21.347 * * * * [points]: Setting MPFR precision to 576
21.348 * * * * [points]: Filtering points with unrepresentable outputs
21.348 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
21.348 * * * * [points]: Computing exacts for 5 points
21.351 * * * * [points]: Setting MPFR precision to 320
21.354 * * * * [points]: Setting MPFR precision to 576
21.355 * * * * [points]: Filtering points with unrepresentable outputs
21.355 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
21.355 * * * * [points]: Computing exacts for 4 points
21.358 * * * * [points]: Setting MPFR precision to 320
21.358 * * * * [points]: Setting MPFR precision to 576
21.359 * * * * [points]: Filtering points with unrepresentable outputs
21.359 * * * * [points]: Sampled 8000 points with exact outputs
21.558 * [regime-testing]: Baseline error score: 0.023306767189573332
21.558 * [regime-testing]: Oracle error score: 0.014368045314032461
21.559 * [regime-testing]: End program error score: 0.023306767189573332